arXiv++ Combinatorics

This is a note for constructing fundamental invariants and computing the Hilbert series of the invariant subalgebras of tensor products of polynomial rings under the action by a direct product of symmetric groups. Our computation relies on Schur functions bringing together several identities of combinatorial generating functions including that of plane partitions.

We construct weight-preserving bijections between column strict shifted plane partitions with one row and alternating sign trapezoids with exactly one column in the left half that sums to $1$. Amongst other things, they relate the number of $-1$s in the alternating sign trapezoids to certain elements in the column strict shifted plane partitions that generalise the notion of special parts in descending plane partitions. The advantage of these bijections is that they include configurations with $-1$s, which is a feature that many of the bijections in the realm of alternating sign arrays lack.

The classical 1961 solution to the problem of determining the number of perfect matchings (or dimer coverings) of a rectangular grid graph -- due independently to Kasteleyn and to Temperley and Fisher -- consists of changing the sign of some of the entries in the adjacency matrix so that the Pfaffian of the new matrix gives the number of perfect matchings, and then evaluating this Pfaffian. Another classical method is to use the Lindström-Gessel-Viennot theorem on non-intersecting lattice paths to express the number of perfect matchings as a determinant, and then evaluate this determinant. In this paper we present a new method for solving the two dimensional dimer problem, which relies on the Cauchy-Binet theorem. It only involves facts that were known in the mid 1930's when the dimer problem was phrased, so it could have been discovered while the dimer problem was still open. We provide explicit product formulas for both the square and the hexagonal lattice. One advantage of our formula for the square lattice compared to the original formula of Kasteleyn, Temperley and Fisher is that ours has a linear number of factors, while the number of factors in the former is quadratic. Our result for the hexagonal lattice yields a formula for the number of periodic stepped surfaces that fit in an infinite tube of given cross-section, which can be regarded as a counterpart of MacMahon's boxed plane partition theorem.

Totally symmetric self-complementary plane partitions (TSSCPPs) are boxed plane partitions with the maximum possible symmetry. We use the well-known representation of TSSCPPs as a dimer model on a honeycomb graph enclosed in one-twelfth of a hexagon with free boundary to express them as perfect matchings of a family of non-bipartite planar graphs. Our main result is that the edges of the TSSCPPs form a Pfaffian point process, for which we give explicit formulas for the inverse Kasteleyn matrix. Preliminary analysis of these correlations are then used to give a precise conjecture for the limit shape of TSSCPPs in the scaling limit.

We resolve an open conjecture from algebraic geometry, which states that two generating functions for plane partition-like objects (the "box-counting" formulae for the Calabi-Yau topological vertices in Donaldson-Thomas theory and Pandharipande-Thomas theory) are equal up to a factor of MacMahon's generating function for plane partitions. The main tools in our proof are a Desnanot-Jacobi-type "condensation" identity, and a novel application of the tripartite double-dimer model of Kenyon-Wilson.

The theme of this article is a "reciprocity" between bounded up-down paths and bounded alternating sequences. Roughly speaking, this ``reciprocity" manifests itself by the fact that the extension of the sequence of numbers of paths of length $n$, consisting of diagonal up- and down-steps and being confined to a strip of bounded width, to negative $n$ produces numbers of alternating sequences of integers that are bounded from below and from above. We show that this reciprocity extends to families of non-intersecting bounded up-down paths and certain arrays of alternating sequences which we call alternating tableaux. We provide as well weighted versions of these results. Our proofs are based on Viennot's theory of heaps of pieces and on the combinatorics of non-intersecting lattice paths. An unexpected application leads to a refinement of a result of Bousquet-Mélou and Viennot on the width-height-area generating function of parallelogram polyominoes. Finally, we exhibit the relation of the arising alternating tableaux to plane partitions of strip shapes.

We study probabilistic and combinatorial aspects of natural volume-and-trace weighted plane partitions and their continuous analogues. We prove asymptotic limit laws for the largest parts of these ensembles in terms of new and known hard- and soft-edge distributions of random matrix theory. As a corollary we obtain an asymptotic transition between Gumbel and Tracy--Widom GUE fluctuations for the largest part of such plane partitions, with the continuous Bessel kernel providing the interpolation. We interpret our results in terms of two natural models of directed last passage percolation (LPP): a discrete $(\max, +)$ infinite-geometry model with rapidly decaying geometric weights, and a continuous $(\min, \cdot)$ model with power weights.

