Bazhanov, Kashaev, Mangazeev and Sergeev (arXiv:2512.23338, 2025; v2 June 2026) construct a new class of integrable three-dimensional (3D) lattice models whose local Boltzmann weights are universal formulae in a quantum dilogarithm satisfying only the inversion and pentagon identities; three realizations (Faddeev, Andersen–Kashaev, Woronowicz) give models whose spin variables take values in self-dual Pontryagin groups, with commuting layer-to-layer transfer matrices and, for the Faddeev realization, an exactly computable partition function per site expressed through the Lobachevsky function. The paper, however, states the Zamolodchikov tetrahedron equation for these weights only as a claim, deferring the detailed proof, the vertex-to-interaction-round-a-cube equivalence, and the partition-function derivations to an unpublished companion; it notes that the underlying algebraic structure of the tetrahedron equation is not yet entirely understood; and it leaves the quasi-classical (b→0b\to0) interpretation via circular quadrilateral lattices in 3D undeveloped. The problem is to complete these foundations: a complete proof of the tetrahedron equation for the universal weights, a precise account of the mechanism by which the pentagon identity implies three-dimensional integrability, and a derivation of the quasi-classical geometry of the b→0b\to0 limit.

Background

Exactly solvable lattice models in two dimensions owe their solvability to the Yang–Baxter equation, a functional identity for the local Boltzmann weights that guarantees that row-to-row transfer matrices commute and form commuting families. In three dimensions the analogous condition is the Zamolodchikov tetrahedron equation (ZTE), introduced by A. B. Zamolodchikov in 1980–1981: it is an identity for an operator R\mathbf{R} acting on a triple tensor product of a Hilbert space, asserting that two orderings of four such operators acting on overlapping triples of six spaces coincide. It implies the commutativity of layer-to-layer transfer matrices of 3D lattice models. The first solution was proposed by Zamolodchikov and verified by Baxter in 1983; subsequent milestones include the Bazhanov–Baxter three-dimensional models, whose integrability rests on a restricted star-triangle relation relating two- and three-spin weights. In spite of this history, solutions remain rare and no general algebraic theory of the tetrahedron equation — analogous to quantum groups for the Yang–Baxter equation — exists: several constructions coexist (quantum-group and qq-oscillator representations, quantum cluster algebras — non-commutative deformations of cluster algebras, which are combinatorial algebras whose generators transform by rational 'mutation' maps — Clifford algebras, i.e. algebras generated by elements obeying eiej+ejei=2δije_ie_j+e_je_i=2\delta_{ij}-type relations, and state-integral models of Teichmüller TQFT, i.e. a topological quantum field theory built from quantum-Teichmüller state integrals), without a known unifying or classifying structure.

The key special functions are quantum dilogarithms. The Faddeev modular quantum dilogarithm Φb(x)\Phi_{\mathsf{b}}(x) is a meromorphic function of one complex variable, defined by an infinite product or an integral representation, depending on a modular parameter b\mathsf{b}; it satisfies an inversion identity (Φb(x)Φb(−x)\Phi_{\mathsf{b}}(x)\Phi_{\mathsf{b}}(-x) reduces to a kernel factor) and the celebrated five-term (pentagon) identity, a functional relation in two variables. The theory of this function was developed by Faddeev and Kashaev in 1994. The pentagon identity coincides, up to parametrization, with the restricted star-triangle relation of Bazhanov and Baxter, which relates the two- and three-spin weights of the earlier three-dimensional models (that relation is in fact slightly more general than the pentagon); this coincidence is the algebraic seed of the source paper's construction.

