62CHAPTER 3.HOW TO COUNT THE NUMBER OF SPANNING TREES INGRAPHS⎛D =⎜⎝2 0 0 0 0 0 0 00 2 0 0 0 0 0 00 0 3 0 0 0 0 00 0 0 3 0 0 0 00 0 0 0 3 0 0 00 0 0 0 0 3 0 00 0 0 0 0 0 2 00 0 0 0 0 0 0 2⎞⎛, A =⎟ ⎜⎠ ⎝Then <strong>the</strong> matrix L = D − A is <strong>the</strong> 8 × 8 matrix⎛L =⎜⎝2 −1 0 −1 0 0 0 0−1 2 −1 0 0 0 0 00 −1 3 −1 0 −1 0 0−1 0 −1 3 −1 0 0 00 0 0 −1 3 −1 0 −10 0 −1 0 −1 3 −1 00 0 0 0 0 −1 2 −10 0 0 0 −1 0 −1 20 1 0 1 0 0 0 01 0 1 0 0 0 0 00 1 0 1 0 1 0 01 0 1 0 1 0 0 00 0 0 1 0 1 0 10 0 1 0 1 0 1 00 0 0 0 0 1 0 10 0 0 0 1 0 1 0Let now s = 3. By delet<strong>in</strong>g <strong>the</strong> s-th row and s-th column <strong>of</strong> L we have <strong>the</strong> 7 × 7 matrix⎛L ∗ =⎜⎝2 −1 −1 0 0 0 0−1 2 0 0 0 0 0−1 0 3 −1 0 0 00 0 −1 3 −1 0 −10 0 0 −1 3 −1 00 0 0 0 −1 2 −10 0 0 −1 0 −1 2The determ<strong>in</strong>ant <strong>of</strong> this matrix is 56. Thus <strong>the</strong> Matrix Tree Theorem states that <strong>the</strong><strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> for this graph is 56. These computations were performed byus<strong>in</strong>g Maple.Example 3.4.5 In <strong>the</strong> labelled graph G shown <strong>in</strong> Figure 2.8, by us<strong>in</strong>g <strong>the</strong> matrix-tree<strong>the</strong>orem , we f<strong>in</strong>d a c<strong>of</strong>actor by remov<strong>in</strong>g <strong>the</strong> last row and column, and <strong>the</strong>n tak<strong>in</strong>g <strong>the</strong>determ<strong>in</strong>ant.2 −1 0 0 −1−1 4 −1 0 −1τ(G) =0 −1 3 −1 0= 55.0 0 −1 2 0∣−1 −1 0 0 3 ∣⎞⎟⎠⎞⎟⎠⎞⎟⎠
3.4. Count<strong>in</strong>g <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> graphs algebraically 633.4.2 O<strong>the</strong>r algebraic methods for count<strong>in</strong>g τ(G)Some o<strong>the</strong>r methods for count<strong>in</strong>g τ(G) are as follows. Let A be an n × n matrix. Theeigenvalues <strong>of</strong> A are def<strong>in</strong>ed as <strong>the</strong> n roots <strong>of</strong> <strong>the</strong> characteristic polynomial det(λI − A).The spectrum <strong>of</strong> A consists <strong>of</strong> all eigenvalues <strong>of</strong> A. All eigenvalues <strong>of</strong> a real symmetricmatrix are real. For fur<strong>the</strong>r detail and more explanation on properties and significance <strong>of</strong><strong>the</strong> <strong>the</strong>ory <strong>of</strong> spectra, we refer <strong>the</strong> reader to [5, 11, 21, 35, 57, 52, 53, 92, 80, 81, 83, 91, 93].The Laplacian matrix <strong>of</strong> a graph and its eigenvalues can be used <strong>in</strong> several areas <strong>of</strong>ma<strong>the</strong>matical research and have a physical <strong>in</strong>terpretation <strong>in</strong> various physical andchemical <strong>the</strong>ories. The related matrix: <strong>the</strong> adjacency matrix <strong>of</strong> a graph and its eigenvalueswere extensively <strong>in</strong>vestigated <strong>in</strong> <strong>the</strong> past than <strong>the</strong> Laplacian matrix. From <strong>the</strong>Laplace spectrum <strong>of</strong> a graph, one can determ<strong>in</strong>e <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> (whichwill be nonzero only if <strong>the</strong> graph is connected). Fur<strong>the</strong>rmore, by basic knowledge <strong>of</strong>l<strong>in</strong>ear algebra, all eigenvalues <strong>of</strong> <strong>the</strong> Kirchh<strong>of</strong>f matrix L <strong>of</strong> a graph with n verticesare non-negative, and 0 is one <strong>of</strong> its eigenvalues because all its row vectors add up to<strong>the</strong> 0 vector. So we can let λ 1 ≥ λ 2 ≥ ... ≥ λ n (= 0) denote all eigenvalues <strong>of</strong> L.Kel’mans and Chelnokov [64] have shown that <strong>the</strong> <strong>number</strong> <strong>of</strong> dist<strong>in</strong>ct <strong>spann<strong>in</strong>g</strong> <strong>trees</strong><strong>of</strong> a graph G is equal to <strong>the</strong> product <strong>of</strong> nonzero eigenvalues <strong>of</strong> <strong>the</strong> comb<strong>in</strong>atorial Laplacian.For a graph G, <strong>the</strong> comb<strong>in</strong>atorial Laplacian has non-negative eigenvalues exceptone, λ 1 ≥ λ 2 ≥ ... ≥ λ n (= 0). The <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong>, can be related to <strong>the</strong>eigenvalues <strong>of</strong> L as follows: (A pro<strong>of</strong> can be found <strong>in</strong> [11]. For completeness, we brieflydescribe <strong>the</strong> pro<strong>of</strong> here). We now can state <strong>the</strong> follow<strong>in</strong>g <strong>the</strong>orem and its pro<strong>of</strong>.Theorem 3.4.6 (Kirchh<strong>of</strong>f’s Matrix Tree Theorem) For a given undirected connectedgraph G with n vertices, let λ 1 , . . . , λ n−1 be <strong>the</strong> non-zero eigenvalues <strong>of</strong> L(G). Then,<strong>the</strong> <strong>number</strong> <strong>of</strong> dist<strong>in</strong>ct <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> τ(G) is equal to:τ(G) = 1 n−1∏λ i .nEquivalently, τ(G) is equal to <strong>the</strong> absolute value <strong>of</strong> any c<strong>of</strong>actor <strong>of</strong> <strong>the</strong> Laplacian matrix<strong>of</strong> G.Pro<strong>of</strong>: Suppose we consider <strong>the</strong> characteristic polynomial p(x) <strong>of</strong> <strong>the</strong> comb<strong>in</strong>atorialLaplacian L.p(x) = det(L − xI).The coefficient <strong>of</strong> <strong>the</strong> l<strong>in</strong>ear term is exactlyn−1−i=1∏λ i .i=1On <strong>the</strong> o<strong>the</strong>r hand, <strong>the</strong> coefficient <strong>of</strong> <strong>the</strong> l<strong>in</strong>ear term <strong>of</strong> p(x) is -1 times <strong>the</strong> sum <strong>of</strong> <strong>the</strong>determ<strong>in</strong>ant <strong>of</strong> n pr<strong>in</strong>cipal submatrix <strong>of</strong> L obta<strong>in</strong>ed by delet<strong>in</strong>g <strong>the</strong> i-th row and i-th