arXiv++ Combinatorics

Consider Young diagrams of $n$ boxes distributed according to the Plancherel measure. So those diagrams could be the output of the RSK algorithm, when applied to random permutations of the set $\{1,\ldots,n\}$. Here we are interested in asymptotics, as $n\to \infty$, of expectations of certain functions of random Young diagrams, such as the number of bumping steps of the RSK algorithm that leads to that diagram, the side length of its Durfee square, or the logarithm of its probability. We can express these functions in terms of hook lengths or contents of the boxes of the diagram, which opens the door for application of known polynomiality results for Plancherel averages. We thus obtain representations of expectations as binomial convolutions, that can be further analyzed with the help of Rice's integral or Poisson generating functions. Among our results is a very explicit expression for the constant appearing in the almost equipartition property of the Plancherel measure.

We prove the Castelnuovo--Mumford regularity of 321-avoiding Kazhdan--Lusztig varieties can be computed combinatorially in terms of $K$-theoretic skew excited Young diagrams. We present an algorithm which gives a lower bound for this regularity and describe a setting in which this algorithm provides precise regularity computations. This algorithm specializes to compute the regularity of all two-sided mixed ladder determinantal varieties.

This paper studies planar algebras of Jones' style associated with the Young graph. We first see that, given a positive real valued function on the Young graph, we may obtain a planar algebra whose structure is defined in terms of a state sum over the ways of filling planar tangles with Young diagrams. We delve into the case that the function is harmonic and related to the Plancherel measures on Young diagrams. Along with an element that is depicted as a cross of two strings, we see that the defining relations among morphisms for the Khovanov Heisenberg category are recovered in the planar algebra. We also identify certain elements in the planar algebra with particular functions of Young diagrams that include the moments, Boolean cumulants and normalized characters. This paper thereby bridges diagramatical categorification and asymptotic representation theory. In fact, the Khovanov Heisenberg category is one of the most fundamental examples of diagramatical categorification whereas the harmonic functions on the Young graph have been a central object in the asymptotic representation theory of symmetric groups.

We define an abelian group homomorphism $\mathscr{F}$, which we call the Frobenius transform, from the ring of symmetric functions to the ring of the symmetric power series. The matrix entries of $\mathscr{F}$ in the Schur basis are the restriction coefficients $r_λ^μ= \dim \operatorname{Hom}_{\mathfrak{S}_n}(V_μ, \mathbb{S}^λ\mathbb{C}^n)$, which are known to be nonnegative integers but have no known combinatorial interpretation. The Frobenius transform satisfies the identity $\mathscr{F}\{fg\} = \mathscr{F}\{f\} \ast \mathscr{F}\{g\}$, where $\ast$ is the Kronecker product. We prove for all symmetric functions $f$ that $\mathscr{F}\{f\} = \mathscr{F}_{\mathrm{Sur}}\{f\} \cdot (1 + h_1 + h_2 + \cdots)$, where $\mathscr{F}_{\mathrm{Sur}}\{f\}$ is a symmetric function with the same degree and leading term as $f$. Then, we compute the matrix entries of $\mathscr{F}_{\mathrm{Sur}}\{f\}$ in the complete homogeneous, elementary, and power sum bases and of $\mathscr{F}^{-1}_{\mathrm{Sur}}\{f\}$ in the complete homogeneous and elementary bases, giving combinatorial interpretations of the coefficients where possible. In particular, the matrix entries of $\mathscr{F}^{-1}_{\mathrm{Sur}}\{f\}$ in the elementary basis count words with a constraint on their Lyndon factorization. As an example application of our main results, we prove that $r_λ^μ= 0$ if $|λ\cap \hatμ| < 2|\hatμ| - |λ|$, where $\hatμ$ is the partition formed by removing the first part of $μ$. We also prove that $r_λ^μ= 0$ if the Young diagram of $μ$ contains a square of side length greater than $2^{λ_1 - 1}$, and this inequality is tight.

