arXiv++ Combinatorics

We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.

Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.

The number of standard Young tableaux of a skew shape $λ/μ$ can be computed as a sum over excited diagrams inside $λ$. Excited diagrams are in bijection with certain lozenge tilings, with flagged semistandard tableaux and also nonintersecting lattice paths inside $λ$. We give two new proofs of a multivariate generalization of this formula, which allow us to extend the setup beyond standard Young tableaux and the underlying Schur symmetric polynomials. The first proof uses multiple contour integrals. The second one interprets excited diagrams as configurations of a six-vertex model at a free fermion point, and derives the formula for the number of standard Young tableaux of a skew shape from the Yang-Baxter equation.

We give a Hecke algebra derivation of Macdonald's expansion formula for Hall-Littlewood polynomials in terms of semistandard Young tableaux. This is accomplished by first obtaining a Hecke algebra lift of the expansion coefficients and then proving a generalization of Klostermann's recursions.

In this note we develop a systematic combinatorial definition for constructed earlier supersymmetric polynomial families. These polynomial families generalize canonical Schur, Jack and Macdonald families so that the new polynomials depend on odd Grassmann variables as well. Members of these families are labeled by respective modifications of Young diagrams. We show that the super-Macdonald polynomials form a representation of a super-algebra analog $\mathsf{T}(\widehat{\mathfrak{gl}}_{1|1})$ of Ding-Ioahara-Miki (quantum toroidal) algebra, emerging as a BPS algebra of D-branes on a conifold. A supersymmetric modification for Young tableaux and Kostka numbers are also discussed.

Schensted row insertion is a fundamental component of the Robinson-Schensted-Knuth (RSK) algorithm, a powerful tool in combinatorics and representation theory. This study examines the insertion of a deterministic number into a random tableau of a specified shape, focusing on the relationship between the value of the inserted number and the position of the new box created by the Schensted row insertion. Specifically, for a given tableau and a point on its boundary, we consider the threshold that separates values which, if inserted, would result in the new box being created above the point from those that would result in a new box below. We analyze a random tableau of fixed shape and study the corresponding random threshold value. Explicit combinatorial formulas for the cumulants of this random variable are provided, expressed in terms of Kerov's transition measure of the diagram. These combinatorial formulas involve summing over non-crossing alternating trees. As a first application of these results, we demonstrate that for random Young tableaux of prescribed large shape, the rightmost entry in the first row converges in distribution to an explicit Gaussian distribution.

This work is devoted to Pólya-Young urns, a class of periodic Pólya urns of importance in the analysis of Young tableaux. We provide several extension of the previous results of Banderier, Marchal and Wallner [Ann. Prob. (2020)] on Pólya-Young urns and also generalize the previously studied model. We determine the limit law of the generalized model, involving the the local time of noise-reinforced Bessel processes. We also uncover a martingale structure, which leads directly to almost-sure convergence of the random variable of interest. This allows us to add second order asymptotics by providing a central limit theorem for the martingale tail sum, as well as a law of the iterated logarithm. We also turn to random vectors and obtain the limit law of Pólya-Young urns with multiple colors. Additionally, we introduce several growth processes and combinatorial objects, which are closely related to urn models. We define increasing trees with periodic immigration and we related the dynamics of the Pólya-Young urns to label-based parameters in such tree families. Furthermore, we discuss a generalization of Stirling permutations and obtain a bijection to increasing trees with periodic immigration. Finally, we introduce a chinese restaurant process with competition and relate it to increasing trees, as well as Pólya-Young urns.

