Sufficiency of the difference and inversion relations for the operator Faddeev equation in the simple Weyl algebra

The Faddeev equation is a representation-independent operator form of the star-triangle (Yang-Baxter) relation underlying two-dimensional exactly solvable lattice models. In the 2024 preprint "On Faddeev's Equation", S. Sergeev used it to rederive the star-triangle solution of the Bazhanov-Sergeev Ising-type model (the "distant descendant of the six-vertex model") from the simple Weyl algebra with $|q|<1$ — a setting previously avoided because this algebra has a large center, so its defining functional difference relations cannot by themselves imply the operator equation. The paper conjectures that adding the inversion relations makes the conditions sufficient, and verifies the resulting operator identity only numerically. The problem: prove or refute this sufficiency conjecture within a precise operator-algebraic framework (including the half-integer structure required by the inversion relations), and replace the numerical verification of the specific operator identity with a complete analytic proof, clarifying the role of central factors. The companion paper on the Functional Bethe Ansatz (the method of quantum separation of variables for diagonalizing transfer matrices) treats the spectral program, which is outside this problem; the part left open here is the operator-level foundation.

Background

Two-dimensional exactly solvable lattice models of statistical mechanics are built from local Boltzmann weights satisfying the star-triangle relation, a form of the Yang-Baxter equation; it guarantees that the row-to-row transfer matrices of the model commute for all values of the spectral parameter, which is the algebraic source of exact solvability. For a broad class of solutions — the chiral Potts model, the $\mathbb{Z}_N$ Fateev-Zamolodchikov model, Zamolodchikov's fishing-net model, and the Faddeev-Volkov model, all classical exactly solvable lattice spin models — the weights depend on the difference of neighboring "spin" variables, and the star-triangle equation can be rewritten in a representation-independent operator form called the Faddeev equation, introduced by Faddeev and Volkov in their study of the Hirota equation (a discrete bilinear integrable difference equation) as an integrable symplectic map.

In this framework one works in the Weyl algebra with two generators $\boldsymbol{u}$, $\boldsymbol{w}$ obeying $\boldsymbol{u}\boldsymbol{w}=q^2\boldsymbol{w}\boldsymbol{u}$ (a q-deformed Heisenberg pair, with fixed parameter $|q|<1$). The desired star-triangle solution is encoded in operator-valued functions $\bar{\mathtt{r}}_\lambda(\boldsymbol{u})$ and $\mathtt{r}_\lambda(\boldsymbol{w})$ of the algebra generators, with an auxiliary spectral parameter $\lambda$ (the complex variable on which the weights depend), subject to functional difference relations

$$\frac{\bar{\mathtt{r}}_\lambda(q^2\boldsymbol{u})}{\bar{\mathtt{r}}_\lambda(\boldsymbol{u})}=\frac{\lambda+\boldsymbol{u}}{1+\lambda\boldsymbol{u}},\qquad \frac{\mathtt{r}_\lambda(q^2\boldsymbol{w})}{\mathtt{r}_\lambda(\boldsymbol{w})}=\frac{\lambda+\boldsymbol{w}}{1+\lambda\boldsymbol{w}},$$

and inversion relations $\bar{\mathtt{r}}_\lambda(\boldsymbol{u})\bar{\mathtt{r}}_{1/\lambda}(\boldsymbol{u})=1$ and $\mathtt{r}_{1/\lambda}(\boldsymbol{w})\mathtt{r}_\lambda(\boldsymbol{w})=1$. The goal is the operator Faddeev equation

$$\bar{\mathtt{r}}_\lambda(\boldsymbol{u})\,\mathtt{r}_{\lambda\mu}(\boldsymbol{w})\,\bar{\mathtt{r}}_\mu(\boldsymbol{u})\;=\;\mathtt{r}_\mu(\boldsymbol{w})\,\bar{\mathtt{r}}_{\lambda\mu}(\boldsymbol{u})\,\mathtt{r}_\lambda(\boldsymbol{w}),$$

whose matrix elements are equivalent (after a minor renormalization) to the star-triangle relation for the model's weights — infinite q-Pochhammer products, $(a;Q)_\infty=\prod_{k\geq 0}(1-aQ^k)$, such as $V_\lambda(n)=(-q/\lambda)^{n/2}(q^{2+n}\lambda^{-1};q^2)_\infty/(q^{n}\lambda;q^2)_\infty$ — of the Bazhanov-Sergeev Ising-type model with integer-valued spins.

