Pith. sign in

REVIEW 2 major objections 4 minor 22 references

The Sch\"utzenberger involution and colored lattice models

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper constructs a new family of solvable left-moving colored lattice models, proves their partition functions equal the right-moving family, and shows the crystal-limit refinement is the Schützenberger involution.

desk verdict New left-moving lattice models and a nice crystal-limit refinement, but the main duality theorem currently rests on an unreleased SageMath check in Lemma 3.8. read the letter →

arxiv 2505.07806 v1 pith:LMN6D546 submitted 2025-05-12 math.CO math.RT

Henrik P. A. Gustafsson , Carl Westerlund This is my paper · ORCID
classification math.COmath.RT MSC 82B2316T2505E1005A1905E05
keywords solvablelatticemodelscoloredsix-vertexGamma-DeltadualityIwahoriWhittakerfunctionsmetaplecticiceGelfand-TsetlinpatternsBerenstein-KirillovinvolutionsSchützenbergerinvolution
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

This paper constructs a new family of solvable colored lattice models whose paths move down and left, and proves that its partition functions equal those of the existing right-moving family for all boundary data. The equality, stated as Theorem 3.10, covers the metaplectic ice models and the Iwahori Whittaker model, and supplies the previously missing left-moving Iwahori model. The proof goes through Yang–Baxter equations that mix left- and right-moving rows, including a mixed R-matrix whose dependence on the number of colors cancels by telescoping sums. In the crystal limit $v\to 0$, the duality refines to a weight-respecting bijection of states: row swaps act as Berenstein–Kirillov involutions on Gelfand–Tsetlin patterns, and the composition of all swaps is the Schützenberger involution on semistandard Young tableaux.

What carries the argument

The central object is a family of six-vertex colored lattice models: a right-moving family (paths move down and right) and a new left-moving family (paths move down and left), defined first in an expanded $m$-column form and then fused into blocks. Solvability is carried by Yang–Baxter equations of two kinds, RTT and RRR, with R-matrices $R^L_L$, $R^R_R$, $R^L_R$, $R^R_L$ mixing row types; the train argument repeatedly applies these equations to swap adjacent rows. The crystal-limit refinement uses Gelfand–Tsetlin patterns whose row-pair inequalities are left-strict or right-strict according to the row type, and the Berenstein–Kirillov involutions $t_i$, defined by reflecting an entry in its admissible interval, which are transferred to lattice-model states and shown to swap row types and boundary colors. The composition of these involutions in the order of the longest element $w_0$ is the Schützenberger involution on semistandard Young tableaux.

What would settle it

For $m=4$, evaluate the left and right sides of the RTT equation (3.2) with row types $X=L$, $Y=R$, boundary colors $\{c_1,c_2,c_3\}$ on the six boundary edges, and search for an admissible state whose internal vertical edge carries $c_4$; exhibiting such a state, or finding a nonzero difference between the two sides, would disprove Lemma 3.6 and therefore the solvability proof, since the paper's reported finite symbolic check is not included.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is a duality of partition functions: for any top-boundary data $\mu$, any horizontal boundary colors $\sigma$, and row parameters $z$, the right-moving partition function equals $z^N$ times the left-moving partition function with reversed boundary colors and reversed row parameters, $Z^R_{\mu,\sigma}(z)=z^N Z^{L,N}_{\mu,w_0\sigma}(w_0 z)$, and this holds for the metaplectic and Iwahori specializations. In the crystal limit of the Iwahori specialization, the duality becomes a genuine bijection of states $S^\Theta_{\lambda+\rho,\sigma}\to S^{s_i\Theta}_{\lambda+\rho,s_i\sigma}$ given by the Berenstein–Kirillov involutions on Gelfand–Tsetlin patterns; applying the involutions in the order dictated by the proof of Theorem 3.10 yields the Schützenberger involution. The paper also proves the whole family is solvable: all four types of R-matrices satisfy the RTT and RRR Yang–Baxter equations, resolving a question left open for the alternating Gamma/$\Delta$ crystal models used for type B and C Demazure characters.

Load-bearing premise

The argument leans on the claim that in every Yang–Baxter equation without $R^R_L$ vertices, any color on an internal edge already appears on the boundary, reducing the proof to a finite three-color check; that finite check is reported but its computer verification is not included.

Editorial extensions

