arXiv++ Combinatorics

Inspired by Propp's intruded Aztec diamond regions, we consider halved hexagons in which two aligned arrays of triangular holes have been removed from their boundaries. Unlike the intruded Aztec diamonds (whose numbers of domino tilings contain some large prime factors in their factorizations), the numbers of lozenge tilings of our doubly-intruded halved hexagons are given by simple product formulas in which all factors are linear in the parameters. In this paper, we present an extensive list of exact tiling enumerations of sixteen different types of doubly-intruded halved hexagons. We also prove that the lozenge tilings of a symmetric hexagon with three arrays of triangles removed are always enumerated by a closed-form product formula. Our results generalize several previous works, including Proctor's enumeration of the transposed-complementary plane partitions, related work of Ciucu, and recent generalizations of Rohatgi and of the author.

Motivated in part by Propp's intruded Aztec diamond regions, we consider hexagonal regions out of which two horizontal chains of triangular holes (called ferns) are removed, so that the chains are at the same height, and are attached to the boundary. By contrast with the intruded Aztec diamonds (whose number of domino tilings contain some large prime factors in their factorization), the number of lozenge tilings of our doubly-intruded hexagons turns out to be given by simple product formulas in which all factors are linear in the parameters. We present in fact $q$-versions of these formulas, which enumerate the corresponding plane-partitions-like structures by their volume. We also pose some natural statistical mechanics questions suggested by our set-up, which should be possible to tackle using our formulas.

In their paper about a dual of MacMahon's classical theorem on plane partitions, Ciucu and Krattenthaler proved a closed form product formula for the tiling number of a hexagon with a "shamrock", a union of four adjacent triangles, removed in the center (Proc. Natl. Acad. Sci. USA 2013). Lai later presented a $q$-enumeration for lozenge tilings of a hexagon with a shamrock removed from the boundary (European J. Combin. 2017). It appears that the above are the only two positions of the shamrock hole that yield nice tiling enumerations. In this paper, we show that in the case of symmetric hexagons, we always have a simple product formula for the number of tilings when removing a shamrock at any position along the symmetry axis. Our result also generalizes Eisenkölbl's related work about lozenge tilings of a hexagon with two unit triangles missing on the symmetry axis (Electron. J. Combin. 1999).

Proctor's work on staircase plane partitions yields an enumeration of lozenge tilings of a halved hexagon on the triangular lattice. Rohatgi later extended this tiling enumeration to a halved hexagon with a triangle cut off from the boundary. In the previous paper, the author proved a common generalization of Proctor's and Rohatgi's results by enumerating lozenge tilings of a halved hexagon in the case an array of an arbitrary number of triangles has been removed from a non-staircase side. In this paper, we consider the other case when the array of triangles has been removed from the staircase side of the halved hexagon. Our result also implies an explicit formula for the number of tilings of a hexagon with an array of triangles missing on the symmetry axis.

We give new product formulas for the number of standard Young tableaux of certain skew shapes and for the principal evaluation of the certain Schubert polynomials. These are proved by utilizing symmetries for evaluations of factorial Schur functions, extensively studied in the first two papers in the series "Hook formulas for skew shapes" [arxiv:1512.08348, arxiv:1610.04744]. We also apply our technology to obtain determinantal and product formulas for the partition function of certain weighted lozenge tilings, and give various probabilistic and asymptotic applications.

The work of Mills, Robbins, and Rumsey on cyclically symmetric plane partitions yields a simple product formula for the number of lozenge tilings of a regular hexagon, which are invariant under roation by $120^{\circ}$. In this paper we generalize this result by enumerating the cyclically symmetric lozenge tilings of a hexagon in which four triangles have been removed in the center.

We study asymptotics of $q$-distributed random lozenge tilings of sawtooth domains (equivalently, of random interlacing integer arrays with fixed top row). Under the distribution we consider each tiling is weighted proportionally to $q^{\mathsf{vol}}$, where $\mathsf{vol}$ is the volume under the corresponding 3D stepped surface. We prove the following Interlacing Central Limit Theorem: as $q\rightarrow1$, the domain gets large, and the fixed top row approximates a given nonrandom profile, the vertical lozenges are distributed as the eigenvalues of a GUE random matrix and of its successive principal corners. Our results extend the GUE corners asymptotics for tilings of bounded polygonal domains previously known in the uniform (i.e., $q=1$) case. Even though $q$ goes to $1$, the presence of the $q$-weighting affects non-universal constants in our Central Limit Theorem.

