Shim, Sun, Wang and Yagi (arXiv:2602.22060; JHEP 06 (2026) 141) constructed R-matrices solving the bicolored tetrahedron equations (BTEs, the modified tetrahedron equations of Mangazeev and Stroganov) as partition functions of Teichmüller-TQFT state integrals with line defects on shaped triangulations of cubes, producing three-dimensional bicolored lattice models. Whether these models are integrable, what algebraic structure organizes them, and what physics they encode all remain open. The R-matrix parameters are introduced by shape gauge transformations, so the layer transfer matrix with periodic boundary conditions carries no spectral parameter, and no boundary-twisting prescription for this framework is known; the invertibility, nondegeneracy and diagonalizability conditions under which the BTEs imply commuting transfer matrices are unverified for these integral-operator R-matrices; the conjectured quantum-algebraic structure generalizing quantum groups is unidentified; and the anticipated three-dimensional quantum-gravity interpretation is unworked. The problem asks for a concrete, ideally model-independent prescription producing genuine spectral-parameter-dependent transfer matrices within the geometric/state-integral framework, verification or refutation of the algebraic integrability conditions for these R-matrices, identification of the underlying quantum-algebraic structure, and a precise gravity interpretation with physical predictions.

Background

In two dimensions, the exact solvability of lattice models rests on the Yang-Baxter equation (YBE), the cubic consistency condition for an RR-matrix acting on two tensor factors. Its consequence is that row or layer transfer matrices, the operators whose products and traces build the partition function layer by layer, commute at different values of a spectral parameter, the additive rapidity variable on which physically interesting RR-matrices depend; commutativity yields a family of conserved charges. The algebraic theory of spectral-parameter solutions is furnished by quantum groups, i.e. quasitriangular Hopf algebras such as Uq(sl^2)U_q(\widehat{\mathfrak{sl}}_2).

The three-dimensional analogue, the tetrahedron equation, was introduced by Zamolodchikov (1981) as the consistency condition for factorized scattering of strings in 2+12+1 dimensions; it governs three-dimensional models whose local Boltzmann weight is assigned to a cube rather than a face (interaction-round-a-cube, or IRC, models), and Baxter (1983) constructed the first complete solution. Compared with the two-dimensional case, solutions are scarce, mostly parameter-free, and no three-dimensional counterpart of quantum groups is known. A variant, the modified tetrahedron equation of Mangazeev and Stroganov (1993), called the bicolored tetrahedron equations (BTEs) in Shim, Sun, Wang and Yagi (2026), is a pair of equations for a family of operators R[σ]R^{[\sigma]}, σ∈Z2\sigma \in \mathbb{Z}_2, acting on three tensor factors, with the color index shifted between the two sides.

Teichmüller TQFT, constructed by Andersen and Kashaev from the quantum Teichmüller theory of punctured surfaces, is a state-integral model: a statistical system on triangulated 3-manifolds whose tetrahedra carry shape structure (the dihedral angles of an ideal hyperbolic tetrahedron) and whose Boltzmann weights are quantum dilogarithm functions obeying the pentagon identity, which makes the partition function invariant under 2-3 Pachner moves. Maillet (1993) proposed to solve the tetrahedron equation from pentagon-type structures, but with a purely topological field theory the weights cannot detect the size or shape of a lattice. Shim, Sun, Wang and Yagi overcame this obstacle by inserting line defects, lines along which the total dihedral angle differs from 2π2\pi, into shaped triangulations of a cube: the resulting partition functions define R-matrices, integral operators on continuous state variables, that solve the BTEs exactly, and tracing over one lattice direction yields bicolored vertex models on a periodic bipartite cubic lattice.

Within the BTE framework, integrability is conditional. The BTEs, together with invertibility of specific R-matrix ingredients, imply that the trace-reduced R-matrices satisfy a bicolored Yang-Baxter equation and that the two-layer transfer matrices T(r,r′)=T[0](r)T[1](r′)\mathbf{T}(r,r') = T^{[0]}(r)T^{[1]}(r') of adjacent models commute; and if some two-layer transfer matrix is diagonalizable with nondegenerate eigenvalues at one parameter point, then the two-layer transfer matrices of a single model commute, [T(r,r′),T(s,s′)]=0[\mathbf{T}(r,r'), \mathbf{T}(s,s')] = 0, giving an integrable family with conserved charges (Lemma 2.3 of the paper). Two obstructions block the application to the Teichmüller-TQFT models. First, the parameters (si,tij,uij)(s_i, t_{ij}, u_{ij}) of the R-matrices are introduced by shape gauge transformations, angle shifts under which the state integrals are invariant, so with simple periodic boundary conditions the layer transfer matrix is actually independent of them: the models lack a spectral parameter. Twisting the boundary conditions with symmetries of the R-matrices did produce genuine spectral parameters for the quantized six-vertex model on a torus (Inoue, Kuniba, Terashima and Yagi, 2025), where the two spectral parameters are tied to the homology cycles of the torus, but the mechanism is model-dependent and no prescription exists for the present geometric/state-integral framework. Second, the required invertibility, nondegeneracy and diagonalizability have not been verified for these integral-operator R-matrices. Adjacent results show the questions are live rather than moot: Bazhanov, Kashaev, Mangazeev and Sergeev (2025) built integrable three-dimensional models with continuous families of commuting spectral-parameter transfer matrices directly from quantum dilogarithms obeying inversion and pentagon identities, and Yagi (2026) showed that the tetrahedral weights of edge-based state integral models, including Teichmüller TQFT, solve the strict tetrahedron equation with genuine dihedral-angle spectral parameters; both are alternative constructions that leave the four questions for the bicolored models open. The authors further conjecture that the BTEs possess rich algebraic structures generalizing the quantum algebras of the YBE; for other tetrahedron families, trace reductions of three-dimensional operators reproduce quantum RR-matrices of generalized quantum groups (Kuniba, Okado and Sergeev, 2015), but the direct three-dimensional structure is unidentified. They also propose that, because Teichmüller TQFT is expected to capture aspects of three-dimensional quantum gravity, the associated lattice models should admit a gravity interpretation.

