Chapter 2 Spectra of Finite Graphs

Similar documents
Quantum Probability and Applications to Complex Networks

MATH Topics in Applied Mathematics Lecture 12: Evaluation of determinants. Cross product.

The spectra of super line multigraphs

The Hierarchical Product of Graphs

Notes on Linear Algebra and Matrix Theory

Some constructions of integral graphs

An Introduction to Spectral Graph Theory

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

The Local Spectra of Regular Line Graphs

Ma/CS 6b Class 20: Spectral Graph Theory

Linear Algebra Practice Final

Linear algebra and applications to graphs Part 1

Linear Algebra M1 - FIB. Contents: 5. Matrices, systems of linear equations and determinants 6. Vector space 7. Linear maps 8.

Foundations of Matrix Analysis

Z-Pencils. November 20, Abstract

Applied Mathematics Letters

On the adjacency matrix of a block graph

Math113: Linear Algebra. Beifang Chen

The Matrix-Tree Theorem

ORIE 6334 Spectral Graph Theory September 8, Lecture 6. In order to do the first proof, we need to use the following fact.

Determinants. Beifang Chen

The Adjacency Matrix, Standard Laplacian, and Normalized Laplacian, and Some Eigenvalue Interlacing Results

Equality: Two matrices A and B are equal, i.e., A = B if A and B have the same order and the entries of A and B are the same.

Singular Value Decomposition and Principal Component Analysis (PCA) I

Linear Systems and Matrices

Ma/CS 6b Class 20: Spectral Graph Theory

Homework 11/Solutions. (Section 6.8 Exercise 3). Which pairs of the following vector spaces are isomorphic?

Math 240 Calculus III

A lower bound for the Laplacian eigenvalues of a graph proof of a conjecture by Guo

Chapter 4 - MATRIX ALGEBRA. ... a 2j... a 2n. a i1 a i2... a ij... a in

18.S34 linear algebra problems (2007)

New feasibility conditions for directed strongly regular graphs

235 Final exam review questions

Topics in Graph Theory

arxiv: v2 [math.co] 27 Jul 2013

(a) If A is a 3 by 4 matrix, what does this tell us about its nullspace? Solution: dim N(A) 1, since rank(a) 3. Ax =

Average Mixing Matrix of Trees

Knowledge Discovery and Data Mining 1 (VO) ( )

Honors Linear Algebra, Spring Homework 8 solutions by Yifei Chen

Conceptual Questions for Review

PROBLEMS ON LINEAR ALGEBRA

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

Lecture Summaries for Linear Algebra M51A

The Hierarchical Product of Graphs

Math 102, Winter Final Exam Review. Chapter 1. Matrices and Gaussian Elimination

A Questionable Distance-Regular Graph

Iowa State University and American Institute of Mathematics

Fiedler s Theorems on Nodal Domains

1 Last time: least-squares problems

Question: Given an n x n matrix A, how do we find its eigenvalues? Idea: Suppose c is an eigenvalue of A, then what is the determinant of A-cI?

Spectral Graph Theory and You: Matrix Tree Theorem and Centrality Metrics

Spectral Properties of Matrix Polynomials in the Max Algebra

Topics in linear algebra

Eigenvalue comparisons in graph theory

Review problems for MA 54, Fall 2004.

1. General Vector Spaces

An Interlacing Approach for Bounding the Sum of Laplacian Eigenvalues of Graphs

1.10 Matrix Representation of Graphs

Topic 1: Matrix diagonalization

The spread of the spectrum of a graph

A matrix over a field F is a rectangular array of elements from F. The symbol

Ir O D = D = ( ) Section 2.6 Example 1. (Bottom of page 119) dim(v ) = dim(l(v, W )) = dim(v ) dim(f ) = dim(v )

On the second Laplacian eigenvalues of trees of odd order

Eigenvectors and Reconstruction

Chapter 1: Systems of Linear Equations

EE/ACM Applications of Convex Optimization in Signal Processing and Communications Lecture 2

Review of Some Concepts from Linear Algebra: Part 2

Math Linear Algebra Final Exam Review Sheet

Linear Algebra. Workbook

Elementary linear algebra

Lecture 2: Eigenvalues and their Uses

4. Determinants.