The study of longest increasing subsequences (LIS) in permutations led to that of Young diagrams via Robinson-Schensted's (RS) correspondence. In a celebrated paper, Vershik and Kerov obtained a limit theorem for such diagrams and found that the LIS of a uniform permutation of size n behaves as $2\sqrt{n}$. Independently and much later, Hoppen et al. introduced the theory of permutons as a scaling limit of permutations. In this paper, we extend in some sense the RS correspondence of permutations to the space of permutons. When the "RS-tableaux" of a permuton are non-trivial, we show that the RS-tableaux of random permutations sampled from this permuton exhibit a linear behavior, in the sense that their first rows and columns have lengths of linear order. In particular, the LIS of such permutations behaves as a multiple of n. We also prove some large deviation results for these convergences. Finally, by studying asymptotic properties of Fomin's algorithm for permutations, we show that the RS-tableaux of a permuton satisfy a partial differential equation.

We prove a conjecture of Bourn and Willenbring (2020) regarding the palindromicity and unimodality of a certain family of polynomials $N_n(t)$. These recursively defined polynomials arise as the numerators of generating functions in the context of the discrete one-dimensional earth mover's distance (EMD). The key to our proof is showing that the defining recursion can be viewed as describing sums of symmetric differences of pairs of Young diagrams; in this setting, palindromicity is equivalent to the preservation of the symmetric difference under the transposition of diagrams. We also observe a connection to recent work by Defant et al. (2024) on the Wiener index of minuscule lattices, which we reinterpret combinatorially to obtain explicit formulas for the coefficients of $N_n(t)$ and for the expected value of the discrete EMD.

As a natural generalization of permutations, transversals of Young diagrams play an important role in the study of pattern avoiding permutations. Let $\mathcal{T}_λ(τ)$ and $\mathcal{ST}_λ(τ)$ denote the set of $τ$-avoiding transversals and $τ$-avoiding symmetric transversals of a Young diagram $λ$, respectively. In this paper, we are mainly concerned with the distribution of the peak set and the valley set on standard Young tableaux and pattern avoiding transversals. In particular, by introducing Knuth transformations on standard Young tableaux, we prove that the peak set and the valley set are equidistributed on the standard Young tableaux of shape $λ/μ$ for any skew diagram $λ/μ$. The equidistribution enables us to show that the peak set is equidistributed over $\mathcal{T}_λ(12\cdots kτ)$ (resp. $\mathcal{ST}_λ(12\cdots k τ)$) and $\mathcal{T}_λ(k\cdots 21τ) $ (resp. $\mathcal{ST}_λ(k\cdots 21τ)$) for any Young diagram $λ$ and any permutation $τ$ of $\{k+1, k+2, \ldots, k+m\}$ with $k,m\geq 1$. Our results are refinements of the result of Backelin-West-Xin which states that $|\mathcal{T}_λ(12\cdots kτ)|=|\mathcal{T}_λ(k\cdots 21 τ)|$ and the result of Bousquet-Mélou and Steingrímsson which states that $|\mathcal{ST}_λ(12\cdots k τ)|=|\mathcal{ST}_λ(k\cdots 21 τ)|$.

Fill each box in a Young diagram with the number of paths from the bottom of its column to the end of its row, using steps north and east. Then, any square sub-matrix of this array starting on the south-east boundary has determinant one. We provide a - to our knowledge - new bijective argument for this result. Using the same ideas, we prove further identities involving these numbers which correspond to an integral orthonormal basis of the inner product space with Gram matrix given by the array in question. This provides an explicit answer to a question (listed as unsolved) raised in Exercise 6.27 c) of Stanley's Enumerative Combinatorics.

The work of Vershik and Kerov [1977], Logan and Shepp [1977] established that the shape of the scaled random young diagram in Russian notation, as determined by the Plancherel measure, converges to a deterministic shape. In this article, we focus on the scenario where the number of fixed points is substantial. We provide evidence that, subject to specific requirements on the total number of cycles, the limiting shape is a scaled version of the Vershik-Kerov-Logan-Shepp limiting shape. Additionally, we identify certain limiting regimes that resemble those in Chapuy, Louf, and Walsh [2022]. Furthermore, we enhance the existing results on Tracy-Widom universality classes for $β\in \{ 1, 2, 4\}$ for monotone subsequences.