Problem Statement

The overarching objective is to complete the theory of the three-dimensional bicolored lattice models constructed by Shim, Sun, Wang and Yagi from Teichmüller-TQFT state integrals with line defects, whose R-matrices solve the bicolored tetrahedron equations (BTEs): to determine whether these models are integrable, to identify the algebraic structure that governs them, and to determine their physical content. Four jointly required results:

(1) Spectral parameters. Provide a concrete, ideally model-independent prescription for modifying the boundary conditions of these models, for example by twisting the periodic boundary conditions with suitable symmetries of the R-matrices, such that the layer transfer matrix acquires bona fide spectral-parameter dependence within the geometric/state-integral framework; the dependence must be proved genuine, i.e. not removable by shape gauge transformations, conjugation or reparametrization.

(2) Integrability conditions. Verify, or refute, for the Teichmüller-TQFT-derived R-matrices (or other state-integral realizations of the BTEs) the algebraic properties under which the BTEs imply integrability: the invertibility of the R-matrix ingredients entering the trace reduction, and the nondegeneracy and diagonalizability of the reduced (two-layer) transfer matrices, so that the commuting family [T(r,r′),T(s,s′)]=0[\mathbf{T}(r,r'), \mathbf{T}(s,s')] = 0 is established for the models, or shown to fail.

(3) Algebraic structure. Identify and characterize the quantum-algebraic structure underlying the BTE solutions, the analogue for the bicolored tetrahedron equations of the quantum groups associated with Yang-Baxter solutions, precisely enough that the Teichmüller-TQFT R-matrices are provably a realization of it, or show that no such structure exists or that these R-matrices are not a realization of one.

(4) Gravity interpretation. Make precise the interpretation of the resulting lattice models via the relation of Teichmüller TQFT to three-dimensional quantum gravity: state explicitly a correspondence between at least one quantity of the lattice models and a quantity of three-dimensional quantum gravity, and derive from it at least one concrete physical prediction or consistency check that is compared against an independent computation or known result.

A complete answer delivers all four results within the source framework or a demonstrably equivalent state-integral formulation; delivering only a subset, such as a twisting prescription for a single model or numerical evidence for the algebraic conditions at finite size, is progress but not a complete solution.

References

  1. Myungbo Shim, Xiaoyue Sun, Hao Ellery Wang, Junya Yagi, 'Solving the tetrahedron equation by Teichmüller TQFT', Journal of High Energy Physics 06 (2026) 141, DOI 10.1007/jhep06(2026)141, arXiv:2602.22060, https://arxiv.org/abs/2602.22060
  2. Junya Yagi, 'State integral models and the tetrahedron equation', Journal of Physics A: Mathematical and Theoretical 59 (2026) 285203, DOI 10.1088/1751-8121/ae848f, arXiv:2603.09230, https://arxiv.org/abs/2603.09230
  3. Vladimir V. Bazhanov, Rinat M. Kashaev, Vladimir V. Mangazeev, Sergey M. Sergeev, 'Quantum Dilogarithms and New Integrable Lattice Models in Three Dimensions', arXiv:2512.23338 (2025), https://arxiv.org/abs/2512.23338
  4. Rei Inoue, Atsuo Kuniba, Yuji Terashima, Junya Yagi, 'Quantized six-vertex model on a torus', arXiv:2505.08924 (2025), https://arxiv.org/abs/2505.08924
  5. Shinsuke Iwao, Kohei Motegi, Ryo Ohkawa, 'Tetrahedral L-operators, tensor Schur polynomials and q-deformed loop elementary symmetric functions', arXiv:2604.22141 (2026), https://arxiv.org/abs/2604.22141
  6. A. B. Zamolodchikov, 'Tetrahedron equations and the relativistic S-matrix of straight-strings in 2+1-dimensions', Communications in Mathematical Physics 79 (1981) 489-505, DOI 10.1007/BF01209309, https://doi.org/10.1007/BF01209309
  7. R. J. Baxter, 'On Zamolodchikov's solution of the tetrahedron equations', Communications in Mathematical Physics 88 (1983) 185-205, DOI 10.1007/BF01209476, https://doi.org/10.1007/BF01209476
  8. V. V. Mangazeev, Yu. G. Stroganov, 'Elliptic solution for modified tetrahedron equations', Modern Physics Letters A 8 (1993) 3475-3482, DOI 10.1142/S0217732393003895, arXiv:hep-th/9305145, https://arxiv.org/abs/hep-th/9305145
  9. Jørgen Ellegaard Andersen, Rinat Kashaev, 'A TQFT from Quantum Teichmüller Theory', Communications in Mathematical Physics 330 (2014) 887-934, DOI 10.1007/s00220-014-2073-2, https://doi.org/10.1007/s00220-014-2073-2
  10. J.-M. Maillet, 'On pentagon and tetrahedron equations', arXiv:hep-th/9312037 (1993), https://arxiv.org/abs/hep-th/9312037
  11. Atsuo Kuniba, Masato Okado, Sergey Sergeev, 'Tetrahedron equation and generalized quantum groups', Journal of Physics A: Mathematical and Theoretical 48 (2015) 304001, DOI 10.1088/1751-8113-48/30/304001, arXiv:1503.08536, https://arxiv.org/abs/1503.08536