A defective $(m,n)$-parking function with defect $d$ is a parking function with $m$ cars attempting to park on a street with $n$ parking spots in which exactly $d$ cars fail to park. We establish a way to compute the defect of a defective $(m,n)$-parking function and show that the defect of a parking function is invariant under the action of $\mathfrak{S}_m$, the symmetric group on $[m]=\{1,2,\ldots,m\}$. We introduce the defective parking space ${\sf DPark}_{m,n}$ spanned by defective parking functions and describe its Frobenius characteristic as an $\mathfrak{S}_m$ representation graded by defect via coefficients $\mathrm{Krew}_{d,n}(λ)$ called defective Kreweras numbers. We provide a conjectured formula for $\mathrm{Krew}_{d,n}(λ)$ for sufficiently large $n$. We also show that the set of nondecreasing defective $(m,n)$-parking functions with defect $d$ are in bijection with the set of standard Young tableaux of shape $(n + d, m - d)$. This implies that the number of $\mathfrak{S}_m$-orbits of defective $(m,n)$-parking functions with defect $d$ is given by $\frac{n-m+2d+1}{n+d+1}\binom{m+n}{n+d}$. We also give a multinomial formula for the size of an $\mathfrak{S}_m$-orbit of a nondecreasing $(m,n)$-parking function with defect $d$. We conclude by using these results to give a new formula for the number of defective parking functions.

We introduce a Pfaffian formula that extends Schur's $Q$-functions $Q_λ$ to be indexed by compositions $λ$ with negative parts. This formula makes the Pfaffian construction more consistent with other constructions, such as the Young tableau and Vertex Operator constructions. With this construction, we develop a proof technique involving decomposing $Q_λ$ into sums indexed by partitions with removed parts. Consequently, we are able to prove several identities of Schur's $Q$-functions using only simple algebraic methods.

A fundamental identity in the representation theory of the partition algebra is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair of tableaux of the same shape, where one is a standard Young tableau and the other is a vacillating tableau. In this paper, we study the fine properties of Halverson and Lewandowski's bijection and explore the correspondence between integer sequences and the vacillating tableaux via the map $DI_n^k$ for general integers $n$ and $k$. In particular, we characterize the integer sequences $\boldsymbol{i}$ whose corresponding shape, $λ$, in the image $DI_n^k(\boldsymbol{i})$, satisfies $λ_1 = n$ or $λ_1 = n-k$.

We construct a new family of graded representations $\widetilde{W}_λ$ for the positive elliptic Hall algebra $\mathcal{E}^{+}$ indexed by Young diagrams $λ$ which generalize the standard $\mathcal{E}^{+}$ action on symmetric functions. These representations have homogeneous bases of eigenvectors for the action of the Macdonald element $P_{0,1} \in \mathcal{E}^{+}$ with distinct $\mathbb{Q}(q,t)$-rational spectrum generalizing the symmetric Macdonald functions. The analysis of the structure of these representations exhibits interesting combinatorics arising from the stable limits of periodic standard Young tableaux. We find an explicit combinatorial rule for the action of the multiplication operators $e_r[X]^{\bullet}$ generalizing the Pieri rule for symmetric Macdonald functions. We will also naturally obtain a family of interesting $(q,t)$ product-series identities which come from keeping track of certain combinatorial statistics associated to periodic standard Young tableaux.

The classical Robinson--Schensted--Knuth correspondence is a bijection from nonnegative integer matrices to pairs of semi-standard Young tableaux. Based on the work of, among others, Burge, Hillman, Grassl, Knuth and Gansner, it is known that a version of this correspondence gives, for any nonzero integer partition $λ$, a bijection from arbitrary fillings of $λ$ to reverse plane partitions of shape $λ$, via Greene--Kleitman invariants. By bringing out the combinatorial aspects of our recent results on quiver representations, we construct a family of bijections from fillings of $λ$ to reverse plane partitions of shape $λ$ parametrized by a choice of Coxeter element in a suitable symmetric group. We recover the above version of the Robinson--Schensted--Knuth correspondence for a particular choice of Coxeter element depending on $λ$.

We obtain scaling and local limit results for large random Young tableaux of fixed shape $λ^0$ via the asymptotic analysis of a determinantal point process due to Gorin and Rahman (2019). More precisely, we prove: (1) an explicit description of the limiting surface of a uniform random Young tableau of shape $λ^0$, based on solving a complex-valued polynomial equation; (2) a simple criteria to determine if the limiting surface is continuous in the whole domain; (3) and a local limit result in the bulk of a random Poissonized Young tableau of shape $λ^0$. Our results have several consequences, for instance: they lead to explicit formulas for the limiting surface of $L$-shaped tableaux, generalizing the results of Pittel and Romik (2007) for rectangular shapes; they imply that the limiting surface for $L$-shaped tableaux is discontinuous for almost-every $L$-shape; and they give a new one-parameter family of infinite random Young tableaux, constructed from the so-called random infinite bead process.

