Weak string hypothesis for gl(n|m) supersymmetric spin chains: rigorous foundation

The rational integrable spin chains with gl(n|m) supersymmetry are solved by a nested Bethe ansatz, and their thermodynamic-limit description rests on the string hypothesis - the assumption, known to fail in its strong form, that Bethe roots organize into regular complexes (strings and supersymmetric stacks). Volin (2012) showed that under the unproven weak form of this hypothesis the thermodynamic-limit equations take a remarkably symmetric particle/hole-democratic form, equivalent to Y-system/Hirota equations on hook-shaped domains including the T-hook of the AdS5/CFT4 spectral problem, and listed the construction's open issues. The T-hook bijection with unitary highest-weight representations was settled by the complete unitary dual of su(p,q|m) (Günaydin-Volin 2019), and the finite-coupling AdS/CFT modification was superseded by the quantum spectral curve program. The surviving open core is the foundation itself: no constructive or rigorous proof exists that the weak string hypothesis holds for gl(n|m) chains. The problem therefore asks for a rigorous justification of the weak string hypothesis for the covered class of chains, from which the symmetric functional equations and the hook-domain Y-systems follow as theorems. The source also records that the hypothesis as formulated fails for alternating supersymmetric chains and expresses the hope that a reduced form of its analysis might still be useful there; that extension remains untested background context rather than part of the open core.

Background

An integrable rational spin chain with $\mathfrak{gl}(n|m)$ symmetry is a one-dimensional quantum lattice model whose local states carry representations of the Lie superalgebra $\mathfrak{gl}(n|m)$, the algebra of linear maps on a $\mathbb{Z}_2$-graded vector space with $n$ even and $m$ odd basis directions ($m=0$ recovers the ordinary $\mathfrak{gl}(n)$ case). The rational, XXX-type chains of this family are exactly solvable: the nested algebraic Bethe ansatz reduces the spectral problem to a coupled system of algebraic Bethe equations for several sets of complex rapidities, one set per node of a chosen Kac-Dynkin diagram (the Dynkin diagram of the symmetry algebra, with fermionic nodes marked). Different diagram choices describe the same spectrum and are related by fermionic duality transformations, which reshuffle roots between adjacent Bethe levels.

Since the earliest exact solutions of the Heisenberg chain it has been understood that in long chains the complex Bethe roots organize into strings: arithmetic complexes $u_0+ik$, $k=-(s-1)/2,\ldots,(s-1)/2$, called an s-string. The string hypothesis in its strong form - every solution consists of strings, with root positions exponentially close to the ideal pattern - is false; explicit violations are documented already for ordinary chains (Ilakovac, Kolanović, Pallua and Prester, 1999). Its weak form, as formulated in the source - most Bethe roots are organized into strings with exponential-in-$L$ precision, and the fraction of solutions of the Bethe equations that differ significantly from these ideal patterns, in the sense of not being approximated by them with exponential-in-$L$ precision, decreases to zero as the chain length $L\to\infty$ - is the working assumption behind the standard thermodynamics of Bethe-ansatz-solvable chains: under it, taking the thermodynamic limit ($L\to\infty$ with the number of roots of each type proportional to $L$) turns the Bethe equations into linear integral equations for the densities of string centers. Holes - the positions inside a string pattern at which a root is missing - enter these equations on the same footing as the roots themselves ('particles').