The mean values of non-homogeneously parameterized generating exponential are obtained and investigated for the periodic Heisenberg XX model. The norm-trace generating function of boxed plane partitions with fixed volume of their diagonal parts is obtained as N-particles average of the generating exponential. The generating function of self-avoiding walks of random turns vicious walkers is obtained in terms of the circulant matrices that leads to generalizations of the Ramus's identity. Under various specifications of the generating exponential, the N-particles averages arise for a set of inconsecutive flipped spins and for powers of the first moment of flipped spins distribution at large length of the chain. These averages are expressed through the numbers of closed trajectories with constrained initial/final positions. The estimates at large temporal parameter are expressed through the numbers of diagonally restricted plane partitions characterized by fixed values of the main diagonal trace or by fixed heights of the diagonal columns in one-to-one correspondence with the flipped spins positions.

In this note we study a natural measure on plane partitions giving rise to a certain discrete-time Muttalib-Borodin process (MBP): each time-slice is a discrete version of a Muttalib-Borodin ensemble (MBE). The process is determinantal with explicit time-dependent correlation kernel. Moreover, in the $q \to 1$ limit, it converges to a continuous Jacobi-like MBP with Muttalib-Borodin marginals supported on the unit interval. This continuous process is also determinantal with explicit correlation kernel. We study its hard-edge scaling limit (around 0) to obtain a discrete-time-dependent generalization of the classical continuous Bessel kernel of random matrix theory (and, in fact, of the Meijer $G$-kernel as well). We lastly discuss two related applications: random sampling from such processes, and their interpretations as models of directed last passage percolation (LPP). In doing so, we introduce a corner growth model naturally associated to Jacobi processes, a version of which is the "usual" corner growth of Forrester-Rains in logarithmic coordinates. The aforementioned hard edge limits for our MBPs lead to interesting asymptotics for these LPP models. In particular, a special cases of our LPP asymptotics give rise (via the random matrix Bessel kernel and following Johansson's lead) to an extremal statistics distribution interpolating between the Tracy-Widom GUE and the Gumbel distributions.

In earlier work, Billey--Konvalinka--Swanson studied the asymptotic distribution of the coefficients of Stanley's $q$-hook length formula, or equivalently the major index on standard tableaux of straight shape and certain skew shapes. We extend those investigations to Stanley's $q$-hook-content formula related to semistandard tableaux and $q$-hook length formulas of Björner--Wachs related to linear extensions of labeled forests. We show that, while their coefficients are ``generically'' asymptotically normal, there are uncountably many non-normal limit laws. More precisely, we introduce and completely describe the compact closure of the metric space of distributions of these statistics in several regimes. The additional limit distributions involve generalized uniform sum distributions which are topologically parameterized by certain decreasing sequence spaces with bounded $2$-norm. The closure of these distributions in the Lévy metric gives rise to the space of DUSTPAN distributions. As an application, we completely classify the limiting distributions of the size statistic on plane partitions fitting in a box.

We use intermediate symplectic characters to give a proof and variations of Hopkins' conjecture, now proved by Hopkins and Lai, on the number of shifted plane partitions of shifted double staircase shape with bounded entries. In fact, we prove some character identities involving intermediate symplectic characters, and find generating functions for such shifted plane partitions. The key ingredients of the proof are a bialternant formula for intermediate symplectic characters, which interpolates between those for Schur functions and symplectic characters, and the Ishikawa-Wakayama minor-summation formula.

We study some combinatorial properties of higher-dimensional partitions which generalize plane partitions. We present a natural bijection between $d$-dimensional partitions and $d$-dimensional arrays of nonnegative integers. This bijection has a number of important applications. We introduce a statistic on $d$-dimensional partitions, called the corner-hook volume, whose generating function has the formula of MacMahon's conjecture. We obtain multivariable formulas whose specializations give analogues of various formulas known for plane partitions. We also introduce higher-dimensional analogues of dual Grothendieck polynomials which are quasisymmetric functions and whose specializations enumerate higher-dimensional partitions of a given shape. Finally, we show probabilistic connections with a directed last passage percolation model in $\mathbb{Z}^d$.

Recently Galashin, Grinberg, and Liu introduced the refined dual stable Grothendieck polynomials, which are symmetric functions in $x=(x_1,x_2,\dots)$ with additional parameters $t=(t_1,t_2,\dots)$. The refined dual stable Grothendieck polynomials are defined as a generating function for reverse plane partitions of a given shape. They interpolate between Schur functions and dual stable Grothendieck polynomials introduced by Lam and Pylyavskyy in 2007. Flagged refined dual stable Grothendieck polynomials are a more refined version of refined dual stable Grothendieck polynomials, where lower and upper bounds are given for the entries of each row or column. In this paper Jacobi--Trudi-type formulas for flagged refined dual stable Grothendieck polynomials are proved using plethystic substitution. This resolves a conjecture of Grinberg and generalizes a result by Iwao and Amanov--Yeliussizov.

We give a product formula for the number of shifted plane partitions of shifted double staircase shape with bounded entries. This is the first new example of a family of shapes with a plane partition product formula in many years. The proof is based on the theory of lozenge tilings; specifically, we apply the "free boundary" Kuo condensation due to Ciucu.

The classical hook length formula counts the number of standard tableaux of straight shapes. In 1996, Okounkov and Olshanski found a positive formula for the number of standard Young tableaux of a skew shape. We prove various properties of this formula, including three determinantal formulas for the number of nonzero terms, an equivalence between the Okounkov-Olshanski formula and another skew tableaux formula involving Knutson-Tao puzzles, and two $q$-analogues for reverse plane partitions, which complements work by Stanley and Chen for semistandard tableaux. We also give several reformulations of the formula, including two in terms of the excited diagrams appearing in a more recent skew tableaux formula by Naruse. Lastly, for thick zigzag shapes we show that the number of nonzero terms is given by a determinant of the Genocchi numbers and improve on known upper bounds by Morales-Pak-Panova on the number of standard tableaux of these shapes.

Alternating sign trapezoids have recently been introduced as a generalisation of alternating sign triangles. Fischer established a threefold refined enumeration of alternating sign trapezoids and provided three statistics on column strict shifted plane partitions with the same joint distribution. In this paper, we are able to add a new pair of statistics to these results. More precisely, we consider the number of $-1$s on alternating sign trapezoids and introduce a corresponding statistic on column strict shifted plane partitions that has the same distribution. More generally, we show that the joint distributions of the two quadruples of statistics on alternating sign trapezoids and column strict shifted plane partitions, respectively, coincide. In addition, we provide a closed-form expression for the $2$-enumeration of alternating sign trapezoids.

We investigate a new family of regions that is the universal generalization of three well-known region families in the field of enumeration of tilings: the quasi-regular hexagons, the semi-hexagons, and the halved hexagons. We prove a simple product formula for the number of tilings of these new regions. Our main result also yields the enumerations of two special classes of plane partitions with restricted parts.

We study the Schur polynomial expansion of a family of symmetric polynomials related to the refined enumeration of alternating sign matrices with respect to their inversion number, complementary inversion number and the position of the unique $1$ in the top row. We prove that the expansion can be expressed as a sum over totally symmetric plane partitions and we are also able to determine the coefficients. This establishes a new connection between alternating sign matrices and a class of plane partitions, thereby complementing the fact that alternating sign matrices are equinumerous with totally symmetric self-complementary plane partitions as well as with descending plane partitions. As a by-product we obtain an interesting map from totally symmetric plane partitions to Dyck paths. The proof is based on a new, quite general antisymmetrizer-to-determinant formula.

We examine the asymptotics of a class of banded plane partitions under a varying bandwidth parameter $m$, and clarify the transitional behavior for large size $n$ and increasing $m=m(n)$ to be from $c_1 n^{-1} \exp(c_2 n^{1/2})$ to $c_3 n^{-49/72} \exp(c_4 n^{2/3} + c_5 n^{1/3})$ for some explicit coefficients $c_1, \ldots, c_5$. The method of proof, which is a unified saddle-point analysis for all phases, is general and can be extended to other classes of plane partitions.

One of the oldest outstanding problems in dynamical algebraic combinatorics is the following conjecture of P. Cameron and D. Fon-Der-Flaass (1995). Consider a plane partition $P$ in an $a \times b \times c$ box ${\sf B}$. Let $Ψ(P)$ denote the smallest plane partition containing the minimal elements of ${\sf B} - P$. Then if $p= a+b+c-1$ is prime, Cameron and Fon-Der-Flaass conjectured that the cardinality of the $Ψ$-orbit of $P$ is always a multiple of $p$. This conjecture was established for $p \gg 0$ by Cameron and Fon-Der-Flaass (1995) and for slightly smaller values of $p$ in work of K. Dilks, J. Striker, and the second author (2017). Our main theorem specializes to prove this conjecture in full generality.