arXiv++ Combinatorics

After centering and scaling, the length of the longest weakly increasing subsequence of a finite-state Markov random word converges to a Brownian last-passage functional with dependent components. We investigate when this functional, and more generally the limiting RSK Young-diagram shape, admits a Gaussian random-matrix representation. We introduce Hermitian Gaussian matrices with correlated diagonal entries and show that isotropy of the Brownian covariance on the trace-zero hyperplane yields such a representation. Within this natural class of Hermitian models with independent Gaussian off-diagonal entries, we prove a rigidity theorem showing that isotropy, together with equality of the off-diagonal variances, characterizes the conditional largest-eigenvalue representation. Explicit three-letter non-cyclic Markov chains demonstrate that this representation is not universal: the limiting Brownian functional may fail to have the law of the largest eigenvalue of any centered jointly Gaussian $3\times 3$ Hermitian matrix. Finally, we extend the random-matrix identification to chains with non-uniform stationary distributions and to countable state spaces.

We establish a quantum super Schur--Weyl duality for the mirabolic Hecke algebra \(H_n^{\mathrm{mir}}(q)\) with \(q\) indeterminate and determine the corresponding bimodule decomposition. The centralizer of the mirabolic action is shown as a direct sum of homogeneous quantum Schur superalgebras. We describe the tensor-space annihilator and the resulting faithful quotient. When nonzero, the annihilator is generated by an explicit spectral idempotent attached to the smallest rectangle excluded by the hook condition. From the quantum super Schur--Weyl duality, we derive a super Frobenius formula for mirabolic Hecke algebras. This formula then yields a Murnaghan--Nakayama rule and Regev-type formulas for the irreducible characters. We also construct a super mirabolic RSK bijection from words in a super alphabet with an additional even letter to hook semistandard insertion tableaux together with recording pairs that distinguish the positions of the additional letter. This correspondence yields a Roichman formula for irreducible characters of \(H_n^{\mathrm{mir}}(q)\). Finally, we establish a parameter-inversion isomorphism between \(H_n^{\mathrm{mir}}(q^{-1})\) and the \(q\)-rook monoid algebra \(R_n(q)\) and use it to transport the duality, annihilators, and character formulas in both directions. The transported tensor decomposition provides a representation-theoretic interpretation of hook and two-row character sums for \(R_n(q)\).

We present a simple combinatorial method for computing the socle of representations of $\mathrm{GL}_n(F)$, where $F$ is a local non-Archimedean field, parabolically induced from two ladder representations satisfying a permissibility condition. We adapt recent approaches to such problems using the classical Robinson--Schensted--Knuth correspondence (RSK) and introduce a new variant of RSK that we call mixed-RSK. Some combinatorial properties of this map are investigated and then used to resolve a conjecture of Erez Lapid.

We explain how to derive the Robinson-Schensted-Knuth (RSK) correspondence, a fundamental bijection in algebraic combinatorics, from the Yang-Baxter equation. The Yang-Baxter equation arose in the study of quantum many-body systems and later became a cornerstone of the theory of solvable lattice models, particularly vertex models. In a vertex model, arrows occupy the edges of a grid, and each vertex carries a Boltzmann weight determined by the arrows on the four edges meeting at it. The weight of a configuration is the product of these local weights, and a partition function is the sum of the weights of all configurations with prescribed boundary conditions. For a vertex model whose partition functions are the Schur polynomials, the two sides of each instance of the Yang-Baxter equation admit exactly one weight-preserving matching of their summands. Carried across a grid, this forced matching is the classical RSK correspondence in the form of Fomin's growth diagrams. In natural coordinates the local matching becomes the combinatorial three-dimensional R, a set-theoretic solution of the Zamolodchikov tetrahedron equation. Its periodic closure returns the combinatorial R-matrices of one-row crystals. The forced matching is special to the Schur weights. For the Hall-Littlewood and q-Whittaker deformations and their spin versions, at generic parameter values no deterministic matching works for all boundary data. Reading each instance of the Yang-Baxter equation probabilistically, we replace the matching by a coupling of the two sides - a bijectivization, or probabilistic bijection - and obtain Markov operators that transport probability measures attached to vertex models. Iterated over the grid, these operators produce randomized RSK-type dynamics and interacting particle systems, including q-PushTASEP and the stochastic six-vertex model.