The source paper (Bazhanov, Kashaev, Mangazeev, Sergeev, arXiv:2512.23338) exploits this. It places spin variables on the edges of a cubic lattice, taking values in a self-dual Pontryagin group — a locally compact Abelian group canonically isomorphic to its own Pontryagin dual, so that the Fourier transform acts on the same space; the three cases are S=R\mathcal{S}=\mathbb{R} (Faddeev dilogarithm), R×ZN\mathbb{R}\times\mathbb{Z}_N (Andersen–Kashaev dilogarithm) and T×Z\mathbb{T}\times\mathbb{Z} (Woronowicz dilogarithm). It writes a universal expression for the vertex weights ⟨x1,x2,x3∣R∣x1′,x2′,x3′⟩\langle x_1,x_2,x_3|\mathbf{R}|x_1',x_2',x_3'\rangle — formula (2.19) of the paper — built from a quantum dilogarithm φ\varphi, its Fourier transform, a Gaussian exponent and delta functions, depending on three spectral parameters. It further reformulates the same models as interaction-round-a-cube (IRC) models, where spins sit on lattice sites and weights WW are assigned to the eight corner spins of an elementary cube (formula (2.28)). The paper states — as a claim, with the proof deferred to a companion publication 'II. Algebraic structures and partition function' (announced as 'to be published, 2026' and not yet available) — that these weights satisfy the vertex-type Zamolodchikov tetrahedron equation (2.22) and its IRC counterpart, and that the vertex and IRC formulations are equivalent via a 3D extension of Baxter's 'propagation through the vertex' technique. For the Faddeev case it presents exact results for the partition function per site in the infinite-lattice limit, expressed through the Lobachevsky function Λ(β)=−∫0βlog⁡(2sin⁡x) dx\Lambda(\beta)=-\int_0^\beta\log(2\sin x)\,\mathrm{d}x and four angles β0,…,β3\beta_0,\dots,\beta_3 determined by the angles and side lengths of a spherical triangle. Finally, it observes that the quasi-classical (low-temperature) limit b→0\mathsf{b}\to0 should be connected to the classical theory of circular quadrilateral lattices in 3D — lattices whose faces are planar quadrilaterals inscribed in circles — whose angle variables carry an ultra-local Poisson bracket (a Poisson structure in which each bracket involves only variables attached to a single lattice site), and whose quantization was shown by Bazhanov, Mangazeev and Sergeev (2008) to yield tetrahedron-equation solutions; this connection is likewise deferred to future work.

Problem Statement

Complete the mathematical foundations of the quantum-dilogarithm construction of integrable three-dimensional lattice models of Bazhanov–Kashaev–Mangazeev–Sergeev, in three jointly supporting parts that serve one objective — a rigorous, conceptually explained, and geometrically grounded foundation for this new class of exactly solved 3D models.

(1) Rigorous integrability. Give a complete, self-contained proof that the universal vertex weights (2.19) and the interaction-round-a-cube weights (2.28) of arXiv:2512.23338 satisfy the Zamolodchikov tetrahedron equation — the vertex form (2.22) and the IRC form — for an arbitrary quantum dilogarithm φ\varphi obeying the inversion identity (2.11) and the pentagon identity (2.12) on a self-dual Pontryagin group S\mathcal{S}, covering all three realizations (Faddeev, Andersen–Kashaev, Woronowicz); and derive the equivalence of the vertex and IRC formulations (the three-dimensional 'propagation through the vertex' construction), together with the symmetry and factorization properties underlying the exact partition-function-per-site formulae (4.8) and (4.15).

(2) Structural characterization. Identify the algebraic structure that explains why the two local identities (inversion and pentagon) imply the six-operator tetrahedron relation, making explicit the mechanism by which the pentagon identity yields three-dimensional integrability — the underlying algebraic structure of the tetrahedron equation that the source paper itself notes 'still appears to be not entirely understood'.

(3) Quasi-classical geometry. Derive the b→0\mathsf{b}\to0 (low-temperature) limit of the Faddeev-dilogarithm models: identify the classical variables, connect the limit to the theory of circular quadrilateral lattices in 3D (including the ultra-local Poisson-bracket structure of the 2008 quantum-geometry theory), and derive the integrable discrete equations governing the limiting lattice geometry together with their geometric consequences.

Deliverables (1)–(3) jointly support one objective: (1) certifies the claimed integrability, (2) explains its algebraic origin, and (3) supplies its classical limit and physical interpretation. The source paper states the tetrahedron-equation proof and these derivations as claims deferred to an unpublished companion; the problem is open in the public literature at present. Each of the three parts is mandatory for a complete solution and each is independent: a proper subset of them constitutes partial progress rather than a complete solution. The clauses within (1) and (3) are likewise separately checkable: within (1), the vertex-form equation (2.22), the IRC form, the vertex–IRC equivalence, and the symmetry and factorization properties behind (4.8) and (4.15) are independent obligations, so a proof of (2.22) alone does not establish the IRC form; within (3), the identification of the classical variables, the connection to circular quadrilateral lattices (including the 2008 ultra-local Poisson-bracket structure), the discrete integrable equations, and their geometric consequences are independent. Part (2) is not subsumed by (1): it requires the structural explanation of why the inversion and pentagon identities suffice for the six-operator relation, beyond the proof itself.

