REVIEW 5 major objections 6 minor 39 references
Shuffle Tableaux, Littlewood--Richardson Coefficients, and Schur Log-Concavity
T0 review · 5 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper establishes that Littlewood-Richardson coefficients count peelable tableaux of a given shape on a shuffle diagram, a new rule that also speeds up Temperley-Lieb immanant computations and proves a special case of the Schur…
desk verdict A new peelable-tableau rule for LR coefficients that is plausible and worth refereeing, but the unrestricted-shape claim in Corollary 2.7 and the Section 4 injection need real proofs before the results are fully established. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the shuffle diagram $(\lambda/\mu) \circledast (\nu/\rho)$, obtained by interlacing the squares of the two skew shapes so that rows and columns of the two factors alternate; together with its peelability condition, it packages the Littlewood-Richardson rule into a northeast-matching condition between entries differing by 2. The argument's load-bearing chain is: Yamanouchi shuffle tableaux on $D$ count $c^{\kappa}_{\lambda/\mu,\nu/\rho}$ because Temperley-Lieb crystals are type A Kashiwara crystals; the map $\varphi$ gives a bijection between Yamanouchi shuffle tableaux and $D$-compatible tableaux (standard tableaux obeying two relative-position conditions read from the diagram); and inverse standardization converts $D$-compatible tableaux into $D$-peelable tableaux, whose defining condition is precisely the standardized content condition. The Bender-Knuth involution sequence $BK_1 \circ BK_3 \circ \cdots \circ BK_{2\ell-1}$ is the symmetry mechanism, and the injection $\theta$ of Section 4 is the positivity mechanism for the Schur log-concavity special case.
What would settle it
Enumerate $D$-peelable tableaux of shape $\kappa$ for a pair of skew shapes outside the constrained family of the prior Temperley-Lieb crystal construction, for instance by brute-force enumeration over all partitions $\kappa$ of size at most 5, and compare with the classical Littlewood-Richardson rule; a single mismatch would falsify Theorem 1.2 as stated.
Extended reading notes
Core claim
The central claim is Theorem 1.2: let $D$ be the shuffle diagram of shape $(\lambda/\mu) \circledast (\nu/\rho)$, formed by placing squares of $\lambda/\mu$ at odd coordinates $(2i-1,2j-1)$ and squares of $\nu/\rho$ at even coordinates $(2i,2j)$, and let $a_i$ be the number of columns with squares on both row $i$ and row $i+2$. A semistandard Young tableau $T$ of shape $\kappa$ is $D$-peelable if for every $i$ there are at least $a_i$ disjoint pairs of an $i$-square and an $(i+2)$-square with the $i$-square northeast of the $(i+2)$-square. The theorem asserts that the Littlewood-Richardson coefficient $c^{\kappa}_{\lambda/\mu,\nu/\rho}$ counts exactly these $D$-peelable tableaux of shape $\kappa$. The proof passes through a bijection between $D$-compatible standard tableaux and Yamanouchi shuffle tableaux (shuffle tableaux on which no lowering crystal operator can be applied), then identifies $D$-peelable tableaux with inverse standardizations of $D$-compatible tableaux; because Yamanouchi shuffle tableaux on a shuffle diagram are known to count Littlewood-Richardson coefficients, the count transfers.
Load-bearing premise
The argument rests on an unproved assertion (Remark 2.9) that the prior construction of Yamanouchi shuffle tableaux works for all skew shapes, not only the restricted shapes where it was originally proved; if that assertion fails, the new formula for arbitrary skew shapes fails with it.
Editorial extensions
If this is right
- Theorem 1.2 gives a new enumeration of $c^{\kappa}_{\lambda/\mu,\nu/\rho}$ for products of arbitrary skew Schur functions, reducing the computation to counting tableaux that satisfy a simple pairwise matching condition.
- Corollary 2.23 turns the coefficient of $s_{\lambda}$ in any Temperley-Lieb immanant of a Jacobi-Trudi matrix into a count of peelable tableaux, bypassing the slower Yamanouchi-checking procedure.
- Theorem 1.4 shows the symmetry $c^{\kappa}_{\lambda/\mu,\nu/\rho}=c^{\kappa}_{\nu/\rho,\lambda/\mu}$ is realized by a shape-preserving bijection given by odd-indexed Bender-Knuth involutions.
- Theorem 1.7 proves Schur positivity of $s_{\nu}s_{\rho}-s_{\lambda}s_{\mu}$ for the family $\lambda=(a^k,1^{n-k-1},0)$, $\nu=\lambda-(e_m+\cdots+e_k)$, confirming a special case of the Schur log-concavity conjecture.
Reading between the lines
- The authors do not state it, but the peelable criterion suggests a direct enumeration algorithm: count semistandard tableaux of shape $\kappa$ and check only the pairwise column-matching condition, which would avoid crystal operators entirely and could be benchmarked against the Yamanouchi count on random small skew shapes.
- As an extension the paper does not pursue, the path of $\theta$ in Section 4 hints that if the path argument extends to other partitions with a block of equal rows followed by a tail, the injection would prove additional cases of the Schur log-concavity conjecture beyond the vertical-strip family.
- The paper treats only the swap symmetry; because the Bender-Knuth bijection is shape-preserving and local, composing odd-indexed involutions with their inverses may yield tableau-level proofs of other symmetries of Littlewood-Richardson coefficients, such as the cyclic symmetry.
- The shuffle-diagram construction naturally suggests a rule for iterated products of several skew Schur functions by interlacing more than two shapes, a generalization the paper does not pursue.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a new combinatorial formula for Littlewood-Richardson coefficients: for two skew shapes λ/μ and ν/ρ, the coefficient c^κ_{λ/μ,ν/ρ} is counted by D-peelable tableaux of shape κ, where D is the shuffle diagram (λ/μ) ⊛ (ν/ρ). The proof strategy is to exhibit a bijection φ between D-compatible tableaux and Yamanouchi shuffle tableaux, invoke the result of [NP25] that Yamanouchi shuffle tableaux count Littlewood-Richardson coefficients, and then construct a second bijection ψ between D-compatible and D-peelable tableaux via standardization. The paper also derives a corollary for Temperley-Lieb immanants, proves a Bender-Knuth symmetry statement, and uses the new rule to prove a special case of the Lam-Postnikov-Pylyavskyy Schur log-concavity conjecture.
Significance. If correct, Theorem 1.2 gives a new, and potentially computationally efficient, way to compute Littlewood-Richardson coefficients for products of skew Schur functions, with a direct application to Temperley-Lieb immanants in Corollary 2.23. The Bender-Knuth symmetry result is elegant, and the application to Schur log-concavity is a nontrivial step toward a known conjecture. However, the paper relies at several load-bearing points on assertions that are not fully proved, most critically the unconditional validity of the Yamanouchi criterion for arbitrary skew shapes. These gaps must be repaired before the paper can be accepted.
major comments (5)
- [Section 2.1, Remark 2.9] The central equality between the number of Yamanouchi shuffle tableaux and the Littlewood-Richardson coefficient is stated in Corollary 2.7 as a consequence of [NP25, Theorem 5.1], but then Remark 2.9 asserts that the additional shape constraints imposed in [NP25] are unnecessary for this section. No proof, example, or reference is supplied for this removal. Since Theorem 1.2 and Corollary 2.23 both pass through this step for arbitrary skew shapes, this unproved assertion is load-bearing. The authors must either prove that the crystal operators remain well-defined and that the Temperley-Lieb crystals decompose as type A Kashiwara crystals without those constraints, or they must restrict the statements of Corollary 2.7, Theorem 1.2, and the subsequent applications to the shapes covered by [NP25].
- [Section 2.2, Proposition 2.13] Proposition 2.13, which establishes the bijection between D-compatible tableaux and Yamanouchi shuffle tableaux, is the first pillar of the main theorem, but its proof is only a sketch. The individual lemmas (2.14-2.17) contain the main arguments, but Lemma 2.17 in particular is dense and contains unclear statements, such as 'for S to be Yamanouchi, the has to be non-(r-2,r-1)-overlapped (r-2)-squares right of h but left of i' on page 9. Given that this proposition is load-bearing for Theorem 1.2, the authors should provide a complete, self-contained proof of the bijection, with all cases in Lemma 2.17 written out clearly.
- [Section 2.3, Lemma 2.19] Lemma 2.19, which asserts that inverse standardization converts D-compatible tableaux into D-peelable tableaux and standardization converts D-peelable tableaux back into D-compatible tableaux, is stated with 'the proof ... is straightforward and is left to the readers.' This lemma is the second pillar of Theorem 1.2, as it is exactly the bridge between the D-compatible/Yamanouchi bijection and the D-peelable count. Leaving this proof to the reader is not acceptable for a central step; a detailed proof should be included, or at minimum a rigorous statement of the correspondence between the NE matching condition and the inverse-standardization recipe.
- [Section 4, Theorem 4.6 and Lemmas 4.10-4.14] The proof of Theorem 1.7 rests on the injection θ constructed in Definition 4.3, but the accompanying proof sketch lists five lemmas, several of which are proved only sketchily. In particular, Lemma 4.10 is proved in a single sentence: if a required square cannot be found, 'the path of θ forms a sequence of λm increasing entries, each strictly East of the previous. Hence, by the NE matching condition of peelable tableaux, µm is at least λm.' This is a nontrivial implication that is not spelled out, and it is crucial to well-definedness. Lemma 4.12 also makes several claims (e.g., the existence of tk+1, the relative position of sk+1 and tk+1, and the recursive step) that are asserted rather than fully proved. Since the injection is the core of the Schur log-concavity application, these proofs must be completed.
- [Section 4, Lemma 4.1] Lemma 4.1(iii) is garbled as printed: 'µm − µℓ−1 ≥ · · · ≥µk − µℓ−1 ≤ a − 1' is not a coherent inequality, and the quantity ℓ is not defined in the lemma (it appears elsewhere as the number of parts of λ). This lemma is used repeatedly in the proof of the injection, so the statement must be corrected and proved. As written, it is not possible for a reader to verify the argument.
minor comments (6)
- [Section 2.1, Example 2.8] In Example 2.8, the text says 'and κ = 3' and then 'cκ = 3', but κ should be the partition (4,3,2) as in Example 1.3, not the integer 3.
- [Section 4, Definition 4.3] In Step (4) of Definition 4.3, the list of involved squares contains a typo: 'sk+2, tk+2, sk+3, tk+2, . . .' should presumably read 'sk+2, tk+2, sk+3, tk+3, . . .'.
- [Section 4, Definition 4.3] There is a spelling error in Definition 4.3: 'repear' should be 'repeat'.
- [Section 1.3 and Theorem 1.4] The sentence 'Assume for simplicity that ℓ(λ) = ℓ(ν) (if ℓ(λ) > ℓ(µ), we can append 0's at the end of µ to get ℓ(λ) = ℓ(ν))' is confusing, as it refers to both ℓ(λ)=ℓ(ν) and ℓ(λ)>ℓ(µ) without clear relation; the theorem statement uses ℓ = ℓ(λ). Please clarify which partitions are padded in the statement and proof of Theorem 1.4.
- [Section 2.2 and 2.3, Definitions 2.12 and 2.20] The instruction 'Sort all the rows in increasing order' appears in both definitions of φ and ψ, but it is not precise about how the sorted rows are assembled into a shuffle tableau while preserving the required row and column conditions. A formal description of the sorting procedure would improve clarity.
- [Section 4, Lemma 4.12] The phrase 'if there is a 2 k-square in column some c ≥ a' is ungrammatical; it should be 'in some column c ≥ a'.
Circularity Check
No construction-level circularity: the peelable-tableau count is a genuine bijection, but the Yamanouchi-to-Littlewood-Richardson bridge is inherited from a same-author prior paper and its unrestricted-shape extension is asserted without proof.
full rationale
Theorem 1.2 decomposes into a new bijective part and an imported part. The new part (Definitions 2.10, 2.12, 2.18, 2.20; Lemmas 2.14-2.19) establishes a shape-content-preserving bijection between D-peelable tableaux and Yamanouchi shuffle tableaux; peelability is defined independently of c^kappa, so this is not a definitional identity or a fitted-parameter count. The imported part is Corollary 2.7, which identifies Yamanouchi shuffle tableaux with highest-weight elements of a type A Kashiwara crystal and therefore with Littlewood-Richardson coefficients; the paper cites [NP25, Theorem 5.1] for this. Because one of the present authors is an author of [NP25], this is a self-citation, but it is a published, externally checkable theorem rather than an unverified premise, and no parameter in this paper is fitted to force the count. The genuine weakness is Remark 2.9: it asserts, without argument or lemma, that the additional constraints on the shapes lambda/mu and nu/rho imposed in [NP25] are unnecessary for this section. For arbitrary skew shapes, this unproved removal is load-bearing for Corollary 2.7 and hence for Theorem 1.2; that is a proof gap and a correctness risk, not circularity. The Bender-Knuth and Schur-log-concavity sections depend only on the peelable-tableau machinery and do not reintroduce c^kappa by construction. The circularity burden is therefore low.
Assumptions & free parameters
assumptions (3)
- standard math Standard facts about Schur functions, skew Schur functions, standardization of semistandard tableaux, and crystal operators.
- domain assumption The theorem of Nguyen-Pylyavskyy [NP25, Theorem 5.1] that Temperley-Lieb crystals are type A Kashiwara crystals, and Corollary 2.7 identifying Yamanouchi shuffle tableaux with Littlewood-Richardson coefficients.
- standard math Bender-Knuth involutions preserve semistandardness and swap contents of i and i+1.
Cite this review
Pith. "Pith review of Shuffle Tableaux, Littlewood--Richardson Coefficients, and Schur Log-Concavity." pith.science (2026). https://pith.science/paper/GMYQKB5O
@misc{pith2026250600349,
author = {Pith},
title = {Pith review of: Shuffle Tableaux, Littlewood--Richardson Coefficients, and Schur Log-Concavity},
year = {2026},
howpublished = {\url{https://pith.science/paper/GMYQKB5O}},
note = {Machine review of arXiv:2506.00349}
}
read the original abstract
We give a new formula for the Littlewood--Richardson coefficients in terms of peelable tableaux compatible with shuffle tableaux, in the same fashion as Remmel--Whitney rule. This gives an efficient way to compute generalized Littlewood--Richardson coefficients for Temperley--Lieb immanants of Jacobi--Trudi matrices. We will also show that our rule behaves well with Bender--Knuth involutions, recovering the symmetry of Littlewood--Richardson coefficients. As an application, we use our rule to prove a special case of a Schur log-concavity conjecture by Lam--Postnikov--Pylyavskyy.
Figures
Figures from the paper (4 more)
Reference graph
Works this paper leans on
-
[1]
Localisation de g -modules
Alexandre Be linson and Joseph Bernstein. Localisation de g -modules. C. R. Acad. Sci. Paris S\' e r. I Math. , 292(1):15--18, 1981
1981
-
[2]
Parametrizations of canonical bases and totally positive matrices
Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky. Parametrizations of canonical bases and totally positive matrices. advances in mathematics , 122(1):49--149, 1996
work page 1996
-
[3]
Enumeration of plane partitions
Edward A Bender and Donald E Knuth. Enumeration of plane partitions. Journal of Combinatorial Theory, Series A , 13(1):40--54, 1972
work page 1972
-
[4]
Kazhdan- L usztig conjecture and holonomic systems
Jean-Luc Brylinski and Masaki Kashiwara. Kazhdan- L usztig conjecture and holonomic systems. Inventiones mathematicae , 64(3):387--410, 1981
work page 1981
-
[5]
A. D. Berenstein and A. N. Kirillov. Groups generated by involutions, G elfand- T setlin patterns, and combinatorics of Y oung tableaux. Algebra i Analiz , 7(1):92--152, 1995
work page 1995
-
[6]
Some positive differences of products of Schur functions
Fran c ois Bergeron and Peter McNamara. Some positive differences of products of S chur functions. arXiv preprint math/0412289 , 2004
work page Pith review arXiv 2004
-
[7]
A. D. Berenshte n and A. V. Zelevinski . When is the multiplicity of a weight equal to 1 ? Funktsional. Anal. i Prilozhen. , 24(4):1--13, 96, 1990
work page 1990
-
[8]
Arkady D Berenstein and Andrei V Zelevinsky. Triple multiplicities for sl(r+ 1) and the spectrum of the exterior algebra of the adjoint representation. Journal of Algebraic Combinatorics , 1:7--22, 1992
work page 1992
Show all 39 references
-
[9]
Tensor product multiplicities, canonical bases and totally positive varieties
Arkady Berenstein and Andrei Zelevinsky. Tensor product multiplicities, canonical bases and totally positive varieties. arXiv preprint math/9912012 , 1999
1999 arXiv
-
[10]
The B erenstein- K irillov group and cactus groups
Michael Chmutov, Max Glick, and Pavlo Pylyavskyy. The B erenstein- K irillov group and cactus groups. J. Comb. Algebra , 4(2):111--140, 2020
2020
-
[11]
Bender-- K nuth involutions on linear extensions of posets
Judy Hsin-Hui Chiang, Anh Trong Nam Hoang, Matthew Kendall, Ryan Lynch, Son Nguyen, Benjamin Przybocki, and Janabel Xia. Bender-- K nuth involutions on linear extensions of posets. Discrete Mathematics , 347(9):114068, 2024
2024
-
[12]
On products of sl _n characters and support containment
Galyna Dobrovolska and Pavlo Pylyavskyy. On products of sl _n characters and support containment. Journal of Algebra , 316(2):706--714, 2007
2007
-
[13]
Canonical bases for irreducible representations of quantum GL_n
Jie Du. Canonical bases for irreducible representations of quantum GL_n . Bulletin of the London Mathematical Society , 24(4):325--334, 1992
1992
-
[14]
Canonical bases for irreducible representations of quantum GL_n , ii
Jie Du. Canonical bases for irreducible representations of quantum GL_n , ii. Journal of the London Mathematical Society , 51(3):461--470, 1995
1995
-
[15]
Eigenvalues, singular values, and L ittlewood- R ichardson coefficients
Sergey Fomin, William Fulton, Chi-Kwong Li, and Yiu-Tung Poon. Eigenvalues, singular values, and L ittlewood- R ichardson coefficients. American Journal of Mathematics , 127(1):101--127, 2005
2005
-
[16]
Cluster algebras I : foundations
Sergey Fomin and Andrei Zelevinsky. Cluster algebras I : foundations. Journal of the American mathematical society , 15(2):497--529, 2002
2002
-
[17]
Hecke algebra characters and immanant conjectures
Mark Haiman. Hecke algebra characters and immanant conjectures. Journal of the American Mathematical Society , 6(3):569--595, 1993
1993
-
[18]
On crystal bases of the q-analogue of universal enveloping algebras
Masaki Kashiwara. On crystal bases of the q-analogue of universal enveloping algebras. Duke mathematical journal , 63(2):465--516, 1991
1991
-
[19]
Global crystal bases of quantum groups
Masaki Kashiwara. Global crystal bases of quantum groups. Duke mathematical journal , 69(2):455--485, 1993
1993
-
[20]
The honeycomb model of GL_n( C ) tensor products I : P roof of the saturation conjecture
Allen Knutson and Terence Tao. The honeycomb model of GL_n( C ) tensor products I : P roof of the saturation conjecture. Journal of the American Mathematical Society , 12(4):1055--1090, 1999
1999
-
[21]
Ribbon tableaux, H all-- L ittlewood functions, quantum affine algebras, and unipotent varieties
Alain Lascoux, Bernard Leclerc, and Jean-Yves Thibon. Ribbon tableaux, H all-- L ittlewood functions, quantum affine algebras, and unipotent varieties. Journal of Mathematical Physics , 38(2):1041--1068, 1997
1997
-
[22]
Alcoved polytopes, I
Thomas Lam and Alexander Postnikov. Alcoved polytopes, I . Discrete & Computational Geometry , 38:453--478, 2007
2007
-
[23]
Alcoved polytopes II
Thomas Lam and Alexander Postnikov. Alcoved polytopes II . Lie Groups, Geometry, and Representation Theory: A Tribute to the Life and Work of Bertram Kostant , pages 253--272, 2018
2018
-
[24]
Schur positivity and S chur log-concavity
Thomas Lam, Alexander Postnikov, and Pavlo Pylyavskyy. Schur positivity and S chur log-concavity. American journal of mathematics , 129(6):1611--1622, 2007
2007
-
[25]
Group characters and algebra
Dudley Ernest Littlewood and Archibald Read Richardson. Group characters and algebra. Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character , 233(721-730):99--141, 1934
1934
-
[26]
Canonical bases arising from quantized enveloping algebras
George Lusztig. Canonical bases arising from quantized enveloping algebras. Journal of the American Mathematical Society , 3(2):447--498, 1990
1990
-
[27]
Total positivity in reductive groups
George Lusztig. Total positivity in reductive groups. In Lie theory and geometry: in honor of Bertram Kostant , pages 531--568. Springer, 1994
1994
-
[28]
Total positivity and canonical bases
George Lusztig. Total positivity and canonical bases. Algebraic groups and Lie groups , 9:281--295, 1997
1997
-
[29]
The cactus group property for ordinal sums of disjoint unions of chains
Son Nguyen. The cactus group property for ordinal sums of disjoint unions of chains. arXiv preprint arXiv:2308.07240 , 2023
2023 arXiv
-
[30]
Temperley-- L ieb crystals
Son Nguyen and Pavlo Pylyavskyy. Temperley-- L ieb crystals. International Mathematics Research Notices , 2025(7), 2025
2025
-
[31]
Log- C oncavity of M ultiplicities with A pplication to C haracters of U( )
Andrei Okounkov. Log- C oncavity of M ultiplicities with A pplication to C haracters of U( ) . Advances in Mathematics , 127(2):258--282, 1997
1997
-
[32]
Comparing products of S chur functions and quasisymmetric functions
Pavlo Pylyavskyy. Comparing products of S chur functions and quasisymmetric functions . PhD thesis, Massachusetts Institute of Technology, 2007
2007
-
[33]
Percentage-avoiding, northwest shapes and peelable tableaux
Victor Reiner and Mark Shimozono. Percentage-avoiding, northwest shapes and peelable tableaux. Journal of Combinatorial Theory, Series A , 82(1):1--73, 1998
1998
-
[34]
Temperley- L ieb immanants
Brendon Rhoades and Mark Skandera. Temperley- L ieb immanants. Annals of Combinatorics , 9(4):451--494, 2005
2005
-
[35]
Kazhdan-- L usztig immanants and products of matrix minors
Brendon Rhoades and Mark Skandera. Kazhdan-- L usztig immanants and products of matrix minors. Journal of Algebra , 304(2):793--811, 2006
2006
-
[36]
Remmel and Roger Whitney
Jeffrey B. Remmel and Roger Whitney. Multiplying schur functions. Journal of Algorithms , 5(4):471--487, 1984
1984
-
[37]
M. P. Schützenberger. Promotion des morphismes d'ensembles ordonn\'es. Discrete Mathematics , 2(1):73--94, 1972
1972
-
[38]
On the dual canonical and K azhdan-- L usztig bases and 3412-, 4231-avoiding permutations
Mark Skandera. On the dual canonical and K azhdan-- L usztig bases and 3412-, 4231-avoiding permutations. Journal of Pure and Applied Algebra , 212(5):1086--1104, 2008
2008
-
[39]
A generalization of the L ittlewood- R ichardson rule and the R obinson- S chensted- K nuth correspondence
Andrey V Zelevinsky. A generalization of the L ittlewood- R ichardson rule and the R obinson- S chensted- K nuth correspondence. Journal of Algebra , 69(1):82--94, 1981
1981
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.