Notes on the Matrix-Tree theorem and Cayley s tree enumerator

On the distance and distance signless Laplacian eigenvalues of graphs and the smallest Gersgorin disc

(K + L)(c x) = K(c x) + L(c x) (def of K + L) = K( x) + K( y) + L( x) + L( y) (K, L are linear) = (K L)( x) + (K L)( y).

On Hadamard Diagonalizable Graphs

22m:033 Notes: 7.1 Diagonalization of Symmetric Matrices

ACI-matrices all of whose completions have the same rank

Math Camp Lecture 4: Linear Algebra. Xiao Yu Wang. Aug 2010 MIT. Xiao Yu Wang (MIT) Math Camp /10 1 / 88

On the number of spanning trees of K m n ± G graphs

Cospectral bipartite graphs for the normalized Laplacian. Steven Paul Osborne. A dissertation submitted to the graduate faculty

Cospectral graphs and the generalized adjacency matrix

On graphs with largest Laplacian eigenvalue at most 4

Dimension. Eigenvalue and eigenvector

Eigenvectors Via Graph Theory

Characteristic polynomials of skew-adjacency matrices of oriented graphs

Detailed Proof of The PerronFrobenius Theorem

IMPORTANT DEFINITIONS AND THEOREMS REFERENCE SHEET

Ma/CS 6b Class 23: Eigenvalues in Regular Graphs

A Bound on the Number of Spanning Trees in Bipartite Graphs

NORMS ON SPACE OF MATRICES

Mathematical Methods wk 2: Linear Operators

Peter J. Dukes. 22 August, 2012

Math 215 HW #9 Solutions

CLASSIFICATION OF TREES EACH OF WHOSE ASSOCIATED ACYCLIC MATRICES WITH DISTINCT DIAGONAL ENTRIES HAS DISTINCT EIGENVALUES

The Signless Laplacian Spectral Radius of Graphs with Given Degree Sequences. Dedicated to professor Tian Feng on the occasion of his 70 birthday

Applicable Analysis and Discrete Mathematics available online at GRAPHS WITH TWO MAIN AND TWO PLAIN EIGENVALUES

NOTES FOR LINEAR ALGEBRA 133

Properties of Matrices and Operations on Matrices

2 b 3 b 4. c c 2 c 3 c 4

Transcription:

Chapter 2 Spectra of Finite Graphs 2.1 Characteristic Polynomials Let G = (V, E) be a finite graph on n = V vertices. Numbering the vertices, we write down its adjacency matrix in an explicit form of n n matrix, say A. The characteristic polynomial of A is defined as usual by ϕ A (x) = xi A =det(xi A), where I is the n n identity matrix. It is noted that ϕ A (x) is determined independently of the numbering. In fact, let A be the adjacency matrix obtained by a different numbering. It follows from Proposition 1.20 that A = S 1 AS with an n n permutation matrix S. Then, ϕ A (x) = xi A = xi S 1 AS = S 1 (xi A)S = S 1 xi A S =ϕ A (x). We call ϕ A (x) the characteristic polynomial of G and denote it by ϕ(x; G). Example 2.1 Here are a few simple examples: x x 2 1 x 3 2x x 3 3x 2 =(x + 1) 2 (x 2) x 4 3x 2 = x 2 (x 2 3) The Author(s) 2017 N. Obata, Spectral Analysis of Growing Graphs, SpringerBriefs in Mathematical Physics, DOI 10.1007/978-981-10-3506-7_2 17

