Completing the exact-solvability program for the quantum-dilogarithm integrable 3D lattice models of Bazhanov, Kashaev, Mangazeev and Sergeev

In December 2025 Bazhanov, Kashaev, Mangazeev and Sergeev announced a new class of integrable three-dimensional lattice models whose local Boltzmann weights are built from a quantum dilogarithm — a function on a Pontryagin self-dual locally compact Abelian group satisfying only an inversion relation and the five-term (pentagon) identity. They stated that the resulting R-matrices solve the vertex-type and interaction-round-a-cube forms of the Zamolodchikov tetrahedron equation, that the two formulations are exactly equivalent, that the partition function per site of the Faddeev-dilogarithm models is given by explicit Lobachevsky-function formulas, and that the quasi-classical limit $b\to 0$ connects to circular quadrilateral lattices in 3D — but deferred all proofs and derivations to a companion publication that, as of August 2026, has not appeared. The open problem is to establish these announced results: prove the tetrahedron equation from the inversion and pentagon identities alone, prove the vertex–IRC equivalence, derive the exact partition-function formulas, and work out the quasi-classical geometry, thereby converting the announced exact solvability of this class of 3D models into complete, independently verifiable mathematics. No published work proves or refutes any of these claims.

Background

An exactly solved lattice model in statistical mechanics is one whose free energy — the logarithm of the partition function, the sum of Boltzmann weights over all spin configurations, divided by the number of lattice sites — can be computed exactly in the thermodynamic limit of an infinitely large lattice. The standard route to exact solvability passes through an infinite family of commuting transfer matrices. In two dimensions their commutativity is encoded by the Yang–Baxter equation, a functional equation for the local Boltzmann weights whose solutions are organized algebraically by quantum groups (quantized enveloping algebras of Lie algebras). In three dimensions the corresponding condition is the Zamolodchikov tetrahedron equation: the local weight is attached to a vertex where three edges carrying 'spin' variables meet, and consistency of the interaction across an elementary cube requires an operator $\mathbf{R}$ acting on the tensor product of three spin spaces to satisfy $\mathbf{R}_{123}\mathbf{R}_{145}\mathbf{R}_{246}\mathbf{R}_{356}=\mathbf{R}_{356}\mathbf{R}_{246}\mathbf{R}_{145}\mathbf{R}_{123}$ in the tensor product of six spaces, with six independent spectral parameters. The equation was introduced by A. B. Zamolodchikov (1981) in the study of factorized scattering; its first nontrivial solution was found by Zamolodchikov and proven by Baxter (1983). Every solution yields commuting layer-to-layer transfer matrices for a 3D model and, reading the third lattice direction as an internal degree of freedom, an infinite sequence of two-dimensional solvable models of growing 'hidden' dimension.

Despite four decades of work, the tetrahedron equation has no algebraic theory comparable to quantum groups for the Yang–Baxter equation. The source paper states plainly that the underlying algebraic structure of the tetrahedron equation 'still appears to be not entirely understood', and several partially overlapping frameworks are being explored: the hidden quantum-group structure of 2D models (Bazhanov–Sergeev 2006), quantum cluster algebras (Sun–Yagi 2022; Inoue–Kuniba–Terashima 2024; Inoue–Kuniba–Sun–Terashima–Yagi 2024), and state-integral and Teichmüller topological-quantum-field-theory (TQFT) constructions (Shim–Sun–Wang–Yagi 2026; Yagi 2026). Known solutions remain sparse and unclassified.

The central special function here is the quantum dilogarithm. Faddeev's modular quantum dilogarithm $\Phi_b(x)$ is a meromorphic function of a real variable $x$ depending on a modular parameter $b$, characterized by an inversion relation $\Phi_b(x)\Phi_b(-x)=1$ and the five-term (pentagon) identity, a remarkable functional relation that also appears, up to parametrization, as the 'restricted star-triangle relation' which had earlier served as the integrability condition of the Zamolodchikov–Bazhanov–Baxter 3D model. Bazhanov–Kashaev–Mangazeev–Sergeev (arXiv:2512.23338) proceed axiomatically: they take a spin set $\mathcal{S}$ that is a Pontryagin self-dual locally compact Abelian (LCA) group — a topological Abelian group canonically isomorphic to its own character group, so that the Fourier transform maps $\mathcal{S}$ to itself; examples are the real line $\mathbb{R}$, the product $\mathbb{T}\times\mathbb{Z}$ of the unit circle with the integers, and $\mathbb{R}\times\mathbb{Z}_N$ with $\mathbb{Z}_N$ the integers modulo $N$ — together with the Fourier kernel $\mathsf{f}(x,y)$, the Gaussian exponent $\mathsf{G}(x)$, and a 'quantum dilogarithm' $\varphi(x)$ required to satisfy only the inversion relation $\varphi(x)\varphi(-x)=\varphi(0)^2\mathsf{G}(x)$ and the five-term identity. Three concrete dilogarithms (associated with Faddeev, Andersen–Kashaev, and Woronowicz) realize the three spin sets above.

