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

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źefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}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.

• The paper introduces tetrahedral L-operators that generate partition functions unifying tensor Schur polynomials with combinatorial operator methods.
• It derives explicit shuffle formulas and identities, including the Gustafson-Milne identity, linking operator algebra with classical symmetric functions.
• The work extends to q-deformed frameworks, providing novel computational tools for analyzing integrable stochastic models like multispecies TASEP.

Summary of "Tetrahedral $L$-operators, tensor Schur polynomials and $q$-deformed loop elementary symmetric functions" (2604.22141)

Introduction and Motivation

The paper systematically investigates three-dimensional partition functions that arise from tetrahedral $L$-operators, initially introduced by Bazhanov-Sergeev and further analyzed in subsequent works. The main foci are (1) algebraic and combinatorial aspects of the $q=0$ case, with connections to Schur polynomials, and (2) generic $q$ versions, leading to explicit $q$-deformations of symmetric functions. The analysis leverages the structure of the Zamolodchikov-Faddeev algebra, explores geometric pushforwards, and unifies classical identities in symmetric function theory, with applications to integrable stochastic processes (multispecies TASEP).

Tetrahedral $L$-operators and $X$-operators

The underlying algebraic framework uses the tetrahedron equation, a 3D analogue of the Yang-Baxter equation, that governs integrability in higher-dimensional statistical models. Building on the operator-valued $L$-operators—solutions to the tetrahedron equation—a class of $X$-operators acting on bosonic Fock spaces is defined. These operators satisfy nontrivial commutation relations (Zamolodchikov-Faddeev algebra), which encode the combinatorial complexity required in three-dimensional integrable models.

For $q$0, the operator algebra reduces to a $q$1-oscillator algebra, and explicit representations for $q$2-operators and their algebraic structure are detailed. Commutation relations enable flipping operator orderings and are crucial for deriving partition function identities.

Partition Functions and Tensor Schur Polynomials

The central objects are partition functions constructed from sequences of $q$3-operators, which, under vacuum expectation values, correspond to sums involving Schur polynomials. The paper generalizes previous results by describing broad classes of such partition functions and algebraically relating them to products of Schur polynomials (termed "tensor Schur polynomials"), i.e., multi-factor Schur expressions indexed by compositions/partitions with variable sets.

A major achievement is the explicit derivation of the shuffle formula for Schur polynomials—a combinatorial identity corresponding, in geometry, to the pushforward formula for Grassmann bundles (Józefiak–Pragacz–Lascoux). The shuffle formula is established by systematic use of operator commutation relations and symmetrization over variables, making the geometric analog precise in the algebraic framework.

Unified Identities: Gustafson-Milne and Fehér–Némethi–Rimányi

The paper provides explicit and unified proofs of classical identities concerning Schur polynomials:

• The Gustafson-Milne identity, which expresses certain Schur polynomials as sums over subsets with determinantal denominators and monomial numerators.
• The Fehér–Némethi–Rimányi identity, which similarly involves expansions of factorial Grothendieck polynomials and connects to equivariant cohomology classes.

The method shows that these identities are natural consequences of the tetrahedral $q$4-operator structure and operator algebra, rather than isolated combinatorial statements. The generalizations offered clarify connections between operator partition functions and classical combinatorics.

Kostka Numbers and Modified Schubert Polynomials

The expansion of Schur polynomials in the monomial basis (Kostka numbers) is realized via bespoke three-dimensional operator constructions. The paper introduces a family of Laurent polynomials constructed via divided difference operators ($q$5), paralleling but not coinciding with standard Schubert polynomials. Explicit recursion relations, operator exchange identities, and structural properties are derived, and nonnegativity of coefficients is established for the modified Schubert polynomials. The approach brings operator algebra and combinatorics together in a novel construction, raising new questions about combinatorial interpretations.

Application: Multispecies TASEP Steady States

By considering traces (rather than vacuum expectation values) of partition functions involving all $q$6 for $q$7, the paper connects the operator algebra to integrable stochastic models, specifically the steady state of multispecies TASEP on a periodic ring. Explicit formulas for normalized steady-state probabilities are given in terms of Schur polynomials and combinatorial identities. These results generalize earlier constructions and offer concrete computational tools for analyzing stochastic dynamics in integrable exclusion processes.

$q$8-Deformation: Operator Algebra and Deformed Symmetric Functions

The second main part extends the analysis to generic $q$9, using the Bazhanov-Sergeev tetrahedral $L$0-operator. The generic $L$1 version transforms the operator-valued model from a five-vertex to a six-vertex framework, introducing quantum group parameters. The commutativity conjecture for $L$2 operators is formulated and checked for low rank, indicating the plausibility of higher-rank algebraic integrability but leaving an explicit quantum group interpretation open.

Weighted traces, parameterized by $L$3 and $L$4, are introduced, generating explicit forms for partition functions as multiparametric $L$5-deformations of elementary symmetric functions. The analysis exploits $L$6-binomial and $L$7-summation formulas, revealing deep algebraic structure and connections to $L$8-hypergeometric series.

$L$9-Deformed Loop Elementary Symmetric Functions

The paper further develops operators $q=0$0 acting on tensor products of Fock spaces and determines their partition functions as $q=0$1-deformations of loop elementary symmetric functions. Structural and combinatorial descriptions are provided, including lattice path representations and the explicit correspondence to classical loop symmetric functions in the $q=0$2 case. The analysis highlights the algebraic versatility of the tetrahedral $q=0$3-operator framework for generating multidimensional symmetric function generalizations.

Implications and Future Directions

The results bridge integrable model theory, operator algebra, and symmetric function combinatorics, providing explicit formulas and structural connections for three-dimensional partition functions. The algebraic methods yield new perspectives on classical identities, extend known combinatorial results, and offer computational techniques for stochastic models. The $q=0$4-deformed framework opens promising directions for studying quantum groups in higher-dimensional integrable systems and reveals the utility of operator algebra for generating and unifying symmetric function generalizations.

Open problems remain regarding quantum group explanations for commutativity, explicit combinatorial interpretations for modified Schubert polynomials, and further generalizations in the context of weighted traces and deformed identities. The connections to geometry (via pushforwards and cohomology classes) suggest potential for broader applications in algebraic combinatorics and mathematical physics.

Conclusion

This paper rigorously develops the relationship between tetrahedral $q=0$5-operators, operator partition functions, and symmetric function theory, elucidating both the $q=0$6 and $q=0$7-generic cases. Through the operator algebra framework, tensor Schur polynomials, shuffle formulas, and $q=0$8-deformed loop elementary symmetric functions are unified, and explicit applications to integrable stochastic processes are detailed. The approach exhibits the power of algebraic and combinatorial integration in the study of multidimensional integrable models and advances the connections between quantum algebra, combinatorics, and geometry.