pith. sign in

arxiv: 2604.22141 · v1 · submitted 2026-04-24 · 🧮 math-ph · math.CO· math.MP· math.QA

Tetrahedral L-operators, tensor Schur polynomials and q-deformed loop elementary symmetric functions

Shinsuke Iwao , Kohei Motegi , Ryo Ohkawa This is my paper

Pith reviewed 2026-05-08 09:42 UTC · model grok-4.3

classification 🧮 math-ph math.COmath.MPmath.QA
keywords tetrahedral L-operatortensor Schur polynomialsq-deformed loop elementary symmetric functionsthree-dimensional partition functionsZamolodchikov-Faddeev algebraSchur polynomials shuffle formulamultispecies TASEPdivided difference operators
0
0 comments X

The pith

Three-dimensional partition functions from tetrahedral L-operators equal tensor Schur polynomials at q=0 and q-deformed elementary symmetric functions otherwise.

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

The paper constructs three-dimensional partition functions using the tetrahedral L-operator from integrable systems. In the q=0 limit, these functions coincide with tensor Schur polynomials, which are products of ordinary Schur polynomials. This identification yields the shuffle formula for Schur polynomials as a geometric pushforward and unifies the Gustafson-Milne and Fehér–Némethi–Rimányi identities. Applications include a description of the steady state for the multispecies totally asymmetric simple exclusion process. For generic q, the partition functions are identified as deformations of the elementary symmetric functions, one class extending the q-deformed loop elementary symmetric functions.

Core claim

Three-dimensional partition functions built from the tetrahedral L-operator, which satisfies the Zamolodchikov-Faddeev algebra, admit explicit expressions as tensor Schur polynomials when q vanishes, and as q-deformations of elementary symmetric functions for generic q. One such deformation is an extension of the q-deformed loop elementary symmetric functions. The reductions also produce a family of Laurent polynomials via divided difference operators that imitate Schubert polynomials.

What carries the argument

The tetrahedral L-operator satisfying the Zamolodchikov-Faddeev algebra, with boundary conditions chosen so that the three-dimensional partition functions sum to the stated closed polynomial forms.

If this is right

  • The shuffle formula for Schur polynomials follows as the geometric pushforward by Józefiak-Pragacz-Lascoux.
  • The Gustafson-Milne and Fehér–Némethi–Rimányi identities are derived and unified.
  • A family of Laurent polynomials is constructed using divided difference operators to imitate Schubert polynomials.
  • The steady state of the multispecies totally asymmetric simple exclusion process is obtained explicitly.
  • For generic q the partition functions equal explicit deformations of elementary symmetric functions, including an extension of the q-deformed loop version.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same summation technique may apply to other solutions of the Zamolodchikov-Faddeev algebra or to different boundary conditions in three dimensions.
  • The newly introduced q-deformed loop elementary symmetric functions may possess additional combinatorial interpretations or generating-function properties.
  • The divided-difference construction imitating Schubert polynomials could be extended to produce new bases or analogs in the ring of symmetric functions.
  • These lattice-model reductions might connect statistical mechanics models to questions in algebraic geometry or representation theory beyond the identities derived here.

Load-bearing premise

The boundary conditions on the three-dimensional lattices must allow the partition function sums to reduce exactly to the claimed polynomial expressions via the algebraic relations of the L-operator.

What would settle it

Explicit evaluation of the partition function on a small lattice such as 2 by 2 by 2 with fixed boundary conditions and parameters must equal the value of the corresponding tensor Schur polynomial or q-deformed symmetric function; any mismatch disproves the reduction.

Figures

Figures reproduced from arXiv: 2604.22141 by Kohei Motegi, Ryo Ohkawa, Shinsuke Iwao.

