1,874 research outputs found
Sandpiles and Dominos
We consider the subgroup of the abelian sandpile group of the grid graph
consisting of configurations of sand that are symmetric with respect to central
vertical and horizontal axes. We show that the size of this group is (i) the
number of domino tilings of a corresponding weighted rectangular checkerboard;
(ii) a product of special values of Chebyshev polynomials; and (iii) a
double-product whose factors are sums of squares of values of trigonometric
functions. We provide a new derivation of the formula due to Kasteleyn and to
Temperley and Fisher for counting the number of domino tilings of a 2m x 2n
rectangular checkerboard and a new way of counting the number of domino tilings
of a 2m x 2n checkerboard on a M\"obius strip.Comment: 35 pages, 24 figure
Trees and Matchings
In this article, Temperley's bijection between spanning trees of the square
grid on the one hand, and perfect matchings (also known as dimer coverings) of
the square grid on the other, is extended to the setting of general planar
directed (and undirected) graphs, where edges carry nonnegative weights that
induce a weighting on the set of spanning trees. We show that the weighted,
directed spanning trees (often called arborescences) of any planar graph G can
be put into a one-to-one weight-preserving correspondence with the perfect
matchings of a related planar graph H.
One special case of this result is a bijection between perfect matchings of
the hexagonal honeycomb lattice and directed spanning trees of a triangular
lattice. Another special case gives a correspondence between perfect matchings
of the ``square-octagon'' lattice and directed weighted spanning trees on a
directed weighted version of the cartesian lattice.
In conjunction with results of Kenyon, our main theorem allows us to compute
the measures of all cylinder events for random spanning trees on any (directed,
weighted) planar graph. Conversely, in cases where the perfect matching model
arises from a tree model, Wilson's algorithm allows us to quickly generate
random samples of perfect matchings.Comment: 32 pages, 19 figures (minor revisions from version 1
Boundary Partitions in Trees and Dimers
Given a finite planar graph, a grove is a spanning forest in which every
component tree contains one or more of a specified set of vertices (called
nodes) on the outer face. For the uniform measure on groves, we compute the
probabilities of the different possible node connections in a grove. These
probabilities only depend on boundary measurements of the graph and not on the
actual graph structure, i.e., the probabilities can be expressed as functions
of the pairwise electrical resistances between the nodes, or equivalently, as
functions of the Dirichlet-to-Neumann operator (or response matrix) on the
nodes. These formulae can be likened to generalizations (for spanning forests)
of Cardy's percolation crossing probabilities, and generalize Kirchhoff's
formula for the electrical resistance. Remarkably, when appropriately
normalized, the connection probabilities are in fact integer-coefficient
polynomials in the matrix entries, where the coefficients have a natural
algebraic interpretation and can be computed combinatorially. A similar
phenomenon holds in the so-called double-dimer model: connection probabilities
of boundary nodes are polynomial functions of certain boundary measurements,
and as formal polynomials, they are specializations of the grove polynomials.
Upon taking scaling limits, we show that the double-dimer connection
probabilities coincide with those of the contour lines in the Gaussian free
field with certain natural boundary conditions. These results have direct
application to connection probabilities for multiple-strand SLE_2, SLE_8, and
SLE_4.Comment: 46 pages, 12 figures. v4 has additional diagrams and other minor
change
Kasteleyn cokernels
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in
enumerating matchings of planar graphs, up to matrix operations on their rows
and columns. If such a matrix is defined over a principal ideal domain, this is
equivalent to considering its Smith normal form or its cokernel. Many
variations of the enumeration methods result in equivalent matrices. In
particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus
matrices.
We apply these ideas to plane partitions and related planar of tilings. We
list a number of conjectures, supported by experiments in Maple, about the
forms of matrices associated to enumerations of plane partitions and other
lozenge tilings of planar regions and their symmetry classes. We focus on the
case where the enumerations are round or -round, and we conjecture that
cokernels remain round or -round for related ``impossible enumerations'' in
which there are no tilings. Our conjectures provide a new view of the topic of
enumerating symmetry classes of plane partitions and their generalizations. In
particular we conjecture that a -specialization of a Jacobi-Trudi matrix has
a Smith normal form. If so it could be an interesting structure associated to
the corresponding irreducible representation of \SL(n,\C). Finally we find,
with proof, the normal form of the matrix that appears in the enumeration of
domino tilings of an Aztec diamond.Comment: 14 pages, 19 in-line figures. Very minor copy correction
On the quasi-isometric rigidity of graphs of surface groups
Let be a word hyperbolic group with a cyclic JSJ decomposition that
has only rigid vertex groups, which are all fundamental groups of closed
surface groups. We show that any group quasi-isometric to is
abstractly commensurable with .Comment: 54 pages, 10 figures, comments welcom
Critical Groups of Graphs with Dihedral Actions
In this paper we consider the critical group of finite connected graphs which
admit harmonic actions by the dihedral group . In particular, we show that
if the orbits of the -action all have either or points then the
critical group of such a graph can be decomposed in terms of the critical
groups of the quotients of the graph by certain subgroups of the automorphism
group. This is analogous to a theorem of Kani and Rosen which decomposes the
Jacobians of algebraic curves with a -action
Spanning Trees of Lattices Embedded on the Klein Bottle
The problem of enumerating spanning trees in lattices with Klein bottle boundary condition is considered here. The exact closed-form expressions of the numbers of spanning trees for 4.8.8 lattice, hexagonal lattice, and 33·42 lattice on the Klein bottle are presented
- …