RSK as a linear operator

Ada Stelzer,Alexander Yong

2024-10-30

Abstract:The Robinson-Schensted-Knuth correspondence (RSK) is a bijection between nonnegative integer matrices and pairs of Young tableaux. We study it as a linear operator on the coordinate ring of matrices.

Rings and Algebras,Combinatorics,Representation Theory

What problem does this paper attempt to address?

Hopf Algebra Approaches To Nonlinear Algebraic Equations

Dm Lu

DOI: https://doi.org/10.1081/AGB-120017761

2003-01-01

Communications in Algebra

Abstract:Let M be a k-vector space and R is an element of Hom(M-circle timesp, M-circle timesq), we present a general version of,the FRT-construction, we provide a method for examining whether an FRT-bialgebra A(R) has-a pre-braided structure and whether M can be regarded as an A(R)-dimodule. We show that the FRT-relation plays a fundamental role in determining the algebra structure on the FRT-bialgebra and the compatibility condition of relevant dimodule. As an example, we give a Hopf algebra approach for solving both homogeneous and non-homogeneous nonlinear (algebraic) equations.
An extended generalization of RSK via the combinatorics of type $A$ quiver representations

Benjamin Dequêne

2024-04-28

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

Combinatorics,Representation Theory
Robinson-Schensted correspondence and left cells

Susumu Ariki

DOI: https://doi.org/10.48550/arXiv.math/9910117

1999-12-09

Abstract:Although the Robinson-Schensted-Knuth correspondence is a classical subject, its study is still active because of new development in last two decades. In this field, fundamental results are sometimes proved by using machineries which may be bypassed. Hence we still feel a lack of good source for these elementary materials. This paper is intended to fill in this lack about the RSK correspondence and the left cells of the symmetric group. It is mostly survey-like, but shows the variety of fields the RSK correspondence is related to.

Quantum Algebra,Combinatorics
$qt$RSK${}^*$: A probabilistic dual RSK correspondence for Macdonald polynomials

Gabriel Frieden,Florian Schreier-Aigner

2024-03-25

Abstract:We introduce a probabilistic generalization of the dual Robinson--Schensted--Knuth correspondence, called $qt$RSK${}^*$, depending on two parameters $q$ and $t$. This correspondence extends the $q$RS$t$ correspondence, recently introduced by the authors, and allows the first tableaux-theoretic proof of the dual Cauchy identity for Macdonald polynomials. By specializing $q$ and $t$, one recovers the row and column insertion version of the classical dual RSK correspondence as well as of $q$- and $t$-deformations thereof which are connected to $q$-Whittaker and Hall--Littlewood polynomials. When restricting to Jack polynomials and $\{0,1\}$-matrices corresponding to words, we prove that the insertion tableaux obtained by $qt$RSK${}^*$ are invariant under swapping letters in the input word. Our approach is based on Fomin's growth diagrams and the notion of probabilistic bijections.

Combinatorics,Probability
An extended generalization of RSK correspondence via $A$ type quiver representations

Benjamin Dequêne

2024-07-18

Abstract:Let $\lambda=(\lambda_1 \geqslant \ldots \geqslant \lambda_k > 0)$. For any $c$ Coxeter element of $\mathfrak{S}_{\lambda_1+k-1}$, we construct a bijection from fillings of $\lambda$ to reverse plane partitions. We recover two previous generalizations of the Robinson--Schensted--Knuth correspondence for particular choices of Coxeter element depending on $\lambda$: one based on the work of, among others, Burge, Hillman, Grassl, Knuth, and uniformly presented by Gansner; the other developed by Garver, Partrias, and Thomas, and independently by Dauvergne, called Scrambled RSK. Our results in this paper develop the combinatorial consequence of our previous work of type $A_{\lambda_1+k}$ quivers.

Combinatorics,Representation Theory
Affine RSK Correspondence and Crystals of Level Zero Extremal Weight Modules

DOI: https://doi.org/10.1007/s00031-024-09857-0

2024-05-12

Transformation Groups

Abstract:We give an affine analogue of the Robinson-Schensted-Knuth (RSK) correspondence, which generalizes the affine Robinson-Schensted correspondence by Chmutov-Pylyavskyy-Yudovina. The affine RSK map sends a generalized affine permutation of period ( m , n ) to a pair of tableaux ( P , Q ) of the same shape, where P belongs to a tensor product of level one perfect Kirillov-Reshetikhin crystals of type , and Q belongs to a crystal of extremal weight module of type when . We consider two affine crystal structures of types and on the set of generalized affine permutations, and show that the affine RSK map preserves the crystal equivalence. We also give a dual affine Robison-Schensted-Knuth correspondence.

mathematics
Representations from matrix varieties, and filtered RSK

Abigail Price,Ada Stelzer,Alexander Yong

2024-03-15

