Open analytic problems in the thermodynamics of Inozemtsev's elliptic spin chain: string classification, supersymmetric equivalence, and reduction of the elliptic Y-system

The thermodynamic Bethe ansatz (TBA) for Inozemtsev's spin-1/2 elliptic spin chain — the long-range elliptic interpolation between the Heisenberg XXX and Haldane–Shastry chains — was derived by Klabbers (Nucl. Phys. B 907 (2016) 77) from the Bethe ansatz equations of the infinite-length chain, together with an infinite Y-system whose temperature-dependent exponential prefactors do not simplify at finite elliptic parameter $\kappa$. Several ingredients of that analysis rest on numerical evidence or unproven conjectures, and the source explicitly identifies them as directions for further study. This problem asks for the analytic completion of that program: (i) prove or refute that Bethe-ansatz solutions whose momenta include two momenta related by a shift $2\kappa i$ have identically vanishing wavefunctions for arbitrary particle number $N$ (settled only for $N=2$); (ii) settle, for arbitrary sign configurations of the coinciding solutions, whether consistent $L\to\infty$ convergence rates exist — via a general deciding algorithm or an existence/nonexistence theorem; (iii) prove analytically that the chain and its su(1|1) supersymmetric version have identical thermodynamic-limit free energy for all temperatures and $\kappa$ (currently numerical only); and (iv) determine whether the elliptic Y-system admits elliptic kernel identities and a compact reduction analogous to the quantum spectral curve. The companion integrability question raised in the same source — existence of commuting conserved quantities for the chain — was resolved by Chalykh (2024) via elliptic Dunkl operators and freezing, and is therefore excluded from the open core.

Background

Inozemtsev's elliptic spin chain is a quantum spin-1/2 chain on $L$ sites with Hamiltonian $H=-\frac{J}{8}\sum_{\substack{j,k=1\\ j\neq k}}^{L}\wp_L(j-k)\,(\sigma^j\cdot\sigma^k-1),$ where $\sigma^j$ is the vector of Pauli matrices acting on site $j$, $J>0$ is the ferromagnetic coupling, and $\wp_L$ is the Weierstrass elliptic function — a doubly periodic meromorphic function with one double pole and zero residue per period parallelogram — with periods $(L,i\pi/\kappa)$, so that the real parameter $\kappa>0$ tunes the range of the pairwise interactions. As $\kappa\to\infty$ the interactions become nearest-neighbour and one recovers Heisenberg's XXX chain; as $\kappa\to0$ one obtains the long-range Haldane–Shastry chain with $1/r^2$ interactions, whose exact solvability follows from an explicit Yangian symmetry. The elliptic chain is exactly solvable for all $\kappa$: Inozemtsev constructed its eigenfunctions by an extended coordinate Bethe ansatz — an ansatz in which wavefunctions built from the eigenfunctions of the (spinless) elliptic Calogero–Sutherland many-body system are matched to spin-chain eigenstates, with the momenta fixed by Bethe-ansatz-like transcendental equations. The model also appeared in the AdS/CFT correspondence, describing planar $\mathcal{N}=4$ super Yang–Mills dilatation operators up to three loops.

Klabbers (Nucl. Phys. B 907 (2016) 77) derived the thermodynamics of this chain in the thermodynamic limit. The starting point is a classification of solutions of the infinite-length Bethe equations: each solution is encoded in 'minimal data' $(\theta_j,s_j)$, where $\theta_j=\varphi(p_j)$ is the image of the momentum $p_j$ under a map $\varphi$ fixed by the elliptic dispersion relation and $s_j\in\{+,0,-\}$ records the sign of the imaginary part of $p_j$. Under the string hypothesis — the assumption that such 'strings' of image points, arranged at spacing $i$ in the $\theta$-plane, exhaust the spectrum in the thermodynamic limit — one obtains coupled nonlinear integral equations (the thermodynamic Bethe ansatz, TBA) for pseudoenergies indexed by string length $M\geq1$, whose kernels coincide with those of the XXX chain, and from these the Helmholtz free energy follows. Manipulating the TBA with the kernel identities available for other su(2)-invariant models yields an infinite Y-system, a set of difference equations for functions $Y_M$ evaluated at shifted arguments; in the XXX limit it collapses to the constant form $Y_M^+Y_M^-=(1+Y_{M-1})(1+Y_{M+1})$, while at finite $\kappa$ the exponential prefactors 'do not seem to simplify' (source, §5.2).

