arXiv++ Combinatorics

We give a new proof of the fact that, near a turning point of the frozen boundary, the vertical tiles in a uniformly random lozenge tiling of a large sawtooth domain are distributed like the eigenvalues of a GUE random matrix. Our argument uses none of the standard tools of integrable probability. In their place, it uses a combinatorial interpretation of the Harish-Chandra/Itzykson-Zuber integral as a generating function for desymmetrized Hurwitz numbers.

In this paper we present a combinatorial generalization of the fact that the number of plane partitions that fit in a $2a\times b\times b$ box is equal to the number of such plane partitions that are symmetric, times the number of such plane partitions for which the transpose is the same as the complement. We use the equivalent phrasing of this identity in terms of symmetry classes of lozenge tilings of a hexagon on the triangular lattice. Our generalization consists of allowing the hexagon have certain symmetrically placed holes along its horizontal symmetry axis. The special case when there are no holes can be viewed as a new, simpler proof of the enumeration of symmetric plane partitions.

We consider a triangular gap of side two in a $90^\circ$ angle on the triangular lattice with mixed boundary conditions: a constrained, zig-zag boundary along one side, and a free lattice line boundary along the other. We study the interaction of the gap with the corner as the rest of the angle is completely filled with lozenges. We show that the resulting correlation is governed by the product of the distances between the gap and its three images in the sides of the angle. The image in the side with constrained boundary has the same orientation as the original gap, while the image in the side with free boundary has the opposite orientation. This, together with the parallel between the correlation of gaps in dimer packings and electrostatics we developed in previous work, provides evidence for a unified way of understanding the interaction of gaps with the boundary under mixed boundary conditions, which we phrase as a conjecture. While the electrostatic interpretation is equivalent to a steady state heat flow interpretation in the bulk, it turns out that the latter view is more natural in the context of the interaction of the gaps with the boundary. The starting point for our analysis is an exact formula we prove for the number of lozenge tilings of certain trapezoidal regions with mixed boundary conditions, which is equivalent to a new, multi-parameter generalization of a classical plane partition enumeration problem (that of enumerating symmetric, self-complementary plane partitions).

We consider a generating function of the domino tilings of an Aztec rectangle with several boundary unit squares removed. Our generating function involves two statistics: the rank of the tiling and half number of vertical dominoes as in the Aztec diamond theorem by Elkies, Kuperberg, Larsen and Propp. In addition, our work deduces a combinatorial explanation for an interesting connection between the number of lozenge tilings of a semihexagon and the number of domino tilings of an Aztec rectangle.

We study the decompositions into irreducible components of tensor products and restrictions of irreducible representations of classical Lie groups as the rank of the group goes to infinity. We prove the Law of Large Numbers for the random counting measures describing the decomposition. This leads to two operations on measures which are deformations of the notions of the free convolution and the free projection. We further prove that if one replaces counting measures with others coming from the work of Perelomov and Popov on the higher order Casimir operators for classical groups, then the operations on the measures turn into the free convolution and projection themselves. We also explain the relation between our results and limit shape theorems for uniformly random lozenge tilings with and without axial symmetry.

These are lecture notes for a mini-course given at the Cornell Probability Summer School in July 2013. Topics include lozenge tilings of polygons and their representation theoretic interpretation, the (q,t)-deformation of those leading to the Macdonald processes, nearest neighbor dynamics on Macdonald processes, their limit to semi-discrete Brownian polymers, and large time asymptotic analysis of polymer's partition function.

In their 2002 paper, Ciucu and Krattenthaler proved several product formulas for the number of lozenge tilings of various regions obtained from a centrally symmetric hexagon on the triangular lattice by removing maximal staircase regions from two non-adjacent corners. For the case when the staircases are removed from adjacent corners of the hexagon, they presented two conjectural formulas, whose proofs, as they remarked, seemed at the time "a formidable task". In this paper we prove those two conjectures. Our proofs proceed by first generalizing the conjectures, and then proving them by induction, using Kuo's graphical condensation method.

