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, NevsΜ§ehir University, 50300 NevsΜ§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Μ§. BuΜyuΜkkoΜ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