18 2 Spectra of Finite Graphs By definition the characteristic polynomial of a graph G = (V, E) on n = V vertices is of the form: ϕ(x; G) = x n + c 1 x n 1 + c 2 x n 2 + c 3 x n 3 + +c n 1 x + c n. (2.1) The coefficients represent combinatorial characteristics, see e.g., Bapat [13, Sect. 3.2] and Biggs [17, Chap. 7]. We only mention the following Theorem 2.2 For the coefficients of the characteristic polynomial (2.1) we have: (1) c 1 = 0. (2) c 2 = E, the number of edges. (3) c 3 = 2, where is the number of triangles in G. Proof Let A =[a ij ] be the adjacency matrix of G in an explicit form of n n matrix after numbering the vertices. Since the diagonal elements of A vanish, the characteristic polynomial of G is given by x a 12 a 1n a 21 x a 2n ϕ(x; G) = xi A =........ a n1 x For simplicity, the matrix in the right-hand side is denoted by B =[b ij ]. Then, ϕ(x; G) = B = = n k=0 σ S(n) σ S(n) supp σ =k sgn (σ )b 1σ(1) b 2σ(2) b nσ(n) sgn (σ )b 1σ(1) b 2σ(2) b nσ(n), where supp σ ={1 i n σ(i) = i}. Since the indeterminate x appears only in the diagonal of B, comparing with (2.1) wehave f k (x) σ S(n) supp σ =k sgn (σ )b 1σ(1) b 2σ(2) b nσ(n) = c k x n k. (2.2) That c 1 = 0 is apparent since there is no permutation σ with supp σ =1. For c 2 we note that the permutations σ with supp σ =2 are parametrized as σ = (i j) (1 i < j n). Taking sgn (σ ) = 1 into account, we obtain f 2 (x) = 1 i<j n ( 1)( a ij )( a ji )x n 2 = 1 i<j n a ij x n 2

2.1 Characteristic Polynomials 19 where we used a ij a ji = a 2 ij = a ij, and hence c 2 = E. Similarly, for c 3 we need to consider permutations σ satisfying supp σ =3. Those permutations are parametrized as σ = (i jk) and σ = (i kj) for 1 i < j < k n. Noting that sgn (σ ) = 1 for such cyclic permutations, we have f 3 (x) = 1 i<j<k n (a ij a jk a ki + a ik a kj a ji )x n 3. Since a ij a jk a ki = a ik a kj a ji = 1 only if i, j, k form a triangle, we get c 3 = 2. Exercise 2.3 Let A be the adjacency matrix of a finite graph G = (V, E). Show that Tr A = 0, Tr A 2 = 2 E, Tr A 3 = 6. 2.2 Spectra Let G = (V, E) be a finite graph on n = V vertices and A the adjacency matrix. The characteristic polynomial of G is factorized as ϕ(x; G) = xi A = n (x λ j ), (2.3) where λ 1,...,λ n are real numbers since A is a real symmetric matrix. Changing notation, let λ 1 < λ 2 < < λ s be the distinct eigenvalues of A. Then (2.3) becomes s ϕ(x; G) = xi A = (x λ i ) m i, (2.4) where m i 1 is called the (algebraic) multiplicity 1 of an eigenvalue λ i. Definition 2.4 Let G = (V, E) be a finite graph and ϕ(x; G) its characteristic polynomial in the form (2.4). The spectrum of G is by definition the array Spec (G) = j=1 i=1 ( ) λ1 λ 2 λ s. (2.5) m 1 m 2 m s Each λ i is called an eigenvalue of G and m i its multiplicity. Proposition 2.5 For finite graphs G and G,G = G implies Spec (G) = Spec (G ). 1 Let ϕ A (x) = xi A be the characteristic polynomial of a matrix A M(n, C).Thenλ C is an eigenvalue of A if and only if ϕ A (λ) = 0. In that case the algebraic multiplicity of the eigenvalue λ is defined to be the multiplicity of λ as a zero of the polynomial ϕ A (x). While, the geometric multiplicity is defined to be the dimension of the eigenspace associated to λ..

20 2 Spectra of Finite Graphs Proof Straightforward from Proposition 1.21. Example 2.6 The spectra of the five graphs in Example 2.1 are given as follows: ( 0 1), ( 11 1 1 ) ( 2 0 2 1 1 1 ), ( ) 12, 2 1 ( ) 3 0 3. 1 2 1 The converse assertion of Proposition 2.5 is not valid, namely, there are nonisomorphic graphs that have the same spectra. The following two graphs have a common characteristic polynomial: ϕ(x) = x 5 4x 3 = x 3 (x 2)(x + 2). In general, graphs with common spectra are called cospectral graphs. It is known that the above is a unique pair of cospectral graphs among 34 non-isomorphic graphs on 5 vertices. For a concise account on small graphs see e.g., Godsil McKay [54], Harary et al. [62], Johnson Newman [82], and for more recent and detailed results see Cvetković et al. [39 41]. There are many attempts to distinguish cospectral graphs by means of another matrices. Exercise 2.7 (Baker [10]) Show that the following two graphs have a common characteristic polynomial: ϕ(x) = x 6 7x 4 4x 3 + 7x 2 + 4x 1 = (x 1)(x + 1) 2 (x 3 x 2 5x + 1). In fact, this is a unique pair of cospectral connected graphs among 112 nonisomorphic connected graphs on 6 vertices. Exercise 2.8 (Collatz Sinogowitz [37]) Show that the following two trees have a common characteristic polynomial: ϕ(x) = x 8 7x 6 + 9x 4 = x 4 (x 4 7x 2 + 9).