We introduce the immersion poset $(\mathcal{P}(n), \leqslant_I)$ on partitions, defined by $λ\leqslant_I μ$ if and only if $s_μ(x_1, \ldots, x_N) - s_λ(x_1, \ldots, x_N)$ is monomial-positive. Relations in the immersion poset determine when irreducible polynomial representations of $GL_N(\mathbb{C})$ form an immersion pair, as defined by Prasad and Raghunathan (2022). We develop injections $\mathsf{SSYT}(λ, ν) \hookrightarrow \mathsf{SSYT}(μ, ν)$ on semistandard Young tableaux given constraints on the shape of $λ$, and present results on immersion relations among hook and two column partitions. The standard immersion poset $(\mathcal{P}(n), \leqslant_{std})$ is a refinement of the immersion poset, defined by $λ\leqslant_{std} μ$ if and only if $λ\leqslant_D μ$ in dominance order and $f^λ\leqslant f^μ$, where $f^ν$ is the number of standard Young tableaux of shape $ν$. We classify maximal elements of certain shapes in the standard immersion poset using the hook length formula. Finally, we prove Schur-positivity of power sum symmetric functions $p_{A_μ}$ on conjectured lower intervals in the immersion poset, addressing questions posed by Sundaram (2018).

Canon permutations are permutations of the multiset having $k$ copies of each integer between $1$ and $n$, with the property that the subsequences obtained by taking the $j$th copy of each entry, for each fixed $j$, are all the same. For $k=2$, canon permutations are sometimes called nonnesting permutations, and it is known that the polynomial that enumerates them by the number of descents factors as a product of an Eulerian polynomial and a Narayana polynomial. We extend this result to arbitrary $k$, and we relate the problem to the enumeration of standard Young tableaux of rectangular shape with respect to generalized descent statistics. Our proof is bijective, and it also settles a conjecture of Sulanke about the distribution of certain lattice path statistics.

We reconsider an old problem, namely the dimension of the $G$-invariant subspace in $V^{\otimes p} \otimes V^{*\otimes q}$, where $G$ is one of the classical groups ${\rm GL}(V)$, ${\rm SL}(V)$, ${\rm O}(V)$, ${\rm SO}(V)$, or ${\rm Sp}(V)$. Spanning sets for the invariant subspace have long been well known, but linear bases are more delicate. The main contribution of this paper is a combinatorial realization of linear bases via standard Young tableaux and arc diagrams, in a uniform manner for all five classical groups. As a secondary contribution, we survey the many equivalent ways -- some old, some new -- to enumerate the elements in these bases.

Recently, Banderier et. al. considered Young tableaux with walls, which are similar to standard Young tableaux, except that local decreases are allowed at some walls. We count the numbers $\overline{f}_m(n)$ of Young tableaux of shape $2\times mn$ with walls, that allow local decreases at the $(jm+i)$-th columns for all $j=0,\dots, n-1$ and $i=2,\dots, m$. We find that they have nice generating functions (thanks to the OEIS) as follows. $$\overline{F}_m(x)=\sum_{n\geq 0}\overline{f}_m(n)x^n=\prod_{k=1}^{m}C(e^{k\frac{2πi}{m}} x^\frac{1}{m})=\exp \left(\sum_{n\geq 1}\binom{2mn-1}{mn-1}\frac{x^n}{n}\right),$$ where $C(x)=\frac{1-\sqrt{1-4x}}{2x}$ is the well-known Catalan generating function. We prove generalizations of this result. Firstly, we use the Yamanouchi word to transform Young tableaux with horizontal walls into lattice paths. This results in a determinant formula. Then by lattice path counting theory, we obtain the generating functions $F_r(x)$ for the number of lattice paths from $(0,0)$ to $(\ell n-r,kn)$ that never go above the path $(N^kE^{\ell})^{n-1}N^kE^{\ell-r}$, where $N,E$ stand for north and east steps, respectively. We also obtain exponential formulas for $F_1(x)$ and $F_\ell(x)$. The formula for $\overline{F}_m(x)$ is thus proved since it is just $F_1(x)$ specializes at $k=\ell=m$.