MacMahon enumerated the plane partitions in an $a \times b \times c$ box. These are in bijection to lozenge tilings of a hexagon, to certain perfect matchings, and to families of non-intersecting lattice paths. In this work we consider more general regions, called triangular regions, and establish signed versions of the latter three bijections. Indeed, we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. A combinatorial argument involving a new method, called resolution of a puncture, then shows that the signs are in fact equivalent. This provides in particular two different determinantal enumerations of these families. These results are then applied to study the weak Lefschetz property of Artinian quotients by monomial ideals of a three-dimensional polynomial ring. We establish sufficient conditions guaranteeing the weak Lefschetz property as well as the semistability of the syzygy bundle of the ideal, classify the type two algebras with the weak Lefschetz property, and study monomial almost complete intersections in depth. Furthermore, we develop a general method that often associates to an algebra that fails the weak Lefschetz property a toric surface that satisfies a Laplace equation. We also present examples of toric varieties that satisfy arbitrarily many Laplace equations. Our combinatorial methods allow us to address the dependence on the characteristic of the base field for many of our results.

We develop a new method for studying the asymptotics of symmetric polynomials of representation-theoretic origin as the number of variables tends to infinity. Several applications of our method are presented: We prove a number of theorems concerning characters of infinite-dimensional unitary group and their $q$-deformations. We study the behavior of uniformly random lozenge tilings of large polygonal domains and find the GUE-eigenvalues distribution in the limit. We also investigate similar behavior for alternating sign matrices (equivalently, six-vertex model with domain wall boundary conditions). Finally, we compute the asymptotic expansion of certain observables in $O(n=1)$ dense loop model.

