26,888 research outputs found
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
The boundary value problem for discrete analytic functions
This paper is on further development of discrete complex analysis introduced
by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We consider a graph lying
in the complex plane and having quadrilateral faces. A function on the vertices
is called discrete analytic, if for each face the difference quotients along
the two diagonals are equal.
We prove that the Dirichlet boundary value problem for the real part of a
discrete analytic function has a unique solution. In the case when each face
has orthogonal diagonals we prove that this solution uniformly converges to a
harmonic function in the scaling limit. This solves a problem of S. Smirnov
from 2010. This was proved earlier by R. Courant-K. Friedrichs-H. Lewy and L.
Lusternik for square lattices, by D. Chelkak-S. Smirnov and implicitly by P.G.
Ciarlet-P.-A. Raviart for rhombic lattices.
In particular, our result implies uniform convergence of the finite element
method on Delaunay triangulations. This solves a problem of A. Bobenko from
2011. The methodology is based on energy estimates inspired by
alternating-current network theory.Comment: 22 pages, 6 figures. Several changes: Theorem 1.2 generalized,
several assertions added, minor correction in the proofs of Lemma 2.5, 3.3,
Example 3.6, Corollary 5.
Minimum Convex Partitions and Maximum Empty Polytopes
Let be a set of points in . A Steiner convex partition
is a tiling of with empty convex bodies. For every integer ,
we show that admits a Steiner convex partition with at most tiles. This bound is the best possible for points in general
position in the plane, and it is best possible apart from constant factors in
every fixed dimension . We also give the first constant-factor
approximation algorithm for computing a minimum Steiner convex partition of a
planar point set in general position. Establishing a tight lower bound for the
maximum volume of a tile in a Steiner convex partition of any points in the
unit cube is equivalent to a famous problem of Danzer and Rogers. It is
conjectured that the volume of the largest tile is .
Here we give a -approximation algorithm for computing the
maximum volume of an empty convex body amidst given points in the
-dimensional unit box .Comment: 16 pages, 4 figures; revised write-up with some running times
improve
- …