Recall that $α=(a_1,a_2,\ldots,a_n)\in[n]^n$ is a parking function if its nondecreasing rearrangement $β=(b_1,b_2,\ldots,b_n)$ satisfies $b_i\leq i$ for all $1\leq i\leq n$. In this article, we study parking functions based on their ascents (indices at which $a_i<a_{i+1}$), descents (indices at which $a_i>a_{i+1}$), and ties (indices at which $a_i=a_{i+1}$). By utilizing multiset Eulerian polynomials, we give a generating function for the number of parking functions of length $n$ with $i$ descents. We present a recursive formula for the number of parking functions of length $n$ with descents at a specified subset of $[n-1]$. We establish that the number of parking functions of length $n$ with descents at $I\subset[n-1]$ and descents at $J=\{n-i:i\in I\}$ are equinumerous. As a special case, we show that the number of parking functions of length $n$ with descents at the first $k$ indices is given by $f(n, n-k-1)=\frac{1}{n}\binom{n}{k}\binom{2n-k}{n-k-1}$. We prove this by bijecting to the set of standard Young tableaux of shape $((n-k)^2,1^k)$, which are enumerated by $f(n,n-k-1)$. We also study peaks of parking functions, which are indices at which $a_{i-1}<a_i>a_{i+1}$. We show that the set of parking functions with no peaks and no ties is enumerated by the Catalan numbers. We conclude our study by characterizing when a parking function is uniquely determined by their statistic encoding; a word indicating what indices in the parking function are ascents, descents, and ties. We provide open problems throughout.

In algebraic combinatorics and formal calculation, context-free grammar is defined by a formal derivative based on a set of substitution rules. In this paper, we investigate this issue from three related viewpoints. Firstly, we introduce a differential operator method. As one of the applications, we deduce a new grammar for the Narayana polynomials. Secondly, we investigate the normal ordered grammars associated with the Eulerian polynomials. Thirdly, motivated by the theory of differential posets, we introduce a box sorting algorithm which leads to a bijection between the terms in the expansion of $(cD)^nc$ and a kind of ordered weak set partitions, where $c$ is a smooth function in the indeterminate $x$ and $D$ is the derivative with respect to $x$. Using a map from ordered weak set partitions to standard Young tableaux, we find an expansion of $(cD)^nc$ in terms of standard Young tableaux. Combining this with the theory of context-free grammars, we provide a unified interpretations for the Ramanujan polynomials, André polynomials, left peak polynomials, interior peak polynomials, Eulerian polynomials of types $A$ and $B$, $1/2$-Eulerian polynomials, second-order Eulerian polynomials, and Narayana polynomials of types $A$ and $B$ in terms of standard Young tableaux. Along the same lines, we present an expansion of the powers of $c^kD$ in terms of standard Young tableaux, where $k$ is a positive integer. In particular, we provide four interpretations for the second-order Eulerian polynomials. All of the above apply to the theory of formal differential operator rings.

We study the problem of finding Young diagrams of maximum dimension, i. e. those with the largest number of Young tableaux of their shapes. Consider a class of Young diagrams that differ from a symmetric diagram by no more than one box $(i,j)$ in each row and column. It is proven that when moving boxes $(i,j), i>j$ to symmetric positions $(j,i)$, the original diagram is transformed into another diagram of the same size, but with a greater or equal dimension. A conjecture is formulated that generalizes the above fact to the case of arbitrary Young diagrams. Based on this conjecture, we developed an algorithm applied to obtain new Young diagrams of sizes up to 42 thousand boxes with large and maximum dimensions.