Number of spanning trees of a quotient graph - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T00:17:55Z http://mathoverflow.net/feeds/question/25312 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25312/number-of-spanning-trees-of-a-quotient-graph Number of spanning trees of a quotient graph Richard Stanley 2010-05-20T02:25:19Z 2010-06-01T12:10:15Z <p>Let $G$ be a finite connected graph on a $2m$-element vertex set $V$. For any graph with vertices $u,v$, let $\mu(u,v)$ denote the number of edges between $u$ and $v$. Suppose that $G$ has an automorphism $f$ that is a fixed-point free involution on the vertices. We can define a quotient graph $G/f$ by letting the vertices of $G/f$ be the orbits $[u]=\left\lbrace u,f(u)\right\rbrace$ of $f$, and setting $$\mu([u],[v]) = \mu(u,v) + \mu(f(u),v).$$ Let $\kappa(H)$ denote the number of spanning trees of a graph $H$. By the Matrix-Tree Theorem and some simple linear algebra, one can show that $2\kappa(G)$ is divisible by $\kappa(G/f)$. My question is whether the factor of 2 is necessary, i.e., is it always true that $\kappa(G)$ is divisible by $\kappa(G/f)$? Similar questions can be asked for more complicated automorphism groups of $G$.</p> http://mathoverflow.net/questions/25312/number-of-spanning-trees-of-a-quotient-graph/25325#25325 Answer by Gjergji Zaimi for Number of spanning trees of a quotient graph Gjergji Zaimi 2010-05-20T05:22:52Z 2010-06-01T12:10:15Z <p>Let us group the vertices as $U=\{u_1,u_2,\dots,u_n\}$ and $V=\{v_1,v_2,\dots, v_n\}$ where $f(u_i)=v_i$. Let $L_0$ be the laplacian of the graph with vertex set $U$ and edges as restricted from $G$, let $L _1 = \operatorname{diag}\left( \sum _{j=1}^n \mu(u _i, v _j)\right)$ and $L=L _0+L _1$, also let $A$ be the symmetric matrix whose $a _{ij}$ is $-\mu(u _i,v _j)$. Clearly the Laplacian of $G$ is $M=\left( \begin {array} {cc} L &amp; A \\ A &amp; L \end {array} \right)$. Let $M^*$ stand for the matrix $M$ with deleted first row and column. We have $$\kappa(G)=\det \left( \begin {array} {cc} L &amp; A \\ A &amp; L \end {array} \right) ^ *=\det \left( \begin {array} {cc} B &amp; C \\ D &amp; (L+A)^ * \end {array} \right)$$ for some block matrices $B,C,D$ of size $n\times n,n\times (n-1),$ and $(n-1)\times n$ where this second matrix was obtained by adding the $i$th row of $M^{*}$ to it's $n+i$th row for $1\le i\le n-1$ and then adding the first (or last) $n-1$ columns to the $n$th column. So $D$ is the matrix $(L+A)*$ together with a last column of zeros, making $(L+A)^{*-1}D$ with integer entries. Next we factor it using one of <a href="http://en.wikipedia.org/wiki/Determinant#Block_matrices" rel="nofollow">these</a> identities $$\kappa(G)=\det(L+A)^ * \det(B-C(L+A)^{*-1}D)$$ and observe that $L+A$ is the Laplacian of $G/f$ so $\det(L+A)^ *=\kappa(G/f)$, and since the second factor is an integer we get the desired divisibility.</p>