Volin (2012) derived these thermodynamic-limit equations for rational $\mathfrak{gl}(n|m)$ chains in highest-weight states whose Kac-Dynkin diagram has a single nonzero Dynkin label. The outcome is a symmetric system of linear functional equations (eqs. (62)/(1) of the paper): convolution kernels acting simultaneously on particle densities $\rho_{a,s}$ and hole densities $\rho^{*}_{a,s}$, the two-index label $\{a,s\}$ typing the excitations. Excitations organize into domains - a strip, a fat hook (an L-shaped domain), or a T-hook (a T-shaped union of two fat hooks) - matching the real form of the symmetry algebra, and the same equations generate the Y-system: bilinear finite-difference (Hirota) relations among the eigenvalues of the transfer matrices (the generating operators of the chain's conserved charges) in antisymmetric rectangular representations. The T-hook Y-system underlies the thermodynamic Bethe ansatz - the finite-temperature framework that reconstructs a model's infinite-volume physics from its own finite-size spectrum - for the planar AdS$_5$/CFT$_4$ spectral problem, and the construction also reproduces the classic functional-equation structure of the Hubbard model, with supersymmetric stacks (triangles, trapezia, diamonds) generalizing the stack configurations introduced for that model.

The construction rests on two admitted weaknesses, both stated in the source. First, the weak string hypothesis is supported only by a numerical study of 2-strings and by a plausibility argument (exponential growth of one side of the Bethe equations forcing pole compensation); no constructive or rigorous proof exists, even for ordinary chains. Second, the analysis does not apply to alternating supersymmetric spin chains, in which a representation and its dual alternate along the lattice, such as the $\mathfrak{sl}(2|1)$ $3\otimes\bar{3}$ chain of Essler, Frahm and Saleur (2005) or the alternating fundamental-dual $\mathfrak{gl}(M|N)$ chains of Candu (2011); their continuum limits develop continuous spectra (of conformal weights or of particle masses), precisely the regime in which a discrete string-pattern description breaks down. The source expresses the hope that a reduced form of its equations might still apply there.

The finite-volume side of the subject has since become rigorous without strings: Chernyak, Leurent and Volin (2022) proved that for rational $\mathfrak{gl}(m|n)$ chains the algebra of conserved charges is isomorphic to the algebra of functional relations among Baxter Q-functions (polynomials whose zeros are the Bethe roots; these relations are the Wronskian Bethe equations), with the number of solutions equal to the Hilbert-space dimension. What remains missing is the bridge from finite chains to the thermodynamic limit: a justification of the string hypothesis on which the symmetric functional equations (62) and the hook-domain Y-systems rest; for alternating chains, where the hypothesis as formulated fails, no reduced replacement of these equations has been derived.

Problem Statement

The problem is to give the thermodynamic-limit string-hypothesis description of rational $\mathfrak{gl}(n|m)$ supersymmetric spin chains a rigorous foundation.

For rational integrable $\mathfrak{gl}(n|m)$ spin chains in highest-weight states whose Kac-Dynkin diagram has a single nonzero Dynkin label, prove or disprove the weak string hypothesis in the formulation of the source: in the thermodynamic limit $L\to\infty$ (with the numbers of roots on each Bethe level scaled proportionally to $L$), most Bethe roots are organized into the ideal string patterns - ordinary strings together with the supersymmetric stacks (triangles, trapezia, diamonds) - with exponential-in-$L$ precision, and the fraction of solutions of the Bethe equations that differ significantly from these patterns, in the sense of not being approximated by them with exponential-in-$L$ precision, tends to zero. A proof should turn the derivation of the symmetric particle/hole functional equations (62)/(1) of Volin (2012), including the corner equations (the modified equations at the corner nodes of the hook domains, where the two arms of the hook meet), into a theorem, and with it the derivation of the corresponding Y-system on its strip/fat-hook/T-hook domain; a disproof should show that that fraction fails to tend to zero as $L\to\infty$ (equivalently, its limit superior as $L\to\infty$ is positive), by exhibiting an explicit infinite family of physical solutions that constitute a positive fraction of the solutions at infinitely many lengths $L$.

The goal concerns the class of chains covered by the source's derivation. The source notes that the string hypothesis as formulated there is not valid for alternating supersymmetric chains - chains in which a representation and its dual alternate along the lattice, such as the $\mathfrak{sl}(2|1)$ $3\otimes\bar{3}$ chain of Essler, Frahm and Saleur and the alternating fundamental-dual $\mathfrak{gl}(M|N)$ chains of Candu - and expresses only the hope that a reduced form of its analysis might be useful also for that case; extending the description to such chains is a direction suggested by the source, not part of the completion requirement for this problem.

References

1. Dmytro Volin, 'String hypothesis for gl(n|m) spin chains: a particle/hole democracy', Letters in Mathematical Physics 102, 1-29 (2012). DOI: 10.1007/s11005-012-0570-9, arXiv:1012.3454, https://arxiv.org/abs/1012.3454
2. Nikolay Gromov, Vladimir Kazakov, Zengo Tsuboi, 'PSU(2,2|4) Character of Quasiclassical AdS/CFT', Journal of High Energy Physics 07 (2010) 097. DOI: 10.1007/JHEP07(2010)097, arXiv:1002.3981, https://arxiv.org/abs/1002.3981
3. Zengo Tsuboi, 'Wronskian solutions of the T-, Q- and Y-systems related to infinite dimensional unitarizable modules of the general linear superalgebra gl(M|N)', Nuclear Physics B 870, 92-137 (2013). DOI: 10.1016/j.nuclphysb.2013.01.007, arXiv:1109.5524, https://arxiv.org/abs/1109.5524
4. Murat Günaydin, Dmytro Volin, 'The Complete Unitary Dual of Non-compact Lie Superalgebra su(p,q|m) via the Generalised Oscillator Formalism, and Non-compact Young Diagrams', Communications in Mathematical Physics 367, 873-939 (2019). DOI: 10.1007/S00220-019-03406-7, arXiv:1712.01811, https://arxiv.org/abs/1712.01811
5. Hans Plesner Jakobsen, 'The full set of unitarizable highest weight modules of basic classical Lie superalgebras', Memoirs of the American Mathematical Society 111, no. 532 (1994). DOI: 10.1090/memo/0532, https://doi.org/10.1090/memo/0532
6. V. K. Dobrev, V. B. Petkova, 'All positive energy unitary irreducible representations of extended conformal supersymmetry', Physics Letters B 162, 127-132 (1985). DOI: 10.1016/0370-2693(85)91073-1, https://doi.org/10.1016/0370-2693(85)91073-1
7. Nikolay Gromov, Vladimir Kazakov, Sébastien Leurent, Dmytro Volin, 'Solving the AdS/CFT Y-system', Journal of High Energy Physics 07 (2012) 023. DOI: 10.1007/JHEP07(2012)023, arXiv:1110.0562, https://arxiv.org/abs/1110.0562
8. Nikolay Gromov, Vladimir Kazakov, Sébastien Leurent, Dmytro Volin, 'Quantum Spectral Curve for Planar N=4 Super-Yang-Mills Theory', Physical Review Letters 112, 011602 (2014). DOI: 10.1103/PhysRevLett.112.011602, arXiv:1305.1939, https://arxiv.org/abs/1305.1939
9. Nikolay Gromov, Vladimir Kazakov, Sébastien Leurent, Dmytro Volin, 'Quantum spectral curve for arbitrary state/operator in AdS5/CFT4', Journal of High Energy Physics 09 (2015) 187. DOI: 10.1007/JHEP09(2015)187, arXiv:1405.4857, https://arxiv.org/abs/1405.4857
10. Vladimir Kazakov, Sébastien Leurent, Dmytro Volin, 'T-system on T-hook: Grassmannian Solution and Twisted Quantum Spectral Curve', Journal of High Energy Physics 12 (2016) 044. DOI: 10.1007/JHEP12(2016)044, arXiv:1510.02100, https://arxiv.org/abs/1510.02100
11. Dmitry Chernyak, Sébastien Leurent, Dmytro Volin, 'Completeness of Wronskian Bethe equations for rational gl(m|n) spin chains', Communications in Mathematical Physics 391, 969-1045 (2022). DOI: 10.1007/s00220-021-04275-9, arXiv:2004.02865, https://arxiv.org/abs/2004.02865
12. Fabian H. L. Essler, Holger Frahm, Hubert Saleur, 'Continuum Limit of the Integrable sl(2/1) 3-3bar Superspin Chain', Nuclear Physics B 712, 513-572 (2005). DOI: 10.1016/j.nuclphysb.2005.01.021, arXiv:cond-mat/0501197, https://arxiv.org/abs/cond-mat/0501197
13. Constantin Candu, 'The continuum limit of gl(M|N) spin chains', Journal of High Energy Physics 07 (2011) 069. DOI: 10.1007/JHEP07(2011)069, arXiv:1012.0050, https://arxiv.org/abs/1012.0050
14. Holger Frahm, Márcio J. Martins, 'Phase Diagram of an Integrable Alternating U_q[sl(2|1)] Superspin Chain', Nuclear Physics B 862, 504-552 (2012). DOI: 10.1016/j.nuclphysb.2012.04.019, arXiv:1202.4676, https://arxiv.org/abs/1202.4676
15. Holger Frahm, Konstantin Hobuß, 'Spectral flow for an integrable staggered superspin chain', Journal of Physics A 50, 294002 (2017). DOI: 10.1088/1751-8121/aa77e7, arXiv:1703.08054, https://arxiv.org/abs/1703.08054
16. Amon Ilakovac, Marko Kolanović, Silvio Pallua, Predrag Prester, 'Violation of the string hypothesis and the Heisenberg XXZ spin chain', Physical Review B 60, 7271-7277 (1999). DOI: 10.1103/PhysRevB.60.7271, arXiv:hep-th/9907103, https://arxiv.org/abs/hep-th/9907103
17. Christian Marboe, Dmytro Volin, 'Fast analytic solver of rational Bethe equations', Journal of Physics A 50, 204002 (2017). DOI: 10.1088/1751-8121/aa6b88, arXiv:1608.06504, https://arxiv.org/abs/1608.06504
18. Christian Marboe, Dmytro Volin, 'The full spectrum of AdS5/CFT4 I: Representation theory and one-loop Q-system', Journal of Physics A 51, 165401 (2018). DOI: 10.1088/1751-8121/aab34a, arXiv:1701.03704, https://arxiv.org/abs/1701.03704