Let $μ\subseteqλ\subseteq(m^n)$. We characterize the image under the ordinary Robinson--Schensted--Knuth correspondence of matrices supported on the skew Ferrers diagram $λ/μ$. The outer boundary determines an upper bound on the right key of the insertion tableau, while the inner boundary determines a lower bound on its left key; both bounds depend on the keys of the recording tableau. This yields tableau expansions of skew Ferrers Cauchy kernels using the standard basis polynomials of Lascoux and Schützenberger, indexed by intervals in Bruhat order. The proof first treats ordinary Ferrers diagrams. Using the supremum characterization of right keys from earlier work, we follow the $λ$-dependent bounds through single RSK insertions. When $λ$ has repeated parts, these weak column bounds need not form a semistandard tableau. Strictification determines a set $\operatorname{Comp}(λ)$ of admissible weak compositions and, for each $α\in\operatorname{Comp}(λ)$, a composition $α^λ$. Ordinary RSK then gives a weight-preserving bijective realization of the expansion \[ \prod_{(i,j)\inλ}\frac{1}{1-x_i y_j} = \sum_{α\in\operatorname{Comp}(λ)} \hat K_α(x)K_{α^λ}(y), \] where $\hat K_α$ and $K_α$ denote Demazure atoms and key polynomials, respectively. We also give a direct admissibility criterion and a parking procedure for computing $α^λ$. After translating conventions, these agree with the admissibility condition and half-bubble-sort construction of Feigin, Khoroshkin, and Makedonskyi. The staircase and truncated-staircase identities follow as special cases. Finally, we extend the weak-bound construction to an infinite alphabet, where strictification need not exist, and derive the infinite-variable Cauchy identity for the $m$-symmetric Schur functions.

We prove Dennin's conjecture (Conjecture 8.9 of arXiv:2506.21052) that his variant of dual RSK correspondence is symmetric when restricted to biGrassmannian permutations. For a binary matrix $A$, let $A^\dagger$ denote its transpose-complement, and let $\operatorname{ins}(A)$ and $\operatorname{rec}(A)$ denote its insertion and recording tableaux. We prove that $\operatorname{ins}(A^\dagger) = \overline{\operatorname{rec}(A)}$, where the bar denotes the natural complement of the recording tableau. Our proof uses rectification of super pipe dreams and a downward induction on suffixes of $A$.

The ring $R_m$ of $m$-symmetric functions consists of the formal power series that are symmetric in the variables $x_{m+1},x_{m+2},\dots$ but carry no symmetry in the first $m$ variables. We develop a combinatorial theory for the specialization at $t=0$ of the Schur functions of $R_m$. Our main tool is a new characterization of right key tableaux as suprema of the sets of decreasing subwords of the reading words of the subtableaux of $T$. Being invariant under elementary Knuth transformations, this characterization is compatible with the RSK correspondence. We obtain in this way a generating function over semistandard tableaux for the $m$-symmetric Schur functions at $t=0$, together with a combinatorial proof of a Cauchy identity in $R_m$. The $m$-symmetric Schur functions and their dual are then respectively identified with Demazure atoms and Demazure characters. Restricted to the last $m$ variables, our correspondence specializes to a proof, by ordinary RSK, of Lascoux's nonsymmetric Cauchy identity for Demazure characters and atoms. As further applications, we relate the $m$-symmetric Schur functions at $t=0$ to the almost symmetric Schur functions through a unitriangular change-of-basis matrix, obtain tableau generating functions and Cauchy identities for both families, and derive Jacobi-Trudi type determinantal formulas for three different bases.

