Pith. sign in

REVIEW

A super Robinson-Schensted-Knuth correspondence with symmetry and the super Littlewood-Richardson rule

T0 review · reviewed 2026-05-24 · grok-4.3

Pith's one-line read A super Robinson-Schensted-Knuth correspondence is constructed that satisfies the symmetry property in complete generality via the matrix-ball construction.

desk verdict Abstract sketches a super RSK via super insertion and matrix-ball symmetry, plus a derived super LR rule, but no definitions or checks are supplied so nothing can be verified. read the letter →

arxiv 2206.15451 v3 pith:HZOEW5A2 submitted 2022-06-30 math.CO

classification math.CO
keywords superRSKcorrespondencesymmetrypropertymatrix-ballconstructionLittlewood-RichardsonruleSchurfunctionssignedalphabettableaux
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper defines a super analogue of the RSK correspondence that associates to each two-rowed array over a signed alphabet a pair of super semistandard tableaux of the same shape. Using a geometric matrix-ball construction, it proves that exchanging the rows of the array corresponds exactly to exchanging the two tableaux in the pair. This symmetry property then allows the deduction of a combinatorial version of the super Littlewood-Richardson rule for the product of super Schur functions. Sympathetic readers care because the classical RSK is fundamental in combinatorics and representation theory, and its super extension could streamline calculations involving signed sets and superalgebras.

What carries the argument

The matrix-ball construction applied to the super-RSK correspondence, which encodes the insertion process geometrically and makes the row-exchange symmetry manifest.

What would settle it

A specific two-rowed array on a signed alphabet where the corresponding super tableaux pair fails to swap upon row exchange of the array would disprove the symmetry.

Watch

Extended reading notes

Core claim

The super-RSK correspondence, defined via a super version of Schensted insertion, admits a matrix-ball geometric realization that demonstrates the symmetry property without restriction, and this in turn yields an explicit combinatorial super Littlewood-Richardson rule.

Load-bearing premise

That a super Schensted insertion algorithm can be defined to give a symmetry-preserving bijection from two-rowed arrays on signed alphabets to pairs of same-shape super tableaux.

Editorial extensions

If this is right

  • The symmetry property holds for super tableaux over any finite signed alphabet.
  • The super Littlewood-Richardson coefficients admit a combinatorial interpretation in terms of super tableaux.
  • The super-RSK provides a bijection that preserves the required symmetry for all cases.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This construction may extend to other classical RSK properties such as the recording tableau behavior under jeu de taquin.
  • The combinatorial rule could be tested against known algebraic formulas for super Schur function products in small cases.
  • Connections might exist to other signed combinatorial correspondences in the literature on superalgebras.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 0 minor

Summary. The manuscript introduces a super-analogue of the Robinson-Schensted-Knuth correspondence for super tableaux over a signed alphabet via a super version of Schensted insertion. It provides a geometrical interpretation through a matrix-ball construction that establishes the symmetry property in complete generality, and deduces from this a combinatorial version of the super Littlewood-Richardson rule for super Schur functions over a finite signed alphabet.

Significance. If the constructions and proofs hold, the result would furnish a bijective combinatorial proof of the super Littlewood-Richardson rule by extending the classical RSK symmetry (via matrix-ball methods) to the signed-alphabet setting. This could supply a useful tool for the representation theory and combinatorics of super Schur functions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their summary of the manuscript and for recognizing the potential significance of the super RSK correspondence and the combinatorial super Littlewood-Richardson rule if the constructions and proofs are valid. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detected; derivation chain not inspectable from abstract

full rationale

The abstract introduces a super-RSK via super Schensted insertion and claims symmetry via matrix-ball construction leading to a super LR rule, but supplies no equations, parameter definitions, or self-citations. No load-bearing step reduces to its own inputs by construction, fitted prediction, or self-citation chain. The claimed extension is presented as building on classical RSK without any self-referential reduction visible in the given text, so the derivation remains self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract-only review yields no concrete free parameters, axioms, or invented entities; the work is described as an extension of classical RSK via super insertion, so the ledger remains empty pending the full text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A super Robinson-Schensted-Knuth correspondence with symmetry and the super Littlewood-Richardson rule." pith.science (2026). https://pith.science/paper/HZOEW5A2

@misc{pith2026220615451,
  author       = {Pith},
  title        = {Pith review of: A super Robinson-Schensted-Knuth correspondence with symmetry and the super Littlewood-Richardson rule},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HZOEW5A2}},
  note         = {Machine review of arXiv:2206.15451}
}
read the original abstract

The Robinson-Schensted-Knuth (RSK) correspondence is a bijective correspondence between two-rowed arrays of non-negative integers and pairs of same-shape semistandard tableaux. This correspondence satisfies the symmetry property, that is, exchanging the rows of a two-rowed array is equivalent to exchanging the positions of the corresponding pair of semistandard tableaux. In this article, we introduce a super-analogue of the RSK correspondence for super tableaux over a signed alphabet using a super version of Schensted's insertion algorithms. We give a geometrical interpretation of the super-RSK correspondence via a matrix-ball construction, showing the symmetry property in complete generality. Finally, we deduce a combinatorial version of the super Littlewood-Richardson rule for super Schur functions over a finite signed alphabet.

Discussion (0). Sign in to comment.

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.