Figure 1
Figure 1. Figure 1: A bosonic Fock space is depicted as a dashed line. Th view at source ↗
Figure 2
Figure 2. Figure 2: The non-zero operator-valued matrix elements of view at source ↗
Figure 3
Figure 3. Figure 3: The operator X (n) i (z). We sum over all configurations except along one fixed boundary. The subscript i indicates this fixed boundary condition, specifying that the first i consecutive sites on that boundary are occupied by 1s. The sum is weighted, and the power α1 + α2 + · · · + αn of z counts the number of 1s along the top boundary. Here, for i = 1, 2, . . . , n, each αi ∈ {0, 1} labels the state of th… view at source ↗
Figure 4
Figure 4. Figure 4: The operator X (n) i,j . The sum of α1 + α2 + · · · + αn is restricted to j and there is no z-dependence. The operators Xi(z) are shown to satisfy the following relations. Theorem 2.1. [32, 20] The operators Xi(z) satisfy the Zamolodchikov-Faddeev algebra re￾lations Xi(x)Xj (y) =    Xi(y)Xj (x) + (1 − x/y)Xj (y)Xi(x) i < j, Xi(y)Xi(x) i = j, x/yXi(y)Xj (x) i > j, . (2.1) 6 view at source ↗
Figure 5
Figure 5. Figure 5: The partition functions hΩ|Xi1 (z1)Xi2 (z2)· · · Xim−1 (zm−1)Xim (zm)|Ωi. In the previous paper [47], the authors investigated the case n ≥ i1 ≥ i2 ≥ · · · ≥ im ≥ 0 and established a correspondence with the Schur polynomials. We first study a more general class and investigate its algebraic structures. First, let us recall some previous results. We also correct minor mistakes in the earlier work. Although … view at source ↗
Figure 6
Figure 6. Figure 6: The action of X (n) n (z) on |Ωi. where X (w1,w[2,m] ) denotes the sum over all (w1, w[2,m] ) such that w1, w[2,m] are unordered sets of variables satisfying |w1| = |z1|, |w[2,m] | = |z[2,m] | and w1 ∪ w[2,m] = z1 ∪ z[2,m] . Proof. The argument to derive (2.17) can be applied to derive (2.34) as well. The Zamolodchikov￾Faddeev algebra relations in the form (2.18), (2.19), (2.20) implies that we can write t… view at source ↗
Figure 7
Figure 7. Figure 7: The partition functions Tr(X (n) i1 (z1)X (n) i2 (z2)· · · X (n) im (zm)). We consider partition functions which at least one X (n) j is used as components for all j = 0, . . . , n. The following is the simplest type. Lemma 2.18. We have Tr(Xn(zn)Xn−1(zn−1)· · · X0(z0)) = Yn j=0 z j j . (2.63) Proof. We investigate the coloring of the edges of the L-operators along the sequence of the bosonic Fock spaces F… view at source ↗
Figure 9
Figure 9. Figure 9: The L-operator on F1,n−1 in the Xn−1-operator produces the zero-number projection operator view at source ↗
Figure 11
Figure 11. Figure 11: The L-operators acting on F1,n−1 in the X0, . . . , Xn−2-operators can￾not produce creation operators and each of them is determined to be the identity operator, and the edges are colored blue. Now we recall a theorem of Kuniba-Maruyama-Okado [32] which gives a description of the steady state of the multispecies TASEP. We introduce the n-multispecies TASEP on a one￾dimensional periodic chain with L sites,… view at source ↗
Figure 13
Figure 13. Figure 13: The figure after the edges of the L-operators acting on all bosonic Fock spaces are colored. This corresponds to the unique configuration. then the exchange αβ −→ βα occurs with the uniform transition rate. The time evolution of the probability vector |P(t)i = X σ P(σ, t)|σi, σ = (σ1, . . . , σL), is governed by the master equation d dt|P(t)i = H |P(t)i, where H is the Markov generator (transition matrix)… view at source ↗
Figure 14
Figure 14. Figure 14: The operator-valued L-operator. For each configuration, the weight assigned is given below: L(z) 00 00 = L(z) 11 11 = 1, L(z) 01 10 = z a +, L(z) 10 01 = z −1a −, L(z) 01 01 = k, L(z) 10 10 = −q k. By abuse of notation, we also denote the configurations as L 00 00,L 11 11,L 01 10,L 10 01,L 01 01,L 10 10. 32 view at source ↗
Figure 15
Figure 15. Figure 15: The operator X (n) i (z). We sum over all configurations except along one fixed boundary. We replace R by L(z) at every vertex and take the unweighted sum. The depen￾dence on z comes from the L(z)-operators. For n = 3, the X-operators are explicitly X (3) 0 (z) = 1 + z a + 11 + z 2 a + 12a + 21 + z a + 12a + 21a − 11 − qz a + 12k11 + z a + 21k11, (3.9) X (3) 1 (z) = a + 12a − 11k21 + z a + 12k21 + k11k21,… view at source ↗
Figure 16
Figure 16. Figure 16: hhm1,1|hhm1,2|hhm2,1|X (3) 3 (z1)· · · X (3) 3 (zm)X (3) 1 (w1)· · · X (3) 1 (wn)|m1,1i|m1,2i|m2,1i. hhm1,1|hhm1,2|hhm2,1|X (3) 3 (z1), . . . , X(3) 3 (zm) is depicted on the top part, and the bottom part corresponds to X (3) 1 (w1), . . . , X(3) 1 (wn)|m1,1i|m1,2i|m2,1i. 34 view at source ↗
Figure 17
Figure 17. Figure 17: One notes that the L-operators acting on the bosonic Fock space F2,1 are fixed uniquely view at source ↗
Figure 18
Figure 18. Figure 18: A typical configuration which gives a nonzero cont view at source ↗
Figure 19
Figure 19. Figure 19: The weights assigned to the X1- and X3-operators. 39 view at source ↗
Figure 20
Figure 20. Figure 20: The Y (ℓ) ℓ -operator. The L-operator in the j-th layer is assigned the spectral parameter z (j) k , with z (j) coming from the horizontal line and zk from the vertical line. 3.3 A q-deformation of loop elementary symmetric functions We introduce operators Y (ℓ) ℓ (z), ℓ ≥ 1 acting on F ⊗ℓ , graphically represented as view at source ↗
Figure 21
Figure 21. Figure 21: hhi1, i2, . . . , iℓ |Y (ℓ) ℓ (z1)· · · Y (ℓ) ℓ (zn)|Ωi. where the sum is over m (j) k , j = 1, . . . , ℓ, k = 1, . . . , ij satisfying 1 ≤ m (j) ij < m(j) ij−1 < · · · < m (j) 1 ≤ n and m (s) r 6= m (j) k if (r, s) 6= (k, j). s(j, k, p) is the integer such that m (p) s(j,k,p)+1 < m (j) k < ms(j,k,p) with the convention m (j) 0 := n + 1, m (j) ij+1 := 0, j = 1, . . . , ℓ. See view at source ↗
Figure 22
Figure 22. Figure 22: m (j) k := Max{m | 1 ≤ m ≤ n, im = k} for k = 1, . . . , ij . These are coordinates which the number of bosons changes. We also define m (j) 0 := n + 1 and m (j) ij+1 := 0. To see this, consider the case m (s) r 6= m (j) k for all (r, s) 6= (k, j) first. In this case, there is only one creation or no creation operator in each column. The m (j) k -th column has exactly one creation operator in the j-th bos… view at source ↗
Figure 23
Figure 23. Figure 23: The freezing of colors in the m (j) k th column with one creation operator. Starting from the left panel, due to the ice-rule, we note that from the j-th row, a line passes upward through the column, and all the remaining uncolored edges are colored with blue as depicted in the right panel. The weights coming from the elements of the L-operators are presented in the framed box. Special cases of (3.31) res… view at source ↗
Figure 24
Figure 24. Figure 24: A configuration which the states in the bosonic Foc view at source ↗
Figure 25
Figure 25. Figure 25: Transforming the partition function descriptio view at source ↗
read the original abstract

