Prove the conjectured inhomogeneous transfer-matrix eigenvalue of the supersymmetric eight-vertex model on a strip (Hagendorf–Liénardy Conjecture 5.1)

The square-lattice eight-vertex model on the supersymmetric line $(a^2+ab)(b^2+ab)=(c^2+ab)(d^2+ab)$, realized at crossing parameter $\eta=\pi/3$, admits a lattice-supersymmetry description through the associated open XYZ spin chain. Hagendorf and Liénardy proved that, with Sklyanin boundary K-matrices specialized to the supersymmetric point $t=\pi/6$, the homogeneous transfer matrix of a strip with $L$ vertical lines has the simple non-degenerate eigenvalue $\Lambda_L=(a+b)^{2L}\,\mathrm{tr}(K^+K^-)$, which is the largest eigenvalue for positive vertex weights, and they conjectured an explicit inhomogeneous extension: $\Lambda_L(u|u_1,\dots,u_L)=\mathrm{tr}(K^+(u)K^-(u))\prod_j\bigl(a(u+u_j)+b(u+u_j)\bigr)\bigl(a(u-u_j)+b(u-u_j)\bigr)$. The homogeneous elliptic case is proved by supersymmetry methods, and the trigonometric limit $p\to0$ was proved in 2020 through contour-integral solutions of the boundary quantum Knizhnik–Zamolodchikov equations; however, the conjecture in the full elliptic regime $0<p<1$ remains unproven, as does the characterization of the corresponding eigenspace. The problem asks for a proof (or refutation) of this conjectured eigenvalue for genuinely elliptic nomes and arbitrary inhomogeneities; its resolution is the gateway to rigorous eigenvector and sum-rule results for the inhomogeneous supersymmetric eight-vertex model with open boundaries.

Background

The square-lattice eight-vertex model of Baxter assigns Boltzmann weights $a,b,c,d$ to the eight ice-rule arrow configurations at a vertex (two arrows in, two out). Its transfer matrix is built from the $2\times2$ R-matrix $R(u)$ satisfying the Yang–Baxter equation, and a convenient parameterization of the weights uses Jacobi theta functions $\vartheta_j(u,p)$ with elliptic nome $p$: writing $u$ for the spectral parameter and $\eta$ for the crossing parameter,

$$a(u)=\rho\,\vartheta_4(2\eta,p^2)\vartheta_4(u,p^2)\vartheta_1(u+2\eta,p^2),\quad b(u)=\rho\,\vartheta_4(2\eta,p^2)\vartheta_1(u,p^2)\vartheta_4(u+2\eta,p^2),$$ $$c(u)=\rho\,\vartheta_1(2\eta,p^2)\vartheta_4(u,p^2)\vartheta_4(u+2\eta,p^2),\quad d(u)=\rho\,\vartheta_1(2\eta,p^2)\vartheta_1(u,p^2)\vartheta_1(u+2\eta,p^2).$$

The regime $0<p<1$ is the genuinely elliptic (genus-one) case; $p\to0$ is the trigonometric limit, in which the model reduces to the six-vertex model. For the model on a strip, i.e. with open boundary conditions in one lattice direction, Sklyanin's construction encodes integrable boundaries in two K-matrices solving the reflection equation, and the transfer matrix of a strip with $L$ vertical lines is the partial trace over an auxiliary space of R-matrices interleaved with $K^-(u)=K(u)$ and $K^+(u)=K(u+2\eta)$; transfer matrices with different spectral parameters commute. The most general suitable K-matrix is

$$K(u)=\mathbf{1}+\sum_{\alpha=1}^{3}\frac{\vartheta_1(u,p)}{\vartheta_{5-\alpha}(u,p)}\,\mu_\alpha\,\sigma^\alpha,$$

with Pauli matrices $\sigma^\alpha$ and three complex parameters $\mu_\alpha$. In the inhomogeneous model each vertical line $j$ carries a shift $u_j$, and the transfer matrix becomes $T(u|u_1,\dots,u_L)=\mathrm{tr}_0\,K_0^+(u)\,U_0\,K_0^-(u)\,\bar U_0$ with $U_0=R_{0L}(u+u_L)\cdots R_{01}(u+u_1)$ and $\bar U_0=R_{01}(u-u_1)\cdots R_{0L}(u-u_L)$.