A classical theorem of MacMahon states that the number of lozenge tilings of any centrally symmetric hexagon drawn on the triangular lattice is given by a beautifully simple product formula. In this paper we present a counterpart of this formula, corresponding to the {\it exterior} of a concave hexagon obtained by turning 120 degrees after drawing each side (MacMahon's hexagon is obtained by turning 60 degrees after each step).

We study large-scale height fluctuations of random stepped surfaces corresponding to uniformly random lozenge tilings of polygons on the triangular lattice. For a class of polygons (which allows arbitrarily large number of sides), we show that these fluctuations are asymptotically governed by a Gaussian free (massless) field. This complements the similar result obtained in Kenyon [Comm. Math. Phys. 281 (2008) 675-709] about tilings of regions without frozen facets of the limit shape. In our asymptotic analysis we use the explicit double contour integral formula for the determinantal correlation kernel of the model obtained previously in Petrov [Asymptotics of random lozenge tilings via Gelfand-Tsetlin schemes (2012) Preprint].

A Gelfand-Tsetlin scheme of depth N is a triangular array with m integers at level m, m=1,...,N, subject to certain interlacing constraints. We study the ensemble of uniformly random Gelfand-Tsetlin schemes with arbitrary fixed N-th row. We obtain an explicit double contour integral expression for the determinantal correlation kernel of this ensemble (and also of its q-deformation). This provides new tools for asymptotic analysis of uniformly random lozenge tilings of polygons on the triangular lattice; or, equivalently, of random stepped surfaces. We work with a class of polygons which allows arbitrarily large number of sides. We show that the local limit behavior of random tilings (as all dimensions of the polygon grow) is directed by ergodic translation invariant Gibbs measures. The slopes of these measures coincide with the ones of tangent planes to the corresponding limit shapes described by Kenyon and Okounkov in arXiv:math-ph/0507007. We also prove that at the edge of the limit shape, the asymptotic behavior of random tilings is given by the Airy process. In particular, our results cover the most investigated case of random boxed plane partitions (when the polygon is a hexagon).

We study random lozenge tilings of a certain shape in the plane called the Novak half-hexagon, and compute the correlation functions for this process. This model was introduced by Nordenstam and Young (2011) and has many intriguing similarities with a more well-studied model, domino tilings of the Aztec diamond. The most difficult step in the present paper is to compute the inverse of the matrix whose (i,j) entry is the binomial coefficient C(A, B_j - i) for indeterminate variables A and B_1, ..., B_n.

We present a detailed study of a four parameter family of elliptic weights on tilings of a hexagon introduced by Borodin, Gorin and Rains, generalizing some of their results. In the process, we connect the combinatorics of the model with the theory of elliptic special functions. Using canonical coordinates for the hexagon we show how the $n$-point distribution function and transitional probabilities connect to the theory of $BC_n$-symmetric multivariate elliptic special functions and of elliptic difference operators introduced by Rains. In particular, the difference operators intrinsically capture all of the combinatorics. Based on quasi-commutation relations between the elliptic difference operators, we construct certain natural measure-preserving Markov chains on such tilings which we immediately use to obtain an exact sampling algorithm for these elliptic distributions. We present some simulated random samples exhibiting interesting and probably new arctic boundary phenomena. Finally, we show that the particle process associated to such tilings is determinantal with correlation kernel given in terms of the univariate elliptic biorthogonal functions of Spiridonov and Zhedanov.

We introduce a natural correspondence between artinian monomial almost complete intersections in three variables and punctured hexagonal regions. We use this correspondence to investigate the algebras for the presence of the weak Lefschetz property. In particular, we relate the field characteristics in which such an algebra fails to have the weak Lefschetz property to the prime divisors of the enumeration of signed lozenge tilings of the associated punctured hexagonal region. On the one side this allows us to establish the weak Lefschetz property in many new cases. For numerous classes of punctured hexagonal regions we find closed formulae for the enumerations of signed lozenge tilings, and thus the field characteristics in which the associated algebras fail to the have the weak Lefschetz property. Further, we offer a conjecture for a closed formula for the enumerations of signed lozenge tilings of symmetric punctured hexagonal regions. These formulae are exploited to lend further evidence to a conjecture by Migliore, Miró-Roig, and the second author that classifies the {\em level} artinian monomial almost complete intersections in three variables that have the weak Lefschetz property in characteristic zero. Moreover, the formulae are used to generate families of algebras which never, or always, have the weak Lefschetz property, regardless of field characteristic. Finally, we determine (in one case, depending on the presence of the weak Lefschetz property) the splitting type of the syzygy bundle of an artinian monomial almost complete intersection in three variables, when the characteristic of the base field is zero. Our results convey an intriguing interplay between problems in algebra, combinatorics, and algebraic geometry, which raises new questions and deserves further investigation.

We consider the problem of generating all ideals of a poset. It is a long standing open problem, whether or not the ideals of any poset can be generated in constant amortized time, CAT for short. We refine the tree traversal, a method introduced by Pruesse and Ruskey in 1993, to obtain a CAT-generator for two large classes of posets: posets of interval dimension at most two and so called locally planar posets. This includes all posets for which a CAT-generator was known before. Posets of interval dimension at most two generalize both, interval orders and 2-dimensional posets. Locally planar posets generalize for example posets with a planar cover graph. We apply our results to CAT-generate all c-orientations of a planar graph. As a special case this is a CAT-generator for many combinatorial objects like domino and lozenge tilings, planar spanning trees, planar bipartite perfect matchings, Schnyder woods, and others.

This article addresses the problem of enumerating the tilings of a plane by lozenges, under the restriction that these tilings be doubly periodic. Kasteleyn's Pfaffian method is applied to compute the generating function of those permutations. The monomials of this function represent the different types of tilings, grouping them according to the number of lozenges in each orientation. We present an alternative approach to compute these types. Finally, two additional classes of tilings are proposed as open enumeration problems.

Let $\ell$ be a fixed vertical lattice line of the unit triangular lattice in the plane, and let $\Cal H$ be the half plane to the left of $\ell$. We consider lozenge tilings of $\Cal H$ that have a triangular gap of side-length two and in which $\ell$ is a free boundary - i.e., tiles are allowed to protrude out half-way across $\ell$. We prove that the correlation function of this gap near the free boundary has asymptotics $\frac{1}{4πr}$, $r\to\infty$, where $r$ is the distance from the gap to the free boundary. This parallels the electrostatic phenomenon by which the field of an electric charge near a conductor can be obtained by the method of images.

We consider random lozenge tilings on the triangular lattice with holes $Q_1,...,Q_n$ in some fixed position. For each unit triangle not in a hole, consider the average orientation of the lozenge covering it. We show that the scaling limit of this discrete field is the electrostatic field obtained when regarding each hole $Q_i$ as an electrical charge of magnitude equal to the difference between the number of unit triangles of the two different orientations inside $Q_i$. This is then restated in terms of random surfaces, yielding the result that the average over surfaces with prescribed height at the union of the boundaries of the holes is, in the scaling limit, a sum of helicoids.

We compute the bulk limit of the correlation functions for the uniform measure on lozenge tilings of a hexagon. The limiting determinantal process is a translation invariant extension of the discrete sine process, which also describes the ergodic Gibbs measure of an appropriate slope.