We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Jo\'zefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{\'e}r--N{\'e}methi--Rim{\'a}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript explores three-dimensional partition functions constructed from the tetrahedral L-operator. In the q=0 case, it extends previous results to show that certain partition functions can be expressed as tensor Schur polynomials. This leads to a derivation of the shuffle formula for Schur polynomials, a unification of the Gustafson-Milne and Fehér-Némethi-Rimányi identities, the introduction of a family of Laurent polynomials using divided difference operators, and an application to the steady state of the multispecies totally asymmetric simple exclusion process. For generic q, the paper determines explicit forms of several partition functions as q-deformations of elementary symmetric functions, identifying one as an extension of q-deformed loop elementary symmetric functions.

Significance. If the algebraic reductions hold, the work provides valuable closed-form expressions linking integrable lattice models to symmetric function theory, with applications in combinatorics (shuffle formula with geometric pushforward interpretation) and statistical mechanics (TASEP steady states). The unification of known identities and the introduction of q-deformed loop elementary symmetric functions represent natural extensions of prior results on L-operators and Schur polynomials. The reliance on the Zamolodchikov-Faddeev algebra is a strength when properly verified.

major comments (2)
  1. [Sections on q=0 case and generic q case] The reductions to tensor Schur polynomials (q=0) and to explicit q-deformations of elementary symmetric functions (generic q) are load-bearing for all claims and applications. The manuscript must explicitly verify in the relevant sections that the tetrahedral L-operator satisfies the Zamolodchikov-Faddeev algebra in the representations used for the 3D partition functions and that the chosen boundary conditions permit exact closed-form reductions without residual terms or mismatches.
  2. [Application sections following the q=0 analysis] The applications (shuffle formula, identity unification, TASEP steady state) rest directly on the tensor Schur polynomial identification; any gap in confirming the ZF algebra commutation relations or boundary-induced factors would invalidate these derivations.