Let $P$ be a finite poset of width two, i.e., with no three-element antichain. We associate with $P$ a skew Young diagram $Υ(P)$ and discuss some of the properties of the map $Υ$. In particular, if we regard $Υ(P)$ as a poset in a standard way, then the linear extensions of $P$ are in bijection with the order ideals of $Υ(P)$.

This paper establishes universal formulas describing the global asymptotics of two distinct discrete versions of $β$-ensembles in the high, low and fixed temperature regimes. Our results affirmatively answer a question posed by the second author and Śniady. We first introduce a special class of Jack measures on Young diagrams of arbitrary size, called the ``Jack--Thoma measures'', and prove the LLN and CLT in the three aforementioned limit regimes. In each case, we provide explicit formulas for polynomial observables of the limit shape and Gaussian fluctuations around the limit shape. These formulas have surprising positivity properties and are expressed as sums of weighted lattice paths. Second, we show that the previous formulas are universal: they also describe the limit shape and Gaussian fluctuations for the model of random Young diagrams of a fixed size derived from Jack characters with the approximate factorization property. Finally, in stark contrast with continuous $β$-ensembles, we show that the limit shapes at high and low temperatures of our random Young diagrams are one-sided infinite staircase shapes. For the Jack--Plancherel measure, we describe this shape explicitly by relating its local minima with the zeroes of Bessel functions.

We define the computational task of detecting projectors in finite dimensional associative algebras with a combinatorial basis, labelled by representation theory data, using combinatorial central elements in the algebra. In the first example, the projectors belong to the centre of a symmetric group algebra and are labelled by Young diagrams with a fixed number of boxes $n$. We describe a quantum algorithm for the task based on quantum phase estimation (QPE) and obtain estimates of the complexity as a function of $n$. We compare to a classical algorithm related to the projector identification problem by the AdS/CFT correspondence. This gives a concrete proof of concept for classical/quantum comparisons of the complexity of a detection task, based in holographic correspondences. A second example involves projectors labelled by triples of Young diagrams, all having $n$ boxes, with non-vanishing Kronecker coefficient. The task takes as input the projector, and consists of identifying the triple of Young diagrams. In both of the above cases the standard QPE complexities are polynomial in $n$. A third example of quantum projector detection involves projectors labelled by a triple of Young diagrams, with $m,n$ and $m+n$ boxes respectively, such that the associated Littlewood-Richardson coefficient is non-zero. The projector detection task is to identify the triple of Young diagrams associated with the projector which is given as input. This is motivated by a two-matrix model, related via the AdS/CFT correspondence, to systems of strings attached to giant gravitons. The QPE complexity in this case is polynomial in $m$ and $n$.

Cominuscule flag varieties generalize Grassmannians to other Lie types. Schubert varieties in cominuscule flag varieties are indexed by posets of roots labeled long/short. These labeled posets generalize Young diagrams. We prove that Schubert varieties in potentially different cominuscule flag varieties are isomorphic as varieties if and only if their corresponding labeled posets are isomorphic, generalizing the classification of Grassmannian Schubert varieties using Young diagrams by the last two authors. Our proof is type-independent.

We elaborate on the recent suggestion to consider averaging of Cauchy identities for the Schur functions over power sum variables. This procedure has apparent parallels with the Borel transform, only it changes the number of combinatorial factors like $d_R$ in the sums over Young diagrams instead of just factorials in ordinary sums over numbers. It provides a universal view on a number of previously known, but seemingly random identities.

We investigate asymptotic probabilistic phenomena arising from the application of the Schensted row insertion algorithm, a key component of the Robinson-Schensted-Knuth (RSK) correspondence, to random inputs. Our analysis centers on a random tableau $T$ with a given shape $λ$, which may itself be random or deterministic. We examine the stochastic properties of the position of the new box created when inserting a deterministic entry into $T$. Specifically, we focus on the fluctuations of this position around its expected value as the size of the Young diagram $λ$ approaches infinity. Our findings reveal that these fluctuations are asymptotically Gaussian, with the mean and variance expressed in terms of Kerov's transition measure of the diagram $λ$. An important application of this analysis is the RSK algorithm applied to a finite, long sequence of independent, identically distributed random variables. While there remains a gap in the reasoning for this case, we present an explicit conjecture regarding its behavior.

