arXiv++ Combinatorics

In previous work, the first and third authors introduced staircase tableaux, which they used to give combinatorial formulas for the stationary distribution of the asymmetric simple exclusion process (ASEP) and for the moments of the Askey-Wilson weight function. The fact that the ASEP and Askey-Wilson moments are related at all is quite surprising, and is due to Uchiyama-Sasamoto-Wadati. The ASEP is a model of particles hopping on a one-dimensional lattice of N sites with open boundaries, particles can enter and exit at both left and right borders. It was introduced around 1970 and is cited as a model for both traffic flow and translation in protein synthesis. Meanwhile, the Askey-Wilson polynomials are a family of orthogonal polynomials in one variable, they sit at the top of the hierarchy of classical orthogonal polynomials. So we have the relationship ASEP -- staircase tableaux -- Askey-Wilson moments It is well-known that Askey-Wilson polynomials can be viewed as the one-variable case of the multivariate Koornwinder polynomials, also known as the Macdonald polynomials for the type BC root system. It is natural then to ask whether one can generalize the relationships among the ASEP, Askey-Wilson moments, and staircase tableaux, in such a way that Koornwinder moments replace Askey-Wilson moments. In a recent work, we demonstrated a close connection between Koornwinder moments and the two-species ASEP (a particle model involving two species of particles with different "weights"). In this article we introduce rhombic staircase tableaux, and show that we have the relationship 2-species ASEP -- rhombic staircase tableaux -- Koornwinder moments In particular, we give formulas for the steady state distribution of the two-species ASEP and for Koornwinder moments, in terms of rhombic staircase tableaux.

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 study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.

In this paper, we study staircase tableaux, a combinatorial object introduced due to its connections with the asymmetric exclusion process (ASEP) and Askey-Wilson polynomials. Due to their interesting connections, staircase tableaux have been the object of study in many recent papers. More specific to this paper, the distribution of various parameters in random staircase tableaux has been studied. There have been interesting results on parameters along the main diagonal, however, no such results have appeared for other diagonals. It was conjectured that the distribution of the number of symbols along the kth diagonal is asymptotically Poisson as k and the size of the tableau tend to infinity. We partially prove this conjecture; more specifically we prove it for the second and the third main diagonal.

The Sand Pile Model (SPM) and its generalization, the Ice Pile Model (IPM), originate from physics and have various applications in the description of the evolution of granular systems. In this article, we deal with the enumeration and the exhaustive generation of the accessible configuration of the system. Our work is based on a new recursive decomposition theorem for SPM configurations using the notion of staircase bases. Based on this theorem, we provide a recursive formula for the enumeration of SPM(n) and a constant amortized time (CAT) algorithm for the generation of all SPM(n) configurations. The extension of the same approach to the Ice Pile Model is also discussed.

The x-ray process is modelled using integer compositions as a two dimensional analogue of the object being x-rayed, where the examining rays are modelled by diagonal lines with equation $x-y=n$ for non negative integers $n$. This process is essentially parameterised by the degree to which the x-rays are contained inside a particular composition. So, characterising the process translates naturally to obtaining a generating function which tracks the number of "staircases" which are contained inside arbitrary integer compositions of $n$. More precisely, we obtain a generating function which counts the number of times the staircase $1^+2^+3^+\cdots m^+$ fits inside a particular composition. The main theorem establishes this generating function \begin{equation*} F= \dfrac {k_{m}-\frac {qx^{m}y}{1-x}k_{m-1}}{(1-q)x^{\binom {m+1}{2}}\left(\frac{y}{1-x}\right)^{m}+\frac{1-x-xy}{1-x}\left(k_{m}-\frac{qx^{m}y}{1-x}k_{m-1}\right)}. \end{equation*} where \begin{equation} k_{m}=\sum_{j=0}^{m-1}x^{mj-\binom {j}{2}}\left(\frac {y}{1-x}\right)^{j}. \end{equation} Here $x$ and $y$ respectively track the composition size and number of parts, whilst $q$ tracks the number of such staircases contained.

In this paper, we compute the genus of the variety of linear series of rank $r$ and degree $d$ on a general curve of genus $g$, with ramification at least $α$ and $β$ at two given points, when that variety is 1-dimensional. Our proof uses degenerations and limit linear series along with an analysis of random staircase paths in Young tableaux, and produces an explicit scheme-theoretic description of the limit linear series of fixed rank and degree on a generic chain of elliptic curves when that scheme is itself a curve.

Recently, Kim and Oh expressed the Selberg integral in terms of the number of Young books which are a generalization of standard Young tableaux of shifted staircase shape. In this paper the generating function for Young books according to major index statistic is considered. It is shown that this generating function can be written as a Jackson integral which gives a new $q$-Selberg integral. It is also shown that the new $q$-Selberg integral has an expression in terms of Schur functions.

Lascoux has given a triangular version of the Cauchy identity where Schur polynomials are replaced by Demazure characters and Demazure atoms. He has then used the staircase expansion to recover expansions for all Ferrers shapes, where the Demazure characters and Demazure atoms are under the action of Demazure operators specified by the cells above the staircase. The characterisation of the tableau-pairs in these last expansions is less explicit. We give here a bijective proof for expansions over near staircases, where the tableau-pairs are made explicit. Our analysis formulates Mason's RSK analogue, for semi-skylines augmented fillings, in terms of growth diagrams.

It has been proven that the lozenge tilings of a quartered hexagon on the triangular lattice are enumerated by a simple product formula. In this paper we give a new proof for the tiling formula by using Kuo's graphical condensation. Our result generalizes a Proctor's theorem on enumeration of plane partitions contained in a "maximal staircase".