Their construction places edge spins on a cubic lattice with vertex Boltzmann weights given by an R-matrix — eq. (2.19) of the source, a delta-function-constrained ratio of products of $\varphi$, its Fourier transforms, and $\mathsf{f}$-factors, depending on three spectral parameters $\lambda_1,\lambda_2,\lambda_3$ (simplified to eq. (2.23) for Fourier self-dual dilogarithms). The paper states ('we claim') that this R-matrix satisfies the vertex tetrahedron equation (2.22), the proof being deferred to a companion paper, 'Quantum dilogarithms and new integrable lattice models in three dimensions. II. Algebraic structures and partition function', announced as 'to be published, 2026' and not yet public as of August 2026. The same models admit an equivalent interaction-round-a-cube (IRC) form, with spins on lattice sites and weights attached to the eight corner spins of each elementary cube; the IRC weights (2.28) are expressed through a bilateral hypergeometric integral (2.29). The IRC-form tetrahedron equation (2.31) and the exact equivalence of the vertex and IRC formulations — equality of partition functions at finite lattice size under periodic boundary conditions, for which a three-dimensional extension of Baxter's 'propagation through the vertex' technique is announced as the intended means — are likewise deferred to the companion. For the Faddeev-dilogarithm models the paper announces the partition function per site $z_\infty=\lim_{M\to\infty}Z^{1/M^3}$ in the closed form (4.8), a Lobachevsky-function formula in which the spectral parameters are encoded through the angles of a spherical triangle, with the symmetric-point special value $z_\infty=\exp(8\eta^2 G/\pi)$ where $G$ is the Catalan constant and $\eta=\mathrm{i}(b+b^{-1})/2$; for the model with external fields the announced value is (4.15). Finally, the quasi-classical (low-temperature) limit $b\to 0$ is announced to be related to circular quadrilateral lattices in 3D — lattices whose elementary faces are planar quadrilaterals inscribable into a circle, a classical object of integrable discrete geometry. None of these announcements is accompanied by published proofs.

Problem Statement

Establish, with complete proofs and derivations, the announced exact-solvability results of Bazhanov–Kashaev–Mangazeev–Sergeev (arXiv:2512.23338) for 3D lattice models whose local Boltzmann weights are built from a quantum dilogarithm $\varphi$ on a Pontryagin self-dual locally compact Abelian group $\mathcal{S}$ — a function satisfying the inversion relation (2.11) and the five-term (pentagon) identity (2.12), together with the Fourier kernel $\mathsf{f}(x,y)$ and Gaussian exponent $\mathsf{G}(x)$; equation and formula numbers below refer to the source paper arXiv:2512.23338. Specifically:

(1) Prove that the vertex R-matrix with matrix elements (2.19) — and its simplified form (2.23) for Fourier self-dual dilogarithms — satisfies the vertex-type Zamolodchikov tetrahedron equation (2.22) for all values of the six spectral parameters, using only the inversion relation and the pentagon identity, for a general spin set $\mathcal{S}$ as above.

(2) Prove that the interaction-round-a-cube weights (2.28), expressed through the bilateral hypergeometric integral (2.29) — an integral over $\mathcal{S}$ defining a ${}_2F_2$-type hypergeometric function — satisfy the IRC-form tetrahedron equation (2.31), and prove the exact equivalence of the vertex and IRC formulations — equality of the two partition functions at finite lattice size under periodic boundary conditions. The source announces a three-dimensional extension of Baxter's 'propagation through the vertex' transformation as the intended means; any rigorous derivation of this equality resolves the component.

(3) Derive the exact partition function per site $z_\infty=\lim_{M\to\infty}Z^{1/M^3}$ of the models associated with the Faddeev modular quantum dilogarithm on $\mathcal{S}=\mathbb{R}$, in the source's modular-parameter regime (4.1) — $\Im m\, b=0$ or $|b|=1$, with $\Re e\, b>0$, so that $\varphi(x)$ is unimodular for real $x$ — showing that, in the angle parameterization of the spectral parameters through the angles $\beta_0,\ldots,\beta_3$ of a spherical triangle, all angles being real and in $(0,\pi)$ as in the source, the vertex model gives