If this is right

  • Theorem 3.10 yields a left-moving Iwahori ice model with the same partition function as the known right-moving model, which the paper identifies as the missing dual needed for a future metaplectic-Iwahori Whittaker duality.
  • The same theorem reproduces the Γ-∆ duality for metaplectic ice as a special case of one uniform left-right equality.
  • In the crystal limit, the partition-function equality upgrades to a state-by-state weight-respecting bijection, so the Demazure character and atom model now has a left-moving counterpart.
  • The Yang–Baxter solvability result supplies all four R-matrices for the alternating Γ/∆ models, providing the fourth R-matrix that was missing in the quasi-solvable models for type B and C Demazure characters.
  • The boundary colors transform by simple transpositions under each Berenstein–Kirillov step, so the full duality is compatible with horizontal boundary conditions at the level of states.

Reading between the lines

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

  • The non-crystal duality does not refine to a state bijection; following the packet idea noted in the introduction, one could try to define duality packets as invariants under the Drinfeld twists that interpolate between specializations, and the crystal-limit bijection would be the singleton case.
  • Because the crystal-limit R-matrix $R^\Gamma_\Delta$ degenerates to a single nonzero weight, the alternating type-B/C models may need a different mechanism at nonzero $v$; the telescoping color-loop sums in Proposition 3.4 suggest where to look.
  • The Coxeter-monoid flag action used to track boundary colors could generalize to other Cartan types or to higher-rank crystals, where the Schützenberger involution is replaced by the corresponding canonical involution.
  • The omission of the symbolic verification script means an immediate testable extension is to expose the finite three-color checks in a computer algebra file; until then the finite check is an asserted computational fact.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper constructs a new family of solvable, colored lattice models, the left-moving counterparts to the right-moving family studied in previous work, and proves that the two families have equal partition functions (the left-right duality, Theorem 3.10). The equality is established by Yang–Baxter equations that mix left- and right-moving rows, proved in Theorem 3.1. The paper then specializes to the Iwahori models and takes a crystal limit, where the partition-function duality is refined to a state-by-state weight-respecting bijection. In this limit the row swaps are identified with Berenstein–Kirillov involutions on Gelfand–Tsetlin patterns, and the composition of these swaps is shown to be the Schützenberger involution (Theorem 4.10). The paper also addresses problems raised in prior work by constructing the missing mixed R-matrix in the non-crystal setting and explaining the failure of the crystal limit to retain it.

Significance. If the results are correct, this is a substantial contribution to the theory of colored lattice models and to combinatorial representation theory. The left-right duality generalizes the known Gamma-Delta duality for metaplectic ice, unifies the treatment of Iwahori and metaplectic Whittaker models, and provides a new left-moving model for Demazure characters. The refinement to a state-by-state bijection in the crystal limit, with the individual steps identified as Berenstein–Kirillov/Bender–Knuth involutions and the total map as the Schützenberger involution, is an elegant and nontrivial result. The proof of Theorem 4.10 is combinatorial and self-contained, and the train argument in Section 3.3 is standard and clearly presented. The paper is also explicit about its relationship to prior work, including the questions raised in [BBF11b] and [BS22]. The main weakness is that the proof of the central solvability theorem rests on a finite SageMath verification that is neither documented nor supplied.

major comments (2)
  1. [Section 3, Lemma 3.8] The proof of Theorem 3.1, and hence of the central duality Theorem 3.10, depends on the assertion in Lemma 3.8 that a finite number of rational-function equalities in C(z1,z2,z3,v) have been verified with SageMath. No script, input file, output, or independent derivation is included. Because Lemma 3.6 reduces the Yang–Baxter equations to these finite checks, an unverified computational assertion here is load-bearing: if any of the finitely many equalities were false, or if the reduction in Lemma 3.6 missed a configuration, Theorems 3.1 and 3.10 would lack proof. I request that the authors supply the SageMath code and the output of the verification as supplementary material, or replace the finite check with a human-readable proof. The rest of the paper's arguments appear coherent, but this gap must be closed before the claim of full solvability can be accepted.
  2. [Section 3.2, Theorem 3.9] Theorem 3.9, which establishes solvability of the crystal models used in Section 4, is derived as a limit of Theorem 3.1. Consequently it inherits the dependence on the unverified SageMath check in Lemma 3.8. Even though the crystal-limit results in Section 4 are proved combinatorially and may be independently checkable, the statement that the crystal RTT- and RRR-equations hold for all row types relies on the same computational assertion. The authors should clarify this dependency and include the verification for the limiting case as part of the requested supplementary material.