We consider the singular values of certain Young diagram shaped random matrices. For block-shaped random matrices, the empirical distribution of the squares of the singular eigenvalues converges almost surely to a distribution whose moments are a generalisation of the Catalan numbers. The limiting distribution is the density of a product of rescaled independent Beta random variables and its Stieltjes-Cauchy transform has a hypergeometric representation. In special cases we recover the Marchenko-Pastur and Dykema-Haagerup measures of square and triangular random matrices, respectively. We find a further factorisation of the moments in terms of two complex-valued random variables that generalises the factorisation of the Marcenko-Pastur law as product of independent uniform and arcsine random variables.

An almost self-conjugate (ASC) partition has a Young diagram in which each arm along the diagonal is exactly one box longer than its corresponding leg. Classically, the ASC partitions and their conjugates appear in two of Littlewood's symmetric function identities. These identities can be viewed as Euler characteristics of BGG complexes of the trivial representation, for classical Hermitian symmetric pairs. In this paper, we consider partitions in which the arm-leg difference is an arbitrary constant $m$. By viewing these partitions as highest weights, we establish an infinite family of dimension identities between $\mathfrak{gl}_n$- and $\mathfrak{gl}_{n+m}$-modules. We then interpret this result in the context of blocks in parabolic category $\mathcal{O}$: in particular, we exhibit six infinite families of congruent blocks whose corresponding posets of highest weights consist of the partitions in question. These posets, in turn, lead to generalizations of the Littlewood identities and their corresponding BGG complexes. Our results in this paper shed light on the surprising combinatorics underlying the work of Enright and Willenbring (2004).

In this paper, we consider polyhedral realizations for crystal bases $B(λ)$ of irreducible integrable highest weight modules of a quantized enveloping algebra $U_q(\mathfrak{g})$, where $\mathfrak{g}$ is a classical affine Lie algebra of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$. We will give explicit forms of polyhedral realizations in terms of extended Young diagrams or Young walls that appear in the representation theory of quantized enveloping algebras of classical affine type. As an application, a combinatorial description of $\varepsilon_k^*$ functions on $B(\infty)$ will be given.

3D (3 dimensional) Young diagrams are a generalization of 2D Young diagrams. In this paper, We consider 3D Bosons and 3-Jack polynomials. We associate three parameters $h_1,h_2,h_3$ to $y,x,z$-axis respectively. 3-Jack polynomials are polynomials of $P_{n,j}, n\geq j$ with coefficients in $\mathbb C(h_1,h_2,h_3)$, which are the generalization of Schur functions and Jack polynomials to 3D case. Similar to Schur functions, 3-Jack polynomials can also be determined by the vertex operators and the Pieri formulas.

Chess tableaux are a special kind of standard Young tableaux where, in the chessboard coloring of the Young diagram, even numbers always appear in white cells and odd numbers in black cells. If, for $λ$ a partition of $n$, $\text{Chess}(λ)$ denotes the number of chess tableaux of shape $λ$, then Chow, Eriksson and Fan observed that $\displaystyle\sum_{λ\vdash n} \text{Chess}(λ)^2$ is divisible by unusually large powers of $2$. In this paper, we give an explanation for this phenomenon, proving a lower bound of $n-O(\sqrt{n})$ for the $2$-adic valuation of this sum and a generalization of it. We do this by exploiting a connection with a certain representation of the affine Lie algebra $\widehat{\mathfrak{sl}_2}$ on the vector space with basis indexed by partitions. Our result about chess tableaux then follows from a study of the basic representation of $\widehat{\mathfrak{sl}_2}$ with coefficients taken from the ring of rational numbers with odd denominators.