Document 10859719

advertisement
Hindawi Publishing Corporation
International Journal of Combinatorics
Volume 2013, Article ID 520610, 8 pages
http://dx.doi.org/10.1155/2013/520610
Research Article
Bounds for the Largest Laplacian Eigenvalue of
Weighted Graphs
Sezer Sorgun
Department of Mathematics, Faculty of Sciences and Arts, Nevşehir University, 50300 Nevşehir, Turkey
Correspondence should be addressed to Sezer Sorgun; srgnrzs@gmail.com
Received 29 November 2012; Accepted 14 March 2013
Academic Editor: Jun-Ming Xu
Copyright © 2013 Sezer Sorgun. This is an open access article distributed under the Creative Commons Attribution License, which
permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Let G be weighted graphs, as the graphs where the edge weights are positive definite matrices. The Laplacian eigenvalues of a graph
are the eigenvalues of Laplacian matrix of a graph G. We obtain two upper bounds for the largest Laplacian eigenvalue of weighted
graphs and we compare these bounds with previously known bounds.
1. Introduction
Let 𝐺 = (𝑉, 𝐸) be simple graphs, as graphs which have no
loops or parallel edges such that 𝑉 is a finite set of vertices
and 𝐸 is a set of edges.
A weighted graph is a graph each edge of which has been
assigned to a square matrix called the weight of the edge. All
the weight matrices are assumed to be of same order and to be
positive matrix. In this paper, by “weighted graph” we mean
“a weighted graph with each of its edges bearing a positive
definite matrix as weight,” unless otherwise stated.
The notations to be used in paper are given in the
following.
Let 𝐺 be a weighted graph on 𝑛 vertices. Denote by 𝑀𝑖,𝑗
the positive definite weight matrix of order 𝑝 of the edge 𝑖𝑗,
and assume that 𝑀𝑖𝑗 = 𝑀𝑗𝑖 . We write 𝑖 ∼ 𝑗 if vertices 𝑖 and 𝑗
are adjacent. Let 𝑀𝑖 = ∑𝑗:𝑗∼𝑖 𝑀𝑖𝑗 . be the weight matrix of the
vertex 𝑖.
The Laplacian matrix of a graph 𝐺 is defined as 𝐿(𝐺) =
(𝑙𝑖𝑗 ), where
if 𝑖 = 𝑗,
𝑀;
{
{ 𝑖
𝑙𝑖,𝑗 = {−𝑀𝑖𝑗 ; if 𝑖 ∼ 𝑗,
{
otherwise.
{0;
(1)
The zero denotes the 𝑝 × π‘ zero matrix. Hence 𝐿(𝐺) is
square matrix of order 𝑛𝑝. Let πœ† 1 denote the largest eigenvalue
of 𝐿(𝐺). In this paper we also use to avoid the confusion that
𝜌1 (𝑀𝑖𝑗 ) is the spectral radius of 𝑀𝑖𝑗 matrix. If 𝑉 is the disjoint
union of two nonempty sets 𝑉1 and 𝑉2 such that every vertex
𝑖 in 𝑉1 has the same 𝜌1 (𝑀𝑖 ) and every vertex 𝑗 in 𝑉2 has the
same 𝜌1 (𝑀𝑗 ), then 𝐺 is called a weight-semiregular graph. If
𝜌1 (𝑀𝑖 ) = 𝜌1 (𝑀𝑗 ) in weight semiregular graph, then 𝐺 is called
a weighted-regular graph.
Upper and lower bounds for the largest Laplacian eigenvalue for unweighted graphs have been investigated to a great
extent in the literature. Also there are some studies about
the bounds for the largest Laplacian eigenvalue of weighted
graphs [1–3]. The main result of this paper, contained in
Section 2, gives two upper bounds on the largest Laplacian
for weighted graphs, where the edge weights are positive
definite matrices. These upper bounds are attained by the
same methods in [1–3]. We also compare the upper bounds
with the known upper bounds in [1–3]. We also characterize
graphs which achieve the upper bound. The results clearly
generalize some known results for weighted and unweighted
graphs.
2. The Known Upper Bounds for the Largest
Laplacian Eigenvalue of Weighted Graphs
In this section, we present the upper bounds for the largest
Laplacian eigenvalue of weighted graphs and very useful
lemmas to prove theorems.
2
International Journal of Combinatorics
Theorem 1 (Horn and Johnson [4]). Let 𝐴 ∈ 𝑀𝑛 be Hermitian, and let the eigenvalues of 𝐴 be ordered such that πœ† 𝑛 ≤
πœ† 𝑛−1 ≤ ⋅ ⋅ ⋅ ≤ πœ† 1 . Then,
πœ† 𝑛 π‘₯𝑇 π‘₯ ≤ π‘₯𝑇𝐴π‘₯ ≤ πœ† 1 π‘₯𝑇 π‘₯
π‘₯𝑇𝐴π‘₯
= max π‘₯𝑇 𝐴π‘₯
π‘₯ = ΜΈ 0 π‘₯𝑇 π‘₯
π‘₯𝑇 π‘₯=1
(2)
πœ† min
(i) 𝐺 is a bipartite semiregular graph;
(ii) 𝑀𝑖𝑗 have a common eigenvector corresponding to the
largest eigenvalue 𝜌1 (𝑀𝑖𝑗 ) for all 𝑖, 𝑗.
πœ† max = πœ† 1 = max
π‘₯𝑇 𝐴π‘₯
= πœ† 𝑛 = min 𝑇 = min
π‘₯𝑇 𝐴π‘₯
π‘₯ =ΜΈ 0 π‘₯ π‘₯
π‘₯𝑇 π‘₯=1
where 𝑀𝑖𝑗 is the positive definite weight matrix of order p of the
edge 𝑖𝑗. Moreover equality holds in (7) if and only if
(3)
Corollary 6 (see [2]). Let 𝐺 be a simple connected weighted
graph where each edge weight 𝑀𝑖𝑗 is a positive number. Then
for all π‘₯ ∈ C𝑛 .
Lemma 2 (Horn and Johnson [4]). Let 𝐡 be a Hermitian 𝑛×𝑛
matrix with eigenvalues πœ† 1 ≥ πœ† 2 ≥ ⋅ ⋅ ⋅ ≥ πœ† 𝑛 ; then for any
π‘₯ ∈ 𝑅𝑛 (π‘₯ =ΜΈ 0), 𝑦 ∈ 𝑅𝑛 (𝑦 =ΜΈ 0),
󡄨󡄨 𝑇 󡄨󡄨
(4)
󡄨󡄨π‘₯ 𝐡𝑦󡄨󡄨 ≤ πœ† 1 √π‘₯𝑇 π‘₯√𝑦𝑇 𝑦.
󡄨
󡄨
Equality holds if and only if π‘₯ is an eigenvector of 𝐡 corresponding to πœ† 1 and 𝑦 = 𝛼π‘₯ for some 𝛼 ∈ 𝑅.
Lemma 3 (see [1]). Let 𝐺 be a (𝜌1 (𝑀𝑖 ), 𝜌1 (𝑀𝑗 ))-semiregular
bipartite graph of order 𝑛 such that the first 𝑙 vertices of the
same largest eigenvalue 𝜌1 (𝑀𝑖 ) and the remaining π‘š vertices
of the same largest eigenvalue 𝜌1 (𝑀𝑗 ). Also let π‘₯ be a common
eigenvector of 𝑀𝑖𝑗 corresponding to the largest eigenvalue
𝜌1 (𝑀𝑖𝑗 ) for all 𝑖, 𝑗, where 𝑀𝑖 = ∑π‘˜∈𝑁𝑖 π‘€π‘–π‘˜ for all 𝑖. Then 𝜌1 (𝑀𝑖 ) +
𝜌1 (𝑀𝑗 ) is the largest eigenvalue of 𝐿(𝐺) and the corresponding
eigenvector is
𝑇
𝑇
(𝜌
−𝜌1 (𝑀𝑗 )π‘₯𝑇 , . . . , −𝜌1 (𝑀𝑗 )π‘₯𝑇 ) .
⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟
1 (𝑀𝑖 )π‘₯ , . . . , 𝜌1 (𝑀𝑖 )π‘₯ , ⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟⏟
𝑙
π‘š
(5)
Theorem 4 (see [1]). Let G be a simple connected weighted
graph. Then
}
{
(6)
πœ† 1 ≤ max {𝜌1 ( ∑ π‘€π‘–π‘˜ ) + ∑ 𝜌1 (π‘€π‘—π‘˜ )} ,
𝑖∼𝑗
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑗
}
{
where 𝑀𝑖𝑗 is the positive definite weight matrix of order p of the
edge 𝑖𝑗. Moreover equality holds in (6) if and only if
(i) 𝐺 is a weight-semiregular bipartite graph,
(ii) 𝑀𝑖𝑗 have a common eigenvector corresponding to the
largest eigenvalue 𝜌1 (𝑀𝑖𝑗 ) for all 𝑖, 𝑗.
Theorem 5 (see [2]). Let G be a simple connected weighted
graph. Then
πœ†1
√
√
{
{
√ ∑ 𝜌 (𝑀 ) ( ∑ 𝜌 (𝑀 ) + ∑ 𝜌 (𝑀 ))
{
{
{√ π‘˜:π‘˜∼𝑖 1 π‘–π‘˜ π‘Ÿ:π‘Ÿ∼𝑖 1 π‘–π‘Ÿ 𝑠:𝑠∼π‘˜ 1 π‘˜π‘ 
≤ max {
{
𝑖∼𝑗 {
{
{ + ∑ 𝜌1 (π‘€π‘—π‘˜ ) ( ∑ 𝜌1 (π‘€π‘—π‘Ÿ ) + ∑ 𝜌1 (π‘€π‘˜π‘  ))
π‘Ÿ:π‘Ÿ∼𝑗
π‘˜:π‘˜∼𝑗
𝑠:𝑠∼π‘˜
{√
}
}
}
}
}
,
}
}
}
}
}
}
(7)
πœ† 1 ≤ max {√2𝑀𝑖 (𝑀𝑖 + 𝑀𝑖 )} ,
𝑖
(8)
where 𝑀𝑖 = (∑π‘˜:π‘˜∼𝑖 π‘€π‘–π‘˜ π‘€π‘˜ )/𝑀𝑖 and 𝑀𝑖 is the weight of vertex 𝑖.
Moreover equality holds if and only if 𝐺 is a bipartite regular
graph.
Corollary 7 (see [2]). Let 𝐺 be a simple connected weighted
graph where each edge weight 𝑀𝑖𝑗 is a positive number. Then
πœ† 1 ≤ max {√𝑀𝑖 (𝑀𝑖 + 𝑀𝑖 ) + 𝑀𝑗 (𝑀𝑗 + 𝑀𝑗 )} ,
𝑖∼𝑗
(9)
where 𝑀𝑖 = (∑π‘˜:π‘˜∼𝑖 π‘€π‘–π‘˜ π‘€π‘˜ )/𝑀𝑖 and 𝑀𝑖 is the weight of vertex
𝑖. Moreover equality holds if and only if 𝐺 is a bipartite
semiregular graph.
Theorem 8 (see [2]). Let G be a simple connected weighted
graph. Then
πœ†1
2
{
}
{
{ 𝜌1 (𝑀𝑖 ) + 𝜌1 (𝑀𝑗 ) + √ (𝜌1 (𝑀𝑖 ) − 𝜌1 (𝑀𝑗 )) + 4𝛾𝑖 𝛾𝑗 }
}
≤ max {
,
}
}
𝑖∼𝑗 {
2
{
}
{
}
(10)
where 𝛾𝑖 = (∑π‘˜:π‘˜∼𝑖 𝜌1 (π‘€π‘–π‘˜ )𝜌1 (π‘€π‘˜ ))/𝜌1 (𝑀𝑖 ) and 𝑀𝑖𝑗 is the positive definite weight matrix of order p of the edge 𝑖𝑗. Moreover
equality holds in (10) if and only if
(i) 𝐺 is a weighted-regular graph or 𝐺 is a weight-semiregular bipartite graph;
(ii) 𝑀𝑖𝑗 have a common eigenvector corresponding to the
largest eigenvalue 𝜌1 (𝑀𝑖𝑗 ) for all 𝑖, 𝑗.
Corollary 9 (see [2]). Let 𝐺 be a simple connected weighted
graph where each edge weight 𝑀𝑖𝑗 is a positive number. Then
πœ† 1 ≤ max {𝑀𝑖 + 𝑀𝑖 } ,
𝑖
(11)
where 𝑀𝑖 = (∑π‘˜:π‘˜∼𝑖 π‘€π‘–π‘˜ π‘€π‘˜ )/𝑀𝑖 and 𝑀𝑖 is the weight of vertex
𝑖. Moreover equality holds if and only if 𝐺 is a bipartite
semiregular graph or 𝐺 is a bipartite regular graph.
International Journal of Combinatorics
3
Theorem 10 (see [3]). Let G be a simple connected weighted
graph. Then
πœ†1
{
{
{
≤ max {√
𝑖 {
{
{
𝜌12
(𝑀𝑖 ) +
∑ 𝜌12
π‘˜:π‘˜∼𝑖
(π‘€π‘–π‘˜ ) + ∑ 𝜌1 (𝑀𝑖 π‘€π‘–π‘˜ + π‘€π‘–π‘˜ π‘€π‘˜ ) }
}
}
π‘˜:π‘˜∼𝑖
,
}
∑ 𝜌1 (𝑀𝑖𝑠 𝑀𝑠𝑑 )
+ ∑
}
}
1≤𝑖,𝑑≤𝑛 𝑠∈𝑁𝑖 ∩𝑁𝑑
}
(12)
where π‘€π‘–π‘˜ is the positive definite weight matrix of order 𝑝 of the
edge π‘–π‘˜ and 𝑁𝑖 ∩ π‘π‘˜ is the set of common neighbours of 𝑖 and
π‘˜. Moreover equality holds in (12) if and only if
(i) 𝐺 is a weight-semiregular bipartite graph;
(ii) π‘€π‘–π‘˜ have a common eigenvector corresponding to the
largest eigenvalue 𝜌1 (π‘€π‘–π‘˜ ) for all 𝑖, π‘˜.
Corollary 11 (see [3]). Let 𝐺 be a simple connected weighted
graph where each edge weight 𝑀𝑖𝑗 is a positive number. Then
2
2
{
∑ π‘€π‘–π‘˜
+ ∑ (𝑀𝑖 π‘€π‘–π‘˜ + π‘€π‘˜ π‘€π‘–π‘˜ )
{
{ 𝑀𝑖 + π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑖
πœ† 1 ≤ max{√
+ ∑
∑ 𝑀𝑖𝑠 𝑀𝑠𝑑
{
𝑖 {
1≤𝑖,𝑑≤𝑛 𝑠∈𝑁𝑖 ∩𝑁𝑑
{
}
}
}
. (13)
}
}
}
}
Moreover equality holds if and only if 𝐺 is a bipartite semiregular graph.
3. Two Upper Bounds on the Largest Laplacian
Eigenvalue of Weighted Graphs
In this section we present two upper bounds for the largest
eigenvalue of weighted graphs and compare the bounds with
some examples.
Theorem 12. Let G be a simple connected weighted graph.
Then
{
}
2
{
{
}
𝜌1 (𝑀𝑖 ) + 𝜌1 (𝑀𝑗 ) + √(𝜌1 (𝑀𝑖 ) − 𝜌1 (𝑀𝑗 )) + 4 ( ∑ 𝜌1 (π‘€π‘–π‘˜ )) ( ∑ 𝜌1 (π‘€π‘—π‘˜ )) }
{
}
{
}
{
}
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑗
{
}
πœ† 1 ≤ max {
,
}
{
}
𝑖∼𝑗 {
2
}
{
}
{
}
{
}
{
}
{
}
where 𝑀𝑖𝑗 is the positive definite weight matrix of order p of the
edge 𝑖𝑗. Moreover equality holds in (14) if and only if
From the 𝑖th equation of (18), we have
(πœ† 1 𝐼𝑝,𝑝 − 𝑀𝑖 ) π‘₯𝑖 = − ∑ π‘€π‘–π‘˜ π‘₯π‘˜ ,
(i) 𝐺 is a weighted-regular graph or 𝐺 is a weightsemiregular bipartite graph;
(ii) 𝑀𝑖𝑗 have a common eigenvector corresponding to the
largest eigenvalue 𝜌1 (𝑀𝑖𝑗 ) for all 𝑖, 𝑗.
Proof. Let 𝑋 = (π‘₯1 , π‘₯2 , . . . , π‘₯𝑛 )𝑇 be an eigenvector corresponding to the largest eigenvalue πœ† 1 of 𝐿(𝐺). We assume that
π‘₯𝑖 is the vector component of 𝑋 such that
π‘₯𝑇𝑖 π‘₯𝑖
=
max {π‘₯π‘‡π‘˜ π‘₯π‘˜ } .
π‘˜∈𝑉
π‘˜:π‘˜∼𝑖
(15)
if 𝑖 = 𝑗
if 𝑖 ∼ 𝑗
otherwise.
π‘₯𝑇𝑖 (πœ† 1 𝐼𝑝,𝑝 − 𝑀𝑖 ) π‘₯𝑖 = − ∑ π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜
(20)
󡄨
󡄨
≤ ∑ 󡄨󡄨󡄨󡄨π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨󡄨
(21)
π‘˜:π‘˜∼𝑖
≤ ∑ 𝜌1 (π‘€π‘–π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯π‘‡π‘˜ π‘₯π‘˜
by (4)
(22)
(16)
≤ ∑ 𝜌1 (π‘€π‘–π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯𝑇𝑗 π‘₯𝑗
by (16) .
π‘˜:π‘˜∼𝑖
(23)
(17)
From (23) we have
(πœ† 1 − 𝜌1 (𝑀𝑖 )) π‘₯𝑇𝑖 π‘₯𝑖 ≤ π‘₯𝑇𝑖 (πœ† 1 𝐼𝑝,𝑝 − 𝑀𝑖 ) π‘₯𝑖
We have
𝐿 (𝐺) 𝑋 = πœ† 1 𝑋.
that is,
π‘˜:π‘˜∼𝑖
be. The (𝑖, 𝑗)th element of 𝐿(𝐺) is
𝑀;
{
{ 𝑖
{−𝑀𝑖,𝑗 ;
{
{0;
(19)
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑖
Since 𝑋 is nonzero, so is π‘₯𝑖 . Let
π‘₯𝑇𝑗 π‘₯𝑗 = max {π‘₯π‘‡π‘˜ π‘₯π‘˜ }
(14)
(18)
by (2)
≤ ∑ 𝜌1 (π‘€π‘–π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯𝑇𝑗 π‘₯𝑗 ,
π‘˜:π‘˜∼𝑖
(24)
4
International Journal of Combinatorics
that is,
that is,
(πœ† 1 − 𝜌1 (𝑀𝑖 )) π‘₯𝑇𝑖 π‘₯𝑖 ≤ ∑ 𝜌1 (π‘€π‘–π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯𝑇𝑗 π‘₯𝑗 .
π‘˜:π‘˜∼𝑖
(25)
πœ†1 ≤
𝜌1 (𝑀𝑖 ) + 𝜌1 (𝑀𝑗 )
2
From the 𝑗th equation of (18), we get
2
√(𝜌1 (𝑀𝑖 ) − 𝜌1 (𝑀𝑗 )) + 4 ( ∑ 𝜌1 (π‘€π‘–π‘˜ )) ( ∑ 𝜌1 (π‘€π‘—π‘˜ ))
(πœ† 1 𝐼𝑝,𝑝 − 𝑀𝑗 ) π‘₯𝑗 = − ∑ π‘€π‘—π‘˜ π‘₯π‘˜ ,
π‘˜:π‘˜∼𝑗
that is,
π‘₯𝑇𝑗 (πœ† 1 𝐼𝑝,𝑝 − 𝑀𝑖 ) π‘₯𝑗 = − ∑ π‘₯𝑇𝑗 π‘€π‘—π‘˜ π‘₯π‘˜
(27)
󡄨
󡄨
≤ ∑ 󡄨󡄨󡄨󡄨π‘₯𝑇𝑗 π‘€π‘—π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨󡄨
(28)
π‘˜:π‘˜∼𝑗
π‘˜:π‘˜∼𝑗
≤ ∑ 𝜌1 (π‘€π‘—π‘˜ ) √π‘₯𝑇𝑗 π‘₯𝑗 √π‘₯π‘‡π‘˜ π‘₯π‘˜
}
2
}
√(𝜌1 (𝑀𝑖 )−𝜌1 (𝑀𝑗 )) +4 ( ∑ 𝜌1 (π‘€π‘–π‘˜ )) ( ∑ 𝜌1 (π‘€π‘—π‘˜ )) }
}
}
}
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑗
}
.
+
}
}
2
}
}
}
}
}
}
by (4)
(29)
≤ ∑
π‘˜:π‘˜∼𝑗
by (15) .
(30)
Similarly, from (30) we get
(πœ† 1 − 𝜌1 (𝑀𝑗 )) π‘₯𝑇𝑗 π‘₯𝑗 ≤ π‘₯𝑇𝑗 (πœ† 1 𝐼𝑝,𝑝 − 𝑀𝑗 ) π‘₯𝑗
(36)
This completes the proof of (14).
Now suppose that equality holds in (14). Then all inequalities in the previous argument must be equalities.
From equality in (23), we get
π‘₯𝑇𝑖 π‘₯𝑖 = π‘₯π‘‡π‘˜ π‘₯π‘˜
by (2)
≤ ∑ 𝜌1 (π‘€π‘—π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯𝑇𝑗 π‘₯𝑗 ,
(31)
π‘˜:π‘˜∼𝑗
that is,
(πœ† 1 − 𝜌1 (𝑀𝑗)) π‘₯𝑇𝑗 π‘₯𝑗 ≤ ∑ 𝜌1 (π‘€π‘—π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯π‘‡π‘˜ π‘₯π‘˜ .
π‘˜:π‘˜∼𝑗
(37)
π‘Ž2 π‘₯𝑇𝑖 π‘₯𝑖 = π‘₯𝑇𝑖 π‘₯𝑖 ,
(38)
π‘Ž2 = 1 as π‘₯𝑇𝑖 π‘₯𝑖 > 0.
(39)
(32)
that is,
𝜌1 (𝑀𝑖 )) π‘₯𝑇𝑗 π‘₯𝑗 π‘₯𝑇𝑖 π‘₯𝑖
≤ ( ∑ 𝜌1 (π‘€π‘–π‘˜ )) ⋅ ( ∑ 𝜌1 (π‘€π‘—π‘˜ )) π‘₯𝑇𝑗 π‘₯𝑗 π‘₯𝑇𝑖 π‘₯𝑖 .
π‘˜:π‘˜∼𝑖
for all π‘˜, π‘˜ ∼ 𝑖.
Since π‘₯𝑖 =ΜΈ 0, we get that π‘₯π‘˜ =ΜΈ 0 for all π‘˜, π‘˜ ∼ 𝑖. From equality in (22) and Lemma 2, we get that π‘₯𝑖 is an eigenvector of π‘€π‘–π‘˜
for the largest eigenvalue 𝜌1 (π‘€π‘–π‘˜ ). Hence we say that π‘₯π‘˜ = π‘Žπ‘₯𝑖
for some π‘Ž, for any π‘˜, π‘˜ ∼ 𝑖.
On the other hand, from (37) we get
So, from (25) and (32) we have
(πœ† 1 − 𝜌1 (𝑀𝑗 )) (πœ† 1 −
π‘˜:π‘˜∼𝑗
2
{
{
{
{
{
{
{𝜌1 (𝑀𝑖 )+𝜌1 (𝑀𝑗 )
≤ max {
𝑖∼𝑗 {
2
{
{
{
{
{
{
π‘˜:π‘˜∼𝑗
𝜌1 (π‘€π‘—π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯𝑇𝑗 π‘₯𝑗
π‘˜:π‘˜∼𝑖
+
(26)
From equality in (21), we have
(33)
󡄨
󡄨
− ∑ π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜ = ∑ 󡄨󡄨󡄨󡄨π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨󡄨 .
π‘˜:π‘˜∼𝑗
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑖
(40)
Since π‘₯π‘˜ = π‘Žπ‘₯𝑖 , from (40) we get
Hence we get
󡄨
󡄨
− ∑ π‘Žπ‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯𝑖 = ∑ |π‘Ž| 󡄨󡄨󡄨󡄨π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨󡄨
(πœ† 1 − 𝜌1 (𝑀𝑗 )) (πœ† 1 − 𝜌1 (𝑀𝑖 ))
≤ ( ∑ 𝜌1 (π‘€π‘–π‘˜ )) ⋅ ( ∑ 𝜌1 (π‘€π‘—π‘˜ )) ,
π‘˜:π‘˜∼𝑖
(34)
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑖
= ∑ |π‘Ž| π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜
π‘˜:π‘˜∼𝑗
π‘˜:π‘˜∼𝑖
as π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜ > 0.
(41)
Hence we get
that is,
π‘Ž = −1
πœ†21 − πœ† 1 (𝜌1 (𝑀𝑗 ) + 𝜌1 (𝑀𝑖 )) + 𝜌1 (𝑀𝑖 ) 𝜌1 (𝑀𝑗 )
− ( ∑ 𝜌1 (π‘€π‘–π‘˜ )) ⋅ ( ∑ 𝜌1 (π‘€π‘—π‘˜ )) ≤ 0,
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑗
(35)
(42)
from equalities in (41). Therefore we have
π‘₯π‘˜ = −π‘₯𝑖
for all π‘˜, π‘˜ ∼ 𝑖.
(43)
International Journal of Combinatorics
5
Similarly from equality in (29), we get that π‘₯𝑗 is an
eigenvector of π‘€π‘—π‘˜ for the largest eigenvalue 𝜌1 (π‘€π‘—π‘˜ ). Hence
we say that π‘₯π‘˜ = 𝑏π‘₯𝑗 for some 𝑏, for any π‘˜, π‘˜ ∼ 𝑗. From
equality in (16) we have
π‘₯𝑇𝑗 π‘₯𝑗 = π‘₯π‘‡π‘˜ π‘₯π‘˜
for π‘˜ ∼ 𝑖,
Conversely, suppose that conditions (i)-(ii) of the theorem hold for the graph 𝐺. Let 𝐺 be (𝜌1 (𝑀𝑖 ), 𝜌1 (𝑀𝑗 ))semiregular bipartite graph. Let π‘₯ be a common eigenvector
of π‘€π‘–π‘˜ corresponding to the largest eigenvalue 𝜌1 (π‘€π‘–π‘˜ ) for all
𝑖, π‘˜. Then we have
(44)
𝜌1 (𝑀𝑖 ) = ∑ 𝜌1 (π‘€π‘–π‘˜ ) ,
that is,
π‘˜:π‘˜∼𝑖
𝑏2 π‘₯𝑇𝑗 π‘₯𝑗
=
π‘₯𝑇𝑗 π‘₯𝑗 ,
(45)
(55)
𝜌1 (𝑀𝑗 ) = ∑ 𝜌1 (π‘€π‘—π‘˜ ) .
π‘˜:π‘˜∼𝑗
that is,
𝑏2 = 1
as π‘₯𝑇𝑗 π‘₯𝑗 > 0.
(46)
By Lemma 3, we get
πœ† 1 = 𝜌1 (𝑀𝑖 ) + 𝜌1 (𝑀𝑗 ) ,
Applying the same methods as previously, we get
𝑏 = −1.
(47)
Therefore we have
π‘₯π‘˜ = −π‘₯𝑗
for all π‘˜, π‘˜ ∼ 𝑗.
(48)
(56)
that is,
πœ†1 =
𝜌1 (𝑀𝑖 ) + 𝜌1 (𝑀𝑗 )
2
For 𝑖 ∼ 𝑗
2
√(𝜌1 (𝑀𝑖 ) − 𝜌1 (𝑀𝑗 )) + 4 ( ∑ 𝜌1 (π‘€π‘–π‘˜ )) ( ∑ 𝜌1 (π‘€π‘—π‘˜ ))
π‘₯𝑖 = −π‘₯𝑗 .
Hence we take that π‘ˆ = {π‘˜ : π‘₯π‘˜ = π‘₯𝑖 } and π‘Š = {π‘˜ : π‘₯π‘˜ =
−π‘₯𝑖 } from (43), (48), and (49). So, 𝑁𝑗 ⊂ π‘ˆ and 𝑁𝑖 ⊂ π‘Š. Also,
π‘ˆ =ΜΈ π‘Š =ΜΈ 0 since π‘₯𝑖 =ΜΈ 0. Further, for any vertex 𝑠 ∈ 𝑁𝑁𝑖 there
exists a vertex π‘Ÿ ∈ 𝑁𝑖 such that π‘Ÿ ∼ π‘—β„“π‘Ÿ ∼ 𝑠, where 𝑁𝑁𝑖 is
the neighbor of neighbor set of vertex 𝑖. Therefore π‘₯π‘Ÿ = −π‘₯𝑖
and π‘₯𝑠 = π‘₯𝑖 . So 𝑁𝑁𝑖 ⊂ π‘ˆ. By similar argument we can present
that 𝑁𝑁𝑗 ⊂ π‘Š. Continuing the procedure, it is easy to see,
since 𝐺 is connected, that 𝑉 = π‘ˆ ∪ π‘Š and that the subgraphs
induced by π‘ˆ and π‘Š, respectively, are empty graphs. Hence
𝐺 is bipartite. Moreover, π‘₯𝑖 is a common eigenvector of π‘€π‘–π‘˜
and 𝑀𝑖 for the largest eigenvalue 𝜌1 (π‘€π‘–π‘˜ ) and 𝜌1 (𝑀𝑖 ).
For 𝑖, π‘˜ ∈ π‘ˆ
πœ† 1 π‘₯𝑖 = 𝑀𝑖 π‘₯𝑖 + ∑ π‘€π‘–π‘˜ π‘₯𝑖 = π‘€π‘˜ π‘₯𝑖 + ∑ π‘€π‘–π‘˜ π‘₯𝑖 ,
(50)
𝑀𝑖 π‘₯𝑖 = π‘€π‘˜ π‘₯𝑖 .
(51)
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑖
that is,
Since π‘₯𝑖 is an eigenvector of 𝑀𝑖 corresponding to the
largest eigenvalue of 𝜌1 (𝑀𝑖 ) for all 𝑖, we get
𝜌1 (𝑀𝑖 ) π‘₯𝑖 = 𝜌1 (π‘€π‘˜ ) π‘₯𝑖 ,
(52)
that is,
(𝜌1 (𝑀𝑖 ) − 𝜌1 (π‘€π‘˜ )) π‘₯𝑖 = 0,
(53)
that is,
𝜌1 (𝑀𝑖 ) = 𝜌1 (π‘€π‘˜ )
as π‘₯𝑖 =ΜΈ 0.
(54)
Therefore we get that 𝜌1 (𝑀𝑖 ) is constant for all 𝑖 ∈ π‘ˆ.
Similarly we can show that 𝜌1 (𝑀𝑗 ) is constant for all 𝑗 ∈ π‘Š.
Hence 𝐺 is a bipartite semiregular graph.
π‘˜:π‘˜∼𝑖
+
(49)
π‘˜:π‘˜∼𝑗
2
.
(57)
Corollary 13 (see [1]). Let 𝐺 be a simple connected weighted
graph where each edge weight 𝑀𝑖,𝑗 is a positive number. Then
πœ† 1 ≤ max {𝑀𝑖 + 𝑀𝑗 } .
(58)
𝑖∼𝑗
Moreover equality holds in (58) if and only if 𝐺 is bipartite
semiregular graph.
Proof. We have 𝜌1 (𝑀𝑖 ) = 𝑀𝑖 and 𝜌1 (𝑀𝑖𝑗 ) = 𝑀𝑖𝑗 for all 𝑖, 𝑗. From
Theorem 12, we get the required result.
Corollary 14 (see [5]). Let 𝐺 be a simple connected unweighted graph. Then
πœ† 1 ≤ max {𝑑𝑖 + 𝑑𝑗 } ,
(59)
𝑖∼𝑗
where 𝑑𝑖 is the degree of vertex 𝑖. Moreover equality holds in
(59) if and only if 𝐺 is a bipartite regular graph or 𝐺 is a
bipartite semiregular graph.
Proof. For unweighted graph, 𝑀𝑖,𝑗 = 1 for 𝑖 ∼ 𝑗. Therefore
𝑀𝑖 = 𝑑𝑖 . Using Corollary 6, we get the required results.
Theorem 15. Let G be a simple connected weighted graph.
Then
πœ†1
≤ max {√(𝜌1 (𝑀𝑖 ) + ∑ 𝜌1 (π‘€π‘–π‘˜ )) (𝜌1 (𝑀𝑗 ) + ∑ 𝜌1 (π‘€π‘—π‘˜ ))} ,
𝑖∼𝑗
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑗
(60)
6
International Journal of Combinatorics
where 𝑀𝑖𝑗 is the positive definite weight matrix of order p of the
edge 𝑖𝑗. Moreover equality holds in (60) if and only if
≤ 𝜌1 (𝑀𝑗 ) π‘₯𝑇𝑗 π‘₯𝑗 + ∑ 𝜌1 (π‘€π‘—π‘˜ ) √π‘₯𝑇𝑗 π‘₯𝑗 √π‘₯π‘‡π‘˜ π‘₯π‘˜
(i) 𝐺 is a weighted-regular bipartite graph;
≤ 𝜌1 (𝑀𝑗 ) π‘₯𝑇𝑗 π‘₯𝑗 + ∑ 𝜌1 (π‘€π‘—π‘˜ ) π‘₯𝑇𝑗 π‘₯𝑗
(ii) 𝑀𝑖𝑗 have a common eigenvector corresponding to the
largest eigenvalue 𝜌1 (𝑀𝑖𝑗 ) for all 𝑖, 𝑗.
Proof. Let 𝑋 = (π‘₯1 , π‘₯2 , . . . , π‘₯𝑛 )𝑇 be an eigenvector corresponding to the largest eigenvalue πœ† 1 of 𝐿(𝐺). We assume that
π‘₯𝑖 is the vector component of 𝑋 such that
π‘₯𝑇𝑖 π‘₯𝑖 = max {π‘₯π‘‡π‘˜ π‘₯π‘˜ } .
Since 𝑋 is nonzero, so is π‘₯𝑖 . Let
by (41) .
π‘˜:π‘˜∼𝑗
(68)
Hence we get
πœ† 1 ≤ 𝜌1 (𝑀𝑗 ) + ∑ 𝜌1 (π‘€π‘—π‘˜ ) .
(61)
π‘˜∈𝑉
by (2)
π‘˜:π‘˜∼𝑗
π‘˜:π‘˜∼𝑗
(69)
From (49) and (58), we have
π‘₯𝑇𝑗 π‘₯𝑗 = max {π‘₯π‘‡π‘˜ π‘₯π‘˜ }
(62)
π‘˜:π‘˜∼𝑗
πœ†21 ≤ (𝜌1 (𝑀𝑖 ) + ∑ 𝜌1 (π‘€π‘–π‘˜ )) (𝜌1 (𝑀𝑗 ) + ∑ 𝜌1 (π‘€π‘—π‘˜ )) ,
be. We have
π‘˜:π‘˜∼𝑖
𝐿 (𝐺) 𝑋 = πœ† 1 𝑋.
π‘˜:π‘˜∼𝑗
(70)
(63)
From the 𝑖th equation of (43), we have
that is,
πœ† 1 π‘₯𝑖 = 𝑀𝑖 π‘₯𝑖 − ∑ π‘€π‘–π‘˜ π‘₯π‘˜ ,
(64)
π‘˜:π‘˜∼𝑖
πœ†1
≤ max {√(𝜌1 (𝑀𝑖 ) + ∑ 𝜌1 (π‘€π‘–π‘˜ )) (𝜌1 (𝑀𝑗 ) + ∑ 𝜌1 (π‘€π‘—π‘˜ ))} .
that is,
𝑖∼𝑗
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
πœ† 1 π‘₯𝑇𝑖 π‘₯𝑖 = 󡄨󡄨󡄨π‘₯𝑇𝑖 𝑀𝑖 π‘₯𝑖 − ∑ π‘₯𝑇𝑖 π‘€π‘–π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
π‘˜:π‘˜∼𝑖
󡄨
󡄨
󡄨󡄨 𝑇
󡄨󡄨
󡄨󡄨 𝑇
󡄨
≤ 󡄨󡄨󡄨π‘₯𝑖 𝑀𝑖 π‘₯𝑖 󡄨󡄨󡄨 + ∑ 󡄨󡄨󡄨π‘₯𝑖 π‘€π‘–π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨󡄨
π‘˜:π‘˜∼𝑗
(71)
π‘˜:π‘˜∼𝑖
≤ 𝜌1 (𝑀𝑖 ) π‘₯𝑇𝑖 π‘₯𝑖 + ∑ 𝜌1 (π‘€π‘–π‘˜ ) √π‘₯𝑇𝑖 π‘₯𝑖 √π‘₯π‘‡π‘˜ π‘₯π‘˜
by (2)
π‘˜:π‘˜∼𝑖
≤ 𝜌1 (𝑀𝑖 ) π‘₯𝑇𝑖 π‘₯𝑖 + ∑ 𝜌1 (π‘€π‘–π‘˜ ) π‘₯𝑇𝑖 π‘₯𝑖
π‘˜:π‘˜∼𝑖
by (40) .
π‘˜:π‘˜∼𝑖
(65)
This completes the proof of (60).
Now we show the case of equality in (60). By similar
method in Theorem 12. In the part of equalit, the necessary
condition can show easily. So we will show the sufficient
condition.
Suppose that conditions (i)-(ii) of Theorem hold for the
graph 𝐺. We must prove that
πœ†1
= max {√(𝜌1 (𝑀𝑖 ) + ∑ 𝜌1 (π‘€π‘–π‘˜ )) (𝜌1 (𝑀𝑗 ) + ∑ 𝜌1 (π‘€π‘—π‘˜ ))} .
Hence we get
𝑖∼𝑗
πœ† 1 ≤ 𝜌1 (𝑀𝑖 ) + ∑ 𝜌1 (π‘€π‘–π‘˜ ) .
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑗
that is,
󡄨󡄨
󡄨󡄨
󡄨󡄨
󡄨󡄨
πœ† 1 π‘₯𝑇𝑗 π‘₯𝑗 = 󡄨󡄨󡄨󡄨π‘₯𝑇𝑗 𝑀𝑗 π‘₯𝑗 − ∑ π‘₯𝑇𝑗 π‘€π‘—π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨󡄨
󡄨󡄨
󡄨󡄨
π‘˜:π‘˜∼𝑗
󡄨
󡄨
󡄨
󡄨
󡄨
󡄨
≤ 󡄨󡄨󡄨󡄨π‘₯𝑇𝑗 𝑀𝑗 π‘₯𝑗 󡄨󡄨󡄨󡄨 + ∑ 󡄨󡄨󡄨󡄨π‘₯𝑇𝑗 π‘€π‘—π‘˜ π‘₯π‘˜ 󡄨󡄨󡄨󡄨
π‘˜:π‘˜∼𝑗
π‘˜:π‘˜∼𝑗
(72)
(66)
By the same method, from the 𝑗th equation of (43), we have
πœ† 1 π‘₯𝑗 = 𝑀𝑗 π‘₯𝑗 − ∑ π‘€π‘—π‘˜ π‘₯π‘˜ ,
π‘˜:π‘˜∼𝑖
(67)
Let 𝐺 be regular bipartite graph. Therefore we have
𝜌1 (𝑀𝑖 ) = 𝛼 for 𝑖 ∈ π‘ˆ and 𝜌1 (𝑀𝑗 ) = 𝛼 for 𝑗 ∈ π‘Š such
that 𝑉 = π‘ˆ ∪ π‘Š. Let π‘₯ be a common eigenvector of π‘€π‘–π‘˜
corresponding to the largest eigenvalue 𝜌1 (π‘€π‘–π‘˜ ) for all 𝑖, π‘˜.
Hence we have
𝜌1 (𝑀𝑖 ) = ∑ 𝜌1 (π‘€π‘–π‘˜ ) .
π‘˜:π‘˜∼𝑖
(73)
From (71) we get that
πœ† 1 ≤ 2𝛼.
(74)
International Journal of Combinatorics
7
On the other hand, the following equation can be easily
verified:
π‘₯
π‘₯
.
( .. )
( )
(π‘₯)
)
(2𝛼) (
(−π‘₯)
( )
(−π‘₯)
..
.
So from (74) and (76) we obtain
πœ†1
}
{
= max {√(𝜌1 (𝑀𝑖 ) + ∑ 𝜌1 (π‘€π‘–π‘˜ )) (𝜌1 (𝑀𝑗 ) + ∑ 𝜌1 (π‘€π‘—π‘˜ ))} .
𝑖∼𝑗
π‘˜:π‘˜∼𝑖
π‘˜:π‘˜∼𝑗
}
{
(77)
Corollary 16. Let 𝐺 be a simple connected weighted graph
where each edge weight 𝑀𝑖,𝑗 is a positive number. Then
(−π‘₯)
𝑀1
0
...
(
( 0
=(
(−π‘€π‘˜+1,1
−π‘€π‘˜+1,2
...
( −𝑀𝑛,1
πœ† 1 ≤ max {2√𝑀𝑖 𝑀𝑗 } .
𝑖∼𝑗
⋅
0
−𝑀1,π‘˜+1
⋅
0
−𝑀2,π‘˜+1
⋅
...
...
−π‘€π‘˜,π‘˜+1
⋅
π‘€π‘˜
⋅ −π‘€π‘˜+1,π‘˜ π‘€π‘˜+1
⋅ −π‘€π‘˜+2,π‘˜
0
⋅
...
...
⋅ −𝑀𝑛,π‘˜
0
⋅ −𝑀1,𝑛
⋅ −𝑀2,𝑛
⋅ ...
)
⋅ −π‘€π‘˜,𝑛 )
⋅
0 )
)
⋅
0
⋅ ...
⋅ 𝑀𝑛 )
π‘₯
π‘₯
.
( .. )
( )
(π‘₯)
)
×(
(−π‘₯) .
( )
(−π‘₯)
..
.
(−π‘₯)
(78)
Moreover equality holds in (78) if and only if 𝐺 is bipartite
semiregular graph.
Proof. We have 𝜌1 (𝑀𝑖 ) = 𝑀𝑖 and 𝜌1 (𝑀𝑖𝑗 ) = 𝑀𝑖𝑗 for all 𝑖, 𝑗. From
Theorem 15 we get the required result.
Corollary 17. Let 𝐺 be a simple connected unweighted graph.
Then
πœ† 1 ≤ max {2√𝑑𝑖 𝑑𝑗 } ,
𝑖∼𝑗
(79)
where 𝑑𝑖 is the degree of vertex 𝑖. Moreover equality holds in
(79) if and only if 𝐺 is a bipartite regular graph or 𝐺 is a
bipartite semiregular graph.
Proof. For unweighted graph, 𝑀𝑖,𝑗 = 1 for 𝑖 ∼ 𝑗. Therefore
𝑀𝑖 = 𝑑𝑖 . Using Corollary 16, we get the required results.
(75)
(76)
Example 18. Let 𝐺1 = (𝑉1 , 𝐸1 ) and 𝐺2 = (𝑉2 , 𝐸2 ) be a
weighted graph where 𝑉1 = {1, 2, 3, 4}, 𝐸1 = {{1, 3}, {2, 4},
{3, 4}} and each weight is the positive definite matrix of order
three. Let 𝑉2 = {1, 2, 3, 4, 5, 6, 7}, 𝐸2 = { {1,4},{2,4},{3,4},
{4,5},{5,6},{5,7} } such
that each weight is the positive definite matrix of order two.
Assume that the following Laplacian matrices of 𝐺1 and 𝐺2
are as follows:
Thus 2𝛼 is an eigenvalue of 𝐿(𝐺). Since πœ† 1 is the largest
eigenvalue of 𝐿(𝐺), we get
2𝛼 ≤ πœ† 1 .
[
[
[
[
[
[
[
[
[
[
[
[
[
[
𝐿 (𝐺1 ) = [
[
[
[
[
[
[
[
[
[
[
[
[
[
[
1
0
0
0
0
0 −1 0
0
0
0
5
3
0
0
0
0 −5 −3 0
0
0
3
3
0
0
0
0 −3 −3 0
0
0
0
0
2 −1 0
0
0
0 −2 1
0
0
0 −1 2 −1 0
0
0
1 −2
0
0
0
0 −1 2
0
0
0
0
1
−1 0
0
0
0
0
7
2 −2 6
2
0 −5 −3 0
0
0
2 11 1
0 −3 −3 0
0
0 −2 1 13 −2 −2
0
0
0
2 −1 0
6
0
0
0 −1 2 −1 2
[ 0
0
0
0
2
2 −2 8
6
1
6 −2 −3 8
0 −1 2 −2 −2 10 −2 −2
0
]
0 ]
]
]
0 ]
]
0 ]
]
]
1 ]
]
]
−2 ]
]
],
−2 ]
]
]
]
−2 ]
]
]
10 ]
]
−2 ]
]
]
−3 ]
]
12 ]
8
International Journal of Combinatorics
[
[
[
[
[
[
[
[
[
[
[
[
[
[
[
[
[
𝐿 (𝐺2 ) = [
[
[
[
[
[
[
[
[
[
[
[
[
[
[
[
[
1
1
0
0
0
0 −1 −1 0
0
0
0
0
1
2
0
0
0
0 −1 −2 0
0
0
0
0
0
0
1
1
0
0 −1 −1 0
0
0
0
0
0
0
1
3
0
0 −1 −3 0
0
0
0
0
0
0
0
0
1
1 −1 −1 0
0
0
0
0
0
0
0
0
1
4 −1 −4 0
0
0
0
0
4 −1 −1 0
0
0
−1 −2 −1 −3 −1 −4 4 14 −1 −5 0
0
0
0
0
0
0
0
0
0 −1 −1 3
0
0
0
0
0
0 −1 −5 3 18 −1 −6 −1
0
0
0
0
0
0
0
0 −1 −1 1
1
0
0
0
0
0
0
0
0
0 −1 −6 1
6
0
0
0
0
0
0
0
0
0 −1 −1 0
0
1
]
0 ]
]
0 ]
]
]
0 ]
]
]
0 ]
]
]
0 ]
]
]
0 ]
]
].
0 ]
]
]
−1 ]
]
]
7 ]
]
]
0 ]
]
]
0 ]
]
1 ]
]
[ 0
0
0
0
0
0
0
0 −1 −7 0
0
1
7 ]
−1 −1 −1 −1 −1 −1 4
3 −1 −1 −1
(80)
The largest eigenvalues of 𝐿(𝐺1 ) and 𝐿(𝐺2 ) are πœ† 1 = 25, 66,
πœ† 2 = 26.16 rounded two decimal places and the previously
mentioned bounds give the following results:
(6)
(7) (10) (12) (14) (60)
𝐺1 32.90 32.88 27.90 29.55 30.88 30.93 .
𝐺2 34.12 29.86 27.11 27.22 34.05 33.90
(81)
For 𝐺1 , we see that the upper bounds in (14) and (60)
are better than upper bounds in (6) and (7). But they are not
better than upper bounds in (10) and (12) from (81).
For also 𝐺2 , we see that upper bounds in (14) and (60) are
only better than the upper bound in (6).
Consequently, we cannot exactly compare all the bounds
for weighted graphs, where the weights are positive definite
matrices. Modifications according to each weight of edges,
especially for matrices can be shown.
References
[1] K. Ch. Das and R. B. Bapat, “A sharp upper bound on the largest
Laplacian eigenvalue of weighted graphs,” Linear Algebra and Its
Applications, vol. 409, pp. 153–165, 2005.
[2] K. Ch. Das, “Extremal graph characterization from the upper
bound of the Laplacian spectral radius of weighted graphs,”
Linear Algebra and Its Applications, vol. 427, no. 1, pp. 55–69,
2007.
[3] S. Sorgun and SΜ§. Büyükköse, “On the bounds for the largest Laplacian eigenvalues of weighted graphs,” Discrete Optimization,
vol. 9, no. 2, pp. 122–129, 2012.
[4] R. A. Horn and C. R. Johnson, Matrix Analysis, Cambridge
University Press, Cambridge, UK, 1985.
[5] W. N. Anderson Jr. and T. D. Morley, “Eigenvalues of the Laplacian of a graph,” Linear and Multilinear Algebra, vol. 18, no. 2,
pp. 141–145, 1985.
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download