minor comments (4)
  1. [Section 3, Lemma 3.8] The statement of Lemma 3.8 contains a grammatical error: 'for a particular the Iwahori specialization' should read 'for a particular Iwahori specialization' or 'for the particular Iwahori specialization'.
  2. [Section 3, Proposition 3.7] In the proof of Proposition 3.7, the phrase 'It is easy to verify by hand as in [BBBG24b]' leaves some details of the ϕ-factor equality to the reader. Since the paper explicitly notes in footnote 1 that a related case was previously omitted in [BBBG24b], the authors should either display the verification or provide a short appendix with the conservation-equation computation for the RHS of (3.10).
  3. [Section 2.4] The convention that column numbers are numbered from right to left starting at 0 in the unfused model (Section 2.2) is stated, but the figures in Section 2.4 and later sometimes display columns from left to right without an explicit arrow. Adding a coordinate axis or a clarifying remark to Figure 4 and Figure 6 would improve readability.
  4. [Section 4.3] In the proof of Theorem 4.10, the phrase 'the resulting patterns in (4.22) and (4.23) would only consist of a single column with only the top generator' is slightly ambiguous when i = r-1; it may help to spell out that the bottom row of the short pattern is absent and that the monoid word then reduces to the indicated generator.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation: the left-right duality follows from Yang-Baxter equations proven for the same explicit weights; minor self-citations are not load-bearing circularly.

full rationale

The central claim (Theorem 3.10) is not assumed or fitted. The left-moving weights in Table 2 are explicit definitions, and the equality Z^R_{mu,sigma}(z) = z^N Z^{L,N}_{mu,w0 sigma}(w0 z) is derived from the Yang-Baxter equations via the train argument in Lemma 3.11 and the last-row bijection in Lemma 3.12. Theorem 3.1 is proved in the paper: Corollary 3.5 removes the R_R^L cases, Lemma 3.6 fixes the boundary colors, Proposition 3.7 transfers from one specialization to all parameter values, and Lemma 3.8 reduces the remaining identities to a finite SageMath check. That SageMath check is an unverified computational assertion, since no script or output is included, so it is a reproducibility risk, but it is not circular: it does not assume the duality and no parameter is fitted to the predicted identity. The citation to Lemma 5.4 of [BBBG24a] to pass from unfused to fused Yang-Baxter equations is a self-citation, and it is load-bearing for the fused statement, but the lemma is a general, previously proved transfer statement and the unfused equations are proved in this paper; it does not import the target duality. The crystal-limit refinement in Section 4 is combinatorial: the bijection with Gelfand-Tsetlin patterns is proved in Proposition 4.1, the Berenstein-Kirillov involutions are externally defined in [KB95], and the identification with the Schützenberger involution is an external theorem of [KB95]. No equation in the derivation chain reduces to an earlier equation by construction, and no prediction is merely a renamed fit. The score of 2 reflects only the minor overlap with the authors' prior work, not a circular step.

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

The central claims rest on standard tableau theory, on a fusion lemma from prior work, and on a finite computer check that is not documented. No free parameters are fitted to the target results; q, Phi, X_{i,j}, and z are variables over which the theorems quantify. The only potentially fragile input is the unverified SageMath check.

assumptions (4)
  • domain assumption Fusion lemma: if the unfused model satisfies auxiliary Yang-Baxter equations, then the fused model satisfies standard Yang-Baxter equations (Lemma 5.4 of BBBG24a).
    Used in Theorem 3.1 to pass from unfused to fused solvability; taken from prior work with overlapping authorship and not reproved.
  • ad hoc to paper Finite SageMath verification in Lemma 3.8 is correct and exhaustive.
    The proof of Theorem 3.1 reduces the Iwahori specialization to a finite number of rational-function identities checked by computer; no code or output is supplied.
  • standard math Coxeter monoid reduced-word bijection with the symmetric group (Tsaranov 1990).
    Used in Section 4.3 to convert flag transformations into elements of the Coxeter monoid.
  • standard math Kirillov-Berenstein theorem: q_{r-1} equals the Schützenberger involution on semistandard Young tableaux (KB95, Theorem 2.1).
    Grounds the interpretation of iterated Berenstein-Kirillov involutions as the Schützenberger involution.
invented entities (2)
  • Left-moving colored lattice model family T_L and its fused crystal variants independent evidence
    purpose: Provides the new dual family whose partition functions match the existing right-moving family.
    The model is defined by explicit Boltzmann weights, and the paper proves Yang-Baxter equations and partition function equality with the right-moving family, giving checkable identities.
  • Mixed R-matrices R_L^R and R_R^L and their crystal limits R_Delta^Gamma and R_Gamma^Delta independent evidence
    purpose: Enable row swaps in the train argument and refine to Berenstein-Kirillov involutions.
    Explicit weights are given in Tables 7, 8, 10, and 11; the Yang-Baxter equations and the inversion identity in Proposition 3.4 provide independent algebraic checks.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Sch\"utzenberger involution and colored lattice models." pith.science (2026). https://pith.science/paper/LMN6D546