The logarithmic derivative of the homogeneous transfer matrix at $u=0$ is the Hamiltonian of an open XYZ spin-$1/2$ chain with anisotropies $J_1=1+\zeta$, $J_2=1-\zeta$, $J_3=(\zeta^2-1)/2$ and boundary magnetic fields parametrized by a complex number $y$. The weights obey $(a^2+ab)(b^2+ab)=(c^2+ab)(d^2+ab)$ exactly when $\eta=\pi/3$, and this supersymmetric line is equivalent to lattice supersymmetry of the spin chain: there is a nilpotent supercharge $Q$ (with $Q^2=0$) such that $H_{XYZ}=\{Q,Q^\dagger\}$ up to a shift and rescaling. Supersymmetry singlets, the states annihilated by both $Q$ and $Q^\dagger$, are ground states; Hagendorf and Liénardy proved (Theorem 1.1 of the source paper) that they exist if and only if $\zeta(1+y^4)-(3-\zeta^2)y^2=0$, in which case their space is one-dimensional. In theta parameterization $\zeta=\bigl[\vartheta_1(2\pi/3,p^2)/\vartheta_4(2\pi/3,p^2)\bigr]^2$ and $y=\vartheta_1(t,p^2)/\vartheta_4(t,p^2)$, and the supersymmetry condition is the specialization $t=\pi/6$.

The periodic counterpart of this story began with Stroganov's 2001 conjecture that for an odd number $L=2n+1$ of vertical lines the periodic transfer matrix has a doubly degenerate eigenvalue $\Theta_n=(a+b)^{2n+1}$; this was proved by Hagendorf and Liénardy in 2018 using lattice supersymmetry. For the periodic inhomogeneous model, Razumov and Stroganov conjectured the eigenvalue $\Theta_n(u|u_1,\dots)=\prod_j r(u_j-u)$ with $r(u)=a(u)+b(u)$, and Zinn-Justin initiated a rigorous eigenvector analysis through a characterization conjecture for the eigenspace; both remain unproven in the elliptic regime, and Brasseur and Hagendorf derived periodic sum rules only conditionally on Zinn-Justin's conjecture.

For the strip, the source paper proved the homogeneous elliptic case: with $0<p<1$, $t=\pi/6$, $\eta=\pi/3$ and the K-matrix specialized through $\mu_1=\frac{\vartheta_4(\eta,p)}{\vartheta_1(\eta,p)}\frac{2\,\mathrm{Re}\,y}{1+|y|^2}$, $\mu_2=\frac{\vartheta_3(\eta,p)}{\vartheta_1(\eta,p)}\frac{2\,\mathrm{Im}\,y}{1+|y|^2}$, $\mu_3=\frac{\vartheta_2(\eta,p)}{\vartheta_1(\eta,p)}\frac{1-|y|^2}{1+|y|^2}$, the homogeneous transfer matrix has the non-degenerate eigenvalue $\Lambda_L=(a+b)^{2L}\,\mathrm{tr}(K^+K^-)$ whose eigenspace is the space of supersymmetry singlets (Theorem 1.2), and for positive vertex weights this is the largest eigenvalue by the Perron–Frobenius theorem (Theorem 1.3). The paper closes with the conjecture at issue here, the inhomogeneous generalization, supported by numerical diagonalization for small $L$ in the trigonometric limit and by compatibility with functional equations satisfied by the transfer matrix.

Two method families are traditionally used to analyze such spectra: the off-diagonal Bethe ansatz (Bethe-ansatz relations for transfer matrices with non-diagonal boundary terms, based on operator-valued functional equations) and the quantum separation of variables (representing the spectral problem through separated coordinates). The authors note that neither has produced an explicit finite-$L$ expression for the largest transfer-matrix eigenvalue on the supersymmetric line with open boundaries. In the trigonometric limit the problem connects to the boundary quantum Knizhnik–Zamolodchikov equations, functional equations satisfied by eigenvectors of the six-vertex reflection algebra, whose contour-integral solutions by Hagendorf and Liénardy proved the $p\to0$ case of the conjecture; no elliptic counterpart of that construction is known.

Problem Statement

Prove or refute the following conjecture (Conjecture 5.1 of Hagendorf–Liénardy, J. Stat. Mech. 2020 033104). Let the crossing parameter be $\eta=\pi/3$ and the elliptic nome be any $0<p<1$, with weights parameterized by Jacobi theta functions as in the background. Let

