arXiv++ Combinatorics

For any graph G with n edges, the spanning subgraphs and the orientations of G are both counted by the evaluation T_G(2,2)=2^n of its Tutte polynomial. We define a bijection $Φ$ between spanning subgraphs and orientations and explore its enumerative consequences regarding the Tutte polynomial. The bijection $Φ$ is closely related to a recent characterization of the Tutte polynomial relying on a combinatorial embedding of the graph G, that is, on a choice of cyclic order of the edges around each vertex. Among other results, we obtain a combinatorial interpretation for each of the evaluations T_G(i,j), 0\leq i,j \leq 2 of the Tutte polynomial in terms of orientations. The strength of our approach is to derive all these interpretations by specializing the bijection $Φ$ in various ways. For instance, we obtain a bijection between the connected subgraphs of G (counted by T_G(1,2)) and the root-connected orientations. We also obtain a bijection between the forests (counted by T_G(2,1)) and outdegree sequences which specializes into a bijection between spanning trees (counted by T_G(1,1)) and root-connected outdegree sequences. We also define a bijection between spanning trees and recurrent configurations of the sandpile model. Combining our results we obtain a bijection between recurrent configurations and root-connected outdegree sequences which leaves the configurations at level 0 unchanged.

A classical result states that the determinant of an alternating link is equal to the number of spanning trees in a checkerboard graph of an alternating connected projection of the link. We generalize this result to show that the determinant is the alternating sum of the number of quasi-trees of genus j of the dessin of a non-alternating link. Furthermore, we obtain formulas for other link invariants by counting quantities on dessins. In particular we will show that the $j$-th coefficient of the Jones polynomial is given by sub-dessins of genus less or equal to $j$.

We give an interpretation of the coefficients of the two variable refinement $D_{\Sh_n}(q,t)$ of the distance enumerator of the Shi hyperplane arrangement $\Sh_n$ in $n$ dimensions. This two variable refinement was defined by Stanley \cite{stan-rota} for the general $r$-extended Shi hyperplane arrangements. We give an interpretation when $r=1$. We define three natural three-dimensional partitions of the number $(n+1)^{n-1}$. The first arises from parking functions of length $n$, the second from special posets on $n$ vertices defined by Athanasiadis and the third from spanning trees on $n+1$ vertices. We call the three partitions as the parking partition, the tree-poset partition and the spanning-tree partition respectively. We show that one of the parts of the parking partition is identical to the number of edge-labelled trees with label set $\{1,2,...,n\}$ on $n+1$ unlabelled vertices. We prove that the parking partition majorises the tree-poset partition and conjecture that the spanning-tree partition also majorises the tree-poset partition.

We obtain the numbers of spanning trees on the Sierpinski gasket $SG_d(n)$ with dimension $d$ equal to two, three and four. The general expression for the number of spanning trees on $SG_d(n)$ with arbitrary $d$ is conjectured. The numbers of spanning trees on the generalized Sierpinski gasket $SG_{d,b}(n)$ with $d=2$ and $b=3,4$ are also obtained.

We give a new characterization of the Tutte polynomial of graphs. Our characterization is formally close (but inequivalent) to the original definition given by Tutte as the generating function of spanning trees counted according to activities. Tutte's notion of activity requires to choose a \emph{linear order} on the edge set (though the generating function of the activities is, in fact, independent of this order). We define a new notion of activity, the embedding-activity, which requires to choose a \emph{combinatorial embedding} of the graph, that is, a cyclic order of the edges around each vertex. We prove that the Tutte polynomial equals the generating function of spanning trees counted according to embedding-activities (this generating function being, in fact, independent of the embedding).