References

  1. 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 (v1 Dec 2025, v2 19 Jun 2026), DOI 10.48550/arXiv.2512.23338, https://arxiv.org/abs/2512.23338
  2. A. B. Zamolodchikov, 'Tetrahedron Equations and the Relativistic S Matrix of Straight Strings in (2+1)-dimensions', Commun. Math. Phys. 79 (1981) 489–505, DOI 10.1007/BF01209309, https://inspirehep.net/literature/170885
  3. R. J. Baxter, 'On Zamolodchikov's solution of the tetrahedron equations', Commun. Math. Phys. 88 (1983) 185–205, DOI 10.1007/BF01209476, https://inspirehep.net/literature/192388
  4. V. V. Bazhanov, R. J. Baxter, 'New solvable lattice models in three-dimensions', J. Statist. Phys. 69 (1992) 453–585, DOI 10.1007/BF01050423, https://inspirehep.net/literature/332895
  5. V. V. Bazhanov, R. J. Baxter, 'Star triangle relation for a three-dimensional model', J. Statist. Phys. 71 (1993) 839–864, DOI 10.1007/BF01049952, https://inspirehep.net/literature/341562
  6. L. D. Faddeev, R. M. Kashaev, 'Quantum Dilogarithm', Mod. Phys. Lett. A 9 (1994) 427–434, DOI 10.1142/S0217732394000447, https://inspirehep.net/literature/359109
  7. Vladimir V. Bazhanov, Sergey M. Sergeev, 'Zamolodchikov's Tetrahedron Equation and Hidden Structure of Quantum Groups', J. Phys. A 39 (2006) 3295–3310, arXiv:hep-th/0509181, DOI 10.1088/0305-4470/39/13/009, https://arxiv.org/abs/hep-th/0509181
  8. Vladimir V. Bazhanov, Vladimir V. Mangazeev, Sergey M. Sergeev, 'Quantum geometry of 3-dimensional lattices', J. Stat. Mech. 0807 (2008) P07004, arXiv:0801.0129, DOI 10.1088/1742-5468/2008/07/P07004, https://arxiv.org/abs/0801.0129
  9. Vladimir V. Mangazeev, Vladimir V. Bazhanov, Sergey M. Sergeev, 'An integrable 3D lattice model with positive Boltzmann weights', J. Phys. A 46 (2013) 465206, arXiv:1308.4773, DOI 10.1088/1751-8113/46/46/465206, https://arxiv.org/abs/1308.4773
  10. Atsuo Kuniba, Masato Okado, Sergey Sergeev, 'Tetrahedron Equation and Quantum R Matrices for Modular Double of U_q(D^{(2)}{n+1}), U_q(A^{(2)}{2n}) and U_q(C^{(1)}_n)', Lett. Math. Phys. 105 (2015) 447–461, arXiv:1409.1986, DOI 10.1007/s11005-015-0747-0, https://arxiv.org/abs/1409.1986
  11. Rei Inoue, Atsuo Kuniba, Yuji Terashima, 'Tetrahedron equation and quantum cluster algebras', J. Phys. A 57 (2024) 085202, arXiv:2310.14529, DOI 10.1088/1751-8121/ad2224, https://arxiv.org/abs/2310.14529
  12. Pramod Padmanabhan, Vivek Kumar Singh, Vladimir Korepin, 'Clifford Solver for the Tetrahedron Equation and its Variants', Bulg. J. Phys. 52 (2025) s1, 126–131, arXiv:2510.23944, https://arxiv.org/abs/2510.23944
  13. Sergey Sergeev, 'On spectral equations for an evolution operator of a q-oscillator lattice', arXiv:2512.24043 (2025), https://arxiv.org/abs/2512.24043
  14. Myungbo Shim, Xiaoyue Sun, Hao Ellery Wang, Junya Yagi, 'Solving the tetrahedron equation by Teichmüller TQFT', JHEP 06 (2026) 141, arXiv:2602.22060, DOI 10.1007/JHEP06(2026)141, https://arxiv.org/abs/2602.22060
  15. Junya Yagi, 'State integral models and the tetrahedron equation', J. Phys. A 59 (2026) 285203, arXiv:2603.09230, DOI 10.1088/1751-8121/ae848f, https://arxiv.org/abs/2603.09230
  16. 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