Two features distinguish the elliptic chain from its limits. First, some Bethe-ansatz solutions are not self-conjugate, and the map $\varphi$ is non-injective, so distinct momenta can share an image ('coinciding-$\theta$ solutions'); which solutions actually contribute to the thermodynamics then becomes delicate, and the source treats it with numerics and partial arguments only. Second, a supersymmetric (su(1|1)-graded) version of the chain - in which each site carries a bosonic and a fermionic flavour mixed by the graded permuting Hamiltonian - is exactly solvable by free fermionization (Finkel–González-López, J. Stat. Mech. 2014 P12014); for the XXX and Haldane–Shastry limits the ordinary and supersymmetric versions were proven to have the same thermodynamic-limit free energy, and numerics indicate the same for the elliptic chain. The question of whether the infinite Y-system can be compressed into a finite analytic object is motivated by the quantum spectral curve (QSC) of planar $\mathcal{N}=4$ super Yang–Mills theory: a finite set of Riemann–Hilbert-type equations for 'Q-functions', proven equivalent to that theory's infinite TBA/Y-system. Finally, integrability of the chain — existence of mutually commuting conserved quantities extending the Hamiltonian — was likewise open at the time (Inozemtsev's proposed quantities of 1996 lacked a commutativity proof; spectral statistics gave only evidence). This last question has since been resolved affirmatively by Chalykh (arXiv:2407.03276), who constructed a commuting hierarchy from the elliptic spin Calogero–Moser system by 'freezing' — evaluating the spin many-body dynamics at a classical equilibrium, using elliptic Dunkl operators, i.e. commuting deformations of derivatives that exchange particles while acting on their spins. The remaining questions, concerning the string classification and the analytic structure of the TBA/Y-system, are the subject of this problem.

Problem Statement

The problem is to replace the numerically supported and conjectural ingredients of the thermodynamic Bethe ansatz for Inozemtsev's elliptic spin chain (spin-1/2, Hamiltonian $H=-(J/8)\sum_{j\neq k}\wp_L(j-k)(\sigma^j\cdot\sigma^k-1)$ with $\wp_L$ of periods $(L,i\pi/\kappa)$), as derived in Klabbers (Nucl. Phys. B 907 (2016) 77), by analytic results. The four components below serve one objective - a rigorous and structurally transparent thermodynamic description of the elliptic chain - and are precisely the issues the source leaves open, excluding the integrability question settled by Chalykh (arXiv:2407.03276). Each component is posed as an independent open sub-question with its own completion boundary: a complete resolution of this objective requires all four, whereas a solution that settles only some of them resolves exactly those components and leaves the rest open.

(1) Vanishing wavefunctions. Prove or refute: for the infinite-length chain, every solution of the Bethe ansatz equations whose set of momenta contains two momenta related by $p_n=p_m+2\kappa i$ has an identically vanishing wavefunction, for arbitrary particle number $N$. (The two-particle case follows by direct computation in the source; numerical analysis up to $N=6$ supports the general statement; no proof for general $N$ exists.)