In 2012 Jan Saxl conjectured that all irreducible representations of the symmetric group occur in the decomposition of the tensor square of the irreducible representation corresponding to the staircase partition. We make progress on this conjecture by proving the occurrence of all those irreducibles which correspond to partitions that are comparable to the staircase partition in the dominance order. Moreover, we use our result to show the occurrence of all irreducibles corresponding to hook partitions. This generalizes results by Pak, Panova, and Vallejo from 2013.

We introduce the Tesler polytope Tes_n(a_1,a_2,...,a_n), whose integer points are the Tesler matrices of size n with nonnegative integer hook sums a_1,a_2,...,a_n. We show that Tes_n(a) is a flow polytope and therefore the number of Tesler matrices is counted by the type A_n Kostant partition function evaluated at (a_1,a_2,...,a_n,-a_1-...-a_n). We describe the faces of this polytope in terms of "Tesler tableaux" and characterize when the polytope is simple. We prove that the h-vector of Tes_n(a) when all a_i>0 is given by the Mahonian numbers and calculate the volume of Tes_n(1,1,...,1) to be a product of consecutive Catalan numbers multiplied by the number of standard Young tableaux of staircase shape.

The Selberg integral is an important integral first evaluated by Selberg in 1944. Stanley found a combinatorial interpretation of the Selberg integral in terms of permutations. In this paper, new combinatorial objects "Young books" are introduced and shown to have a connection with the Selberg integral. This connection gives an enumeration formula for Young books. It is shown that special cases of Young books become standard Young tableaux of various shapes: shifted staircases, squares, certain skew shapes, and certain truncated shapes. As a consequence, product formulas for the number of standard Young tableaux of these shapes are obtained.

Alternating sign matrices (ASMs) are square matrices with entries 0, 1, or -1 whose rows and columns sum to 1 and whose nonzero entries alternate in sign. We present a unifying perspective on ASMs and other combinatorial objects by studying a certain tetrahedral poset and its subposets. We prove the order ideals of these subposets are in bijection with a variety of interesting combinatorial objects, including ASMs, totally symmetric self-complementary plane partitions (TSSCPPs), staircase shaped semistandard Young tableaux, Catalan objects, tournaments, and totally symmetric plane partitions. We prove product formulas counting these order ideals and give the rank generating function of some of the corresponding lattices of order ideals. We also prove an expansion of the tournament generating function as a sum over TSSCPPs. This result is analogous to a result of Robbins and Rumsey expanding the tournament generating function as a sum over alternating sign matrices.

In this paper, we study staircase tableaux, a combinatorial object introduced due to its connections with the asymmetric exclusion process (ASEP) and Askey-Wilson polynomials. Due to their interesting connections, staircase tableaux have been the object of study in many recent papers. More specific to this paper, the distribution of various parameters in random staircase tableaux has been studied. There have been interesting results on parameters along the main diagonal, however, no such results have appeared for other diagonals. It was conjectured that the distribution of the number of symbols along the kth diagonal is asymptotically Poisson as k and the size of the tableau tend to infinity. We partially prove this conjecture; more specifically we prove it for the second main diagonal.

We give a embedding of the Lagrangian Grassmannian LG(n) inside an ordinary Grassmannian that is well-behaved with respect to the Wronski map. As a consequence, we obtain an analogue of the Mukhin-Tarasov-Varchenko theorem for LG(n). The restriction of the Wronski map to LG(n) has degree equal to the number of shifted or unshifted tableaux of staircase shape. For special fibres one can define bijections, which, in turn, gives a bijection between these two classes of tableaux. The properties of these bijections lead a geometric proof of a branching rule for the cohomological map H*(Gr(n,2n)) x H*(LG(n)) -> H*(LG(n)), induced by the diagonal inclusion LG(n) -> LG(n) x Gr(n,2n). We also discuss applications to the orbit structure of jeu de taquin promotion on staircase tableaux.

A specialisation of a transformation formula for multi-dimensional elliptic hypergeometric series is used to provide compact, non-determinantal formulae for the generating function with respect to the major index of standard Young tableaux of skew shapes of the form "staircase minus rectangle".

In this paper we apply a method of Robinson and Taulbee for computing Kronecker coefficients together with other ingredients and show that the multiplicity of each component in a Kronecker square can be obtained from an evaluation of a certain polynomial, which depends only on the component and is computed combinatorially. This polynomial has as many variables as the set of isomorphism classes of connected skew diagrams of size at most the depth of the component. We present two applications. The first is a contribution to Saxl conjecture, which asserts that the Kronecker square of the staircase partition, contains every irreducible character of the symmetric group as a component. We prove that for any partition there is a piecewise polynomial function in one real variable such that for all k, such that the multiplicity of this partition in the Kronecker square of the staircase partition of size k is given by the evaluation of the polynomial function in k. The second application is a proof of a new stability property for Kronecker coefficients.

We derive a combinatorial equilibrium for bounded juggling patterns with a random, $q$-geometric throw distribution. The dynamics are analyzed via rook placements on staircase Ferrers boards, which leads to a steady-state distribution containing $q$-rook polynomial coefficients and $q$-Stirling numbers of the second kind. We show that the equilibrium probabilities of the bounded model can be uniformly approximated with the equilibrium probabilities of a corresponding unbounded model. This observation leads to new limit formulae for $q$-analogues. Keywords: juggling pattern; $q$-Stirling number of the second kind; Ferrers board; Markov process; combinatorial equilibrium