$$\log z_\infty^{\rm vert}=\frac{4\eta^2}{\pi}\sum_{j=0}^3\left(\Lambda(\beta_j)+\left(\beta_j-\frac{\pi}{4}\right)\log(2\sin\beta_j)\right),\qquad \eta=\mathrm{i}(b+b^{-1})/2,$$

with $\Lambda(\beta)=-\int_0^\beta\log(2\sin x)\,\mathrm{d}x$ the Lobachevsky function, that the IRC model gives the same value, and that the model with external fields $\phi_1,\phi_2,\phi_3$ — for which the $\beta_j$ are defined through the fields via the linear angles $a_i=2\pi\phi_i/\eta$ of (4.16) — gives $z_\infty^{\rm field}=\exp\left(\frac{4\eta^2}{\pi}\sum_{j=0}^3\Lambda(\beta_j)\right)$; the symmetric-point special value $z_\infty=\exp(8\eta^2 G/\pi)$, with $G$ the Catalan constant, must emerge as a check.

(4) Develop the quasi-classical (low-temperature) limit $b\to 0$ of these models. The source's conclusion announces that this limit 'is related to the problem of constructing of circular quadraliteral lattices in 3D space' — lattices whose elementary faces are planar quadrilaterals inscribable into a circle — and defers the discussion to the companion paper, without specifying which discrete equations emerge. This component is resolved by formulating the announced relation precisely and then either proving it or rigorously refuting it; determining the classical integrable structure that emerges from the $b\to 0$ asymptotics of the models constitutes partial progress toward this end but does not by itself resolve the component.

All four components serve a single objective: converting the announced exact solvability of this new class of three-dimensional models into complete, independently verifiable mathematics, and thereby substantiating the proposal that the pentagon identity of the quantum dilogarithm is the primary integrability condition in three dimensions. A positive resolution requires all four components (1)–(4) to be established. The announced exact-solvability program is the conjunction of the claims proven in (1)–(4), so a refutation of any single one of these announced claims resolves the problem negatively on its own: a concrete parameter set for which the R-matrix (2.19) fails the tetrahedron equation (2.22) refutes the claim of component (1); a counterexample to the IRC-form tetrahedron equation (2.31) or to the vertex–IRC equivalence refutes the claims of component (2); a demonstrably different partition-function-per-site value for the vertex, IRC, or external-field model refutes the claim of component (3); and a rigorous demonstration that the announced quasi-classical relation fails, once that relation is formulated precisely, refutes the claim of component (4).

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 2025, v2 19 June 2026), DOI 10.48550/arXiv.2512.23338, https://arxiv.org/abs/2512.23338 (primary source)
2. 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
3. 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
4. Vladimir V. Bazhanov, Sergey M. Sergeev, "Zamolodchikov's Tetrahedron Equation and Hidden Structure of Quantum Groups", Journal of Physics A 39 (2006) 3295–3310, arXiv:hep-th/0509181, DOI 10.1088/0305-4470/39/13/009, https://arxiv.org/abs/hep-th/0509181
5. Xiaoyue Sun, Junya Yagi, "Cluster transformations, the tetrahedron equation, and three-dimensional gauge theories", Advances in Theoretical and Mathematical Physics 27 (2023) 1065–1106, arXiv:2211.10702, DOI 10.4310/ATMP.2023.v27.n4.a2, https://arxiv.org/abs/2211.10702
6. Rei Inoue, Atsuo Kuniba, Yuji Terashima, "Tetrahedron equation and quantum cluster algebras", Journal of Physics A 57 (2024) 085202, arXiv:2310.14529, DOI 10.1088/1751-8121/ad2224, https://arxiv.org/abs/2310.14529
7. Rei Inoue, Atsuo Kuniba, Xiaoyue Sun, Yuji Terashima, Junya Yagi, "Solutions of Tetrahedron Equation from Quantum Cluster Algebra Associated with Symmetric Butterfly Quiver", Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 20 (2024) 113, arXiv:2403.08814, DOI 10.3842/SIGMA.2024.113, https://arxiv.org/abs/2403.08814
8. Myungbo Shim, Xiaoyue Sun, Hao Ellery Wang, Junya Yagi, "Solving the tetrahedron equation by Teichmüller TQFT", arXiv:2602.22060 (2026), https://arxiv.org/abs/2602.22060
9. Junya Yagi, "State integral models and the tetrahedron equation", Journal of Physics A: Mathematical and Theoretical 59 (2026) 285203, arXiv:2603.09230, DOI 10.1088/1751-8121/ae848f, https://arxiv.org/abs/2603.09230
10. 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
11. Sergey Sergeev, "On spectral equations for an evolution operator of a q-oscillator lattice", arXiv:2512.24043 (2025), https://arxiv.org/abs/2512.24043