minor comments (2)
  1. Notation for tensor Schur polynomials and the divided difference operators could be clarified with an explicit definition or forward reference upon first use.
  2. A summary table listing the different classes of partition functions, their closed forms, and corresponding q values would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. We address the major comments below and will revise the manuscript accordingly to strengthen the explicit verifications.

read point-by-point responses

  1. Referee: [Sections on q=0 case and generic q case] The reductions to tensor Schur polynomials (q=0) and to explicit q-deformations of elementary symmetric functions (generic q) are load-bearing for all claims and applications. The manuscript must explicitly verify in the relevant sections that the tetrahedral L-operator satisfies the Zamolodchikov-Faddeev algebra in the representations used for the 3D partition functions and that the chosen boundary conditions permit exact closed-form reductions without residual terms or mismatches.

    Authors: We agree that the reductions are central and that explicit verification of the Zamolodchikov-Faddeev (ZF) algebra is essential. The manuscript already performs a further analysis of the ZF algebra to derive the tensor Schur polynomial expressions in the q=0 case, but we acknowledge that the presentation could be more self-contained. In the revised manuscript we will insert a dedicated subsection (in the q=0 analysis) that explicitly checks the ZF commutation relations for the tetrahedral L-operator in the representations used for the three-dimensional partition functions. We will also verify that the chosen boundary conditions produce no residual factors or mismatches, thereby confirming that the closed-form reductions hold exactly. For the generic-q case we will add analogous explicit checks where the q-deformed expressions are derived. revision: yes

  2. Referee: [Application sections following the q=0 analysis] The applications (shuffle formula, identity unification, TASEP steady state) rest directly on the tensor Schur polynomial identification; any gap in confirming the ZF algebra commutation relations or boundary-induced factors would invalidate these derivations.

    Authors: We concur that the applications depend on the tensor Schur identification. By adding the explicit ZF-algebra and boundary-condition verifications described above, and by cross-referencing these verifications from the application sections, the derivations of the shuffle formula (with its geometric interpretation), the unification of the Gustafson-Milne and Fehér-Némethi-Rimányi identities, the divided-difference Laurent polynomials, and the multispecies TASEP steady-state formula will rest on a fully documented foundation. We will also ensure that any boundary-induced factors are shown to cancel or vanish in the relevant limits. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations rely on external algebraic structures and independent polynomial identities

full rationale