All previously known solutions of Faddeev-equation type are based on the modular double of the Weyl algebra (a doubling of the algebra in which $q$ and a modular-dual base act symmetrically, leaving only a small center) and its cyclic representations. The source showed that the method also works for the simple Weyl algebra, where, however, any operator with $C(q^2\boldsymbol{u})=C(\boldsymbol{u})$ or $C(q^2\boldsymbol{w})=C(\boldsymbol{w})$ lies in the center, so a solution of the difference relations is determined only up to central multipliers and the difference relations alone cannot imply the operator identity. To make the second inversion relation hold, one must moreover extend the algebra by a square root $\boldsymbol{v}$ of $\boldsymbol{w}$, so that matrix elements are labeled by the half-lattice $\mathbb{Z}/2$ and the weights are evaluated at half-integer arguments — the "odd-even" subtlety known from the chiral Potts model. The source states the sufficiency of the difference-plus-inversion conditions as a conjecture, and verifies the operator equation for its explicit solution only numerically ("Statement 3.1"), while noting that the integral form of the star-triangle identity was derived by Garoufalidis and Kashaev (as the "constant beta pentagon equation") and that the integer-label star-triangle relation of the underlying model follows from it. A companion paper applied Sklyanin's Functional Bethe Ansatz (the method of quantum separation of variables for transfer matrices) to this same model, constructing the separated eigenbasis, the Baxter $TQ$ equation (the finite-difference equation relating the transfer matrix $T$ to an auxiliary operator $Q$ that determines the spectrum), the thermodynamic-limit partition function, and a classification of the elementary excitations. The operator-level argument is missing: the sufficiency conjecture has not been proved, and the analytic proof of the specific operator identity has not been given.

Problem Statement

Within a precise operator-algebraic framework for the simple Weyl algebra $\boldsymbol{u}\boldsymbol{w}=q^2\boldsymbol{w}\boldsymbol{u}$ with $|q|<1$ — fixing the representation, the domains and convergence of the q-product operator functions, and the $\mathbb{Z}/2$-graded extension $\boldsymbol{v}^2=\boldsymbol{w}$ required by the inversion relations — resolve the following two linked questions concerning the operator-level foundation of the Faddeev-equation construction of the quantum star-triangle solution in arXiv:2404.00499.

(1) Sufficiency conjecture. Prove, or refute by an explicit counterexample, that operator-valued functions $\bar{\mathtt{r}}_\lambda(\boldsymbol{u})$, $\mathtt{r}_\lambda(\boldsymbol{w})$ satisfying the functional difference relations

$$\frac{\bar{\mathtt{r}}_\lambda(q^2\boldsymbol{u})}{\bar{\mathtt{r}}_\lambda(\boldsymbol{u})}=\frac{\lambda+\boldsymbol{u}}{1+\lambda\boldsymbol{u}},\qquad \frac{\mathtt{r}_\lambda(q^2\boldsymbol{w})}{\mathtt{r}_\lambda(\boldsymbol{w})}=\frac{\lambda+\boldsymbol{w}}{1+\lambda\boldsymbol{w}}$$

together with the inversion relations $\bar{\mathtt{r}}_\lambda(\boldsymbol{u})\bar{\mathtt{r}}_{1/\lambda}(\boldsymbol{u})=1$, $\mathtt{r}_{1/\lambda}(\boldsymbol{w})\mathtt{r}_\lambda(\boldsymbol{w})=1$ necessarily satisfy the operator Faddeev equation up to central factors

$$\bar{\mathtt{r}}_\lambda(\boldsymbol{u})\,\mathtt{r}_{\lambda\mu}(\boldsymbol{w})\,\bar{\mathtt{r}}_\mu(\boldsymbol{u})=\mathtt{r}_\mu(\boldsymbol{w})\,\bar{\mathtt{r}}_{\lambda\mu}(\boldsymbol{u})\,\mathtt{r}_\lambda(\boldsymbol{w}).$$

Satisfying the Faddeev equation up to central factors means that for every solution of the relations the two sides of the equation agree up to a central multiplier of the algebra, and that after fixing the central-multiplier freedom left free by the difference and inversion relations the two sides agree exactly. A refutation is an explicit solution of the relations whose two sides differ by a factor that is not central, or by a central factor that no admissible fixing of that freedom removes; such a counterexample replaces the sufficiency claim by the corrected statement and thereby resolves (1). A complete proof of (1), applied to the source's explicit solution — which satisfies the difference and inversion relations — already yields the operator identity requested in (2) for that solution, so proving (1) discharges (2); when (1) is refuted or left unresolved, (2) stands on its own and must then be proved for the source's explicit solution directly, with its half-integer matrix elements and the central-factor bookkeeping exhibited.

