12.07.2015 Views

enumeration of the number of spanning trees in some ... - Toubkal

enumeration of the number of spanning trees in some ... - Toubkal

enumeration of the number of spanning trees in some ... - Toubkal

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

64CHAPTER 3.HOW TO COUNT THE NUMBER OF SPANNING TREES INGRAPHScolumn. By <strong>the</strong> matrix-tree <strong>the</strong>orem, <strong>the</strong> product n−1 ∏<strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> G.i=1λ i is exactly n times <strong>the</strong> <strong>number</strong>□Remark 3.4.7 [21] Let G be an undirected (multi)graph with at least one vertex, andLaplace matrix L with eigenvalues 0 = λ 1 ≥ λ 2 ≥ ... ≥ λ n . Let L ∗ vu be <strong>the</strong> (v, u)-c<strong>of</strong>actor<strong>of</strong> L. Then <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> G equalsτ(G) = L ∗ vu = det(L + 1 n 2 J) = 1 n λ 2...λ n for any v, u ∈ V (G).(The (i, j)-c<strong>of</strong>actor <strong>of</strong> a matrix M is by def<strong>in</strong>ition (−1) i+j det M(i, j), where M(i, j) is<strong>the</strong> matrix obta<strong>in</strong>ed from M by delet<strong>in</strong>g row i and column j. Note that L ∗ vu does notdepend on an order<strong>in</strong>g <strong>of</strong> <strong>the</strong> vertices <strong>of</strong> G)For example, <strong>the</strong> graph G <strong>of</strong> valency k on 2 vertices has Laplace matrix L as follows:( ) k −kL =,−k kso that λ 1 = 0, λ 2 = 2k, and τ(G) = 1 2 .2k = k. If we consider <strong>the</strong> complete graph K n,<strong>the</strong>n λ 2 = ... = λ n = n, and <strong>the</strong>refore K n has τ(G) = n n−2 <strong>spann<strong>in</strong>g</strong> <strong>trees</strong>. This formulawas proposed by Cayley [24]. Remark 4.3.14 is implicit <strong>in</strong> Kirchh<strong>of</strong>f [65] and it is knownas <strong>the</strong> Matrix-Tree Theorem [21].We consider two examples, shown <strong>in</strong> Figure 3.7 and Figure 3.8.Example 3.4.8 Consider <strong>the</strong> graph <strong>in</strong> Figure 3.7Figure 3.7: Example graph, with Laplacian matrix and eigenvalues. Numbers near eachvertex <strong>in</strong>dicate <strong>the</strong> chosen order<strong>in</strong>g. The total <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> can be seen tobe 8 by <strong>in</strong>spection, which matches with Kirchh<strong>of</strong>f’s <strong>the</strong>orem.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!