arXiv++ Combinatorics

We use the Cayley Trick to study polyhedral subdivisions of the product of two simplices. For arbitrary (fixed) $l$, we show that the numbers of regular and non-regular triangulations of $Δ^l\timesΔ^k$ grow, respectively, as $k^{Θ(k)}$ and $2^{Ω(k^2)}$. For the special case of $l=2$, we relate triangulations to certain class of lozenge tilings. This allows us to compute the exact number of triangulations up to $k=15$, show that the number grows as $e^{βk^2/2 + o(k^2)}$ where $β\simeq 0.32309594$ and prove that the set of all triangulations is connected under geometric bistellar flips. The latter has as a corollary that the toric Hilbert scheme of the determinantal ideal of $2\times 2$ minors of a $3\times k$ matrix is connected, for every $k$. We include ``Cayley Trick pictures'' of all the triangulations of $Δ^2\times Δ^2$ and $Δ^2\times Δ^3$, as well as one non-regular triangulation of $Δ^2\times Δ^5$ and one of $Δ^3\times Δ^3$.

The appearance of numbers enumerating alternating sign matrices in stationary states of certain stochastic processes is reviewed. New conjectures concerning nest distribution functions are presented as well as a bijection between certain classes of alternating sign matrices and lozenge tilings of hexagons with cut off corners.

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 $q$-round, and we conjecture that cokernels remain round or $q$-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 $q$-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.

We show how to compute the probability of any given local configuration in a random tiling of the plane with dominos. That is, we explicitly compute the measures of cylinder sets for the measure of maximal entropy $μ$ on the space of tilings of the plane with dominos. We construct a measure $ν$ on the set of lozenge tilings of the plane, show that its entropy is the topological entropy, and compute explicitly the $ν$-measures of cylinder sets. As applications of these results, we prove that the translation action is strongly mixing for $μ$ and $ν$, and compute the rate of convergence to mixing (the correlation between distant events). For the measure $ν$ we compute the variance of the height function.

Motivated by the enumeration of a class of plane partitions studied by Proctor and by considerations about symmetry classes of plane partitions, we consider the problem of enumerating lozenge tilings of a hexagon with ``maximal staircases'' removed from some of its vertices. The case of one vertex corresponds to Proctor's problem. For two vertices there are several cases to consider, and most of them lead to nice enumeration formulas. For three or more vertices there do not seem to exist nice product formulas in general, but in one special situation a lot of factorization occurs, and we pose the problem of finding a formula for the number of tilings in this case.

Consider the probability that an arbitrary chosen lozenge tiling of the hexagon with side lengths a, b, c, a, b, c contains the horizontal lozenge with lowest vertex (x,y) as if it described the distribution of mass in the plane. We compute the horizontal and the vertical moments of inertia with respect to this distribution. This solves a problem by Propp [1, Problem 7].

We evaluate the determinant $\det_{1\leq i,j\leq n}(\binom{x+y+j}{x-i+2j}-\binom{x+y+j}{x+i+2j})$, which gives the number of lozenge tilings of a hexagon with cut off corners. A particularly interesting feature of this evaluation is that it requires the proof of a certain hypergeometric identity which we accomplish by using Gosper's algorithm in a non-automatic fashion.

We deal with unweighted and weighted enumerations of lozenge tilings of a hexagon with side lengths $a,b+m,c,a+m,b,c+m$, where an equilateral triangle of side length $m$ has been removed from the center. We give closed formulas for the plain enumeration and for a certain $(-1)$-enumeration of these lozenge tilings. In the case that $a=b=c$, we also provide closed formulas for certain weighted enumerations of those lozenge tilings that are cyclically symmetric. For $m=0$, the latter formulas specialize to statements about weighted enumerations of cyclically symmetric plane partitions. One such specialization gives a proof of a conjecture of Stembridge on a certain weighted count of cyclically symmetric plane partitions. The tools employed in our proofs are nonstandard applications of the theory of nonintersecting lattice paths and determinant evaluations. In particular, we evaluate the determinants $\det_{0\le i,j\le n-1}\big(\om δ_{ij}+\binom {m+i+j}j\big)$, where $\om$ is any 6th root of unity. These determinant evaluations are variations of a famous result due to Andrews (Invent. Math. 53 (1979), 193--225), which corresponds to $\om=1$.

The number of plane partitions contained in a given box was shown by MacMahon to be given by a simple product formula. By a simple bijection, this formula also enumerates lozenge tilings of hexagons of side-lengths $a,b,c,a,b,c$ (in cyclic order) and angles of 120 degrees. We present a generalization in the case $b=c$ by giving simple product formulas enumerating lozenge tilings of regions obtained from a hexagon of side-lengths $a,b+k,b,a+k,b,b+k$ (where $k$ is an arbitrary non-negative integer) and angles of 120 degrees by removing certain triangular regions along its symmetry axis.

We consider tilings of quadriculated regions by dominoes and of triangulated regions by lozenges. We present an overview of results concerning tileability, enumeration and the structure of the space of tilings.

Using a calculus of variations approach, we determine the shape of a typical plane partition in a large box (i.e., a plane partition chosen at random according to the uniform distribution on all plane partitions whose solid Young diagrams fit inside the box). Equivalently, we describe the distribution of the three different orientations of lozenges in a random lozenge tiling of a large hexagon. We prove a generalization of the classical formula of MacMahon for the number of plane partitions in a box; for each of the possible ways in which the tilings of a region can behave when restricted to certain lines, our formula tells the number of tilings that behave in that way. When we take a suitable limit, this formula gives us a functional which we must maximize to determine the asymptotic behavior of a plane partition in a box. Once the variational problem has been set up, we analyze it using a modification of the methods employed by Logan and Shepp and by Vershik and Kerov in their studies of random Young tableaux.

Propp conjectured that the number of lozenge tilings of a semiregular hexagon of sides $2n-1$, $2n-1$ and $2n$ which contain the central unit rhombus is precisely one third of the total number of lozenge tilings. Motivated by this, we consider the more general situation of a semiregular hexagon of sides $a$, $a$ and $b$. We prove explicit formulas for the number of lozenge tilings of these hexagons containing the central unit rhombus, and obtain Propp's conjecture as a corollary of our results.