The paper constructs 3D partition functions from the tetrahedral L-operator (defined and studied in external prior literature by Bazhanov-Sergeev and Kuniba-Maruyama-Okado) and derives their closed forms as tensor Schur polynomials (q=0 case) and q-deformed loop elementary symmetric functions (generic q) by analyzing the Zamolodchikov-Faddeev algebra and boundary conditions. These steps use standard properties of Schur polynomials, divided difference operators, and algebraic reductions rather than defining the target expressions in terms of the partition functions themselves or fitting parameters that are then renamed as predictions. The reference to extending the authors' previous results is a minor self-citation for context but does not load-bear the new closed-form claims or applications (shuffle formula, identity unifications), which remain independently derived. No self-definitional, fitted-input, or ansatz-smuggling patterns appear in the provided abstract and structure.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 0 invented entities

The claims rest on the established definition and algebraic properties of the tetrahedral L-operator from Bazhanov-Sergeev and Kuniba-Maruyama-Okado, plus standard facts about Schur polynomials and the Zamolodchikov-Faddeev algebra.

free parameters (1)
  • q
    Deformation parameter appearing in the L-operator and the resulting symmetric functions.
axioms (1)
  • domain assumption The tetrahedral L-operator satisfies the Zamolodchikov-Faddeev algebra
    Invoked for the q=0 analysis and for deriving the shuffle formula and unified identities.

pith-pipeline@v0.9.0 · 5560 in / 1231 out tokens · 47906 ms · 2026-05-08T09:42:00.858951+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