(2) Consistent convergence rates. For coinciding-$\theta$ solutions, taking the limit $L\to\infty$ in the Bethe equations requires assigning each momentum a convergence rate $\delta_j>0$ so that the coupled min-type inequalities (source, Eqs. (73)-(74)) hold for every sign in the configuration. Provide a general criterion: either a terminating algorithm that decides, for any input sign configuration, whether a consistent set of rates exists, or a theorem establishing exactly which configurations admit one (in particular, whether the only inconsistent configurations are those containing the three-level obstruction exhibited in the source's Appendix C).

(3) Supersymmetric thermodynamic equivalence. Prove analytically that the spin-1/2 elliptic chain and its su(1|1) supersymmetric version are equivalent in the thermodynamic limit - equal Helmholtz free energy per site for all temperatures $T>0$ and all $\kappa>0$, in the normalisation convention of the source's comparison (Klabbers, Eqs. (3)-(4) and Section 6.2; Finkel-Gonzalez-Lopez 2014) - as has been proven for the XXX and Haldane-Shastry limiting chains. (Currently confirmed only numerically in the source.)

(4) Analytic structure of the Y-system. Determine whether the exponential prefactors in the elliptic Y-system (source, Eq. (57)) admit simplification - for instance through elliptic extensions of the kernel identities relating this model's TBA kernels to those of other su(2)-invariant models - and whether the infinite Y-system can be reduced to a more compact analytic object, in the way the quantum spectral curve compressed the infinite TBA of planar $\mathcal{N}=4$ super Yang-Mills theory. A complete answer either supplies such a simplification or reduction together with a proof of equivalence to the original TBA equations (and the correct $\kappa\to\infty$ and $\kappa\to0$ limits), or precisely characterises the obstruction to such a reduction.

References

1. R. Klabbers, "Thermodynamics of Inozemtsev's elliptic spin chain", Nuclear Physics B 907 (2016) 77-106. doi:10.1016/j.nuclphysb.2016.03.036, arXiv:1602.05133, https://arxiv.org/abs/1602.05133
2. O. Chalykh, "Integrability of the Inozemtsev spin chain", arXiv:2407.03276 (2024), https://arxiv.org/abs/2407.03276
3. R. Klabbers and J. Lamers, "How coordinate Bethe ansatz works for Inozemtsev model", Communications in Mathematical Physics 390 (2022) 827-905. doi:10.1007/s00220-021-04281-x, arXiv:2009.14513, https://arxiv.org/abs/2009.14513
4. R. Klabbers and J. Lamers, "Modular families of elliptic long-range spin chains from freezing", Letters in Mathematical Physics 116 (2026) 58. doi:10.1007/s11005-026-02075-7, arXiv:2507.13104, https://arxiv.org/abs/2507.13104
5. R. Klabbers and J. Lamers, "The deformed Inozemtsev spin chain", SciPost Physics 17 (2024) 155. doi:10.21468/scipostphys.17.6.155, arXiv:2306.13066, https://arxiv.org/abs/2306.13066
6. F. Finkel and A. González-López, "Exact solution and thermodynamics of a spin chain with long-range elliptic interactions", Journal of Statistical Mechanics: Theory and Experiment (2014) P12014. doi:10.1088/1742-5468/2014/12/p12014, arXiv:1407.6922, https://arxiv.org/abs/1407.6922
7. J. A. Carrasco, F. Finkel, A. González-López, M. A. Rodríguez and P. Tempesta, "Critical behavior of su(1|1) supersymmetric spin chains with long-range interactions", Physical Review E 93 (2016) 062103. doi:10.1103/PhysRevE.93.062103, arXiv:1603.03668, https://arxiv.org/abs/1603.03668
8. F. Finkel and A. González-López, "A new perspective on the integrability of Inozemtsev's elliptic spin chain", Annals of Physics 351 (2014) 797-827. doi:10.1016/j.aop.2014.10.006, arXiv:1405.7855, https://arxiv.org/abs/1405.7855
9. V. I. Inozemtsev, "Invariants of linear combinations of transpositions", Letters in Mathematical Physics 36 (1996) 55. doi:10.1007/BF00403251, https://doi.org/10.1007/BF00403251
10. V. I. Inozemtsev, "On the connection between the one-dimensional S=1/2 Heisenberg chain and Haldane-Shastry model", Journal of Statistical Physics 59 (1990) 1143-1155. doi:10.1007/BF01334745, https://doi.org/10.1007/BF01334745
11. N. Gromov, V. Kazakov, S. Leurent and D. Volin, "Quantum spectral curve for arbitrary state/operator in AdS5/CFT4", Journal of High Energy Physics 2015 (2015) 187. doi:10.1007/JHEP09(2015)187, arXiv:1405.4857, https://arxiv.org/abs/1405.4857
12. D. Serban and M. Staudacher, "Planar N=4 gauge theory and the Inozemtsev long range spin chain", Journal of High Energy Physics 0406 (2004) 001. doi:10.1088/1126-6708/2004/06/001, arXiv:hep-th/0401057, https://arxiv.org/abs/hep-th/0401057
13. S. Anand, J. Kemp, J. Wei, C. D. White, M. P. Zaletel and N. Y. Yao, "Robustness of Kardar-Parisi-Zhang-like transport in long-range interacting quantum spin chains", arXiv:2602.15933 (2026), https://arxiv.org/abs/2602.15933
14. A. Liashyk, N. Reshetikhin and I. Sechin, "Quantum Integrable Systems on a Classical Integrable Background", Communications in Mathematical Physics 407 (2026) 15. doi:10.1007/s00220-025-05523-y, arXiv:2405.17865, https://arxiv.org/abs/2405.17865
15. M. Matushko, A. Mostovskii and A. Zotov, "R-matrix valued Lax pair for elliptic Calogero-Inozemtsev system and associative Yang-Baxter equations of BC_n type", Letters in Mathematical Physics 116 (2026) 11. doi:10.1007/s11005-025-02043-7, arXiv:2503.22659, https://arxiv.org/abs/2503.22659
16. V. B. Bulchandani and H. Ha, "Hydrodynamics of spin transport in the Haldane-Shastry chain", Physical Review B 110 (2024) 195439. doi:10.1103/PhysRevB.110.195439, arXiv:2407.08727, https://arxiv.org/abs/2407.08727
17. A. De La Rosa Gomez, N. J. MacKay and V. Regelskis, "How to fold a spin chain: Integrable boundaries of the Heisenberg XXX and Inozemtsev hyperbolic models", Physics Letters A 381 (2017) 1340-1348. doi:10.1016/j.physleta.2017.02.039, arXiv:1610.01523, https://arxiv.org/abs/1610.01523
18. R. Klabbers, "Quantum spectral curve for the eta-deformed AdS5 x S5 superstring", PhD thesis, Universität Hamburg (2018). arXiv:1804.06741, https://arxiv.org/abs/1804.06741