(2) Analytic proof of the specific identity. Give a complete analytic (non-numerical) proof of Statement 3.1 of the source: the operator Faddeev equation with the explicit q-Pochhammer solution of the source (the functions $\bar{\mathtt{r}}_\lambda$ defined by the half-lattice solution of the difference relations and $\mathtt{r}_\lambda$ defined by the generalized Rogers-Ramanujan sum, i.e. the bilateral q-series of the source's eq. (3.7) that the source evaluates in closed form) is satisfied in matrix elements with the half-integer labeling of the $\mathbb{Z}/2$ structure, and as an operator identity — removing the reliance on numerical tests and clarifying the role of the center of the simple Weyl algebra.

Both deliverables serve one common objective: a rigorous operator-level foundation for the Faddeev-equation route to the quantum star-triangle equation in the simple Weyl algebra. The continuum/critical limits of the model (to the fishing-net model as $-q\to 1$ and to the $\mathbb{Z}_N$ Fateev-Zamolodchikov models as $q^N\to 1$) and the Functional Bethe Ansatz spectral program are not part of this problem: the latter has been carried out in the companion paper arXiv:2404.00503, and the former remains a separate open direction.

References

1. Sergey Sergeev, "On Faddeev's Equation", arXiv:2404.00499 (2024), https://arxiv.org/abs/2404.00499
2. V. V. Bazhanov and S. M. Sergeev, "A distant descendant of the six-vertex model", Nucl. Phys. B 1004 (2024) 116558, arXiv:2310.08427, DOI 10.1016/j.nuclphysb.2024.116558, https://arxiv.org/abs/2310.08427
3. Sergey Sergeev, "Functional Bethe Ansatz for a sinh-Gordon Model with Real q", Symmetry 16 (2024) 947, arXiv:2404.00503, DOI 10.3390/sym16080947, https://arxiv.org/abs/2404.00503
4. Stavros Garoufalidis and Rinat Kashaev, "A meromorphic extension of the 3D index", Research in the Mathematical Sciences 6 (2019) 8, DOI 10.1007/s40687-018-0166-9, https://doi.org/10.1007/s40687-018-0166-9
5. L. D. Faddeev and A. Yu. Volkov, "Hirota equation as an example of an integrable symplectic map", Lett. Math. Phys. 32 (1994) 125-135, DOI 10.1007/BF00739422, https://doi.org/10.1007/BF00739422
6. A. B. Zamolodchikov, "'Fishing-net' diagrams as a completely integrable system", Phys. Lett. B 97 (1980) 63-66, DOI 10.1016/0370-2693(80)90547-X, https://doi.org/10.1016/0370-2693(80)90547-X
7. V. A. Fateev and A. B. Zamolodchikov, "Self-dual solutions of the star-triangle relations in ZN-models", Phys. Lett. A 92 (1982) 37-39, DOI 10.1016/0375-9601(82)90736-8, https://doi.org/10.1016/0375-9601(82)90736-8
8. E. K. Sklyanin, "Functional Bethe Ansatz", in Integrable and Superintegrable Systems (World Scientific, Singapore, 1990) pp. 8-33, DOI 10.1142/9789812797179_0002, https://doi.org/10.1142/9789812797179_0002
9. Sergey Sergeev, "On algebraic structures underlying the rational Kashiwara-Miwa-type models", arXiv:2508.12537 (2025), https://arxiv.org/abs/2508.12537
10. Sergey Sergeev, "'Pentagonal Algebra' and Four-Simplex Equation", arXiv:2407.05299 (2024), https://arxiv.org/abs/2407.05299
11. V. V. Bazhanov, R. M. Kashaev, V. V. Mangazeev and S. M. Sergeev, "Quantum Dilogarithms and New Integrable Lattice Models in Three Dimensions", arXiv:2512.23338 (2025), https://arxiv.org/abs/2512.23338
12. Arash Pourkia, "Novel unitary and entangling solutions to the parameter-dependent Yang-Baxter equation in all dimensions", Quantum Information Processing 25 (2026) 25, DOI 10.1007/s11128-025-05039-3, https://doi.org/10.1007/s11128-025-05039-3