65 extracted references · 65 canonical work pages

  1. [1]

    A. B. Zamolodchikov, Tetrahedra equations and integrab le systems in three-dimensional space, Sov. Phys. JETP (1980) 79 641-664

    work page 1980

  2. [2]

    A. B. Zamolodchikov, Tetrahedron equations and the rela tivistic S-matrix of straight strings in 2+1 dimensions, Commun. Math. Phys. (1981) 79 489-505

    work page 1981

  3. [3]

    C. N. Yang, Some exact results for the many-body problem i n one dimension with repulsive delta-function interaction, Phys. Rev. Lett. (1967) 19 1312-1315

    work page 1967

  4. [4]

    R. J. Baxter, Partition function for the eight-vertex la ttice model, Ann. Phys. (1972) 70 193-228

    work page 1972

  5. [5]

    R. J. Baxter, On Zamolodchikov’s solution of the tetrahe dron equations, Commun. Math. Phys. (1983) 88 185-205

    work page 1983

  6. [6]

    V. V. Bazhanov and Y. G. Stroganov, Free fermions on a thre e-dimensional lattice and tetrahedron equations, Nucl. Phys. B (1984) 230 435-454

    work page 1984

  7. [7]

    V. V. Bazhanov and R. J. Baxter, New solvable lattice mode ls in three dimensions, J. Stat. Phys. (1992) 69 453-585

    work page 1992

  8. [8]

    I. G. Korepanov, Tetrahedral Zamolodchikov algebras co rresponding to Baxter’s L- operators, Commun. Math. Phys. (1993) 154 85-97

    work page 1993

  9. [9]

    R. M. Kashaev, On discrete three-dimensional equations associated with the local Yang– Baxter relation, Lett. Math. Phys. (1996) 38 389-397

    work page 1996

  10. [10]

    S. M. Sergeev, V. V. Mangazeev and Y. G. Stroganov, The ve rtex formulation of the Bazhanov–Baxter model, J. Stat. Phys. (1996) 82 31-49

    work page 1996

  11. [11]

    L. D. Faddeev, E. K. Sklyanin and L. A. Takhtajan, The qua ntum inverse problem method. I, Theor. Math. Phys. (1979) 40 688-706

    work page 1979

  12. [12]

    L. D. Faddeev, N. Yu. Reshetikhin and L. A. Takhtajan, Qu antization of Lie groups and Lie algebras, Leningrad Math. J. (1990) 1 193-225

    work page 1990

  13. [13]

    V. G. Drinfeld, Quantum groups, Proc. Int. Congr. Math. (1987) 1 798–820

    work page 1987

  14. [14]

    Jimbo, A q-difference analogue of U (g) and the Yang–Baxter equation, Lett

    M. Jimbo, A q-difference analogue of U (g) and the Yang–Baxter equation, Lett. Math. Phys. (1985) 10 63-69

    work page 1985

  15. [15]

    V. V. Bazhanov and S. M. Sergeev, Zamolodchikov’s tetra hedron equation and hidden structure of quantum groups, J. Phys. A: Math. Gen. (2006) 39 3295-3310

    work page 2006

  16. [16]

    V. V. Bazhanov, V. V. Mangazeev and S. M. Sergeev, Quantu m geometry of three- dimensional lattices, J. Stat. Mech. (2008) 2008 P07004

    work page 2008

  17. [17]

    V. V. Mangazeev, V. V. Bazhanov and S. M. Sergeev, An inte grable 3D lattice model with positive Boltzmann weights, J. Phys. A: Math. Theor. (2013) 46 465206, 16pp. 47

    work page 2013

  18. [18]

    Kuniba, M

    A. Kuniba, M. Okado and S. M. Sergeev, Tetrahedron equat ion and generalized quantum groups, J. Phys. A: Math. Theor. (2015) 48 304001, 38pp

    work page 2015

  19. [19]

    Kuniba, S

    A. Kuniba, S. Matsuike and A. Yoneyama, New solutions to the tetrahedron equation associated with quantized six-vertex models, Commun. Math. Phys. (2023) 401 3247- 3276

    work page 2023

  20. [20]

    Kuniba, Quantum Groups in Three-Dimensional Integrability Theoretical and Math- ematical Physics, (Springer, Singapore) (2022)

    A. Kuniba, Quantum Groups in Three-Dimensional Integrability Theoretical and Math- ematical Physics, (Springer, Singapore) (2022)

    work page 2022

  21. [21]

    Gavrylenko, M

    P. Gavrylenko, M. Semenyakin and Y. Zenkevich, Solutio n of tetrahedron equation and cluster algebras, J. High Energy Phys. (2021) 2021 103, 33pp

    work page 2021

  22. [22]

    Sun and J

    X. Sun and J. Yagi, Cluster transformations, the tetrah edron equation and three- dimensional gauge theories, Adv. Theor. Math. Phys. (2023) 27 1065-1101

    work page 2023

  23. [23]

    Inoue, A

    R. Inoue, A. Kuniba and Y. Terashima, Tetrahedron equat ion and quantum cluster algebras, J. Phys. A: Math. Theor. (2024) 57 085202, 33pp

    work page 2024

  24. [24]

    Inoue, A

    R. Inoue, A. Kuniba and Y. Terashima, Quantum cluster al gebras and 3D integrability: tetrahedron and 3D reflection equations, Int. Math. Res. Not. (2024) 16 11549-11581

    work page 2024

  25. [25]

    Fomin and A

    S. Fomin and A. Zelevinsky, Cluster algebras I: foundat ions, J. Amer. Math. Soc. (2002) 15 497-529

    work page 2002

  26. [26]

    V. V. Fock and A. B. Goncharov, Cluster X -varieties, amalgamation, and Poisson–Lie groups, Progr. Math. (2006) 253 27–68

    work page 2006

  27. [27]

    Padmanabhan and V

    P. Padmanabhan and V. Korepin, Solving the Yang–Baxter , tetrahedron and higher simplex equations using Clifford algebras, Nucl. Phys. B (2024) 1007 116664, 24pp

    work page 2024

  28. [28]

    Padmanabhan and V

    P. Padmanabhan and V. Korepin, Majorana fermions solve the tetrahedron equations as well as higher simplex equations, Nucl. Phys. B (2025) 1014 116865, 21pp

    work page 2025

  29. [29]

    V. V. Bazhanov, R. M. Kashaev, V. V. Mangazeev and S. M. Se rgeev, Quantum Dilog- arithms and New Integrable Lattice Models in Three Dimensio ns, arXiv:2512.23338

    work page arXiv

  30. [30]

    M. Shim, X. Sun, H. Wang and J. Yagi, Solving the tetrahed ron equation by Teichm¨ uller TQFT, arXiv:2602.22060

    work page arXiv

  31. [31]

    Kuniba, S

    A. Kuniba, S. Maruyama and M. Okado, Multispecies TASEP and combinatorial R, J. Phys. A: Math. Theor. (2015) 48 34FT02, 19pp

    work page 2015

  32. [32]

    Kuniba, S

    A. Kuniba, S. Maruyama and M. Okado, Multispecies TASEP and tetrahedron equation, J. Phys. A: Math. Theor. (2016) 49 114001, 22pp

    work page 2016

  33. [33]

    Spitzer, Interaction of Markov processes, Adv

    F. Spitzer, Interaction of Markov processes, Adv. Math. (1970) 5 246-190

    work page 1970

  34. [34]

    P. A. Ferrari and J. B. Martin, Stationary distribution s of multi-type totally asymmetric exclusion processes, Ann. Probab. (2007) 35 807-832. 48

    work page 2007

  35. [35]

    Kashiwara, Crystalizing the q-analogue of universal enveloping algebras, Commun

    M. Kashiwara, Crystalizing the q-analogue of universal enveloping algebras, Commun. Math. Phys. (1990) 133 249-260

    work page 1990

  36. [36]

    Nakayashiki and Y

    A. Nakayashiki and Y. Yamada, Kostka polynomials and en ergy functions in solvable lattice models Sel. Math. New Ser. (1997) 3 547-599

    work page 1997

  37. [37]

    Derrida, M

    B. Derrida, M. R. Evans, V. Hakim and V. Pasquier, Exact s olution of a one-dimensional asymmetric exclusion model using a matrix formulation, J. Phys. A: Math. Gen. (1993) 26 1493-1517

    work page 1993

  38. [38]

    Sasamoto, One-dimensional partially asymmetric si mple exclusion process with open boundaries: orthogonal polynomials approach, J

    T. Sasamoto, One-dimensional partially asymmetric si mple exclusion process with open boundaries: orthogonal polynomials approach, J. Phys. A (1999) 32 7109-7131

    work page 1999

  39. [39]

    Prolhac, M

    S. Prolhac, M. R. Evans and K. Mallick, The matrix produc t solution of the multispecies partially asymmetric exclusion process, J. Phys. A: Math. Theor. (2009) 42 165004, 25pp

    work page 2009

  40. [40]

    Arita, A

    C. Arita, A. Ayyer, K. Mallick and S. Prolhac, Recursive structures in the multispecies TASEP, J. Phys. A: Math. Theor. (2011) 44 335004, 26pp

    work page 2011

  41. [41]

    Cantini, J

    L. Cantini, J. de Gier and M. Wheeler, Matrix product for mula for Macdonald polyno- mials, J. Phys. A (2015) 48 384001, 25pp

    work page 2015

  42. [42]

    Martin, Stationary distributions of the multi-type ASEP, Electron

    J. Martin, Stationary distributions of the multi-type ASEP, Electron. J. Probab. (2020) 25 43, 1-41

    work page 2020

  43. [43]

    Corteel, O

    S. Corteel, O. Mandelshtam and L. Williams, From multil ine queues to Macdonald polynomials via the exclusion process, Amer. J. Math. (2022) 144 395-438

    work page 2022

  44. [44]

    Kim and L

    D. Kim and L. K. Williams, Schubert polynomials, the inh omogeneous TASEP, and evil-avoiding permutations, Int. Math. Res. Not. (2023) 2023 8143–8211

    work page 2023

  45. [45]

    Kuniba, M

    A. Kuniba, M. Okado and T. Scrimshaw, A strange five-vert ex model and multispecies ASEP on a ring, Alg. Comb. (2025) 8 1713-1741

    work page 2025

  46. [46]

    Aggarwal, M

    A. Aggarwal, M. Nicoletti and L. Petrov, Colored intera cting particle systems on the ring: stationary measures from Yang–Baxter equations, Compos. Math. (2025) 161 1855–1922

    work page 2025

  47. [47]

    S. Iwao, K. Motegi and R. Ohkawa, Tetrahedron equation a nd Schur functions, J. Phys. A: Math. Theor. (2025) 58 015201, 31pp

    work page 2025

  48. [48]

    J´ ozefiak, A

    T. J´ ozefiak, A. Lascoux and P. Pragacz, Classes of deter minantal varieties associated with symmetric and skew-symmetric matrices, Izv. Akad. Nauk SSSR Ser. Mat. (1981) 45 662–673

    work page 1981

  49. [49]

    Bressler and S

    P. Bressler and S. Evens, The Schubert calculus, braid r elations, and generalized coho- mology, Trans. Amer. Math. Soc. (1990) 317 799–811

    work page 1990

  50. [50]

    Nakagawa and H

    M. Nakagawa and H. Naruse, Universal Gysin formulas for the universal Hall–Littlewood functions, Contemp. Math. (2018) 708 201–244. 49

    work page 2018

  51. [51]

    Kaji and T

    H. Kaji and T. Terasoma, Degree formula for Grassmann bu ndles, J. Pure Appl. Algebra (2015) 219 5426–5428

    work page 2015

  52. [52]

    R. A. Gustafson and S. C. Milne, Schur functions, Good’s identity, and hypergeometric series well poised in SU (n), Adv. Math. (1983) 48 177–188

    work page 1983

  53. [53]

    L. M. Feh´ er, A. N´ emethi and R. Rim´ anyi, Equivariant classes of matrix matroid varieties, Comment. Math. Helv. (2012) 87 861–889

    work page 2012

  54. [54]

    D. Orr, M. Shimozono and J. Wen, Wreath Macdonald operat ors, Forum Math. Sigma (2025) 13 e1161–e1165

    work page 2025

  55. [55]

    Pragacz, A Gysin formula for Hall–Littlewood polyno mials, Proc

    P. Pragacz, A Gysin formula for Hall–Littlewood polyno mials, Proc. Amer. Math. Soc. (2015) 143 4705-4711

    work page 2015

  56. [56]

    Shigechi and M

    K. Shigechi and M. Uchiyama, Boxed skew plane partition and integrable phase model, J. Phys. A: Math. Gen. (2005) 38 10287-10306

    work page 2005

  57. [57]

    Guo and S

    P. Guo and S. C. C. Sun, Identities on factorial Grothend ieck polynomials, Adv. Appl. Math. (2019) 111 101933, 11pp

    work page 2019

  58. [58]

    Lascoux and M.-P

    A. Lascoux and M.-P. Sch¨ utzenberger, Polynˆ omes de Schubert, C. R. Acad. Sci. Paris (1982) 294 447–450

    work page 1982

  59. [59]

    I. G. Macdonald, Notes on Schubert Polynomials , (Publ. Centre Math. Inform., Univ. Qu´ ebec ` a Montr´ eal) (1991)

    work page 1991

  60. [60]

    Fomin and A

    S. Fomin and A. N. Kirillov, The Yang–Baxter equation, s ymmetric functions, and Schubert polynomials, Discrete Math. (1996) 153 123–143

    work page 1996

  61. [61]

    Gasper and M

    G. Gasper and M. Rahman, Basic Hypergeometric Series , 2nd ed. (Cambridge Univ. Press) (2004)

    work page 2004

  62. [62]

    Z. Chen, J. de Gier and M. Wheeler, Integrable stochasti c dualities and the deformed Knizhnik–Zamolodchikov equation, Int. Math. Res. Not. (2020) 2020 5872–5925

    work page 2020

  63. [63]

    Yamada, A birational representation of Weyl group, c ombinatorial R matrix and discrete Toda equation, in Physics and Combinatorics 2000 , ed

    Y. Yamada, A birational representation of Weyl group, c ombinatorial R matrix and discrete Toda equation, in Physics and Combinatorics 2000 , ed. A. N. Kirillov and N. Liskova (World Scientific) (2001) 305–319

    work page 2000

  64. [64]

    Lam, Loop symmetric functions and factorizing matri x polynomials, in 15th Interna- tional Congress of Chinese Mathematicians AMS/IP Stud

    T. Lam, Loop symmetric functions and factorizing matri x polynomials, in 15th Interna- tional Congress of Chinese Mathematicians AMS/IP Stud. Adv. Ma th. (2012) 51 609– 628

    work page 2012

  65. [65]

    Lam and P

    T. Lam and P. Pylyavskyy, Total positivity in loop group s, I: whirls and curls, Adv. Math. (2012) 230 1222–1271. 50

    work page 2012