$$K(u)=\mathbf{1}+\sum_{\alpha=1}^{3}\frac{\vartheta_1(u,p)}{\vartheta_{5-\alpha}(u,p)}\,\mu_\alpha\,\sigma^\alpha$$

be the reflection-equation K-matrix with coefficients $\mu_1=\frac{\vartheta_4(\eta,p)}{\vartheta_1(\eta,p)}\frac{2\,\mathrm{Re}\,y}{1+|y|^2}$, $\mu_2=\frac{\vartheta_3(\eta,p)}{\vartheta_1(\eta,p)}\frac{2\,\mathrm{Im}\,y}{1+|y|^2}$, $\mu_3=\frac{\vartheta_2(\eta,p)}{\vartheta_1(\eta,p)}\frac{1-|y|^2}{1+|y|^2}$, specialized to the supersymmetric point $t=\pi/6$, i.e. $y=\vartheta_1(\pi/6,p^2)/\vartheta_4(\pi/6,p^2)$ with $\zeta=\bigl[\vartheta_1(2\pi/3,p^2)/\vartheta_4(2\pi/3,p^2)\bigr]^2$, so that $\zeta(1+y^4)-(3-\zeta^2)y^2=0$; set $K^-(u)=K(u)$ and $K^+(u)=K(u+2\eta)$. Then for every strip width $L\geq 1$ and all inhomogeneity parameters $u_1,\dots,u_L$ the inhomogeneous transfer matrix

$$T(u|u_1,\dots,u_L)=\mathrm{tr}_0\,K_0^+(u)\,U_0\,K_0^-(u)\,\bar U_0,$$

with $U_0=R_{0L}(u+u_L)\cdots R_{01}(u+u_1)$ and $\bar U_0=R_{01}(u-u_1)\cdots R_{0L}(u-u_L)$, possesses the eigenvalue

$$\Lambda_L(u|u_1,\dots,u_L)=\mathrm{tr}\bigl(K^+(u)K^-(u)\bigr)\prod_{j=1}^{L}\bigl(a(u+u_j)+b(u+u_j)\bigr)\bigl(a(u-u_j)+b(u-u_j)\bigr).$$

The open target is the genuinely elliptic regime $0<p<1$: the homogeneous case (Theorems 1.2–1.3 of the source) and the trigonometric limit $p\to0$ (Hagendorf–Liénardy 2021, via the boundary quantum Knizhnik–Zamolodchikov equations) are already proven, so a resolution must handle nonzero elliptic nomes together with arbitrary inhomogeneities. The source also notes, as a related open direction motivating the conjecture rather than as part of the conjecture itself, the characterization of the eigenspace belonging to $\Lambda_L$ for the inhomogeneous model, which would supply the ingredient required for the rigorous eigenvector and sum-rule programme; the target of this problem is the conjectured eigenvalue claim stated above. No method is prescribed: lattice supersymmetry, elliptic functional equations, off-diagonal Bethe ansatz, quantum separation of variables, and elliptic analogues of the boundary qKZ equations are all admissible. A refutation by an explicit finite instance, i.e. a choice of $L$, $p\in(0,1)$ and inhomogeneities for which the conjectured number is provably not in the spectrum of the finite matrix $T(u|u_1,\dots,u_L)$, would settle the conjecture in the negative.

References