2.2 Spectra 21 Exercise 2.9 Examine by characteristic polynomials that graphs G = (V, E) with V 4are uniquely specified by their spectra. Proposition 2.10 For a finite graph G let s(g) denote the number of distinct eigenvalues of G. Then we have s(g) = dim A (G). Proof Let λ 1 < <λ s be the different eigenvalues of the adjacency matrix A, s = s(g). After diagonalization by a suitable orthogonal matrix U we obtain m 1 {}}{ U 1 AU = diag[ λ 1 λ 1 m s {}}{ λ s λ s ] D. Then {I, D, D 2,...,D s 1 } is linearly independent, while {I, D, D 2,...,D s 1, D s } is not since (D λ 1 I) (D λ s I) = O, where I is the identity matrix. Therefore the algebra U 1 A (G)U is of dimension s, and so is A (G). Corollary 2.11 For a connected finite graph G we have s(g) = dim A (G) diam (G) + 1. Proof Immediate from Propositions 2.10 and 1.26. 2.3 Spectra of K n, C n and P n Lemma 2.12 Let J be the n n matrix with entries being all one. Then J/n isa projection of rank one. Therefore the eigenvalues of J are n with multiplicity one and 0 with multiplicity n 1. Proof That J/n is a projection follows from J 2 = nj and J = J.Let{e k ; 1 k n} be the canonical basis of C n and set f = n k=1 e k. Then we have Jf = nf and J(e 1 e k ) = 0for2 k n. Since {f, e 1 e k ; 2 k n} is a basis of C n, the eigenvalues of J are n with multiplicity one and 0 with multiplicity n 1. In particular, J/n is a projection onto the one-dimensional subspace spanned by f. Theorem 2.13 For the complete graph K n with n 1 we have ( ) ϕ(x; K n ) = (x + 1) n 1 1 n 1 (x n + 1), Spec (K n ) =. n 1 1

22 2 Spectra of Finite Graphs Proof Since the adjacency matrix A of K n is given by A = J I, the assertion is immediate from Lemma 2.12. Lemma 2.14 For n 2 let W be the n n circulant permutation matrix defined by 0 1 1 0 W = 1 0....... 1 0 The eigenvalues of W are 1 = ζ 0,ζ,...,ζ n 1, where ζ = exp(2πi/n). Proof Let {e k ; 1 k n} be the canonical basis of C n and set f l = n ζ lk e k, 0 l n 1. k=1 Since We k = e k+1 for 1 k n with the understanding that e n+1 = e 1,wehave Wf l = n ζ lk We k = k=1 n ζ lk e k+1 = ζ l k=1 n ζ l(k+1) e k+1 = ζ l f l. Namely, ζ l is an eigenvalue of W with an eigenvector f l. Since {f l ; 0 l n 1} forms a basis of C n, {ζ l ; 0 l n 1} exhaust the eigenvalues of W. Theorem 2.15 The spectrum of the cycle C 2m+1 for m 1 is given by 2lπ 2mπ 2 2 cos 2 cos Spec (C 2m+1 ) = 2m + 1 2m + 1, 1 l m. (2.6) 1 2 2 The spectrum of the cycle C 2m for m 2 is given by k=1 2lπ 2 2 cos 2 Spec (C 2m ) = 2m, 1 l m 1. (2.7) 1 2 1 Proof We keep the same notations as in Lemma 2.14. Note first that the adjacency matrix of C n is given as A = W + W T = W + W 1. Then for 0 l n 1wehave ( Af l = Wf l + W 1 f l = (ζ l + ζ l )f l = 2 cos 2lπ ) f l. n

2.3 Spectra of K n, C n and P n 23 Therefore, the eigenvalues of A are 2 cos 2lπ, 0 l n 1, (2.8) n among which the same values appear at most twice since 2 cos 2lπ n 2(n l)π = 2 cos. n The assertion follows after picking up different values from (2.8). Finally, we consider the path P n (n 1). After natural numbering the vertices, we may take the adjacency matrix of the form: 0 1 1 0 1 A n = 1 0 1.......... 1 0 1 1 0 Lemma 2.16 The characteristic polynomials ϕ n (x) = ϕ(x; P n ) of the path P n verify the following recurrence relation: ϕ 1 (x) = x, ϕ 2 (x) = x 2 1, (2.9) ϕ n (x) = xϕ n 1 (x) ϕ n 2 (x), n 3 (2.10) Proof Relations in (2.9) are immediate. Let n 3. We have x 1 1 1 1 x 1 x 1 1 x 1 1 x 1 ϕ n (x) =......... = xϕ n 1 (x) +......... 1 x 1 1 x 1 1 x 1 x = xϕ n 1 (x) ϕ n 2 (x), where we applied cofactor expansion twice, first along the first row and then along the first column. Chebyshev polynomials of the second kind. Using elementary knowledge of trigonometric functions we see easily that for n = 0, 1, 2,... there exists a polynomial U n (x) such that

24 2 Spectra of Finite Graphs U n (cos θ) = In fact, U n (x) is determined by the recurrence relation: sin(n + 1)θ. (2.11) sin θ U 0 (x) = 1, U 1 (x) = 2x, U n+1 (x) 2xU n (x) + U n 1 (x) = 0. (2.12) These polynomials {U n (x)} are called the Chebyshev polynomials of the second kind. First a few are given by U 0 (x) = 1, U 1 (x) = 2x, U 2 (x) = 4x 2 1, U 3 (x) = 8x 3 4x, U 4 (x) = 16x 4 12x 2 + 1, U 5 (x) = 32x 5 32x 3 + 6x. Theorem 2.17 ϕ(x; P n ) = U n (x/2) for n 1. Proof Set ϕ n (x) = ϕ(x; P n ) for n 1 and ϕ 0 (x) = 1. By Lemma 2.16 we have ϕ 0 (x) = 1, ϕ 1 (x) = x, ϕ n (x) = xϕ n 1 (x) ϕ n 2 (x), n 2. (2.13) On the other hand, we see from (2.12) that {U n (x/2) ; n 0} fulfills the same recurrence relation as in (2.13) together with the initial conditions. Therefore ϕ n (x) = U n (x/2) for all n 0. Theorem 2.18 The spectrum of the path P n is given by Spec (P n ) = 2 cos π kπ nπ 2 cos 2 cos n + 1 n + 1 n + 1, 1 k n. 1 1 1 Proof First we need to find the zeroes of the Chebyshev polynomial of the second kind. It follows from (2.11) that U n (cos θ) = 0for θ = θ k = kπ n + 1, k = 1, 2,...,n. Hence, U n (x k ) = 0forx k = cos θ k,1 k n. Since U n (x) is a polynomial of degree n and x 1, x 2,...,x n are mutually distinct, they exhaust the zeroes of U n (x) and each x k is simple. Then by Theorem 2.17 the zeroes of ϕ(x; P n ) are all simple and given by 2x 1,...,2x n, which gives Spec (P n ) as desired. Exercise 2.19 Let G = (V, E) be a graph. Let a V be a vertex with deg(a) = 1 and b V a unique vertex adjacent to a. Prove that ϕ(x; G) = xϕ(x; G\{a}) ϕ(x; G\{a, b}), where G\W is a short-hand notation for G[V \W ], the induced subgraph spanned by V \W, where W V.

2.3 Spectra of K n, C n and P n 25 Exercise 2.20 Using Theorem 2.18, prove the following identity: m kπ 2 cos = 1, m 1. 2m + 1 k=1 Exercise 2.21 (see Corollary 2.11) Show that s(g) = dim A (G) = diam (G) + 1 holds for G = K n with n 1 and for G = P n with n 1. Give a small graph G such that s(g) >diam (G) + 1. Exercise 2.22 Show that the characteristic polynomial and the spectrum of the complete bipartite graph K k,l are given by ϕ(x; K k,l ) = x k+l 2 (x 2 kl), Spec (K k,l ) = ( kl 0 ) kl 1 k + l 2 1 2.4 Bounds of Spectra We first recall useful results known under the name of Perron Frobenius theory, for further details see Horn-Johnson [80, Chap. 8] and Seneta [123]. For a matrix A M(n, C) the spectral radius is defined to be the maximal modulus of its eigenvalue and is denoted by ρ(a). Proposition 2.23 Let A =[a ij ] M(n, C) and assume that a ij 0 for all i, j. Then ρ(a) is an eigenvalue of A and there exists a nonzero vector ξ =[ξ i ] C n such that Aξ = ρ(a)ξ and ξ i 0 for all i. AmatrixA M(n, C) is called reducible if there is a permutation matrix S such that S T AS is partitioned in the form: S T AS = [ ] BC, B M(r, C), D M(n r, C), 1 r n 1. OD AmatrixA M(n, C) is called irreducible if it is not reducible. Proposition 2.24 Let A =[a ij ] M(n, C) and assume that a ij 0 for all i, j. If A is irreducible, ρ(a) is an algebraically simple eigenvalue of A. Moreover, there exists a vector ξ =[ξ i ] C n such that Aξ = ρ(a)ξ and ξ i > 0 for all i. (This vector is called the Perron vector.) Definition 2.25 The spectral radius of a finite graph G is defined to be the spectral radius of the adjacency matrix, and is denoted by ρ(g). As a direct consequence from Propositions 2.23 and 2.24 we have the following

26 2 Spectra of Finite Graphs Theorem 2.26 Let G be a finite graph. Then ρ(g) coincides with the maximal eigenvalue of G. If G is a finite connected graph, ρ(g) is simple and there exists an eigenvector with positive entries. Bounds of ρ(g) is interesting. We start with a simple upper bound. Theorem 2.27 For a finite graph G = (V, E) it holds that { } 2 E ( V 1) 1/2 ρ(g). (2.14) V Proof Let A be the adjacency matrix of G and λ 1 λ 2 λ n the eigenvalues of A, where n = V. Then ρ(g) = λ 1. Since Tr A = 0 and Tr A 2 = 2 E,wehave n λ k = 0, k=1 n λ 2 k = 2 E. k=1 Then, applying the Schwartz inequality, we obtain { n 2 n λ 2 1 = k )} (n 1) λ k=2( λ 2 k = (n 1)(2 E λ2 1 ), k=2 from which we obtain nλ 2 1 2(n 1) E. Then (2.14) follows immediately. Some statistics concerning the degrees of vertices play an interesting role. We set d max (G) = max{deg(x) ; x V }, d min (G) = min{deg(x) ; x V }, and define the mean degree of G by d(g) = 1 V x V Theorem 2.28 For a finite graph G = (V, E) it holds that d min (G) d(g) ρ(g) d max (G). deg(x) = 2 E V. (2.15) Proof Obviously, d min (G) d(g) d max (G). We first prove that d(g) ρ(g). Let A be the adjacency matrix of G. From elementary linear algebra we know that λ min (A) f, Af f, f λ max(a) for all f C(V ), f = 0, (2.16) where λ max (A) and λ min (A) are the maximal and minimal eigenvalues of A, respectively. Now we take ψ to be a constant function defined by ψ(x) = 1 for all x V.

2.4 Bounds of Spectra 27 Then, ψ, Aψ = ψ(x)(a) xy ψ(y) = (A) xy = 2 E. x,y V x,y V Since ψ, ψ = V, wehave ψ, Aψ ψ, ψ = 2 E = d(g). (2.17) V Combining (2.16) and (2.17), we obtain d(g) λ max (A) = ρ(g), as desired. Next we show that ρ(g) d max (G). Wesetλ = ρ(g) for simplicity. Now we choose an eigenvector f C(V ) such that Af = λf, f = 0, and f (x) R for all x V (here we do not need to refer to a Perron vector). In that case, we may assume without loss of generality that α max{f (x) ; x V } > 0. Let o V be chosen in such a way that f (o) = α. Then, λα = λf (o) = Af (o) = y V (A) oy f (y) α deg(o). Since α>0, we have λ deg(o), which implies that ρ(g) d max (G). Corollary 2.29 If G is a finite regular graph with degree κ, we have ρ(g) = κ. Exercise 2.30 Show that min Spec (G) 2 for any line graph G of a finite graph. 2.5 Star Products Consider two graphs G i = (V i, E i ) with distinguished vertex o i V i for i = 1, 2. The star product G 1 G 2 = (G 1, o 1 ) (G 2, o 2 ) is a graph obtaining by gluing G 1 and G 2 at the distinguished vertices (Fig. 2.1), for further study see Sect. 7.7. Lemma 2.31 Let m 1 and n 1 be natural numbers. Let A, B, C, Dbem m-, m n-, n m-, and n n-matrices over the complex number field, respectively. If A is invertible, we have det [ ] AB = det A det(d CA 1 B). (2.18) CD Fig. 2.1 Star product K 6 K 5

28 2 Spectra of Finite Graphs Similarly, if D is invertible, we have det [ ] AB = det D det(a BD 1 C) (2.19) CD Proof (2.18) follows immediately from the obvious identity: [ ] AB = CD [ ][ ] AO I A 1 B C I O D CA 1, B where I stands for the identity matrix. The proof of (2.19) is similar. Let B 1, B 2 and A be the adjacency matrices of G 1, G 2 and G = G 1 G 2, respectively, We number the vertices in such a way that V 1 ={1, 2,...,m} and V 2 ={m, m + 1, 2,...,m + n 1}, where o 1 and o 2 are given the common number m. Then the adjacency matrix A is of the form: A = B 1 B 2 [ ] B1 F = F T, (2.20) B 2 where B 2 is the adjacency matrix of G 2 \{o 2 }, and F is an m (n 1) matrix such that (F) ij = 0 for all 1 i m 1 and 1 j n 1. By Lemma 2.31 we obtain [ ] x B1 F ϕ(x) = det(x A) = det F T x B 2 = det(x B 1 ) det(x B 2 F T (x B 1 ) 1 F). (2.21) We define an (n 1) (n 1) matrix F by By simple calculation, we have ( F) ij = (F) mi (F) mj, 1 i, j n 1. F T (x B 1 ) 1 F = ((x B 1 ) 1 ) mm F = det(x B 1 ) 1 det(x B 1 ) F, (2.22) where B 1 is a principal submatrix of B 1 obtained by deleting mth row and column, in other words, B 1 is the adjacency matrix of G 1 \{o 1 }. Combining (2.21) and (2.22) we obtain ϕ(x) = det(x B 1 ) det(x B 2 det(x B 1 ) 1 det(x B 1 ) F).

2.5 Star Products 29 Summing up, we have established the following Theorem 2.32 For i = 1, 2,letG i = (V i, E i ) be a graph with a distinguished vertex o i V i. Let B i be the adjacency matrix of G i. Then the characteristic polynomial of the star product G 1 G 2 = (G 1, o 1 ) (G 2, o 2 ) is given by ( ) ϕ(x; G 1 G 2 ) = det(x B 1 ) det x B 2 det(x B 1 ) det(x B 1 ) F, where B i is the adjacency matrix of G i \{o i } and F =[f i f j ] is a matrix indexed by (V 2 \{o 2 }) (V 2 \{o 2 }) defined by f i = (B 2 ) o2 i. Corollary 2.33 For the star product of the complete graphs we have ϕ(x; K m K n ) = (x + 1) m+n 4 ((x m n + 2)(x + 1) 2 + (m 1)(n 1)(x + 2)), where m 1 and n 1. Proof Noting that B i is the adjacency matrix of a complete graph and F = J, we need only to apply Theorem 2.32. Notes. The spectral graph theory has a long history. There are many comprehensive books, some of which are Brouwer Haemers [28], Cvetković Doob Sachs [41], Cvetković Rowlinson Simić [39, 40] and van Mieghem [136]. For spectra of the normalized Laplacian, see also Chung [35].

http://www.springer.com/978-981-10-3505-0