arXiv++ Combinatorics

The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$. In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values. We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.

We study the asymptotics of bounded lecture hall tableaux. Limit shapes form when the bounds of the lecture hall tableaux go to infinity linearly in the lengths of the partitions describing the large-scale shapes of these tableaux. We prove Conjecture 6.1 in \cite{SKN21}, stating that the slopes of the rescaled height functions in the scaling limit satisfy a complex Burgers equation. We also show that the fluctuations of the unrescaled height functions converge to the Gaussian free field. The proof is based on new construction and analysis of Schur generating functions for the lecture hall tableaux, whose corresponding particle configurations do not form a Gelfand-Tsetlin scheme; and the corresponding dimer models are not doubly periodic.

Recently the first author and Jang Soo Kim introduced lecture hall tableaux in their study of multivariate little q-Jacobi polynomials. They then enumerated bounded lecture hall tableaux and showed that their enumeration is closely related to standard and semistandard Young tableaux. In this paper we study the asymptotic behavior of these bounded tableaux thanks to two other combinatorial models: non intersecting paths on a graph whose faces are squares and pentagons and dimer models on a lattice whose faces are hexagons and octogons. We use the tangent method to investigate the arctic curve in the model of nonintersecting lattice paths with fixed starting points and ending points distributibuted according to some arbitrary piecewise differentiable function. We then study the dimer model and use some ansatz to guess the asymptotics of the inverse of the Kasteleyn matrix confirm the arctic curve computed with the tangent method for two examples.

Recently the authors introduced lecture hall tableaux in their study of multivariate little $q$-Jacobi polynomials. In this paper, we enumerate bounded lecture hall tableaux. We show that their enumeration is closely related to standard and semistandard Young tableaux. We also show that the number of bounded lecture hall tableaux is the coefficient of the Schur expansion of $s_λ(m+y_1,\dots,m+y_n)$. To prove this result, we use two main tools: non-intersecting lattice paths and bijections. In particular we use ideas developed by Krattenthaler to prove bijectively the hook content formula.

We introduce lecture hall tableaux, which are fillings of a skew Young diagram satisfying certain conditions. Lecture hall tableaux generalize both lecture hall partitions and anti-lecture hall compositions, and also contain reverse semistandard Young tableaux as a limit case. We show that the coefficients in the Schur expansion of multivariate little $q$-Jacobi polynomials are generating functions for lecture hall tableaux. Using a Selberg-type integral we show that moments of multivariate little $q$-Jacobi polynomials, which are equal to generating functions for lecture hall tableaux of a Young diagram, have a product formula. We also explore various combinatorial properties of lecture hall tableaux.