Given a sequence $\mathfrak{a}:=(a_1,\ldots,a_n)$ of reals, a subsequence $\mathfrak{b}=(a_{i_1},\ldots,a_{i_k})$ is said to be "caged" if the largest and smallest among the members of $\mathfrak{b}$ are $a_{i_1}$ and $a_{i_k}$, though not necessarily in that order. In this paper, we consider the problem of maximal caged sequences in permutations $π\in S_n$. We also consider the same problem for a random permutation, both when the permutation is chosen uniformly at random and also when it is picked uniformly at random from among the permutations of rectangular shape, via the RSK correspondence.

Let k be an integer at least 2, and let D_{N,k} be the set of permutations of {1,...,N} whose descent set is exactly {k, 2k, ..., k*floor((N-1)/k)}. We enumerate the elements of D_{N,k} avoiding each classical and each vincular pattern of length three. For classical patterns, we give recursive bijections from the 132- and 231-avoiding classes to ordered forests of complete k-ary trees, obtaining the Raney number. The 213- and 312-avoiding classes are obtained from these forest bijections by completing the last block and applying reverse-complement symmetry. The remaining classical case 321 is expressed by RSK. For vincular patterns, we enumerate the six fully consecutive patterns and the twelve patterns with exactly one adjacency. The closed-form results are accompanied by bijective models: the Catalan, Raney, Fuss-Catalan, and RSK cases are natural k-ary or fixed-descent extensions of classical bijections, while the product and poset cases arise from block-insertion and record/tree-poset encodings forced by the adjacency conditions.

The Plancherel-random infinite Young tableau arises from applying the infinite Robinson-Schensted-Knuth (RSK) correspondence to a sequence of i.i.d. random variables distributed uniformly on the unit interval [0,1]. Building on the isomorphism of dynamical systems established in prior work, we provide an explicit geometric characterization of the inverse map. Our approach makes use of a previously unexplored structure, the jeu de taquin forest on the infinite tableau, where edges connect boxes according to local comparison rules. We prove that each tree in this forest almost surely extends toward infinity with a well-defined asymptotic direction, establishing a canonical bijection between trees and values in the i.i.d. input sequence. The ordering is recovered through tree lifetimes under iterated jeu de taquin transformations.

The Fomin local rules for Schensted column insertion can be seen as a two-lane box-ball system, in which a carrier moves particles forward or laterally. Running such two-lane dynamics in parallel on a periodic lattice gives rise to a two-dimensional generalization of the box-ball system, which we call the \emph{skew column RSK dynamics}. Equivalently, this is a deterministic dynamics on pairs of skew semistandard Young tableaux $(P_t,Q_t)_{t \in \mathbb{Z}}$. We prove that this dynamics exhibits solitonic behavior and construct an explicit bijection $(P,Q) \leftrightarrow (H_1,H_2,κ,ν)$ that linearizes the time evolution. The resulting coordinates consist of two horizontally weak tableaux $H_1,H_2$ recording the asymptotic soliton data, integer riggings $κ$, and a weakly decreasing sequence of integers $ν$. A key feature of the construction is an explicit projection from the skew column RSK dynamics to the classical box-ball system; under this projection, the rigging $κ$ is precisely the Kerov--Kirillov--Reshetikhin rigging of the associated box-ball configuration. Our proof uses two commuting affine crystal structures on pairs of skew tableaux and a novel connectivity theorem for distinguished subgraphs of tensor products of Kirillov--Reshetikhin crystals. We also derive Greene-type formulas for the soliton lengths in terms of last-passage percolation on the associated cylindrical environment. Finally, by taking generating functions in the linearizing coordinates, we obtain bijective proofs of Cauchy and Kawanaka--Littlewood-type identities for transformed Hall--Littlewood polynomials.

In an asymmetric shelf shuffle, a deck of $n$ cards is dealt sequentially from the bottom and assigned one of the $m$ shelves uniformly at random. The card is placed at the top of the assigned shelf with probability $p$, and at the bottom of the assigned shelf with probability $(1-p)$. Analysis of the shelf shuffle has gained much attention recently, and the case $p=1/2$ was first treated by Diaconis--Fulman--Holmes [Ann. Appl. Prob. 23 (2013), no. 4, 1692--1720]. In this paper, we extend the analysis of the shelf shuffle to general $p\in (0, 1)$. In particular, we study the distribution of cycles, cycle lengths, number of descents, number of valleys, number of inversions, and the RSK shape of a permutation obtained from an asymmetric shelf shuffle. Our results extend the analysis of Diaconis--Fulman--Holmes to arbitrary $p$. Furthermore, our analysis of the distribution of descents and inversions is new even for $p=1/2$.

