#The Robinson–Schensted–Knuth correspondence
The Robinson–Schensted–Knuth correspondence (RSK) is a bijection between matrices with nonnegative integer entries and pairs of semistandard Young tableaux of the same shape. Let \(M(\mu,\nu)\) denote the set of matrices with entries in \(\setN,\) whose row sums are \(\mu\) and whose column sums are \(\nu.\) The RSK correspondence provides the following bijections, where \(\lambda,\) \(\mu\) are integer partitions of \(n:\)
\[\begin{aligned} M(\mu,\nu) & \qquad \rskArrow \qquad \bigcup_{\lambda \vdash n} \SSYT(\lambda,\nu) \times \SSYT(\lambda,\mu) \\ [d]^n & \qquad \rskArrow \qquad \bigcup_{\lambda \vdash n} \SSYT(\lambda,d) \times \SYT(\lambda) \\ \symS_n & \qquad\rskArrow \qquad \bigcup_{\lambda \vdash n} \SYT(\lambda) \times \SYT(\lambda) \\ \{\sigma \in \symS_n : \sigma^2 = e \} & \qquad \rskArrow \qquad \bigcup_{\lambda \vdash n} \SYT(\lambda). \end{aligned}\]
In particular, the first bijection proves the first Cauchy identity for Schur functions. The binary-matrix variant proves the second Cauchy identity from the same section.
For an excellent overview on the different variants of RSK, see C. Krattenthaler’s survey [Kra06]. We follow his numbering for the ordinary, dual, and Burge variants discussed below. See also [App. A.4.3, Ful97] and [Sag01] for more resources on RSK.
This page first gives the insertion algorithms and the basic matrix correspondence, then records the standard dual and Burge variants, Knuth relations, and the most frequently used symmetry properties. The later sections are a guide to important extensions of RSK rather than complete constructions of every variant.
See the evacuation section for how RSK interacts with evacuation. The standard transpose, inverse, and reversal symmetries are collected in the properties section below. S. Nguyen, J. Vulakh, and D. Woodruff define a generalization of RSK for \(d\)-complete posets [NVW25]. Their construction gives an elementary combinatorial proof of the hook length formula for \(d\)-complete posets. R. Singh develops a Robinson–Schensted correspondence for partial permutations using the Steinberg variety of matrix Schubert varieties [Sin20]. The correspondence sends a partial permutation to an admissible signed Young diagram together with two standard Young tableaux.
#Row insertion
In order to describe RSK, we need the notion of row insertion. Given a SSYT \(T\) and \(k \in \setN,\) the row insertion \(T \leftarrow k\) is defined recursively as follows, where \(T_1\) is the first row of \(T\) and \(T_{2\sim}\) denotes the SSYT with the first row of \(T\) removed.
If \(T = \emptyset,\) then \(T \leftarrow k\) is just the tableau $k$ .
If \(k\) is not smaller than the largest entry in \(T_1,\) then \(T \leftarrow k\) is given by appending \(k\) at the end of the first row of \(T.\)
Otherwise, find the leftmost entry in \(T_1\) larger than \(k,\) and let this be \(k'.\) The insertion \(T \leftarrow k\) is then given as the tableau with first row \(T_1,\) except that \(k'\) has been replaced by \(k,\) and the remaining rows are given by the insertion \(T_{2\sim} \leftarrow k'.\)
Given a word \(w,\) inserting the letters one by one gives the insertion tableau, \(\ins(w).\) This is sometimes denoted \(P(w).\)
Example
Inserting the entries \(w = 34112312\) from left to right gives the following sequence of tableaux, where \(\ins(w)\) is the last.
Theorem (Greene’s theorem, [Gre74, Sag01]).
Let \(\pi\) be a permutation and let \(I_k(\pi)\) denote the length of the longest subword of \(\pi\) that can be expressed as a disjoint union of \(k\) increasing subsequences of \(\pi.\) Similarly, let \(D_k(\pi)\) be the length of the longest subword of \(\pi\) that can be expressed as a disjoint union of \(k\) decreasing subsequences of \(\pi.\)
Let \(\lambda\) be the shape of \(P(\pi).\) Then \[I_k(\pi) = \lambda_1+\dotsb + \lambda_k \qquad D_k(\pi) = \lambda'_1+\dotsb + \lambda'_k.\]
K. Menon and A. Singh extend this RSK viewpoint to subsequences with prescribed descent restrictions [MS26]. Their statistics depend only on the recording tableau and are computed using RSK together with Schützenberger evacuation.
Example (An application: Erdős–Szekeres theorem).
The Erdős–Szekeres theorem [ES09] states that any sequence of distinct real numbers of length \((r-1)(s-1)+1\) contains a monotonically increasing subsequence of length \(r,\) or a monotonically decreasing subsequence of length \(s.\)
Suppose we have a sequence \(w\) of such numbers. Applying row insertion to this sequence gives a tableau \(P\) with real entries. This tableau cannot be contained in an \((r-1)\times (s-1)\)-rectangle, so either the first row is longer than \(r,\) or the first column is longer than \(s.\)
Application of Greene’s theorem finishes the proof.
#RSK (variant I)
The RSK correspondence is done in two steps. A matrix \(A \in M(\lambda,\mu)\) is first turned into a biword \(W\) of length \(n\) as follows. For each entry \(A_{ij},\) the biword \(W\) has \(A_{ij}\) columns equal to \(\binom{i}{j}.\) The columns are ordered lexicographically, with respect to the top entry first.
Given a pair \((P,Q)\) of SSYT of the same shape, the insertion \((P,Q) \leftarrow \binom{i}{j}\) is defined as the pair \((P',Q'),\) where \(P' = P \leftarrow j\) and \(Q'\) is obtained from \(Q\) by putting \(i\) in the box where the last insertion took place to get \(P'.\)
The pair \((P,Q)\) in the correspondence \(W \rskArrow (P,Q)\) is obtained by inserting each column \(\binom{i}{j}\) from left to right in \(W.\) The resulting \((P,Q)\) is a pair of semistandard Young tableaux whenever \(W\) corresponds to a matrix \(A.\) We refer to \(P = \ins(W)\) as the insertion tableau and \(Q=\rec(W)\) as the recording tableau.
Example
The word \[W= \begin{pmatrix} 1& 1& 1& 2& 2& 3& 3& 4 \\ 1& 3& 4& 1& 2& 1& 3& 2 \end{pmatrix}\] is mapped to the pair \((P,Q)\)
Theorem (Greene’s theorem for words, [Gre74, Sag01]).
Let \(W\) be a biword with lexicographically sorted columns. Let \(I_k(W)\) be the maximum length of a subword of the bottom row of \(W\) that can be expressed as a disjoint union of \(k\) weakly increasing subwords. Let \(D_k(W)\) be the analogous maximum length using \(k\) strictly decreasing subwords.
Let \(\lambda\) be the shape of \(\ins(W).\) Then \[I_k(W) = \lambda_1+\dotsb + \lambda_k \qquad D_k(W) = \lambda'_1+\dotsb + \lambda'_k.\]
#Dual RSK (variant II)
The dual notion of row insertion is called column insertion, traditionally indicated with a right-pointing arrow. We now insert into dual SSYT. A dual SSYT is a filling that is the transpose of an SSYT.
Given a dual SSYT \(T\) and \(k \in \setN,\) the dual insertion \(k \to T\) is defined recursively as follows, where \(T_1\) is the first row of \(T\) and \(T_{2\sim}\) denotes the dual SSYT with the first row of \(T\) removed.
If \(T = \emptyset,\) then \(k \to T\) is just the tableau $k$ .
If \(k\) is greater than the largest entry in \(T_1,\) then \(k \to T\) is given by appending \(k\) at the end of the first row of \(T.\)
Otherwise, find the leftmost entry in \(T_1\) larger than or equal to \(k,\) and let this be \(k'.\) The insertion \(k \to T\) is then given as the tableau with first row \(T_1,\) except that \(k'\) has been replaced by \(k,\) and the remaining rows are given by the insertion \(k' \to T_{2\sim}.\)
This series of operations corresponds to inserting boxes in the columns of \(T^t,\) hence the name.
We use the left-to-right convention: dual-inserting the letters of a word \(w\) gives the transpose of the ordinary insertion tableau of \(\rev(w).\) Equivalently, \[\rev(w) \rskArrow P \iff w \rskDualArrow P^t,\] see [Prop. 2.3.14, But94].
Example
Dual-inserting the entries \(w=34112312\) from left to right gives the following sequence of tableaux, where \(P\) is the last.
Dual RSK is defined on biwords such that there are no duplicate columns. We denote the dual RSK map as \(W \rskDualArrow (P,Q),\) and we obtain a pair of tableaux such that \(P\) is dual semistandard and \(Q\) is semistandard. Let \(B(\mu,\nu)\) denote the set of binary matrices with given row and column sums. Dual RSK provides the following bijections:
\[\begin{aligned} B(\mu,\nu) & \qquad \rskDualArrow \qquad \bigcup_{\lambda \vdash n} \SSYT(\lambda',\nu) \times \SSYT(\lambda,\mu) \\ [d]^n & \qquad \rskDualArrow \qquad \bigcup_{\lambda \vdash n} \SSYT(\lambda',d) \times \SYT(\lambda) \\ \symS_n & \qquad\rskDualArrow \qquad \bigcup_{\lambda \vdash n} \SYT(\lambda') \times \SYT(\lambda) \\ \{\sigma \in \symS_n : \sigma^2 = e \} & \qquad \rskDualArrow \qquad \bigcup_{\lambda \vdash n} \SYT(\lambda). \end{aligned}\]
Example (Dual RSK biword insertion).
The matrix and corresponding word \[A = \begin{pmatrix} 1 & 0 & 1 & 1 \\ 1 & 1 & 0 & 0 \\ 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 0 \end{pmatrix} \qquad W= \begin{pmatrix} 1& 1& 1& 2& 2& 3& 3& 4 \\ 1& 3& 4& 1& 2& 1& 3& 2 \end{pmatrix}\] is mapped to the pair \((P,Q)\)
Proposition (RSK vs. dual RSK).
Let \(\pi \in \symS_n.\) The following conditions are equivalent [Thm. 4.1.1, Lee95]:
\(\pi \rskArrow (P,Q)\)
\(n+1-\pi \rskDualArrow (\evac(P^t),Q^t)\)
\(\rev(\pi) \rskDualArrow (P^t,\evac(Q^t))\)
\(\revCompl(\pi) \rskArrow (\evac(P^t),\evac(Q^t))\)
\(\revCompl(\pi) \rskDualArrow (\evac(P),\evac(Q))\)
The following extension is proved in [Prop. 2.3.14, But94]. Let \(w \in [d]^n\) be a word. Then \[w \rskArrow P \iff \rev(w) \rskDualArrow P^t.\]
This property generalizes to biwords, see the RSK vs. dual RSK section.
#RSK (variant III)
In the usual RSK we require that the biword \(W\) is sorted in lexicographic order. Suppose instead that the columns \(\binom{i}{j}\) are sorted first on \(i,\) and in case of equality are sorted decreasingly with respect to \(j.\) Furthermore, we impose the same condition as in dual RSK that two columns may not be identical. We call such biwords Burge words because this ordering was studied in Burge insertion.
For a broader ribbon-tableau setting, M. A. A. v. Leeuwen constructs spin-preserving Knuth correspondences [Lee05]. These extend the Stanton–White correspondence from colored permutations to matrices with entries in \(\setN^r,\) producing pairs of semistandard \(r\)-ribbon tableaux on a fixed \(r\)-core, and also give an asymmetric version for matrices with entries in \(\{0,1\}^r.\)
Each binary matrix \(B\) gives rise to a Burge word by recording the row and column coordinates of the ones. That is, if \(B_{ij}=1\) then \(\binom{i}{j}\) appears as a column in the corresponding biword. For example, \[\begin{pmatrix} 1 & 0 & 0 & 1 \\ 1 & 1 & 1 & 0 \\ 0 & 0 & 1 & 0 \end{pmatrix} \qquad \longleftrightarrow \qquad \begin{pmatrix} 1 & 1 & 2 & 2 & 2 & 3 \\ 4 & 1 & 3 & 2 & 1 & 3 \end{pmatrix}\]
In this setting, we write \(W \rskbArrow (P,Q)\) if the biword \(W\) is first sorted in the Burge fashion and the entries are inserted using row insertion.
For this map, \(W \rskbArrow (P,Q)\) has \(P\) and \(Q^t\) semistandard tableaux of the same shape, giving another set of bijections. We let \(B(\mu,\nu)\) denote the set of binary matrices with row sums \(\mu\) and column sums \(\nu.\)
\[\begin{aligned} B(\mu,\nu) & \qquad \rskbArrow \qquad \bigcup_{\lambda \vdash n} \SSYT(\lambda,\nu) \times \SSYT(\lambda',\mu) \\ [n]^n & \qquad \rskbArrow \qquad \bigcup_{\lambda \vdash n} \SYT(\lambda) \times \SSYT(\lambda') \\ \symS_n & \qquad \rskbArrow \qquad \bigcup_{\lambda \vdash n} \SYT(\lambda) \times \SYT(\lambda') \end{aligned}\]
Example (Burge biword insertion).
The matrix and corresponding word \[A = \begin{pmatrix} 1 & 0 & 1 & 1 \\ 1 & 0 & 1 & 0 \\ 1 & 1 & 0 & 0 \\ 0 & 1 & 0 & 0 \end{pmatrix} \qquad W= \begin{pmatrix} 1& 1& 1& 2& 2& 3& 3& 4 \\ 4& 3& 1& 3& 1& 2& 1& 2 \end{pmatrix}\] is mapped to the pair \((P,Q)\) below.
Proposition (Burge transpose relation).
Let \(B\) be a binary matrix. Then \[B \rskbArrow (P,Q) \iff B^T \rskDualArrow (Q,P).\] Using biwords, this can be phrased as \[\binom{w_1}{w_2} \rskbArrow (P,Q) \iff \binom{w_2}{w_1} \rskDualArrow (Q,P).\] This relation is recorded in [Kra06] and [p. 200, Ful97].
#Knuth relations
Let \(A\) be an alphabet. The plactic monoid is the quotient \(A^*/\equiv,\) where \(\equiv\) is the equivalence class generated by the Knuth relations
\[\begin{aligned} xzy \equiv zxy &\quad (x\leq y \lt z) \\ yxz \equiv yzx &\quad (x\lt y \leq z). \end{aligned}\]
Two words \(w\) and \(w'\) are Knuth-equivalent if and only if they have the same insertion tableau, \(T.\) Moreover, the reading word of \(T\) is also Knuth-equivalent to \(w,\) and it is the unique word in the equivalence class which is the reading word of a semistandard tableau, see [p. 22, Ful97] or [Cor. 2.3.21, But94].
S. Estupiñán-Salamanca and O. Pechenik give a universal characterization of the shifted plactic monoid [EP24]. This parallels the Lascoux–Schützenberger universal property for the ordinary plactic monoid and places Serrano’s shifted plactic monoid in the same structural framework.
#Dual Knuth relations
Two words \(w\) and \(w'\) are dual Knuth-equivalent if and only if they have the same recording tableau.
An elementary dual Knuth transformation on a permutation \(\sigma_1,\dotsc,\sigma_n\) interchanges \(\sigma_i =k\) and \(\sigma_j =k+1\) if and only if \(k-1\) or \(k+2\) occur somewhere between.
For example, \(\underline{5}34\underline{6}7182\) and \(\underline{6}34\underline{5}7182\) are equivalent, since \(4\) appears between them.
Two words are dual Knuth equivalent if and only if one can be transformed to the other via elementary dual Knuth transformations, see [p. 200, Ful97].
#Properties of RSK
The following list records useful properties of RSK. Several of the standard symmetry rules can be found in [App. A.4.3, Ful97] and [A.1.2.11, Sta01]. RSK is also closely connected to charge. The descent identity below uses permutation descents and tableau descents.
For \(A \in M(\mu,\nu),\) \[A \quad \rskArrow \quad (P,Q) \qquad \iff \qquad A^{T} \quad \rskArrow \quad (Q,P).\]
For a permutation \(\pi \in \symS_n,\) the following statements are equivalent, see [A.1.2.11, Sta01].
\[\begin{aligned} \pi \quad &\rskArrow \quad (P,Q) \\ \pi^{-1} \quad &\rskArrow \quad (Q,P) \\ \rev(\pi) \quad &\rskArrow \quad (P^t, \evac(Q)^t) \end{aligned}\]
For dual RSK, we have the same properties: \[\begin{aligned} \pi \quad &\rskDualArrow \quad (P,Q) \\ \pi^{-1} \quad &\rskDualArrow \quad (Q,P) \\ \rev(\pi) \quad &\rskDualArrow \quad (P^t, \evac(Q)^t) \end{aligned}\]
T. J. Ervin, B. Jackson, J. Lane, K. Lee, S. D. Nguyen, J. O'Donohue, and M. Vaughan characterize the permutations whose reverse has the same Robinson–Schensted recording tableau [EJLL+22]. For such permutations the recording tableau has a symmetric hook shape and satisfies an additional simple tableau condition.
For words, \(w \equiv w'\) if and only if \(\ins(w)=\ins(w').\)
If \(w \equiv w',\) then \(\charge(w)=\charge(w').\)
\[\sum_{\sigma \in \symS_n} t^{\des(\sigma)} = \sum_{\lambda} f^{\lambda} \sum_{Q\in\SYT(\lambda)} t^{\des(Q)},\] since RSK maps descents on permutations to descents in tableaux.
If \(\pi \rskArrow (P,Q)\) then \(\sign(\pi) = \sign(P)\sign(Q)(-1)^e,\) where \(\sign(T)\) is defined as \((-1)^{\inv(\rw(T))}\) and \(e\) is the total length of the even-indexed rows in \(P,\) see [Rei04].
#RSK and standardization
RSK commutes with standardization, so if \(W\rskArrow (P,Q)\) then \(W'=\std(W)\) is mapped to \((\std(P),\std(Q)).\)
Example (RSK and standardization).
The biword \[W=\begin{pmatrix} 1& 1& 1& 2& 2& 3 \\ 1& 2& 2& 1& 1& 2 \end{pmatrix}\] is mapped to the pair
and the standardization of the word \[W'=\begin{pmatrix} 1& 2& 3& 4& 5& 6 \\ 1& 4& 5& 2& 3& 6 \end{pmatrix}\] is mapped to the following pair of standard Young tableaux.
Lemma
For \(w \in [d]^n,\) \[\rev(w) \rskDualArrow P \implies \std(w) \rskArrow \std(P^t),\] and \[(\rev \circ w) \rskDualArrow P \implies (\rev \circ \std \circ w) \rskDualArrow \std(P^t)^t.\]
Proof
By [Prop. 2.3.14, But94], \[w \rskArrow P \iff \rev(w) \rskDualArrow P^t.\] This together with the fact that usual RSK commutes with standardization gives the first statement. The second statement follows similarly.
#Skew RSK
B. Sagan and R. Stanley introduce several analogues of the Robinson–Schensted algorithm for skew Young tableaux [SS90]. These skew correspondences give combinatorial proofs of identities involving standard skew tableaux and skew Schur functions, and they retain several of the symmetry features of ordinary RSK.
For a later discussion of injections as generalizations of permutations, see N. Lindzey’s FPSAC 2020 talk [Lin20].
#Statistical properties of RSK
M. Marciniak proves a hydrodynamic limit theorem for the Robinson–Schensted–Knuth algorithm [Mar21]. In a related asymptotic direction, M. Marciniak, {. Ma{\'s}lanka, and P. {\'S}niady prove a Poisson limit theorem for bumping routes in the Robinson–Schensted correspondence [MMS21].
M. Gupta gives an expository account of the longest increasing subsequence problem for random permutations [Gup25]. The survey organizes the RSK correspondence, Young tableaux, hook-length formula, Logan–Shepp and Vershik–Kerov limit shapes, and the Baik–Deift–Johansson fluctuation theorem into a single narrative.
#RSK and pattern avoidance
A. Burcroff and C. Defant use RSK to study strong pattern avoidance, where both a permutation and one of its powers avoid a fixed pattern [BD20].
N. Pahuja considers matrices that map to a fixed shape \(\lambda\) under RSK and studies those with the minimal number of inversions, computed from the second row in the biword [Pah26]. The original preprint proposed that these minimal matrices are exactly the symmetric Hankel matrices. The author subsequently found a counterexample to this characterization and is preparing a revised version.
#Rimhook RSK
D. W. Stanton and D. E. White define a bijection [Thm. 3, SW85], \[\begin{pmatrix} H(1)& H(2)& \dotsc & H(\ell) \\ H_1& H_2& \dotsc & H_\ell \\ \end{pmatrix} \rskArrow_{d} (P,Q)\] where \(H(1), H(2),\dotsc, H(\ell)\) is a sequence of hook shapes of size \(d,\) filled with \(1,2,\dotsc,\ell\) and \(H_1, H_2, \dotsc, H_\ell\) is the same sequence of hook shapes, but the values are permuted. The output is a pair \((P,Q)\) of \(d\)-rim-hook tableaux of the same shape. The map \(\rskArrow_{d}\) can be decomposed into a \(d\)-tuple of usual RSK-maps.
As a corollary, \(d\)-hook tableaux of shape \(\lambda\) are in bijection with \(d\)-tuples of standard Young tableaux with disjoint entry sets, whose shapes are given by the \(d\)-quotient of \(\lambda.\)
#Hillman–Grassl correspondence
A \(\lambda\)-array is a filling of the Young diagram of shape \(\lambda\) with nonnegative integers. There are no other conditions. A reverse plane partition of shape \(\lambda\) is a \(\lambda\)-array with weakly increasing rows and columns.
The Hillman–Grassl correspondence, introduced in [HG76], is a bijection from the set of \(\lambda\)-arrays to the set of reverse plane partitions of shape \(\lambda.\) Equivalently, it encodes a reverse plane partition by a multiset of rim hooks in the Young diagram of \(\lambda\); the hook lengths explain the resulting product enumeration. Sage has an implementation of the map in its tableau tools [Sag19, com08].
#The Pak–Sulzgruber correspondence
The Pak correspondence is a different bijection, defined by I. Pak [Pak01], from reverse plane partitions to \(\lambda\)-arrays. The inverse of this map is called the Sulzgruber correspondence.
R. Sulzgruber gives this inverse as a rim-hook insertion algorithm for reverse plane partitions [Sul20]. In [GP19], A. Garver and R. Patrias show that Sulzgruber insertion can be phrased as a diagonal RSK correspondence and that its output is controlled by Greene–Kleitman invariants.
#Signed permutations and RSK
Domino insertion is a type \(B/C\) analogue of RSK for signed permutations. T. Lam gives a growth-diagram proof of the semistandard domino-Schensted correspondence, extends it to a nonempty \(2\)-core, and constructs two dual domino-Schensted correspondences [Lam04]. I. Terada’s Robinson–Schensted-type correspondence for a dual pair on spinors is another representation-theoretic type \(B/D\) analogue [Ter93].
#Berele insertion for the symplectic case
The Berele insertion is a symplectic version of Schensted insertion. In [Ber86], it is used to prove the identity \[(a_1+ a_1^{-1} + \dotsb + a_n + a_n^{-1})^m = \sum_{\lambda} Q^\lambda_m(n)\schurSp_\lambda(a_1,\dotsc,a_n)\] where \(\schurSp_\lambda(a_1,\dotsc,a_n)\) is a symplectic Schur function and \(Q^\lambda_m(n)\) is the number of oscillating sequences of diagrams \(\emptyset = \lambda^0,\lambda^1,\dotsc,\lambda^n = \lambda\) with length at most \(n.\)
M. Kobayashi and T. Matsumura formulate a type \(C\) RSK correspondence for King tableaux using Berele insertion [KM26]. The \(P\)-symbol is a King tableau and the \(Q\)-symbol is a semistandard oscillating tableau, giving a reformulation of S. Sundaram’s correspondence. They also describe type \(C\) Knuth equivalence, derive a duality form of the Cauchy identity, and prove symmetry of the semistandard oscillating-tableau generating functions by Bender–Knuth involutions. M. Kobayashi, T. Matsumura, and S. Sugimoto study the generating function of semistandard oscillating tableaux more directly [KMS26]. They prove fundamental-quasisymmetric positivity, symmetry, Schur positivity, and the saturated Newton polytope property.
I. Nteka gives a randomized \(q\)-deformation of Berele insertion and uses it to prove Littlewood-type identities for \(q\)-deformed symplectic Schur functions [Nte18].
For an odd-orthogonal analogue involving vacillating tableaux and \(SO(2k+1),\) see [Jag19].
#Multiset RSK
Multiset and set-partition versions of RSK replace ordinary letters in a biword by multisets. T. Halverson and T. Lewandowski construct an RSK insertion for set partitions and diagram algebras [HL05]. L. Colmenarejo, R. Orellana, F. Saliola, A. Schilling, and M. Zabrocki generalize this to two-row arrays of multisets [COSS+20]; one resulting bijection sends words of length \(k\) in \([n]\) to a pair consisting of a standard Young tableau of size \(n\) and a standard multiset tableau of content \([k].\)
For \(K\)-theoretic analogues, A. Buch, A. Kresch, M. Shimozono, H. Tamvakis, and A. Yong use a common generalization of Robinson–Schensted and Edelman–Greene insertion to study stable Grothendieck polynomials [BKST+07]. H. Thomas and A. Yong develop a \(K\)-theoretic jeu-de-taquin theory for increasing tableaux [TY09].
T. Guo and S. Poznanović use Hecke insertion and jeu-de-taquin for increasing tableaux to study \(01\)-fillings of stack polyominoes [GP20]. Their bijections preserve the relevant chain-avoidance data and recover a crossing/nesting symmetry for linked partitions.
A. Wilson extends multiset RSK to two-row arrays of multisets whose elements come from two alphabets [Wil24]. This super multiset RSK gives enumerative decompositions for the mixed multiset partition algebra and for polynomial rings in commuting and anticommuting variables.
#Probabilistic RSK
G. Frieden and F. Schreier-Aigner [AF21] introduced a \(q,t\)-deformation of the Robinson–Schensted correspondence. The output is a probability distribution on several tableaux, and this proves a squarefree version of the Cauchy identity for Macdonald polynomials. In a later paper, they define a \(q,t\)-version of RSK from which one can prove the dual Cauchy identity for Macdonald polynomials [FS24].
#Geometric RSK
The geometric RSK correspondence is a birational lift of RSK, where the classical RSK is recovered by tropicalization. Whittaker functions then take the place of Schur functions. See [COSZ14] and the Whittaker-function discussion of geometric RSK.
For a different geometric aspect, see [GR23] where Schubert-geometric type questions (points on a curve) are considered.
#Key polynomials and RSK
O. Azenhas and A. Emami construct an RSK analogue for truncated staircases and nonsymmetric Cauchy kernels [AE15]. For key polynomials and Demazure atoms, see also the RSK-type algorithm of S. Assaf and D. Quijada [AQ19].
D. Zhao extends RSK superinsertion to hook multipartitions and uses it to derive super Frobenius formulae for cyclotomic Hecke algebras [Zha19]. For an expository account of Pak–Postnikov’s super RSK correspondence and a super Cauchy identity, see [Row14].
R. Patrias and P. Pylyavskyy define dual filtered graphs as \(K\)-theoretic analogues of Fomin’s dual graded graphs [PP14]. Their examples include \(K\)-theoretic analogues of Young’s lattice and shifted Young’s lattice, with associated insertion algorithms and growth rules.
#Further RSK variants and applications
J. S. Bloom and D. Saracino use H. Thomas and A. Yong’s \(K\)-infusion operator to build new RSK-type variants for words [BS24]. Their correspondence records longest strictly increasing and decreasing subsequences in every subinterval of the word and proves a conjecture of Guo and Poznanović.
E. Gunawan, J. Pan, H. M. Russell, and B. E. Tenner describe the RSK tableaux of Boolean permutations directly from a canonical reduced word [GPRT24]. They also characterize and enumerate the tableaux that arise in this way.
M. Cofie, O. Fugikawa, E. Gunawan, M. Stewart, and D. Zeng relate RSK recording tableaux to box-ball systems [CFGS+22]. For a permutation used as a box-ball state, its Robinson–Schensted recording tableau determines the dynamics.
B. Drucker, E. Garcia, E. Gunawan, A. Rumbolt, and R. Silver compare RSK insertion tableaux with soliton decompositions of box-ball systems [DGGR+23]. They prove equality in several natural cases, including when the soliton decomposition is a standard tableau.
T. J. Ervin, B. Jackson, J. Lane, K. Lee, S. D. Nguyen, J. O'Donohue, and M. Vaughan characterize permutations whose reverse has the same RSK recording tableau [EJLL+21]. They prove the resulting enumeration, which vanishes in even size and has a closed binomial form in odd size.
N. Hage gives a super RSK correspondence for super tableaux over a signed alphabet [Hag22]. The correspondence has a symmetry property proved through a matrix-ball construction and implies a super Littlewood–Richardson rule for super Schur functions.
B. Brubaker, G. Frieden, P. Pylyavskyy, and T. Scrimshaw develop geometric RSK from the viewpoint of geometric crystals and invariant theory [BFPS25]. They describe generators for fields and rings of invariants under the two commuting geometric crystal actions on matrices.
J. Pappe, D. Paul, and A. Schilling study the Burge correspondence through crystal graphs [PPS23]. They characterize hook-shaped simple graphs by peak and valley conditions on Burge arrays, and construct a crystal structure on simple graphs of hook shape.
E. Stern gives a spectral realization of RSK through the degenerate affine Hecke algebra [Ste26]. The Jucys–Murphy spectrum and rectification recover the insertion and recording tableaux of a permutation.
A set-partition version of RSK involves vacillating tableaux: \[B(2k) = \sum_{\lambda} m^{\lambda}_k \cdot m^{\lambda}_k\] where \(m^{\lambda}_k\) is the number of vacillating tableaux of shape \(\lambda,\) of length \(k\) and \(B(2k)\) is a Bell number (number of set partitions of \([2k]\)), see [HL05]. For a generalization of this, see [BHPY+22].
This suggests a natural question for run-sorted permutations, see [AN21]. The number of run-sorted permutations of size \(2k+1\) is given by \(B(2k),\) so one can ask whether some RSK-type map sends such permutations to pairs of vacillating tableaux.
RSK has a close connection with promotion and the shadow construction by X. Viennot, see [PS25].
P. L. Guo relates Richardson tableaux to RSK insertion tableaux of noncrossing partial matchings [Guo25]. This gives a bijection between Richardson tableaux of size \(n\) and Motzkin paths with \(n\) steps, and connects their \(q\)-enumeration to \(q\)-Catalan numbers.
M. Parvathi, A. Tamilselvi, and D. Hepsi construct Robinson–Schensted correspondences for elements of the groups \(G_r=\setZ_{p^r}\rtimes \setZ_{p^r}^\ast\) and \(SG_r=\setZ_{p^{r-1}}\rtimes \setZ_{p^r}^\ast\) [PTH25]. Their correspondence uses \(p\)-Young tableaux and primitive idempotents in the group algebras, and leads to a lacunary Cauchy identity.
S. N. Karp and M. E. Precup introduce Richardson tableaux as a subset of standard tableaux motivated by Springer fibers and totally nonnegative geometry [KP25]. They characterize these tableaux using evacuation and pairs of reading words, prove that the corresponding Springer-fiber component is a Richardson variety, and enumerate Richardson tableaux by Motzkin numbers.
Bibliography
- [AN21]Per Alexandersson and Olivia Nabawanda. Peaks are preserved under run-sorting. Enumerative Combinatorics and Applications, 2(1), June 2021.
.bib
@article{AlexanderssonNabawanda2021, Author = {Per Alexandersson and Olivia Nabawanda}, Title = {Peaks are preserved under run-sorting}, volume ={2}, number = {1}, Year = {2021}, month = jun, doi = {10.54550/ECA2022V2S1R2}, url = {http://ecajournal.haifa.ac.il/Volume2022/ECA2022_S2A2.pdf}, journal = {Enumerative Combinatorics and Applications} } - [AQ19]Sami Assaf and Danjoseph Quijada. A Pieri rule for Demazure characters of the general linear group. arXiv:1908.08502, 2019.
.bib
@article{AssafQuijada2019x, Author = {Sami Assaf and Danjoseph Quijada}, Title = {A {P}ieri rule for {D}emazure characters of the general linear group}, Year = {2019}, Eprint = {1908.08502}, url = {https://arxiv.org/abs/1908.08502}, journal = {arXiv e-prints} } - [AE15]Olga Azenhas and Aram Emami. An analogue of the robinson–schensted–knuth correspondence and non-symmetric Cauchy kernels for truncated staircases. European Journal of Combinatorics, 46:16–44, May 2015.
.bib
@article{AzenhasEmami2015, doi = {10.1016/j.ejc.2014.11.006}, url2 = {https://doi.org/10.1016/j.ejc.2014.11.006}, year = {2015}, month = may, publisher = {Elsevier {BV}}, volume = {46}, pages = {16--44}, author = {Olga Azenhas and Aram Emami}, title = {An analogue of the Robinson--Schensted--Knuth correspondence and non-symmetric {C}auchy kernels for truncated staircases}, journal = {European Journal of Combinatorics} } - [Ber86]Allan Berele. A Schensted-type correspondence for the symplectic group. Journal of Combinatorial Theory, Series A, 43(2):320–328, November 1986.
.bib
@article{Berele1986, doi = {10.1016/0097-3165(86)90070-1}, url2 = {https://doi.org/10.1016/0097-3165(86)90070-1}, year = {1986}, month = nov, publisher = {Elsevier {BV}}, volume = {43}, number = {2}, pages = {320--328}, author = {Allan Berele}, title = {A {S}chensted-type correspondence for the symplectic group}, journal = {Journal of Combinatorial Theory, Series A} } - [BHPY+22]Zhanar Berikkyzy, Pamela E. Harris, Anna Pun, Catherine Yan and Chenchen Zhao. On the limiting vacillating tableaux for integer sequences. arXiv:2208.13091, 2022.
.bib
@article{BerikkyzyHarrisPunYanZhao2022x, Author = {Zhanar Berikkyzy and Pamela E. Harris and Anna Pun and Catherine Yan and Chenchen Zhao}, Title = {On the Limiting Vacillating Tableaux for Integer Sequences}, Year = {2022}, Eprint = {2208.13091}, url = {https://arxiv.org/abs/2208.13091}, journal = {arXiv e-prints} } - [BS24]Jonathan S. Bloom and Dan Saracino. Strictly increasing and decreasing sequences in subintervals of words and a conjecture of Guo and Poznanović. European Journal of Combinatorics, 118:103898, 2024.
.bib
@article{BloomSaracino2022x, author = {Bloom, Jonathan S. and Saracino, Dan}, title = {Strictly increasing and decreasing sequences in subintervals of words and a conjecture of {G}uo and {P}oznanović}, year = {2024}, journal = {European Journal of Combinatorics}, volume = {118}, pages = {103898}, publisher = {Elsevier BV}, doi = {10.1016/j.ejc.2023.103898}, url = {https://doi.org/10.1016/j.ejc.2023.103898}, eprint = {2204.05259} } - [BFPS25]Benjamin Brubaker, Gabriel Frieden, Pavlo Pylyavskyy and Travis Scrimshaw. Crystal invariant theory I: Geometric RSK. Mathematische Zeitschrift, 310(1), 2025.
.bib
@article{BrubakerFriedenPylyavskyyScrimshaw2025GeoRSK, author = {Benjamin Brubaker and Gabriel Frieden and Pavlo Pylyavskyy and Travis Scrimshaw}, title = {Crystal invariant theory {I}: geometric {{RSK}}}, year = {2025}, journal = {Mathematische Zeitschrift}, volume = {310}, number = {1}, doi = {10.1007/s00209-025-03712-y}, url = {https://doi.org/10.1007/s00209-025-03712-y}, eprint = {2112.00524} } - [BKST+07]Anders Skovsted Buch, Andrew Kresch, Mark Shimozono, Harry Tamvakis and Alexander Yong. Stable Grothendieck polynomials and K-theoretic factor sequences. Mathematische Annalen, 340(2):359–382, 2007.
.bib
@article{BuchKreschShimozonoTamvakisYong2007, author = {Anders Skovsted Buch and Andrew Kresch and Mark Shimozono and Harry Tamvakis and Alexander Yong}, title = {Stable {G}rothendieck polynomials and {K}-theoretic factor sequences}, year = {2007}, journal = {Mathematische Annalen}, volume = {340}, number = {2}, pages = {359--382}, doi = {10.1007/s00208-007-0155-6}, url = {http://dx.doi.org/10.1007/s00208-007-0155-6}, eprint = {math/0601514} } - [BD20]Amanda Burcroff and Colin Defant. Pattern-avoiding permutation powers. Discrete Mathematics, 343(11):112017, 2020.
.bib
@article{BurcroffDefant2020, author = {Burcroff, Amanda and Defant, Colin}, title = {Pattern-avoiding permutation powers}, year = {2020}, journal = {Discrete Mathematics}, volume = {343}, number = {11}, pages = {112017}, doi = {10.1016/j.disc.2020.112017}, url = {https://doi.org/10.1016/j.disc.2020.112017}, eprint = {1907.09451} } - [But94]Lynne M. Butler. Subgroup lattices and symmetric functions. American Mathematical Society, 1994.
.bib
@book{Butler1994, Author = {Lynne M. Butler}, Title = {Subgroup Lattices and Symmetric Functions}, Publisher = {American Mathematical Society}, url = {https://bookstore.ams.org/memo-112-539}, Year = {1994}, ISBN = {082182600X} } - [CFGS+22]Marisa Cofie, Olivia Fugikawa, Emily Gunawan, Madelyn Stewart and David Zeng. Box-ball systems and RSK recording tableaux. arXiv:2209.09277, 2022.
.bib
@article{CofieFugikawaGunawanStewartZeng2022x, author = {Marisa Cofie and Olivia Fugikawa and Emily Gunawan and Madelyn Stewart and David Zeng}, title = {Box-ball systems and {{R}{S}{K}} recording tableaux}, year = {2022}, eprint = {2209.09277}, url = {https://arxiv.org/abs/2209.09277}, journal = {arXiv e-prints} } - [COSS+20]Laura Colmenarejo, Rosa Orellana, Franco Saliola, Anne Schilling and Mike Zabrocki. An insertion algorithm on multiset partitions with applications to diagram algebras. Journal of Algebra, 557:97–128, 2020.
.bib
@article{ColmenarejoOrellanaSaliolaSchillingZabrocki2020, author = {Laura Colmenarejo and Rosa Orellana and Franco Saliola and Anne Schilling and Mike Zabrocki}, title = {An insertion algorithm on multiset partitions with applications to diagram algebras}, year = {2020}, journal = {Journal of Algebra}, volume = {557}, pages = {97--128}, doi = {10.1016/j.jalgebra.2020.04.010}, url = {http://dx.doi.org/10.1016/j.jalgebra.2020.04.010}, eprint = {1905.02071} } - [COSZ14]Ivan Corwin, Neil O’Connell, Timo Seppäläinen and Nikolaos Zygouras. Tropical combinatorics and Whittaker functions. Duke Mathematical Journal, 163(3):513–563, 2014.
.bib
@article{CorwinOConnellSeppalainenZygouras2014, author = {Corwin, Ivan and O'Connell, Neil and Sepp{\"a}l{\"a}inen, Timo and Zygouras, Nikolaos}, title = {Tropical combinatorics and {W}hittaker functions}, year = {2014}, journal = {Duke Mathematical Journal}, volume = {163}, number = {3}, pages = {513--563}, publisher = {Duke University Press}, doi = {10.1215/00127094-2410289}, url = {http://dx.doi.org/10.1215/00127094-2410289}, issn = {0012-7094} } - [DGGR+23]Ben Drucker, Eli Garcia, Emily Gunawan, Aubrey Rumbolt and Rose Silver. RSK tableaux and box-ball systems. Combinatorial Theory, 3(2), 2023.
.bib
@article{DruckerGarciaGunawanRumboltSilver2023, author = {Ben Drucker and Eli Garcia and Emily Gunawan and Aubrey Rumbolt and Rose Silver}, title = {{RSK} tableaux and box-ball systems}, year = {2023}, journal = {Combinatorial Theory}, volume = {3}, number = {2}, doi = {10.5070/c63261978}, url = {https://doi.org/10.5070/c63261978}, eprint = {2112.03780} } - [ES09]P. Erdős and G. Szekeres. A combinatorial problem in geometry. Classic papers in combinatorics:49–56, 2009.
.bib
@incollection{ErdosSzekeres2009, doi = {10.1007/978-0-8176-4842-8_3}, url2 = {https://doi.org/10.1007/978-0-8176-4842-8_3}, year = {2009}, publisher = {Birkh{\"{a}}user Boston}, pages = {49--56}, author = {P. Erdős and G. Szekeres}, title = {A Combinatorial Problem in Geometry}, booktitle = {Classic Papers in Combinatorics} } - [EJLL+21]Tucker J. Ervin, Blake Jackson, Jay Lane, Kyungyong Lee, Son Dang Nguyen, Jack O’Donohue and Michael Vaughan. Permutations whose reverse shares the same recording tableau in the RSK correspondence. Seminaire Lotharingien de Combinatoire, 86B:Article 86a, 2021.
.bib
@article{ErvinJacksonLaneLeeNguyenODonohueVaughan2021x, author = {Tucker J. Ervin and Blake Jackson and Jay Lane and Kyungyong Lee and Son Dang Nguyen and Jack O'Donohue and Michael Vaughan}, title = {Permutations whose reverse shares the same recording tableau in the {{RSK}} correspondence}, year = {2021}, eprint = {2108.08657}, url = {https://arxiv.org/abs/2108.08657}, journal = {Seminaire Lotharingien de Combinatoire}, volume = {86B}, pages = {Article 86a} } - [EJLL+22]Tucker J. Ervin, Blake Jackson, Jay Lane, Kyungyong Lee, Son Dang Nguyen, Jack O’Donohue and Michael Vaughan. Permutations whose reverse shares the same recording tableau in the RS correspondence. Séminaire Lotharingien de Combinatoire, 86B:Article 86a, 15 pp., 2022.
.bib
@article{ErvinJacksonLaneLeeNguyenODonohueVaughan2022, author = {Tucker J. Ervin and Blake Jackson and Jay Lane and Kyungyong Lee and Son Dang Nguyen and Jack O'Donohue and Michael Vaughan}, title = {Permutations whose reverse shares the same recording tableau in the {RS} correspondence}, year = {2022}, journal = {S{\'e}minaire Lotharingien de Combinatoire}, volume = {86B}, pages = {Article 86a, 15 pp.}, url = {https://www.mat.univie.ac.at/~slc/wpapers/s86jackson.html} } - [EP24]Santiago Estupiñán-Salamanca and Oliver Pechenik. A universal characterization of the shifted plactic monoid. arXiv:2411.17619, 2024.
.bib
@article{EstupinanSalamancaPechenik2024x, author = {Santiago Estupi{\~n}{\'a}n-Salamanca and Oliver Pechenik}, title = {A universal characterization of the shifted plactic monoid}, year = {2024}, eprint = {2411.17619}, url = {https://arxiv.org/abs/2411.17619}, journal = {arXiv e-prints} } - [AF21]Florian Aigner and Gabriel Frieden. QRSt: A probabilistic Robinson-–Schensted correspondence for Macdonald polynomials. International Mathematics Research Notices, 2022(17):13505–13568, May 2021.
.bib
@article{FriedenSchreierAigner2021, title = {q{RS}t: A Probabilistic {R}obinson-–{S}chensted Correspondence for {M}acdonald Polynomials}, volume = {2022}, ISSN = {1687-0247}, url = {http://dx.doi.org/10.1093/imrn/rnab083}, DOI = {10.1093/imrn/rnab083}, number = {17}, journal = {International Mathematics Research Notices}, publisher = {Oxford University Press (OUP)}, author = {Aigner, Florian and Frieden, Gabriel}, year = {2021}, month = may, pages = {13505–13568} } - [FS24]Gabriel Frieden and Florian Schreier-Aigner. $qt$RSK${}^*$: A probabilistic dual RSK correspondence for Macdonald polynomials. arXiv:2403.16243, 2024.
.bib
@article{FriedenSchreierAigner2024x, Author = {Gabriel Frieden and Florian Schreier-Aigner}, Title = {$qt${RSK}${}^*$: A probabilistic dual {RSK} correspondence for {M}acdonald polynomials}, Year = {2024}, Eprint = {2403.16243}, url = {https://arxiv.org/abs/2403.16243}, journal = {arXiv e-prints} } - [Ful97]William Fulton. Young tableaux: With applications to representation theory and geometry. London mathematical society student texts (book 35). Cambridge University Press, 1997.
.bib
@book{Fulton1997, title = {Young Tableaux: With Applications to Representation Theory and Geometry}, doi = {10.1017/cbo9780511626241}, author = {William Fulton}, isbn = {978-0511626241}, series = {London Mathematical Society Student Texts (Book 35)}, year = {1997}, publisher = {Cambridge University Press} } - [GP19]Alexander Garver and Rebecca Patrias. Greene–Kleitman invariants for Sulzgruber insertion. The Electronic Journal of Combinatorics, 26(3):Article P3.25, 2019.
.bib
@article{GarverPatrias2019, author = {Alexander Garver and Rebecca Patrias}, title = {Greene--{K}leitman invariants for {S}ulzgruber insertion}, year = {2019}, journal = {The Electronic Journal of Combinatorics}, volume = {26}, number = {3}, pages = {Article P3.25}, doi = {10.37236/7992}, url = {http://dx.doi.org/10.37236/7992}, eprint = {1708.09720} } - [GR23]Maria Gillespie and Andrew Reimer-Berg. A generalized RSK for enumerating linear series on $n$-pointed curves. Algebraic Combinatorics, 6(1):1–16, February 2023.
.bib
@article{GillespieReimerBerg2023, title = {A Generalized {RSK} for Enumerating Linear Series on $n$-pointed Curves}, volume = {6}, ISSN = {2589-5486}, url = {http://dx.doi.org/10.5802/alco.250}, DOI = {10.5802/alco.250}, number = {1}, journal = {Algebraic Combinatorics}, publisher = {Cellule MathDoc/CEDRAM}, author = {Gillespie, Maria and Reimer-Berg, Andrew}, year = {2023}, month = feb, pages = {1–16} } - [Gre74]Curtis Greene. An extension of Schensted’s theorem. Advances in Mathematics, 14(2):254–265, October 1974.
.bib
@article{Greene1974, doi = {10.1016/0001-8708(74)90031-0}, url2 = {https://doi.org/10.1016/0001-8708(74)90031-0}, year = {1974}, month = oct, publisher = {Elsevier {BV}}, volume = {14}, number = {2}, pages = {254--265}, author = {Curtis Greene}, title = {An extension of {S}chensted's theorem}, journal = {Advances in Mathematics} } - [GPRT24]Emily Gunawan, Jianping Pan, Heather M. Russell and Bridget Eileen Tenner. Runs and RSK Tableaux of Boolean Permutations. Annals of Combinatorics, 29(1):65–90, 2024.
.bib
@article{GunawanPanRussellTenner2024, author = {Gunawan, Emily and Pan, Jianping and Russell, Heather M. and Tenner, Bridget Eileen}, title = {Runs and {{R}{S}{K}} {T}ableaux of {B}oolean {P}ermutations}, year = {2024}, journal = {Annals of Combinatorics}, volume = {29}, number = {1}, pages = {65--90}, publisher = {Springer}, doi = {10.1007/s00026-024-00689-z}, url = {https://doi.org/10.1007/s00026-024-00689-z}, eprint = {2207.05119} } - [Guo25]Peter L. Guo. Richardson tableaux and noncrossing partial matchings. arXiv:2511.15094, 2025.
.bib
@article{Guo2025x, author = {Peter L. Guo}, title = {Richardson tableaux and noncrossing partial matchings}, year = {2025}, eprint = {2511.15094}, url = {https://arxiv.org/abs/2511.15094}, journal = {arXiv e-prints} } - [GP20]Ting Guo and Svetlana Poznanović. Hecke insertion and maximal increasing and decreasing sequences in fillings of stack polyominoes. Journal of Combinatorial Theory, Series A, 176:105304, 2020.
.bib
@article{GuoPoznanovic2020, author = {Ting Guo and Svetlana Poznanovi{\'c}}, title = {Hecke insertion and maximal increasing and decreasing sequences in fillings of stack polyominoes}, year = {2020}, journal = {Journal of Combinatorial Theory, Series A}, volume = {176}, pages = {105304}, doi = {10.1016/j.jcta.2020.105304}, eprint = {1911.07799} } - [Gup25]Mihir Gupta. Asymptotics of the Longest Increasing Subsequence in Random Permutations. arXiv:2511.00009, 2025.
.bib
@article{Gupta2025x, author = {Mihir Gupta}, title = {Asymptotics of the {L}ongest {I}ncreasing {S}ubsequence in {R}andom {P}ermutations}, year = {2025}, eprint = {2511.00009}, url = {https://arxiv.org/abs/2511.00009}, journal = {arXiv e-prints} } - [Hag22]Nohra Hage. A super Robinson-Schensted-Knuth correspondence with symmetry and the super Littlewood-Richardson rule. arXiv:2206.15451, 2022.
.bib
@article{Hage2022x, author = {Nohra Hage}, title = {A super {R}obinson-{S}chensted-{K}nuth correspondence with symmetry and the super {L}ittlewood-{R}ichardson rule}, year = {2022}, eprint = {2206.15451}, url = {https://arxiv.org/abs/2206.15451}, journal = {arXiv e-prints} } - [HL05]Tom Halverson and Tim Lewandowski. RSK insertion for set partitions and diagram algebras. The Electronic Journal of Combinatorics, 11(2), December 2005.
.bib
@article{HalversonLewandowski2005, title = {{RSK} Insertion for Set Partitions and Diagram Algebras}, volume = {11}, ISSN = {1077-8926}, url = {http://dx.doi.org/10.37236/1881}, DOI = {10.37236/1881}, number = {2}, journal = {The Electronic Journal of Combinatorics}, publisher = {The Electronic Journal of Combinatorics}, author = {Halverson, Tom and Lewandowski, Tim}, year = {2005}, month = dec } - [HG76]Abraham P. Hillman and Richard M. Grassl. Reverse plane partitions and tableau hook numbers. Journal of Combinatorial Theory, Series A, 21(2):216–221, 1976.
.bib
@article{HillmanGrassl1976, author = {Abraham P. Hillman and Richard M. Grassl}, title = {Reverse plane partitions and tableau hook numbers}, journal = {Journal of Combinatorial Theory, Series A}, volume = {21}, number = {2}, pages = {216--221}, year = {1976}, doi = {10.1016/0097-3165(76)90065-0}, url = {https://doi.org/10.1016/0097-3165(76)90065-0} } - [Jag19]Judith Jagenteufel. A Sundaram type bijection for $\mathrm{SO}(2k+1)$: Vacillating tableaux and pairs consisting of a standard Young tableau and an orthogonal Littlewood–Richardson tableau. Séminaire Lotharingien de Combinatoire, 82B:Art. 33, 12, 2019.
.bib
@article{Jagenteufel2019SundaramSO, author = {Judith Jagenteufel}, title = {A {Sundaram} type bijection for $\mathrm{SO}(2k+1)$: vacillating tableaux and pairs consisting of a standard {Young} tableau and an orthogonal {Littlewood--Richardson} tableau}, journal = {S{\'e}minaire Lotharingien de Combinatoire}, volume = {82B}, pages = {Art. 33, 12}, year = {2019}, eprint = {1902.03843}, url = {https://www.mat.univie.ac.at/~slc/wpapers/FPSAC2019/33.pdf} } - [KP25]Steven N. Karp and Martha E. Precup. Richardson tableaux and components of Springer fibers equal to Richardson varieties. arXiv:2506.20792, 2025.
.bib
@article{KarpPrecup2025x, author = {Steven N. Karp and Martha E. Precup}, title = {Richardson tableaux and components of {S}pringer fibers equal to {R}ichardson varieties}, year = {2025}, eprint = {2506.20792}, url = {https://arxiv.org/abs/2506.20792}, journal = {arXiv e-prints} } - [KM26]Masato Kobayashi and Tomoo Matsumura. RSK correspondence for King tableaux with Berele insertion. Journal of Algebra, 697:468–492, 2026.
.bib
@article{KobayashiMatsumura2026, author = {Kobayashi, Masato and Matsumura, Tomoo}, title = {R{{S}{K}} correspondence for {K}ing tableaux with {B}erele insertion}, year = {2026}, journal = {Journal of Algebra}, volume = {697}, pages = {468--492}, publisher = {Elsevier BV}, doi = {10.1016/j.jalgebra.2026.03.005}, url = {http://dx.doi.org/10.1016/j.jalgebra.2026.03.005}, issn = {0021-8693} } - [KMS26]Masato Kobayashi, Tomoo Matsumura and Shogo Sugimoto. Symmetry of the generating function of semistandard oscillating tableaux. arXiv:2601.17603, 2026.
.bib
@article{KobayashiMatsumuraSugimoto2026x, author = {Masato Kobayashi and Tomoo Matsumura and Shogo Sugimoto}, title = {Symmetry of the generating function of semistandard oscillating tableaux}, year = {2026}, eprint = {2601.17603}, url = {https://arxiv.org/abs/2601.17603}, journal = {arXiv e-prints} } - [Kra06]Christian Krattenthaler. Growth diagrams, and increasing and decreasing chains in fillings of Ferrers shapes. Advances in Applied Mathematics, 37(3):404–431, September 2006.
.bib
@article{Krattenthaler2006, doi = {10.1016/j.aam.2005.12.006}, url2 = {https://doi.org/10.1016/j.aam.2005.12.006}, year = {2006}, month = sep, publisher = {Elsevier {BV}}, volume = {37}, number = {3}, pages = {404--431}, author = {Christian Krattenthaler}, title = {Growth diagrams, and increasing and decreasing chains in fillings of {F}errers shapes}, journal = {Advances in Applied Mathematics} } - [Lam04]Thomas Lam. Growth diagrams, domino insertion and sign-imbalance. Journal of Combinatorial Theory, Series A, 107(1):87–115, 2004.
.bib
@article{Lam2004Domino, author = {Thomas Lam}, title = {Growth diagrams, domino insertion and sign-imbalance}, year = {2004}, journal = {Journal of Combinatorial Theory, Series A}, volume = {107}, number = {1}, pages = {87--115}, doi = {10.1016/j.jcta.2004.03.010}, url = {https://arxiv.org/abs/math/0308265}, eprint = {math/0308265} } - [Lee95]Marc A. A. Leeuwen. The Robinson–Schensted and Schützenberger algorithms, an elementary approach. The Electronic Journal of Combinatorics, 3(2), July 1995.
.bib
@article{Leeuwen1996, doi = {10.37236/1273}, url2 = {https://doi.org/10.37236/1273}, year = {1995}, month = jul, publisher = {The Electronic Journal of Combinatorics}, volume = {3}, number = {2}, author = {Marc A. A. {van Leeuwen}}, title = {The {R}obinson--{S}chensted and {S}ch{\"{u}}tzenberger Algorithms, an Elementary Approach}, journal = {The Electronic Journal of Combinatorics} } - [Lee05]Marc A. A. Leeuwen. Spin-preserving Knuth Correspondences for Ribbon Tableaux. The Electronic Journal of Combinatorics, 12(1):Research Paper 10, 2005.
.bib
@article{Leeuwen2005Ribbon, author = {Marc A. A. van Leeuwen}, title = {Spin-Preserving {K}nuth {C}orrespondences for {R}ibbon {T}ableaux}, year = {2005}, journal = {The Electronic Journal of Combinatorics}, volume = {12}, number = {1}, pages = {Research Paper 10}, doi = {10.37236/1907}, url = {http://dx.doi.org/10.37236/1907}, eprint = {math/0312020} } - [Lin20]Nathan Lindzey. On the algebraic combinatorics of injections. FPSAC 2020 Online talk, 2020.
.bib
@misc{Lindzey2020FPSACTalk, author = {Nathan Lindzey}, title = {On the algebraic combinatorics of injections}, howpublished = {FPSAC 2020 Online talk}, year = {2020}, url = {https://www.youtube.com/watch?v=SeFLyM3zDV0} } - [Mar21]Mikołaj Marciniak. Hydrodynamic limit of the Robinson–Schensted–Knuth algorithm. Random Structures & Algorithms, 60(1):106–116, 2021.
.bib
@article{Marciniak2021, author = {Marciniak, Miko{\l}aj}, title = {Hydrodynamic limit of the {R}obinson--{S}chensted--{K}nuth algorithm}, year = {2021}, journal = {Random Structures \& Algorithms}, volume = {60}, number = {1}, pages = {106--116}, doi = {10.1002/rsa.21016}, url = {https://doi.org/10.1002/rsa.21016}, eprint = {2005.03147} } - [MMS21]Mikołaj Marciniak, Łukasz Maślanka and Piotr Śniady. Poisson limit of bumping routes in the Robinson–Schensted correspondence. Probability Theory and Related Fields, 181(4):1053–1103, 2021.
.bib
@article{MarciniakMaslankaSniady2021, author = {Marciniak, Miko{\l}aj and Ma{\'s}lanka, {\L}ukasz and {\'S}niady, Piotr}, title = {Poisson limit of bumping routes in the {R}obinson--{S}chensted correspondence}, year = {2021}, journal = {Probability Theory and Related Fields}, volume = {181}, number = {4}, pages = {1053--1103}, doi = {10.1007/s00440-021-01084-y}, url = {https://doi.org/10.1007/s00440-021-01084-y}, eprint = {2005.14397} } - [MS26]Krishna Menon and Anurag Singh. Descent-restricted subsequences via RSK and evacuation. arXiv:2602.04767, 2026.
.bib
@article{MenonSingh2026x, author = {Krishna Menon and Anurag Singh}, title = {Descent-restricted subsequences via {RSK} and evacuation}, year = {2026}, eprint = {2602.04767}, url = {https://arxiv.org/abs/2602.04767}, journal = {arXiv e-prints} } - [NVW25]Son Nguyen, Joseph Vulakh and Dora Woodruff. A generalization of RSK to $d$-complete posets. arXiv:2508.13988, 2025.
.bib
@article{NguyenVulakhWoodruff2025DCompleteRSK, author = {Son Nguyen and Joseph Vulakh and Dora Woodruff}, title = {A generalization of {RSK} to $d$-complete posets}, year = {2025}, eprint = {2508.13988}, url = {https://arxiv.org/abs/2508.13988}, journal = {arXiv e-prints} } - [Nte18]Ioanna Nteka. A $q$-deformation of the symplectic Schur functions and the Berele insertion algorithm. Electronic Journal of Probability, 23, 2018.
.bib
@article{Nteka2018, author = {Nteka, Ioanna}, title = {A {$q$}-deformation of the symplectic {S}chur functions and the {B}erele insertion algorithm}, year = {2018}, journal = {Electronic Journal of Probability}, volume = {23}, doi = {10.1214/18-EJP206}, url = {https://doi.org/10.1214/18-EJP206}, eprint = {1705.05454} } - [Pah26]Nimisha Pahuja. Minimal Inversions in Integer Matrices of Fixed RSK Shape. arXiv:2602.14931, 2026.
.bib
@article{Pahuja2026x, Author = {Nimisha Pahuja}, Title = {Minimal {I}nversions in {I}nteger {M}atrices of {F}ixed {RSK} {S}hape}, Year = {2026}, Eprint = {2602.14931}, url = {https://arxiv.org/abs/2602.14931}, journal = {arXiv e-prints} } - [Pak01]Igor Pak. Hook length formula and geometric combinatorics. Séminaire Lotharingien de Combinatoire [electronic only], 46, 2001.
.bib
@article{Pak2001, author = {Igor Pak}, journal = {S{\'{e}}minaire Lotharingien de Combinatoire [electronic only]}, language = {eng}, publisher = {Universit{\"{a}}t Wien, Fakult{\"{a}}t f{\"{u}}r Mathematik}, title = {Hook length formula and geometric combinatorics}, url = {http://eudml.org/doc/121696}, volume = {46}, year = {2001} } - [PPS23]Joseph Pappe, Digjoy Paul and Anne Schilling. The Burge correspondence and crystal graphs. European Journal of Combinatorics, 108:103640, 2023.
.bib
@article{PappePaulSchilling2023, author = {Pappe, Joseph and Paul, Digjoy and Schilling, Anne}, title = {The {B}urge correspondence and crystal graphs}, year = {2023}, journal = {European Journal of Combinatorics}, volume = {108}, pages = {103640}, publisher = {Elsevier BV}, doi = {10.1016/j.ejc.2022.103640}, url = {https://doi.org/10.1016/j.ejc.2022.103640}, eprint = {2204.06751} } - [PTH25]M. Parvathi, A. Tamilselvi and D. Hepsi. Study of $p$-Young tableaux, Robinson–Schensted correspondence and the lacunary Cauchy identity of group algebras $KG_r$ and $KSG_r$. arXiv:2507.00580, 2025.
.bib
@article{ParvathiTamilselviHepsi2025x, author = {M. Parvathi and A. Tamilselvi and D. Hepsi}, title = {Study of {$p$}-{Y}oung tableaux, {R}obinson--{S}chensted correspondence and the lacunary {C}auchy identity of group algebras {$KG_r$} and {$KSG_r$}}, year = {2025}, eprint = {2507.00580}, url = {https://arxiv.org/abs/2507.00580}, journal = {arXiv e-prints} } - [PP14]Rebecca Patrias and Pavlo Pylyavskyy. Dual Filtered Graphs. arXiv:1410.7683, 2014.
.bib
@article{PatriasPylyavskyy2014x, author = {Rebecca Patrias and Pavlo Pylyavskyy}, title = {Dual {F}iltered {G}raphs}, year = {2014}, eprint = {1410.7683}, url = {https://arxiv.org/abs/1410.7683}, journal = {arXiv e-prints}, doi = {10.46298/dmtcs.2515} } - [PS25]Stephan Pfannerer and Joshua P. Swanson. Promotion permutations and the Robinson–Schensted correspondence. arXiv:2510.07744, 2025.
.bib
@article{PfannererSwanson2025x, Author = {Stephan Pfannerer and Joshua P. Swanson}, Title = {Promotion Permutations and the {R}obinson--{S}chensted Correspondence}, Year = {2025}, Eprint = {2510.07744}, url = {https://arxiv.org/abs/2510.07744}, journal = {arXiv e-prints} } - [Rei04]Astrid Reifegerste. Permutation sign under the Robinson–Schensted correspondence. Annals of Combinatorics, 8(1):103–112, May 2004.
.bib
@article{Reifegerste2004, doi = {10.1007/s00026-004-0208-4}, url2 = {https://doi.org/10.1007/s00026-004-0208-4}, year = {2004}, month = may, publisher = {Springer Nature}, volume = {8}, number = {1}, pages = {103--112}, author = {Astrid Reifegerste}, title = {Permutation Sign under the {R}obinson--{S}chensted Correspondence}, journal = {Annals of Combinatorics} } - [Row14]James Rowan. Oscillating tableaux and a superanalogue of the Robinson–Schensted–Knuth correspondence. 2014. UROP+ Final Paper, Massachusetts Institute of Technology
.bib
@misc{Rowan2014SuperRSK, author = {James Rowan}, title = {Oscillating tableaux and a superanalogue of the {Robinson--Schensted--Knuth} correspondence}, year = {2014}, note = {UROP+ Final Paper, Massachusetts Institute of Technology}, url = {https://math.mit.edu/research/undergraduate/urop-plus/documents/Rowan.pdf} } - [Sag01]Bruce E. Sagan. The symmetric group. Springer New York, 2001.
.bib
@book{Sagan2001, doi = {10.1007/978-1-4757-6804-6}, url2 = {https://doi.org/10.1007/978-1-4757-6804-6}, year = {2001}, publisher = {Springer New York}, author = {Bruce E. Sagan}, title = {The Symmetric Group} } - [SS90]Bruce E. Sagan and Richard P. Stanley. Robinson–Schensted algorithms for skew tableaux. Journal of Combinatorial Theory, Series A, 55(2):161–193, 1990.
.bib
@article{SaganStanley1990SkewRSK, author = {Bruce E. Sagan and Richard P. Stanley}, title = {{Robinson--Schensted} algorithms for skew tableaux}, journal = {Journal of Combinatorial Theory, Series A}, volume = {55}, number = {2}, pages = {161--193}, year = {1990}, doi = {10.1016/0097-3165(90)90066-6}, url = {https://doi.org/10.1016/0097-3165(90)90066-6} } - [Sag19]The Sage Developers. SageMath, the Sage Mathematics Software System Version 8.6. http://www.sagemath.org, 2019.
.bib
@misc{Sage, AUTHOR = {The {Sage Developers}}, TITLE = {SageMath, the {S}age {M}athematics {S}oftware {S}ystem {V}ersion 8.6}, HOWPUBLISHED = {\url{http://www.sagemath.org}}, YEAR = {2019} } - [com08]The Sage–Combinat community. Sage–combinat: Enhancing Sage as a toolbox for computer exploration in algebraic combinatorics. http://combinat.sagemath.org, 2008.
.bib
@misc{Sage-Combinat, AUTHOR = {The Sage--Combinat community}, TITLE = {Sage--Combinat: enhancing {S}age as a toolbox for computer exploration in algebraic combinatorics}, HOWPUBLISHED = {\url{http://combinat.sagemath.org}}, YEAR = {2008} } - [Sin20]Rahul Singh. A Robinson-Schensted correspondence for partial permutations. arXiv:2010.13918, 2020.
.bib
@article{Singh2020PartialPermutationsRSK, author = {Rahul Singh}, title = {A {R}obinson-{S}chensted Correspondence for Partial Permutations}, year = {2020}, eprint = {2010.13918}, url = {https://arxiv.org/abs/2010.13918}, journal = {arXiv e-prints} } - [Sta01]Richard P. Stanley. Enumerative Combinatorics: Volume 2. Cambridge University Press, First, 2001.
.bib
@book{StanleyEC2, author = {Richard P. Stanley}, title = {Enumerative {C}ombinatorics: {V}olume 2}, publisher = {Cambridge University Press}, year = {2001}, edition = {First}, isbn = {0521789877}, doi = {10.1017/CBO9780511609589} } - [SW85]Dennis W. Stanton and Dennis E. White. A Schensted algorithm for rim hook tableaux. Journal of Combinatorial Theory, Series A, 40(2):211–247, November 1985.
.bib
@article{StantonWhite1985, doi = {10.1016/0097-3165(85)90088-3}, url2 = {https://doi.org/10.1016/0097-3165(85)90088-3}, year = {1985}, month = nov, publisher = {Elsevier {BV}}, volume = {40}, number = {2}, pages = {211--247}, author = {Dennis W. Stanton and Dennis E. White}, title = {A {S}chensted algorithm for rim hook tableaux}, journal = {Journal of Combinatorial Theory, Series A} } - [Ste26]Eugene Stern. AHA! RSK. arXiv:2606.00679v1, 2026.
.bib
@article{Stern2026x, author = {Eugene Stern}, title = {A{{H}{A}}! {{R}{S}{K}}}, year = {2026}, eprint = {2606.00679v1}, url = {https://arxiv.org/abs/2606.00679v1}, journal = {arXiv e-prints} } - [Sul20]Robin Sulzgruber. Inserting rim-hooks into reverse plane partitions. Journal of Combinatorics, 11(2):275–303, 2020.
.bib
@article{Sulzgruber2020, author = {Robin Sulzgruber}, title = {Inserting rim-hooks into reverse plane partitions}, year = {2020}, journal = {Journal of Combinatorics}, volume = {11}, number = {2}, pages = {275--303}, doi = {10.4310/joc.2020.v11.n2.a3}, url = {http://dx.doi.org/10.4310/joc.2020.v11.n2.a3}, eprint = {1710.09695} } - [Ter93]Itaru Terada. A Robinson–Schensted-type correspondence for a dual pair on spinors. Journal of Combinatorial Theory, Series A, 63(1):90–109, 1993.
.bib
@article{Terada1993, author = {Itaru Terada}, title = {A {R}obinson--{S}chensted-type correspondence for a dual pair on spinors}, year = {1993}, journal = {Journal of Combinatorial Theory, Series A}, volume = {63}, number = {1}, pages = {90--109}, doi = {10.1016/0097-3165(93)90027-6}, url = {http://dx.doi.org/10.1016/0097-3165(93)90027-6} } - [TY09]Hugh Thomas and Alexander Yong. A jeu de taquin theory for increasing tableaux, with applications to K-theoretic Schubert calculus. Algebra & Number Theory, 3(2):121–148, 2009.
.bib
@article{ThomasYong2009, author = {Hugh Thomas and Alexander Yong}, title = {A jeu de taquin theory for increasing tableaux, with applications to {K}-theoretic {S}chubert calculus}, year = {2009}, journal = {Algebra \& Number Theory}, volume = {3}, number = {2}, pages = {121--148}, doi = {10.2140/ant.2009.3.121}, url = {http://dx.doi.org/10.2140/ant.2009.3.121}, eprint = {0705.2915} } - [Wil24]Alexander Wilson. Super Multiset RSK and a Mixed Multiset Partition Algebra. The Electronic Journal of Combinatorics, 31(4):Article P4.45, 2024.
.bib
@article{Wilson2024, author = {Alexander Wilson}, title = {Super {M}ultiset {{R}{S}{K}} and a {M}ixed {M}ultiset {P}artition {A}lgebra}, year = {2024}, journal = {The Electronic Journal of Combinatorics}, volume = {31}, number = {4}, pages = {Article P4.45}, doi = {10.37236/12807}, url = {http://dx.doi.org/10.37236/12807}, eprint = {2308.07238} } - [Zha19]Deke Zhao. RSK superinsertion and super Frobenius formulae. arXiv:1910.13710, 2019.
.bib
@article{Zhao2019x, author = {Deke Zhao}, title = {{RSK} superinsertion and super {F}robenius formulae}, year = {2019}, eprint = {1910.13710}, url = {https://arxiv.org/abs/1910.13710}, journal = {arXiv e-prints} }