A parking function of length n is a sequence (b_1, b_2,..., b_n) of nonnegative integers whose nondecreasing rearrangement (a_1, a_2,...,a_n) has the property that a_i < i for every i. A well-known result about parking functions is that the polynomial P_n(q), which enumerates the complements of parking functions by the sum of their terms, is the generating function for the number of connected graphs by the number of excess edges when evaluated at (1+q). In this paper we extend this result to arbitrary connected graphs G. In general the polynomial that encodes information about subgraphs of G is the Tutte polynomial, which is the generating function for two parameters, namely the internal and external activities, associated with the spanning trees of G. We define G-multiparking functions, which generalize the G-parking functions that Postnikov and Shapiro introduced in the study of certain quotients of the polynomial ring. We construct a family of algorithmic bijections between the spanning forests of a graph G and the G-multiparking functions. In particular, the bijection induced by the breadth-first search leads to a new characterization of external activity, and hence a representation of Tutte polynomial by the reversed sum of G-multiparking functions.

The Jones polynomial can be expressed in terms of spanning trees of the graph obtained by checkerboard coloring a knot diagram. We show there exists a complex generated by these spanning trees whose homology is the reduced Khovanov homology. The spanning trees provide a filtration on the reduced Khovanov complex and a spectral sequence that converges to its homology. For alternating links, all differentials on the spanning tree complex are zero and the reduced Khovanov homology is determined by the Jones polynomial and signature. We prove some analogous theorems for (unreduced) Khovanov homology.

In answer to a question of Eggleton, we prove that the complete multigraph on 5 vertices with edge multiplicity 6, namely $K_{5}^{(6)}$, has a decomposition into 5 copies of the family of trees of order 5 and that $K_{7}^{(22)}$ has a decomposition into 7 copies of the family of trees of order 7. We prove something similar for $K_{2n+1}$ for $n \le 13$.

We consider lattice walks in the plane starting at the origin, remaining in the first quadrant and made of West, South and North-East steps. In 1965, Germain Kreweras discovered a remarkably simple formula giving the number of these walks (with prescribed length and endpoint). Kreweras' proof was very involved and several alternative derivations have been proposed since then. But the elegant simplicity of the counting formula remained unexplained. We give the first purely combinatorial explanation of this formula. Our approach is based on a bijection between Kreweras walks and triangulations with a distinguished spanning tree. We obtain simultaneously a bijective way of counting loopless triangulations.

We give a Cayley type formula to count the number of spanning trees in the complete r-uniform hypergraph for all r >= 3. Similar to the bijection between spanning trees in complete graphs and Parking functions, we derive a bijection from spanning trees of the complete (r+1)-uniform hypergraph which arise from a fixed r-perfect matching and r-Parking functions. We observe a simple consequence of this bijection in terms of the number of regions of the extended Shi arrangement.

For a lattice $Λ$ with $n$ vertices and dimension $d$ equal or higher than two, the number of spanning trees $N_{ST}(Λ)$ grows asymptotically as $\exp(n z_Λ)$ in the thermodynamic limit. We present exact integral expressions for the asymptotic growth constant $z_Λ$ for spanning trees on several lattices. By taking different unit cells in the calculation, many integration identities can be obtained. We also give $z_{Λ(p)}$ on the homeomorphic expansion of $k$-regular lattices with $p$ vertices inserted on each edge.

We give a complete proof that in any finite-dimensional normed linear space a finite set of points has a minimal spanning tree in which the maximum degree is bounded above by the strict Hadwiger number of the unit ball, i.e., the largest number of unit vectors such that the distance between any two is larger than 1.

The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of $W(G)$ is equal to the number of spanning rooted forests of $G$, in which the vertices $i$ and $j$ belong to the same tree rooted at $i$. The determinant of $W(G)$ equals the total number of spanning rooted forests, therefore the $(i,j)$-entry of the matrix $W^{-1}(G)$ can be considered as a measure of relative ''forest-accessibility'' of vertex $i$ from $j$ (or $j$ from $i$). These results follow from somewhat more general theorems we prove, which concern weighted multigraphs. The analogous theorems for (multi)digraphs are also established. These results provide a graph-theoretic interpretation for the adjugate to the Laplacian characteristic matrix.