1. C. Hagendorf and J. Liénardy, 'On the transfer matrix of the supersymmetric eight-vertex model. II. Open boundary conditions', J. Stat. Mech. (2020) 033104, DOI 10.1088/1742-5468/ab7748, arXiv:1911.03348, https://arxiv.org/abs/1911.03348
2. C. Hagendorf and J. Liénardy, 'On the transfer matrix of the supersymmetric eight-vertex model. I. Periodic boundary conditions', J. Stat. Mech. (2018) 033106, DOI 10.1088/1742-5468/aab01d, arXiv:1711.04397, https://arxiv.org/abs/1711.04397
3. S. Brasseur and C. Hagendorf, 'Sum rules for the supersymmetric eight-vertex model', J. Stat. Mech. (2021) 023102, DOI 10.1088/1742-5468/abda28, arXiv:2009.14077, https://arxiv.org/abs/2009.14077
4. C. Hagendorf and J. Liénardy, 'The open XXZ chain at Delta=-1/2 and the boundary quantum Knizhnik-Zamolodchikov equations', J. Stat. Mech. (2021) 013104, DOI 10.1088/1742-5468/abd028, arXiv:2008.03220, https://arxiv.org/abs/2008.03220
5. C. Hagendorf and J. Liénardy, 'Erratum: The open XXZ chain at Delta = -1/2 and the boundary quantum Knizhnik-Zamolodchikov equations (2021 J. Stat. Mech. 013104)', J. Stat. Mech. (2022), DOI 10.1088/1742-5468/ac650d, https://doi.org/10.1088/1742-5468/ac650d
6. C. Hagendorf and G. Parez, 'On the logarithmic bipartite fidelity of the open XXZ spin chain at Delta=-1/2', SciPost Phys. 12, 199 (2022), DOI 10.21468/SciPostPhys.12.6.199, arXiv:2111.15223, https://arxiv.org/abs/2111.15223
7. C. Hagendorf and H. Rosengren, 'Nearest-Neighbour Correlation Functions for the Supersymmetric XYZ Spin Chain and Painlevé VI', Commun. Math. Phys. 405 (2024) 97, DOI 10.1007/s00220-024-04977-w, arXiv:2208.13533, https://arxiv.org/abs/2208.13533
8. J. Liénardy and C. W. Hagendorf, 'The open XXZ chain at Delta=-1/2 and totally-symmetric alternating sign matrices', arXiv:2509.09209 (2025), https://arxiv.org/abs/2509.09209
9. Y. G. Stroganov, 'The importance of being odd', J. Phys. A: Math. Gen. 34 (2001) L179-L185, DOI 10.1088/0305-4470/34/13/104, https://doi.org/10.1088/0305-4470/34/13/104
10. A. V. Razumov and Yu. G. Stroganov, 'A possible combinatorial point for the XYZ spin chain', Theor. Math. Phys. 164 (2010) 977-991, DOI 10.1007/s11232-010-0078-3, arXiv:0911.5030, https://arxiv.org/abs/0911.5030
11. P. Zinn-Justin, 'Sum Rule for the Eight-Vertex Model on Its Combinatorial Line', in K. Iohara, S. Morier-Genoud and B. Remy (eds.), Symmetries, Integrable Systems and Representations, Springer, London (2013), pp. 599-637, DOI 10.1007/978-1-4471-4863-0_26, arXiv:1202.4420, https://arxiv.org/abs/1202.4420
12. P. Fendley and C. Hagendorf, 'Exact and simple results for the XYZ and strongly interacting fermion chains', J. Phys. A: Math. Theor. 43 (2010) 402004, DOI 10.1088/1751-8113/43/40/402004, arXiv:1006.0237, https://arxiv.org/abs/1006.0237
13. C. Hagendorf and P. Fendley, 'The eight-vertex model and lattice supersymmetry', J. Stat. Phys. 146 (2012) 1122-1155, DOI 10.1007/s10955-012-0430-0, arXiv:1109.4090, https://arxiv.org/abs/1109.4090
14. C. Hagendorf and J. Liénardy, 'Open spin chains with dynamic lattice supersymmetry', J. Phys. A: Math. Theor. 50 (2017) 185202, DOI 10.1088/1751-8121/aa67ff, arXiv:1612.02951, https://arxiv.org/abs/1612.02951
15. E. K. Sklyanin, 'Boundary conditions for integrable quantum systems', J. Phys. A: Math. Gen. 21 (1988) 2375-2389, DOI 10.1088/0305-4470/21/10/015, https://doi.org/10.1088/0305-4470/21/10/015
16. J. Cao, W.-L. Yang, K. Shi and Y. Wang, 'Off-diagonal Bethe ansatz solutions of the anisotropic spin-1/2 chains with arbitrary boundary fields', Nucl. Phys. B 877 (2013) 152-175, DOI 10.1016/j.nuclphysb.2013.10.001, https://doi.org/10.1016/j.nuclphysb.2013.10.001
17. S. Faldella and G. Niccoli, 'SOV approach for integrable quantum models associated with general representations on spin-1/2 chains of the 8-vertex reflection algebra', J. Phys. A: Math. Theor. 47 (2014) 115202, DOI 10.1088/1751-8113/47/11/115202, https://doi.org/10.1088/1751-8113/47/11/115202