@misc{pith2026250507806,
  author       = {Pith},
  title        = {Pith review of: The Sch\"utzenberger involution and colored lattice models},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LMN6D546}},
  note         = {Machine review of arXiv:2505.07806}
}
read the original abstract

Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ. In this paper we construct a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature, including the above metaplectic case and the lattice model for (non-metaplectic) Iwahori Whittaker functions together with its crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving R-matrices mixing lattice model rows of types Gamma and Delta. For the crystal Demazure lattice model we show that the duality refines to a weight-respecting bijection of states given by the Sch\"utzenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov, or Bender-Knuth involutions.

Figures

Figures reproduced from arXiv: 2505.07806 by the authors.

Figure 1
Figure 1. The left- and right-moving families of lattice models together with their specializations, naming conventions and references. We also prove that the whole family is solvable, meaning that it satisfies Yang–Baxter equations including those that mix left- and right-moving models. The proof is self-contained and implies in particular the (mixed and non-mixed) Yang–Baxter equations for the known Iwahori ice model and bo… view at source ↗
Figure 2
Figure 2. Examples of colored states. For all the models we consider in this paper the admissible vertex configurations have a property we call color conservation, which means that if we consider two of the edges of a vertex as inputs and the other two as outputs then the multiset of input colors is equal to the multiset of output colors. For the left- and right-moving models we assign the input and output edges according to … view at source ↗
Figure 3
Figure 3. A state for the unfused right-moving model with boundary data given by µ = (5, 4, 0) and σ = (c3, c2, c1) and its corresponding fused description. 8 [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: Fusion of an a ′ 2 vertex of the left-moving Iwahori crystal model with i < j. linear maps R : U ⊗ V → V ⊗ U, S : U ⊗ W → W ⊗ U and T : V ⊗ W → W ⊗ V is the following functional equation (3.1) JR, S, TK := (1W ⊗ R)(S ⊗ 1V )(1U ⊗ T) − (T ⊗ 1U )(1V ⊗ S)(R ⊗ 1W ) = 0 as m…
Figure 5
Figure 5. Figure 5: The last row of a right-moving and a left-moving state, respectively. By multiplying the b2, c2 and a1 weights of the left-moving model in [PITH_FULL_IMAGE:figures/full_fig_p027_5.png]
Figure 6
Figure 6. Figure 6: An example of a mixed state in SΘ λ+ρ with row types Θ = (Γ, ∆, Γ) and its associated Gelfand–Tsetlin pattern in GTPΘ′ λ+ρ and how these transform under the Berenstein–Kirillov involution tr−1 where r = 3 acting on the middle row to obtain a state with row types s1Θ = …
Figure 7
Figure 7. Figure 7: An example of a mixed crystal state with Θ = (Γ, ∆, Γ), σ = (c3, c1, c2) along with some of its flags Σ1,j . 4.3. Proof of Theorem 4.10. Suppose we have some state of a mixed crystal model with row types given by Θ. In the proof we will need to keep track of how the co…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 19 canonical work pages

  1. [1]

    A Y ang- B axter equation for metaplectic ice

    Ben Brubaker, Valentin Buciumas, and Daniel Bump. A Y ang- B axter equation for metaplectic ice. A ppendix ( BBBGray ) joint with N athan G ray. Commun. Number Theory Phys. , 13(1):101--148, 2019

    work page 2019

  2. [2]

    Hecke modules from metaplectic ice

    Ben Brubaker, Valentin Buciumas, Daniel Bump, and Solomon Friedberg. Hecke modules from metaplectic ice. Selecta Math. (N.S.) , 24(3):2523--2570, 2018

    work page 2018

  3. [3]

    Duality for metaplectic ice

    Ben Brubaker, Valentin Buciumas, Daniel Bump, and Nathan Gray. Duality for metaplectic ice (appendix to BBB ). 2017, http://arxiv.org/abs/1709.06500 arXiv:1709.06500

    work page Pith review arXiv 2017

  4. [4]

    Ben Brubaker, Valentin Buciumas, Daniel Bump, and Henrik P. A. Gustafsson. Colored five-vertex models and D emazure atoms. J. Combin. Theory Ser. A , 178:Paper No. 105354, 48, 2021

    work page 2021

  5. [5]

    Ben Brubaker, Valentin Buciumas, Daniel Bump, and Henrik P. A. Gustafsson. Colored vertex models and I wahori W hittaker functions. Selecta Math. (N.S.) , 30(4):Paper No. 78, 58, 2024

    work page 2024

  6. [6]

    Ben Brubaker, Valentin Buciumas, Daniel Bump, and Henrik P. A. Gustafsson. Iwahori-metaplectic duality. J. Lond. Math. Soc. (2) , 109(6), 2024

    work page 2024

  7. [7]

    Ben Brubaker, Valentin Buciumas, Daniel Bump, and Henrik P. A. Gustafsson. Metaplectic Iwahori Whittaker functions and supersymmetric lattice models . 2024, http://arxiv.org/abs/2012.15778 arXiv:2012.15778

    arXiv 2024

  8. [8]

    Gunnells

    Ben Brubaker, Daniel Bump, Gautam Chinta, Solomon Friedberg, and Paul E. Gunnells. Metaplectic ice. In Multiple D irichlet series, L -functions and automorphic forms , volume 300 of Progr. Math. , pages 65--92. Birkh\" a user/Springer, New York, 2012

    work page 2012

Show all 22 references
  1. [9]

    Schur polynomials and the Y ang- B axter equation

    Ben Brubaker, Daniel Bump, and Solomon Friedberg. Schur polynomials and the Y ang- B axter equation. Comm. Math. Phys. , 308(2):281--301, 2011

    2011

  2. [10]

    Weyl group multiple D irichlet series: type A combinatorial theory , volume 175 of Annals of Mathematics Studies

    Ben Brubaker, Daniel Bump, and Solomon Friedberg. Weyl group multiple D irichlet series: type A combinatorial theory , volume 175 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2011

    2011

  3. [11]

    Ben Brubaker, Daniel Bump, and Henrik P. A. Gustafsson. Quantum superalgebras and the free-fermionic Y ang- B axter equation. 2025, http://arxiv.org/abs/2503.24189 arXiv:2503.24189

    2025 arXiv

  4. [12]

    Bender and Donald E

    Edward A. Bender and Donald E. Knuth. Enumeration of plane partitions. J. Combinatorial Theory Ser. A , 13:40--54, 1972

    1972

  5. [13]

    Colored B osonic models and matrix coefficients

    Daniel Bump and Slava Naprienko. Colored B osonic models and matrix coefficients. Commun. Number Theory Phys. , 18(2):441--484, 2024

    2024

  6. [14]

    Quasi-solvable lattice models for Sp _ 2n and SO _ 2n+1 D emazure atoms and characters

    Valentin Buciumas and Travis Scrimshaw. Quasi-solvable lattice models for Sp _ 2n and SO _ 2n+1 D emazure atoms and characters. Forum Math. Sigma , 10:Paper No. e53, 34, 2022

    2022

  7. [15]

    Nonsymmetric M acdonald polynomials via integrable vertex models

    Alexei Borodin and Michael Wheeler. Nonsymmetric M acdonald polynomials via integrable vertex models. Trans. Amer. Math. Soc. , 375(12):8353--8397, 2022

    2022

  8. [16]

    Metaplectic I ce for C artan T ype C

    Nathan Tyler Gray. Metaplectic I ce for C artan T ype C . ProQuest LLC, Ann Arbor, MI, 2017. Thesis (Ph.D.)--University of Minnesota

    2017

  9. [17]

    Crystalizing the q -analogue of universal enveloping algebras

    Masaki Kashiwara. Crystalizing the q -analogue of universal enveloping algebras. Comm. Math. Phys. , 133(2):249--260, 1990

    1990

  10. [18]

    A. N. Kirillov and A. D. Berenstein. Groups generated by involutions, G el'fand- T setlin patterns, and combinatorics of Y oung tableaux. Algebra i Analiz , 7(1):92--152, 1995

    1995

  11. [19]

    Quantum groups and their representations

    Anatoli Klimyk and Konrad Schm\"udgen. Quantum groups and their representations . Texts and Monographs in Physics. Springer-Verlag, Berlin, 1997

    1997

  12. [20]

    G. Lusztig. Canonical bases arising from quantized enveloping algebras. J. Amer. Math. Soc. , 3(2):447--498, 1990

    1990

  13. [21]

    I ntegrability of the six-vertex model and the Y ang- B axter groupoid, 2022, http://arxiv.org/abs/2210.14883 arXiv:2210.14883

    Slava Naprienko. I ntegrability of the six-vertex model and the Y ang- B axter groupoid, 2022, http://arxiv.org/abs/2210.14883 arXiv:2210.14883

    2022 arXiv

  14. [22]

    S. V. Tsaranov. Representation and classification of C oxeter monoids. European J. Combin. , 11(2):189--204, 1990

    1990

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.