counting the spanning trees of the 3 cube using edge
play

Counting the spanning trees of the 3-cube using edge slides - PowerPoint PPT Presentation

Counting the spanning trees of the 3-cube using edge slides Christopher Tuffley Institute of Fundamental Sciences Massey University, Manawatu 2009 New Zealand Mathematics Colloquium Christopher Tuffley (Massey University) Counting the


  1. Counting the spanning trees of the 3-cube using edge slides Christopher Tuffley Institute of Fundamental Sciences Massey University, Manawatu 2009 New Zealand Mathematics Colloquium Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 1 / 15

  2. Outline Introduction 1 Cubes and spanning trees Counting spanning trees: ways and means The 3-cube 2 Edge slides Counting the trees Higher dimensions 3 Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 2 / 15

  3. Introduction Cubes and spanning trees Cubes { 1 , 2 , 3 } Definition The n -cube is the graph Q n with { 1 , 2 } { 2 , 3 } { 1 , 3 } vertices the subsets of [ n ] = { 1 , 2 , . . . , n } ; { 2 } an edge between S and R if they { 1 } { 3 } differ by adding or deleting a single element. ∅ Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 3 / 15

  4. Introduction Cubes and spanning trees Spanning trees Definition A spanning tree of a connected graph G is a maximal subset of the edges that contains no cycle; equivalently, a minimal subset of the edges that connects all the vertices. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 4 / 15

  5. Introduction Counting spanning trees: ways and means Counting trees — the matrix way Theorem (Kirchoff’s Matrix-Tree Theorem) The number of spanning trees of a simple connected graph G is given by the determinant of a matrix associated with G — the Laplacian of G, with row i, column i deleted. 1 4  3 − 1 − 1 − 1  − 1 2 − 1 0     − 1 − 1 2 0   − 1 0 0 1 2 3 Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 5 / 15

  6. Introduction Counting spanning trees: ways and means Counting trees — the matrix way Theorem (Kirchoff’s Matrix-Tree Theorem) The number of spanning trees of a simple connected graph G is given by the determinant of a matrix associated with G — the Laplacian of G, with row i, column i deleted. 1 4   2 − 1 0   det  = 3   − 1 2 0  0 0 1 2 3 Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 5 / 15

  7. Introduction Counting spanning trees: ways and means Counting trees — the combinatorial way Model: Prüfer code for spanning trees of K n (Prüfer, 1918) The Prüfer code is a bijection → { 1 , . . . , n } n − 2 spanning trees of K n ← — recovering Cayley’s Theorem that K n has n n − 2 spanning trees. 1 2 6 Prüfer code 3411 5 3 4 Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 6 / 15

  8. Introduction Counting spanning trees: ways and means Spanning trees of the n -cube Known result The n-cube has n k ( n 2 | S | = 2 2 n − n − 1 k ) � � S ⊆ [ n ] k = 1 | S |≥ 2 spanning trees. For n = 3 this gives 2 4 · 2 3 · 3 = 384 spanning trees. Proof. The Matrix-Tree Theorem + clever determination of eigenvalues. See e.g. Stanley, Enumerative Combinatorics , Vol II. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 7 / 15

  9. Introduction Counting spanning trees: ways and means Spanning trees of the n -cube Known result The n-cube has n k ( n 2 | S | = 2 2 n − n − 1 k ) � � S ⊆ [ n ] k = 1 | S |≥ 2 spanning trees. For n = 3 this gives 2 4 · 2 3 · 3 = 384 spanning trees. Proof. The Matrix-Tree Theorem + clever determination of eigenvalues. See e.g. Stanley, Enumerative Combinatorics , Vol II. Problem Stanley: “A direct combinatorial proof of this formula is not known.” Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 7 / 15

  10. Introduction Counting spanning trees: ways and means A weighted count Theorem (Martin and Reiner, 2003) With respect to certain weights q 1 , . . . , q n , x 1 , . . . , x n we have q dir ( T ) x dd ( T ) = q 1 · · · q n � � � q i ( x − 1 + x i ) . i s. trees S ⊆ [ n ] i ∈ S | S |≥ 2 of Q n degree of q i in q dir ( T ) is the number of edges in direction i degree of x i in x dd ( T ) is the number of edges in the “upper” i -face minus the number in the “lower”. Suggests that a spanning tree of Q n � a choice of element and sign at each vertex of cardinality 2. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 8 / 15

  11. Introduction Counting spanning trees: ways and means A weighted count Theorem (Martin and Reiner, 2003) With respect to certain weights q 1 , . . . , q n , x 1 , . . . , x n we have q dir ( T ) x dd ( T ) = q 1 · · · q n � � � q i ( x − 1 + x i ) . i s. trees S ⊆ [ n ] i ∈ S | S |≥ 2 of Q n degree of q i in q dir ( T ) is the number of edges in direction i degree of x i in x dd ( T ) is the number of edges in the “upper” i -face minus the number in the “lower”. Suggests that a spanning tree of Q n � a choice of element and sign at each vertex of cardinality 2. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 8 / 15

  12. The 3-cube Edge slides Edge slides { 1 , 2 , 3 } Definition An edge of a spanning tree is slidable { 1 , 2 } { 2 , 3 } if it can be “slid” across a face of the { 1 , 3 } cube to give a second spanning tree. Observation { 1 } { 3 } { 2 } An edge that may be slid in direction i must lie on the path joining two i-edges. ∅ Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 9 / 15

  13. The 3-cube Edge slides Edge slides { 1 , 2 , 3 } Definition An edge of a spanning tree is slidable { 1 , 2 } { 2 , 3 } if it can be “slid” across a face of the { 1 , 3 } cube to give a second spanning tree. Observation { 1 } { 3 } { 2 } An edge that may be slid in direction i must lie on the path joining two i-edges. ∅ Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 9 / 15

  14. The 3-cube Edge slides Edge slides { 1 , 2 , 3 } Definition An edge of a spanning tree is slidable { 1 , 2 } { 2 , 3 } if it can be “slid” across a face of the { 1 , 3 } cube to give a second spanning tree. Observation { 1 } { 3 } { 2 } An edge that may be slid in direction i must lie on the path joining two i-edges. ∅ Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 9 / 15

  15. The 3-cube Edge slides Edge slides { 1 , 2 , 3 } Definition An edge of a spanning tree is slidable { 1 , 2 } { 2 , 3 } if it can be “slid” across a face of the { 1 , 3 } cube to give a second spanning tree. Observation { 1 } { 3 } { 2 } An edge that may be slid in direction i must lie on the path joining two i-edges. ∅ Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 9 / 15

  16. The 3-cube Edge slides Edge slides { 1 , 2 , 3 } Definition An edge of a spanning tree is slidable { 1 , 2 } { 2 , 3 } if it can be “slid” across a face of the { 1 , 3 } cube to give a second spanning tree. Observation { 1 } { 3 } { 2 } An edge that may be slid in direction i must lie on the path joining two i-edges. ∅ Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 9 / 15

  17. The 3-cube Edge slides Existence Lemma A minimal path joining two i-edges contains a unique edge that may be slid in direction i. Proof (length three case only). u v Vertices u and v must meet edges of the tree. There are three possibilities. Corollary A tree with k edges in direction i has k − 1 edges that may be slid in direction i, for a total of exactly four possible slides. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 10 / 15

  18. The 3-cube Edge slides Existence Lemma A minimal path joining two i-edges contains a unique edge that may be slid in direction i. Proof (length three case only). u v Vertices u and v must meet edges of the tree. There are three possibilities. Corollary A tree with k edges in direction i has k − 1 edges that may be slid in direction i, for a total of exactly four possible slides. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 10 / 15

  19. The 3-cube Edge slides Existence Lemma A minimal path joining two i-edges contains a unique edge that may be slid in direction i. Proof (length three case only). u v Vertices u and v must meet edges of the tree. There are three possibilities. Corollary A tree with k edges in direction i has k − 1 edges that may be slid in direction i, for a total of exactly four possible slides. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 10 / 15

  20. The 3-cube Edge slides Existence Lemma A minimal path joining two i-edges contains a unique edge that may be slid in direction i. Proof (length three case only). u v Vertices u and v must meet edges of the tree. There are three possibilities. Corollary A tree with k edges in direction i has k − 1 edges that may be slid in direction i, for a total of exactly four possible slides. Christopher Tuffley (Massey University) Counting the spanning trees of the 3-cube NZMC 2009 10 / 15

Recommend


More recommend