Abstract:Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity, and the Littlewood-Richardson rule. Our result applies to any ``bicrystalline'' algebraic variety; we define these using the operators of (Kashiwara '95) and of (Danilov-Koshevoi '05, van Leeuwen '06). The proof introduces a ``filtered'' generalization of the Robinson-Schensted-Knuth correspondence.

Representation Theory,Commutative Algebra,Combinatorics
Skew RSK and coincidence of Littlewood-Richardson commutors

Olga Azenhas

DOI: https://doi.org/10.48550/arXiv.1808.06095

2018-08-18

Abstract:We realise the Benkart-Sottile-Stroomer switching involution on ballot tableau pairs of partition shape as a recursive internal row insertion procedure. The key observation needed to establish such realisation is that internal row insertion operations are Knuth commutative. In fact, the Knuth class of a word encoding the sequence of internal row insertion operations preserves the $P$-tableau in the Sagan-Stanley skew RSK correspondence when the matrix word is empty. It confirms that all Littlewood-Richardson (LR) commutors, known up to date, are involutions and coincide as predicted by Pak and Vallejo.

Combinatorics
Super Multiset RSK and a Mixed Multiset Partition Algebra

Alexander Wilson

2023-08-15

Abstract:Through dualities on representations on tensor powers and symmetric powers respectively, the partition algebra and multiset partition algebra have been used to study long-standing questions in the representation theory of the symmetric group. In this paper we extend this story to exterior powers, introducing the mixed multiset partition algebra as well as a generalization of the Robinson-Schensted-Knuth algorithm to two-row arrays of multisets with elements from two alphabets. From this algorithm, we obtain enumerative results which reflect representation-theoretic decompositions of this algebra. Furthermore, we use the generalized RSK algorithm to describe the decomposition of a polynomial ring in sets of commuting and anti-commuting variables as a module over both the general linear group and the symmetric group.

Representation Theory,Combinatorics
Iterating the RSK Bijection

Maria Gillespie,Jacob Hocevar,Ananya Kulshrestha,Kosha Upadhyay

DOI: https://doi.org/10.48550/arXiv.2103.04707

2021-03-08

Abstract:We investigate the dynamics of the well-known RSK bijection on permutations when iterated on various reading words of the recording tableau. In the setting of the ordinary (row) reading word, we show that there is exactly one fixed point per partition shape, and that it is always reached within two steps from any starting permutation. We also consider the modified dynamical systems formed by iterating RSK on the column reading word and the reversed reading word of the recording tableau. We show that the column reading word gives similar dynamics to the row reading word. On the other hand, for the reversed reading word, we always reach either a 2-cycle or fixed point after two steps. In fact, we reach a fixed point if and only if the shape of the initial tableau is self-conjugate.

Combinatorics
Fluctuations of Schensted row insertion

Mikołaj Marciniak,Piotr Śniady

2024-10-17

Abstract: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 $\lambda$, 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 $\lambda$ 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 $\lambda$. 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.

Probability,Combinatorics
On Rationality of Kneading Determinants.

Sheng Chen,Chao Xia

DOI: https://doi.org/10.1155/2014/504160

2014-01-01

Abstract:In this section, R denotes a ring with identity I. We study conditions under which I−Aλ and I−Bλ are left coprime or right coprime, where A,B∈R. As applications, we get sufficient conditions under which the Kneading determinant of a finite rank pair of operators on an infinite dimensional space is rational.
Oppenheim-Schur's inequality and RKHS

Akira Yamada

2024-02-26

Abstract:In 2012, we obtained Oppenheim's inequality for positive semidefinite matrices and its equality condition by the reproducing kernel method. In this paper, as a continuation, we give a reproducing kernel proof of the block matrix version of the Oppenheim-Schur's inequality and its equality condition in the positive definite case.

Functional Analysis
Uniqueness of Rankin–Selberg Periods

Fulin Chen,Binyong Sun

DOI: https://doi.org/10.1093/imrn/rnu110

2015-01-01

International Mathematics Research Notices

Abstract:Let $k$ be a local field of characteristic zero. Rankin-Selberg's local zeta integrals produce linear functionals on generic irreducible admissible smooth representations of $GL_n(k)\times GL_r(k)$, with certain invariance properties. We show that up to scalar multiplication, these linear functionals are determined by the invariance properties.
RSK tableaux and box-ball systems

Ben Drucker,Eli Garcia,Emily Gunawan,Aubrey Rumbolt,Rose Silver

DOI: https://doi.org/10.5070/C63261978

2023-10-07

Abstract:A box-ball system is a discrete dynamical system whose dynamics come from the balls jumping according to certain rules. A permutation on n objects gives a box-ball system state by assigning its one-line notation to n consecutive boxes. After a finite number of steps, a box-ball system will reach a steady state. From any steady state, we can construct a tableau called the soliton decomposition of the box-ball system. We prove that if the soliton decomposition of a permutation w is a standard tableau or if its shape coincides with the Robinson-Schensted (RS) partition of w, then the soliton decomposition of w and the RS insertion tableau of w are equal. We also use row reading words, Knuth moves, RS recording tableaux, and a localized version of Greene's theorem (proven recently by Lewis, Lyu, Pylyavskyy, and Sen) to study various properties of a box-ball system.

Combinatorics,Mathematical Physics,Dynamical Systems
Growth Diagrams for Schubert RSK

Daoji Huang,Son Nguyen

2023-12-01

Abstract:Motivated by classical combinatorial Schubert calculus on the Grassmannian, Huang--Pylyavskyy introduced a generalized theory of Robinson-Schensted-Knuth (RSK) correspondence for studying Schubert calculus on the complete flag variety via insertion algorithms. The inputs of the correspondence are certain biwords, the insertion objects are bumpless pipe dreams, and the recording objects are certain chains in Bruhat order. In particular, they defined plactic biwords and showed that classical Knuth relations can be generalized to plactic biwords. In this paper, we give an analogue of Fomin's growth diagrams for this generalized RSK correspondence on plactic biwords. We show that this growth diagram recovers the bijection between pipe dreams and bumpless pipe dreams of Gao--Huang.

Combinatorics
A Riordan group poset

Louis W. Shapiro,Minho Song

DOI: https://doi.org/10.1016/j.laa.2024.02.014

IF: 1.307

2024-02-22

Linear Algebra and its Applications

Abstract:In this paper, we look at Riordan arrays with nonnegative integer entries. In the set, if AT=B for a nonnegative integer matrix T , then we say A≤B . Our primary focus centers around six kinds of key arrays: Appell, Bell, two-Bell, Natural, Hankel, and Pseudo-involution. We examine relations among Hankel, Bell and two-Bell in general, while the other entries are treated case by case. We start by looking at individual cases related to the little and large Schröder numbers. Then we look at the families related to k -Catalan arrays, k -Schröder arrays, and k -Motzkin arrays. We often can give combinatorial interpretations. Along the way, several intriguing counterexamples occur.

mathematics, applied
A Nonlinear Krein Rutman Theorem

K. C. Chang

DOI: https://doi.org/10.1007/s11424-009-9186-2

2009-01-01

Journal of Systems Science and Complexity

Abstract:A nonlinear version of Krein Rutman Theorem is established. This paper presents a unified proof of the Krein Rutman Theorem for linear operators and for nonlinear operators, and of the Perron-Frobenius theorem for nonnegative matrices and for nonnegative tensors.
Linear Algebra Over a Ring

Ivo Herzog

DOI: https://doi.org/10.48550/arXiv.0909.0436

2009-09-02

Abstract:Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with coefficients in R. In the case when the ring R is a field, every pair is equivalent to a homogeneous system. Using the formal matrix calculus, two alternate presentations are given for the Grothendieck group $K_0 (R-mod, \oplus)$ of the category R-mod of finitely presented modules. One of these presentations suggests a homological interpretation, and so a complex is introduced whose 0-dimensional homology is naturally isomorphic to $K_0 (R-mod, \oplus).$ A computation shows that if R = k is a field, then the 1-dimensional homology group is given by the abelianization of the multiplicative group of k, modulo the subgroup {1, -1}. The formal matrix calculus, which consists of three rules of matrix operation, is the syntax of a deductive system whose completeness was proved by Prest. The three rules of inference of this deductive system correspond to the three rules of matrix operation, which appear in the formal matrix calculus as the Rules of Divisibility.

K-Theory and Homology
Matrix-Ball Construction of affine Robinson-Schensted correspondence

Michael Chmutov,Pavlo Pylyavskyy,Elena Yudovina

DOI: https://doi.org/10.46298/dmtcs.6396

2020-04-22

Abstract:In his study of Kazhdan-Lusztig cells in affine type A, Shi has introduced an affine analog of Robinson- Schensted correspondence. We generalize the Matrix-Ball Construction of Viennot and Fulton to give a more combi- natorial realization of Shi's algorithm. As a biproduct, we also give a way to realize the affine correspondence via the usual Robinson-Schensted bumping algorithm. Next, inspired by Honeywill, we extend the algorithm to a bijection between extended affine symmetric group and triples (P, Q, ρ) where P and Q are tabloids and ρ is a dominant weight. The weights ρ get a natural interpretation in terms of the Affine Matrix-Ball Construction. Finally, we prove that fibers of the inverse map possess a Weyl group symmetry, explaining the dominance condition on weights.

mathematics, applied,computer science, software engineering

RSK as a linear operator

Hopf Algebra Approaches To Nonlinear Algebraic Equations

An extended generalization of RSK via the combinatorics of type $A$ quiver representations

Robinson-Schensted correspondence and left cells

$qt$RSK${}^*$: A probabilistic dual RSK correspondence for Macdonald polynomials

An extended generalization of RSK correspondence via $A$ type quiver representations

Affine RSK Correspondence and Crystals of Level Zero Extremal Weight Modules

Representations from matrix varieties, and filtered RSK

Skew RSK and coincidence of Littlewood-Richardson commutors

Super Multiset RSK and a Mixed Multiset Partition Algebra

Iterating the RSK Bijection

Fluctuations of Schensted row insertion

On Rationality of Kneading Determinants.

Oppenheim-Schur's inequality and RKHS

Uniqueness of Rankin–Selberg Periods

RSK tableaux and box-ball systems

Growth Diagrams for Schubert RSK

A Riordan group poset

A Nonlinear Krein Rutman Theorem

Linear Algebra Over a Ring

Matrix-Ball Construction of affine Robinson-Schensted correspondence