While the uncrowding algorithm on set-valued tableaux has long been instrumental in proving the Schur positivity of stable symmetric Grothendieck polynomials, lattice models have emerged as a modern framework for investigating symmetric functions, in particular symmetric Grothendieck polynomials. In this work, we synthesize these combinatorial and lattice-theoretic approaches by defining both the Robinson--Schensted--Knuth (RSK) correspondence and the uncrowding operation directly on a 5-vertex model of Motegi and Sakai and its subsequent reinterpretation by Buciumas, Scrimshaw, and Weber. Our lattice-based RSK formulation yields a powerful new result: the direct construction of the associated crystal structure on the states of the 5-vertex model.

We give a spectral realization of the Robinson-Schensted-Knuth (RSK) correspondence in terms of the representation theory of the symmetric group $S_n$ and the degenerate affine Hecke algebra (AHA) $H_n$. We view RSK, which builds a pair of standard Young tableaux from a permutation, as a special case of rectification, also known as Jeu de Taquin, which turns skew tableaux into straight ones. In this framing, the initial permutation corresponds to a skew tableau of staircase shape. To interpret this in terms of representation theory, take permutations to label weight vectors in a generic $H_n$-module $V(a_1, \ldots , a_n)$, which is isomorphic to $\mathbb{C}[S_n]$ as an $S_n$-module. Writing permutations as staircases amounts to placing these weight vectors inside the regular representation of a larger symmetric group containing $S_n$; more geometrically, we push $S_n$ to the right toward infinity so its Jucys-Murphy (JM) elements have enough room to represent the external translations of $H_n$. Then, rectification corresponds to squeezing out this extra room from the left, leaving only $S_n$ and its regular JM elements as the limit of the external translations. By expressing slides via sequences of exchanges of consecutive values inside the tableau, we can model rectification by an operator acting on the regular representation. This lets us explicitly write down the change of basis between $H_n$-weight vectors and $S_n$-weight vectors, where the latter are eigenvectors of the JM elements in $S_n$ acting both on the left and on the right, and hence labeled by pairs of standard tableaux. The resulting correspondence between the labels of the weight vectors is exactly RSK.

Let $\mathbf{T}_{\mathbf{a},\mathbf{b}}$ be the number of $3$-way contingency tables of size $m \times n \times p$ with two of its three plane-sum margins fixed by $\mathbf{a}=(a_1, \ldots, a_m) \in \mathbb{N}^m$ and $\mathbf{b}=(b_1, \ldots, b_n) \in \mathbb{N}^n$. When $p=1$, this is the number of $m \times n$ non-negative integer matrices whose row and column sums are fixed by $\mathbf{a}$ and $\mathbf{b}$. In this paper, we study the numbers $\mathbf{T}_{\mathbf{a},\mathbf{b}}$ through the lens of quiver invariant theory. Let $\mathcal{Q}^{p}_{m,n}$ be the $p$-complete bipartite quiver with $m$ source vertices, $n$ sink vertices, and $p$ arrows from each source to each sink. Let $\mathbf{1}$ denote the dimension vector of $\mathcal{Q}^{p}_{m,n}$ that takes value $1$ at every vertex of $\mathcal{Q}^{p}_{m,n}$, and let $θ_{\mathbf{a}, \mathbf{b}}$ denote the integral weight that assigns $a_i$ to the $i^{th}$ source vertex and $-b_j$ to the $j^{th}$ sink vertex of $\mathcal{Q}^{p}_{m,n}$. We begin by realizing $\mathbf{T}_{\mathbf{a},\mathbf{b}}$ as the dimension of the space of semi-invariants associated to $(\mathcal{Q}^{p}_{m,n}, \mathbf{1}, θ_{\mathbf{a}, \mathbf{b}})$. Using this connection and methods from quiver invariant theory, we show that $\mathbf{T}_{\mathbf{a},\mathbf{b}}$ is a parabolic Kostka coefficient. In the case $p=1$, this recovers the formula for the number of the $m \times n$ contingency tables with row and column sums fixed by $\mathbf{a}$ and $\mathbf{b}$, which in the classical $2$-way setting can also be obtained via the Robinson-Schensted-Knuth correspondence.

