43 research outputs found
Sandpiles, spanning trees, and plane duality
Let G be a connected, loopless multigraph. The sandpile group of G is a
finite abelian group associated to G whose order is equal to the number of
spanning trees in G. Holroyd et al. used a dynamical process on graphs called
rotor-routing to define a simply transitive action of the sandpile group of G
on its set of spanning trees. Their definition depends on two pieces of
auxiliary data: a choice of a ribbon graph structure on G, and a choice of a
root vertex. Chan, Church, and Grochow showed that if G is a planar ribbon
graph, it has a canonical rotor-routing action associated to it, i.e., the
rotor-routing action is actually independent of the choice of root vertex.
It is well-known that the spanning trees of a planar graph G are in canonical
bijection with those of its planar dual G*, and furthermore that the sandpile
groups of G and G* are isomorphic. Thus, one can ask: are the two rotor-routing
actions, of the sandpile group of G on its spanning trees, and of the sandpile
group of G* on its spanning trees, compatible under plane duality? In this
paper, we give an affirmative answer to this question, which had been
conjectured by Baker.Comment: 13 pages, 9 figure
The looping rate and sandpile density of planar graphs
We give a simple formula for the looping rate of loop-erased random walk on a
finite planar graph. The looping rate is closely related to the expected amount
of sand in a recurrent sandpile on the graph. The looping rate formula is
well-suited to taking limits where the graph tends to an infinite lattice, and
we use it to give an elementary derivation of the (previously computed) looping
rate and sandpile densities of the square, triangular, and honeycomb lattices,
and compute (for the first time) the looping rate and sandpile densities of
many other lattices, such as the kagome lattice, the dice lattice, and the
truncated hexagonal lattice (for which the values are all rational), and the
square-octagon lattice (for which it is transcendental)
Random two-component spanning forests
We study random two-component spanning forests (SFs) of finite graphs,
giving formulas for the first and second moments of the sizes of the
components, vertex-inclusion probabilities for one or two vertices, and the
probability that an edge separates the components. We compute the limit of
these quantities when the graph tends to an infinite periodic graph in
Anchored burning bijections on finite and infinite graphs
Let be an infinite graph such that each tree in the wired uniform
spanning forest on has one end almost surely. On such graphs , we give a
family of continuous, measure preserving, almost one-to-one mappings from the
wired spanning forest on to recurrent sandpiles on , that we call
anchored burning bijections. In the special case of , ,
we show how the anchored bijection, combined with Wilson's stacks of arrows
construction, as well as other known results on spanning trees, yields a power
law upper bound on the rate of convergence to the sandpile measure along any
exhaustion of . We discuss some open problems related to these
findings.Comment: 26 pages; 1 EPS figure. Minor alterations made after comments from
refere
The Bernardi process and torsor structures on spanning trees
Let G be a ribbon graph, i.e., a connected finite graph G together with a
cyclic ordering of the edges around each vertex. By adapting a construction due
to O. Bernardi, we associate to any pair (v,e) consisting of a vertex v and an
edge e adjacent to v a bijection between spanning trees of G and elements of
the set Pic^g(G) of degree g divisor classes on G, where g is the genus of G.
Using the natural action of the Picard group Pic^0(G) on Pic^g(G), we show that
the Bernardi bijection gives rise to a simply transitive action \beta_v of
Pic^0(G) on the set of spanning trees which does not depend on the choice of e.
A plane graph has a natural ribbon structure (coming from the
counterclockwise orientation of the plane), and in this case we show that
\beta_v is independent of v as well. Thus for plane graphs, the set of spanning
trees is naturally a torsor for the Picard group. Conversely, we show that if
\beta_v is independent of v then G together with its ribbon structure is
planar. We also show that the natural action of Pic^0(G) on spanning trees of a
plane graph is compatible with planar duality.
These findings are formally quite similar to results of Holroyd et al. and
Chan-Church-Grochow, who used rotor-routing to construct an action r_v of
Pic^0(G) on the spanning trees of a ribbon graph G, which they show is
independent of v if and only if G is planar. It is therefore natural to ask how
the two constructions are related. We prove that \beta_v = r_v for all vertices
v of G when G is a planar ribbon graph, i.e. the two torsor structures
(Bernardi and rotor-routing) on the set of spanning trees coincide. In
particular, it follows that the rotor-routing torsor is compatible with planar
duality. We conjecture that for every non-planar ribbon graph G, there exists a
vertex v with \beta_v \neq r_v.Comment: 25 pages. v2: numerous revisions based on referee comments. v3:
substantial additional revisions; final version to appear in IMR
Simplicial and Cellular Trees
Much information about a graph can be obtained by studying its spanning
trees. On the other hand, a graph can be regarded as a 1-dimensional cell
complex, raising the question of developing a theory of trees in higher
dimension. As observed first by Bolker, Kalai and Adin, and more recently by
numerous authors, the fundamental topological properties of a tree --- namely
acyclicity and connectedness --- can be generalized to arbitrary dimension as
the vanishing of certain cellular homology groups. This point of view is
consistent with the matroid-theoretic approach to graphs, and yields
higher-dimensional analogues of classical enumerative results including
Cayley's formula and the matrix-tree theorem. A subtlety of the
higher-dimensional case is that enumeration must account for the possibility of
torsion homology in trees, which is always trivial for graphs. Cellular trees
are the starting point for further high-dimensional extensions of concepts from
algebraic graph theory including the critical group, cut and flow spaces, and
discrete dynamical systems such as the abelian sandpile model.Comment: 39 pages (including 5-page bibliography); 5 figures. Chapter for
forthcoming IMA volume "Recent Trends in Combinatorics