Consider a semi-regular hexagon on the triangular lattice (that is, the lattice consisting of unit equilateral triangles, drawn so that one family of lines is vertical). Rhombus (or lozenge) tilings of this region may be represented in at least two very different ways: as families of non-intersecting lattice paths; or alternatively as perfect matchings of a certain sub-graph of the hexagonal lattice. In this article we show how the lattice path representation of tilings may be utilised in order to calculate the entries of the inverse Kasteleyn matrix that arises from interpreting tilings as perfect matchings. Our main result gives precisely the inverse Kasteleyn matrix (up to a possible change in sign) for a semi-regular hexagon of side lengths $a,b,c,a,b,c$ (going clockwise from the south-west side). Not only does this theorem generalise a number of known results regarding tilings of hexagons that contain punctures, but it also provides a new formulation through which we may attack problems in statistical physics such as Ciucu's electrostatic conjecture.

Graded posets frequently arise throughout combinatorics, where it is natural to try to count the number of elements of a fixed rank. These counting problems are often $\#\textbf{P}$-complete, so we consider approximation algorithms for counting and uniform sampling. We show that for certain classes of posets, biased Markov chains that walk along edges of their Hasse diagrams allow us to approximately generate samples with any fixed rank in expected polynomial time. Our arguments do not rely on the typical proofs of log-concavity, which are used to construct a stationary distribution with a specific mode in order to give a lower bound on the probability of outputting an element of the desired rank. Instead, we infer this directly from bounds on the mixing time of the chains through a method we call $\textit{balanced bias}$. A noteworthy application of our method is sampling restricted classes of integer partitions of $n$. We give the first provably efficient Markov chain algorithm to uniformly sample integer partitions of $n$ from general restricted classes. Several observations allow us to improve the efficiency of this chain to require $O(n^{1/2}\log(n))$ space, and for unrestricted integer partitions, expected $O(n^{9/4})$ time. Related applications include sampling permutations with a fixed number of inversions and lozenge tilings on the triangular lattice with a fixed average height.

Proctor's work on staircase plane partitions yields an enumeration of lozenge tilings of a halved hexagon on the triangular lattice. Rohatgi recently extended this tiling enumeration to a halved hexagon with a triangle removed from the boundary. In this paper we prove a generalization of the results of Proctor and Rohatgi by enumerating lozenge tilings of a halved hexagon in which an array of adjacent triangles has been removed from the boundary.

We consider the $N$-particle noncolliding Bernoulli random walk --- a discrete time Markov process in $\mathbb{Z}^{N}$ obtained from a collection of $N$ independent simple random walks with steps $\in\{0,1\}$ by conditioning that they never collide. We study the asymptotic behavior of local statistics of this process started from an arbitrary initial configuration on short times $T\ll N$ as $N\to+\infty$. We show that if the particle density of the initial configuration is bounded away from $0$ and $1$ down to scales $\mathsf{D}\ll T$ in a neighborhood of size $\mathsf{Q}\gg T$ of some location $x$ (i.e., $x$ is in the "bulk"), and the initial configuration is balanced in a certain sense, then the space-time local statistics at $x$ are asymptotically governed by the extended discrete sine process (which can be identified with a translation invariant ergodic Gibbs measure on lozenge tilings of the plane). We also establish similar results for certain types of random initial data. Our proofs are based on a detailed analysis of the determinantal correlation kernel for the noncolliding Bernoulli random walk. The noncolliding Bernoulli random walk is a discrete analogue of the $β=2$ Dyson Brownian Motion whose local statistics are universality governed by the continuous sine process. Our results parallel the ones in the continuous case. In addition, we naturally include situations with inhomogeneous local particle density on scale $T$, which nontrivially affects parameters of the limiting extended sine process, and in a particular case leads to a new behavior.