We study four bijections, which are promotion, evacuation, rowmotion, and rowvacuation, on generalized Dyck paths in rational Catalan combinatorics. We define the maps on generalized Dyck paths, which have their origins in maps on Dyck paths and non-crossing partitions. They include rotation, Kreweras complement map, Simion--Ullman involution on non-crossing partitions, and Lalanne--Kreweras involution on Dyck paths. These maps have an expression in terms of the four combinatorial bijections. By extending the bijection studied by D. Armstrong, C. Stump, and H. Thomas on one hand, and the correspondence of RSK type studied by B. Adenbaum and S. Elizalde on the other, we present the equivalence between the two bijections, promotion and rowmotion, on generalized Dyck paths through these bijection and correspondence. For this purpose, we provide an alternative description of the correspondence of RSK type in terms of Dyck tilings.

This paper establishes an analogue of the Robinson--Schensted correspondence for cylindric tableaux. In particular, for any pair of positive integers $(d,L)$, we construct a bijection between permutations that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ and pairs of $(d,L)$-cylindric standard Young tableaux with a common shape. This arises as a special case of a Knuth-type generalization involving cylindric semistandard tableaux and a further generalization involving oscillating tableaux. Using these results, we construct several other bijections and derive enumerative consequences involving cylindric tableaux and pattern-avoiding permutations. For example, we give asymptotics for the number of permutations in $S_n$ that avoid the patterns $d\cdots 1 (d+1)$ and $1\cdots (L+1)$ as $n\to\infty$.

With an eye to applications to type A and Schur-Weyl duality, we study Kazhdan-Lusztig bases for a general parabolic Hecke algebra. Parabolic Hecke algebras are idempotent subalgebras of Hecke algebras corresponding to parabolic subgroups, and for type A they coincide with the fused Hecke algebras appearing in a generalisation of the Schur-Weyl duality with the quantum group of GL(N). In this paper we investigate two different Kazhdan-Lusztig bases for parabolic Hecke algebras, together with the associated cells and the corresponding representations. We quickly specialise to type A, for which we describe the cells in terms of the RSK correspondence generalising thus the well-known description for the symmetric group. As a first application we recover the classification of irreducible representations of parabolic Hecke algebras of type A and provide a new construction of these representations. Next we turn to the Schur-Weyl duality and describe the kernel in terms of one the basis studied precedently. Moreover, we formulate some conjectures about a generator of these kernels in terms of Kazhdan-Lusztig basis elements, give some evidence and prove these conjectures in some special cases.

We give a combinatorial realization of a level-$\ell$ Robinson-Schensted-Knuth correspondence conjectured to exist by Song and Wang for cyclotomic Schur categories. We show that cyclotomic basis elements can be canonically reorganized into flagged block composition matrices encoding families of biwords, so that the correspondence is obtained by applying the classical RSK correspondence componentwise. This perspective identifies the level-$\ell$ correspondence as an iteration of classical RSK, specializing to the usual correspondence when $\ell=1$ and behaving naturally under restriction to lower levels.

Serrano (2010) introduced the shifted plactic monoid, governing Haiman's (1989) mixed insertion algorithm, as a type B analogue of the classical plactic monoid that connects jeu de taquin of Young tableaux with the Robinson-Schensted-Knuth insertion algorithm. Serrano proposed a corresponding definition of skew shifted plactic Schur functions. Cho (2013) disproved Serrano's conjecture regarding this definition, by showing that the functions do not live in the desired ring and hence cannot provide an algebraic interpretation of tableau rectification or of the corresponding structure coefficients. Cho asked for a new definition with particular properties. We introduce such a definition and prove that it behaves as desired. We also introduce a new jeu de taquin theory that computes mixed insertion.