For $n$-vertex, $d$-dimensional lattices $Λ$ with $d \ge 2$, the number of spanning trees $N_{ST}(Λ)$ grows asymptotically as $\exp(n z_Λ)$ in the thermodynamic limit. We present an exact closed-form result for the asymptotic growth constant $z_{bcc(d)}$ for spanning trees on the $d$-dimensional body-centered cubic lattice. We also give an exact integral expression for $z_{fcc}$ on the face-centered cubic lattice and an exact closed-form expression for $z_{488}$ on the $4 \cdot 8 \cdot 8$ lattice.

The number of tree-rooted maps, that is, rooted planar maps with a distinguished spanning tree, of size $n$ is C(n)C(n+1) where C(n)=binomial(2n,n)/(n+1) is the nth Catalan number. We present a (long awaited) simple bijection which explains this result. We prove that our bijection is isomorphic to a former recursive construction on shuffles of parenthesis systems due to Cori, Dulucq and Viennot.

A spanning tree T in a finite planar connected graph G determines a dual spanning tree T* in the dual graph G such that T and T* do not intersect. We show that it is not always possible to find T in G, such that the diameters of T and T* are both within a uniform multiplicative constant (independent of G) of the diameters of their ambient graphs.

Given a graph G, an incidence matrix N(G) is defined for the set of distinct isomorphism types of induced subgraphs of G. If Ulam's conjecture is true, then every graph invariant must be reconstructible from this matrix, even when the graphs indexing the rows and the columns of N(G) are unspecified. It is proved that the characteristic polynomial, the rank polynomial, and the number of spanning trees of a graph are reconstructible from its N-matrix. These results are stronger than the original results of Tutte in the sense that actual subgraphs are not used. It is also proved that the characteristic polynomial of a graph with minimum degree 1 can be computed from the characteristic polynomials of all its induced proper subgraphs. The ideas in Kocay's lemma play a crucial role in most proofs. Here Kocay's lemma is used to prove Whitney's subgraph expansion theorem in a simple manner. The reconstructibility of the characteristic polynomial is then demonstrated as a direct consequence of Whitney's theorem as formulated here.

For $λ>0$, we define a $λ$-damped random walk to be a random walk that is started from a random vertex of a graph and stopped at each step with probability $\fracλ{1+λ}$, otherwise continued with probability $\frac{1}{1+λ}$. We use the Aldous-Broder algorithm (\cite{aldous, broder}) of generating a random spanning tree and the Matrix-tree theorem to relate the values of the characteristic polynomial of the Laplacian at $\pm λ$ and the stationary measures of the sets of nodes visited by $i$ independent $λ$-damped random walks for $i \in \N$. As a corollary, we obtain a new characterization of the non-zero eigenvalues of the Weighted Graph Laplacian.

We use Polyak's skein relation to give a new proof that Milnor's string link homotopy invariants are finite type invariants, and to develop a recursive relation for their associated weight systems. We show that the obstruction to the triviality of these weight systems is the presence of a certain kind of spanning tree in the intersection graph of a chord diagram.

An essential spanning forest of an infinite graph $G$ is a spanning forest of $G$ in which all trees have infinitely many vertices. Let $G_n$ be an increasing sequence of finite connected subgraphs of $G$ for which $\bigcup G_n=G$. Pemantle's arguments imply that the uniform measures on spanning trees of $G_n$ converge weakly to an $\operatorname {Aut}(G)$-invariant measure $μ_G$ on essential spanning forests of $G$. We show that if $G$ is a connected, amenable graph and $Γ\subset \operatorname {Aut}(G)$ acts quasitransitively on $G$, then $μ_G$ is the unique $Γ$-invariant measure on essential spanning forests of $G$ for which the specific entropy is maximal. This result originated with Burton and Pemantle, who gave a short but incorrect proof in the case $Γ\cong\mathbb{Z}^d$. Lyons discovered the error and asked about the more general statement that we prove.