Using a connection to lozenge tilings of triangular regions, we establish an easily checkable criterion that guarantees the weak Lefschetz property of a quotient by a monomial ideal. It is also shown that each such ideal also has a semistable syzygy bundle.

We develop a new toolbox for the analysis of the global behavior of stochastic discrete particle systems. We introduce and study the notion of the Schur generating function of a random discrete configuration. Our main result provides a Central Limit Theorem (CLT) for such a configuration given certain conditions on the Schur generating function. As applications of this approach, we prove CLT's for several probabilistic models coming from asymptotic representation theory and statistical physics, including random lozenge and domino tilings, non-intersecting random walks, decompositions of tensor products of representations of unitary groups.

We generalize a special case of a theorem of Proctor on the enumeration of lozenge tilings of a hexagon with a maximal staircase removed, using Kuo's graphical condensation method. Additionally, we prove a formula for a weighted version of the given region. The result also extends work of Ciucu and Fischer. By applying the factorization theorem of Ciucu, we are also able to generalize a special case of MacMahon's boxed plane partition formula.

Proctor proved a formula for the number of lozenge tilings of a hexagon with side-lengths $a,b,c,a,b,c$ after removing a "maximal staircase." Ciucu then presented a weighted version of Proctor's result. Here we present weighted and unweighted formulas for a similar region which has an additional unit triangle removed. We use Kuo's graphical condensation method to prove the results. By applying the factorization theorem of Ciucu, we obtain a formula for the number of lozenge tilings of a hexagon with three holes on consecutive edges.

In this paper we introduce a counterpart structure to the shamrocks studied in the paper "A dual of Macmahon's theorem on plane partitions" by M. Ciucu and C. Krattenthaler (Proc. Natl. Acad. Sci. USA, vol. 110 (2013), 4518-4523), which, just like the latter, can be included at the center of a lattice hexagon on the triangular lattice so that the region obtained from the hexagon by removing it has its number of lozenge tilings given by a simple product formula. The new structure, called a fern, consists of an arbitrary number of equilateral triangles of alternating orientations lined up along a lattice line. The shamrock and the fern seem to be the only structures with this property. It would be interesting to understand why these are the only two such structures.

It is well-known that plane partitions, lozenge tilings of a hexagon, perfect matchings on a honeycomb graph, and families of non-intersecting lattice paths in a hexagon are all in bijection. In this work we consider regions that are more general than hexagons. They are obtained by further removing upward-pointing triangles. We call the resulting shapes triangular regions. We establish signed versions of the latter three bijections for triangular regions. We first investigate the tileability of triangular regions by lozenges. Then we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. Using a new method that we call resolution of a puncture, we show that the two signs are in fact equivalent. As a consequence, we obtain the equality of determinants, up to sign, that enumerate signed perfect matchings and signed families of lattice paths of a triangular region, respectively. We also describe triangular regions, for which the signed enumerations agree with the unsigned enumerations.

We obtain an explicit formula for a certain weighted enumeration of lozenge tilings of a hexagon with an arbitrary triangular hole. The complexity of our expression depends on the distance from the hole to the center of the hexagon. This proves and generalizes conjectures of Ciucu et al., who considered the case of plain enumeration when the triangle is located at or very near the center. Our proof uses Askey-Wilson polynomials as a tool to relate discrete and continuous Selberg-type integrals.

We $q$-enumerate lozenge tilings of a hexagon with three bowtie-shaped regions have been removed from three non-consecutive sides. The unweighted version of the result generalizes a problem posed by James Propp on enumeration of lozenge tilings of a hexagon of side-lengths $2n,2n+3,2n,2n+3,2n,2n+3$ (in cyclic order) with the central unit triangles on the $(2n+3)$-sides removed.

MacMahon proved a simple product formula for the generating function of plane partitions fitting in a given box. The theorem implies a $q$-enumeration of lozenge tilings of a semi-regular hexagon on the triangular lattice. In this paper we generalize MacMahon's classical theorem by $q$-enumerating lozenge tilings of a new family of hexagons with four adjacent triangles removed from their boundary.