For the spin-1/2 isotropic (XXX) Heisenberg chain with periodic boundary conditions, Hao, Nepomechie and Sommese (2013) reduced the century-old completeness problem of the Bethe ansatz to a precise counting conjecture: the number of solutions of the Bethe equations with pairwise distinct roots, minus the number of singular solutions, plus the number of physical singular solutions, equals the Clebsch–Gordan degeneracy (NM)−(NM−1){N \choose M}-{N\choose M-1}. They verified it by exhaustive homotopy-continuation solution up to N=14N=14 but could not prove it. Later literature has rigorously proven completeness only for reformulated equations (polynomial-pair/Wronskian/Q-system forms) and has extensively generalized the framework, yet the conjecture as a statement about the original polynomial Bethe equations — including the Pauli principle that physical roots are pairwise distinct — remains unproven, no closed forms are known for the individual counting functions at magnon number M≥3M\ge 3, and the origin, classification and thermodynamic-limit abundance of the unphysical singular solutions (and the reason string-hypothesis thermodynamics nonetheless counts states correctly) are unresolved. The problem asks for a rigorous proof of the counting identity and Pauli principle for the original Bethe equations; the source further identifies as related open directions on the same equations the closed-form expressions for the three counting functions and the classification of unphysical singular solutions with their asymptotic fate as N→∞N\to\infty.

Background

The spin-1/2 isotropic Heisenberg (XXX) chain is a one-dimensional ring of NN quantum spins 1/21/2 with Hamiltonian H=14∑n=1N(σ⃗n⋅σ⃗n+1−1)H=\frac14\sum_{n=1}^{N}(\vec\sigma_n\cdot\vec\sigma_{n+1}-1) and periodic boundary (σ⃗N+1=σ⃗1\vec\sigma_{N+1}=\vec\sigma_1); it is the prototype of quantum integrable models, realizable in quasi-one-dimensional magnets such as KCuF3_3, and connected to conformal field theory and to integrable structures in gauge and string theory. Bethe's 1931 solution expresses the energy eigenvalues as E=−12∑k=1M(λk2+14)−1E=-\frac12\sum_{k=1}^{M}(\lambda_k^2+\frac14)^{-1}, where the MM complex rapidities ("Bethe roots", M=0,…,N/2M=0,\dots,N/2 being the number of flipped spins, or magnons) satisfy the Bethe equations (λk+i2)N∏j≠k(λk−λj−i)=(λk−i2)N∏j≠k(λk−λj+i),k=1,…,M.\Bigl(\lambda_k+\tfrac{i}{2}\Bigr)^{N}\prod_{j\ne k}(\lambda_k-\lambda_j-i)=\Bigl(\lambda_k-\tfrac{i}{2}\Bigr)^{N}\prod_{j\ne k}(\lambda_k-\lambda_j+i),\qquad k=1,\dots,M. In the algebraic Bethe ansatz, each solution yields a Bethe vector B(λ1)⋯B(λM)∣0⟩B(\lambda_1)\cdots B(\lambda_M)|0\rangle that is a highest-weight state (annihilated by the total spin raising operator) of spin s=N/2−Ms=N/2-M; acting with the lowering operator generates its descendants. By the Clebsch–Gordan decomposition of (12)⊗N(\tfrac12)^{\otimes N}, the number of highest-weight states at fixed N,MN,M must be (NM)−(NM−1){N\choose M}-{N\choose M-1}, so completeness of the Bethe ansatz demands exactly that many physical solutions for every N,MN,M. The subtlety is that the Bethe equations, being a system of polynomial equations, admit "singular" (or "exceptional") solutions containing both +i/2+i/2 and −i/2-i/2 among the roots, for which the naive eigenvalue formula diverges; Nepomechie and Wang (2013) showed that a singular solution {i2,−i2,λ3,…,λM}\{\frac{i}{2},-\frac{i}{2},\lambda_3,\dots,\lambda_M\} is physical only if the remaining roots obey the extra condition [−∏k=3M(λk+i2)/(λk−i2)]N=1\bigl[-\prod_{k=3}^{M}(\lambda_k+\tfrac{i}{2})/(\lambda_k-\tfrac{i}{2})\bigr]^{N}=1. Writing N(N,M){\cal N}(N,M) for the number of solutions with pairwise distinct roots (counted up to permutation), Ns(N,M){\cal N}_s(N,M) for the number of singular ones, and Nsp(N,M){\cal N}_{sp}(N,M) for the number of physical singular ones, Hao–Nepomechie–Sommese (2013) conjectured, and verified by exhaustive numerical solution up to N=14N=14, the identity

N(N,M)−Ns(N,M)+Nsp(N,M)=(NM)−(NM−1),{\cal N}(N,M)-{\cal N}_s(N,M)+{\cal N}_{sp}(N,M)={N\choose M}-{N\choose M-1},

meaning that after culling the unphysical singular solutions the Bethe equations have exactly the right number of distinct-root solutions; the companion "Pauli principle" asserts that no physical solution has coincident roots (the number Nstrange{\cal N}_{strange} of such "strange" solutions vanishes for spin 1/2). Only N(N,1)=N−1{\cal N}(N,1)=N-1 and N(N,2)=12(N2−3N+1−(−1)N){\cal N}(N,2)=\tfrac12(N^2-3N+1-(-1)^{N}) are known in closed form; the two-magnon expression as printed in the source, 12(N2+3N+1+(−1)N)\tfrac12(N^2+3N+1+(-1)^{N}), does not match the source's own table, every M=2M=2 entry of which (N=4,…,14N=4,\dots,14) is reproduced instead by the formula quoted here. Two further strands frame the problem. First, the string hypothesis — the assumption that in long chains the roots organize into tight approximately equally spaced complexes ("strings") — underlies the classical thermodynamic-limit derivations of completeness (Bethe, Takahashi, Kirillov, Faddeev); the numerical fact that unphysical singular solutions are comparable in number to highest-weight states for M∼N/2M\sim N/2 suggests those derivations are unjustified as stated even though they produce the correct counts. Second, rigged configurations — combinatorial objects introduced by Kirillov and Reshetikhin, consisting of a partition encoding the string content with an integer "rigging" attached to each part — are conjectured (Kirillov–Sakamoto) to be in bijection with the physical solutions, which would explain both the counting and the string-hypothesis bookkeeping. Since 2013 a parallel rigorous development has occurred for reformulated equations: pairs of polynomials with a prescribed discrete Wronskian (Casorati determinant), Wronskian Bethe equations, and rational Q-systems (finite triangular systems of polynomial remainder conditions on nested QQ-polynomials, the outermost of which carries the Bethe roots as its zeros), for which completeness theorems are now known (Mukhin–Tarasov–Varchenko 2007; Tarasov 2018; Chernyak–Leurent–Volin 2022; Hou–Jiang–Zhu 2024). These theorems count polynomial pairs or Q-system solutions equal in number to the Hilbert-space dimension, but they do not directly count solutions of the original polynomial Bethe equations with the culling rule, and the literature itself continues to describe the original conjecture as unproven.

Problem Statement

For the Bethe equations of the homogeneous periodic spin-1/2 XXX Heisenberg chain as written above, for all chain lengths NN and magnon numbers 0≤M≤N/20\le M\le N/2, with N(N,M){\cal N}(N,M) denoting the number of solutions with pairwise distinct roots (counted up to permutation), Ns(N,M){\cal N}_s(N,M) the number of those solutions that are singular (i.e. contain both +i/2+i/2 and −i/2-i/2 among the roots), and Nsp(N,M){\cal N}_{sp}(N,M) the number of singular solutions that are physical (physicality of a singular solution being fixed by the Nepomechie–Wang condition [−∏k=3M(λk+i2)/(λk−i2)]N=1\bigl[-\prod_{k=3}^{M}(\lambda_k+\tfrac{i}{2})/(\lambda_k-\tfrac{i}{2})\bigr]^{N}=1), prove, or refute, the Hao–Nepomechie–Sommese completeness/Pauli-principle conjecture N(N,M)−Ns(N,M)+Nsp(N,M)=(NM)−(NM−1),{\cal N}(N,M)-{\cal N}_s(N,M)+{\cal N}_{sp}(N,M)={N\choose M}-{N\choose M-1}, together with the vanishing of the number of physical solutions with coincident roots, as statements about the solutions of the original polynomial Bethe equations. This is the source's central open question: in the source's own framing, the conjecture can be viewed solely as a statement about the solutions of the original polynomial Bethe equations together with the physicality condition for singular solutions, and "begs for a proof" (a proof obtained solely for reformulated equations, such as polynomial-pair/Wronskian/Q-system forms, does not by itself close this item unless it is supplemented by a rigorous bridge to the solution sets of the original equations, including the singular and coincident-root cases).

The source also discusses, as related open directions on the same equations that are not part of the conjecture itself, closed-form expressions for the individual counting functions N(N,M){\cal N}(N,M), Ns(N,M){\cal N}_s(N,M) and Nsp(N,M){\cal N}_{sp}(N,M) valid for all NN and M≥3M\ge 3 — extending the known M=1,2M=1,2 formulae — including an explanation of their observed parity and periodic structure (for example the periodicity-6 exceptions such as Nsp(9,3)=Nsp(15,3)=2{\cal N}_{sp}(9,3)={\cal N}_{sp}(15,3)=2); and the classification of the unphysical singular solutions, the identification of their origin, and the determination of their asymptotic abundance in the thermodynamic limit N→∞N\to\infty, thereby giving a precise account of why thermodynamic computations based on the string hypothesis nevertheless reproduce the correct number of highest-weight states. These directions are closely tied to the conjecture: the conjecture fixes the exact correspondence between solutions of the Bethe equations and eigenstates of the Hamiltonian, closed-form counting would give the exact arithmetic structure of the solution sets whose asymptotics the thermodynamic-limit analysis must explain, and progress on them contributes to the rigorous completion of Bethe's 1931 solution for the prototypical integrable model. This task's sole required deliverable is the proof, or refutation, of the counting identity together with the vanishing of the number of physical solutions with coincident roots, as statements about the original polynomial Bethe equations; the closed-form counting functions and the classification and asymptotic abundance of the unphysical singular solutions are recorded above as background context only and are not required deliverables.

References

  1. W. Hao, R. I. Nepomechie, A. J. Sommese, "Completeness of solutions of Bethe's equations", Phys. Rev. E 88, 052113 (2013), doi:10.1103/PhysRevE.88.052113, arXiv:1308.4645, https://arxiv.org/abs/1308.4645
  2. R. I. Nepomechie, C. Wang, "Algebraic Bethe ansatz for singular solutions", J. Phys. A 46, 325002 (2013), doi:10.1088/1751-8113/46/32/325002, arXiv:1304.7978, https://arxiv.org/abs/1304.7978
  3. W. Hao, R. I. Nepomechie, A. J. Sommese, "Singular solutions, repeated roots and completeness for higher-spin chains", J. Stat. Mech. (2014) P03024, doi:10.1088/1742-5468/2014/03/P03024, arXiv:1312.2982, https://arxiv.org/abs/1312.2982
  4. R. I. Nepomechie, C. Wang, "Twisting singular solutions of Bethe's equations", J. Phys. A 47, 505004 (2014), doi:10.1088/1751-8113/47/50/505004, arXiv:1409.7382, https://arxiv.org/abs/1409.7382
  5. A. M. Gainutdinov, W. Hao, R. I. Nepomechie, A. J. Sommese, "Counting solutions of the Bethe equations of the quantum group invariant open XXZ chain at roots of unity", J. Phys. A 48, 494003 (2015), doi:10.1088/1751-8113/48/49/494003, arXiv:1505.02104, https://arxiv.org/abs/1505.02104
  6. A. N. Kirillov, R. Sakamoto, "Singular solutions to the Bethe ansatz equations and rigged configurations", J. Phys. A 47, 205207 (2014), doi:10.1088/1751-8113/47/20/205207, arXiv:1402.0651, https://arxiv.org/abs/1402.0651
  7. A. N. Kirillov, R. Sakamoto, "Bethe's quantum numbers and rigged configurations", Nucl. Phys. B 905, 359–372 (2016), doi:10.1016/j.nuclphysb.2016.02.020, arXiv:1509.02305, https://arxiv.org/abs/1509.02305
  8. T. Deguchi, P. R. Giri, "Non self-conjugate strings, singular strings and rigged configurations in the Heisenberg model", J. Stat. Mech. (2015) P02004, doi:10.1088/1742-5468/2015/02/P02004, arXiv:1408.7030, https://arxiv.org/abs/1408.7030
  9. P. R. Giri, T. Deguchi, "Singular eigenstates in the even(odd) length Heisenberg spin chain", J. Phys. A 48, 175207 (2015), doi:10.1088/1751-8113/48/17/175207, arXiv:1411.5839, https://arxiv.org/abs/1411.5839
  10. E. Mukhin, V. Tarasov, A. Varchenko, "Bethe Algebra of Homogeneous XXX Heisenberg Model Has Simple Spectrum", arXiv:0706.0688 (2007), https://arxiv.org/abs/0706.0688
  11. V. Tarasov, "Completeness of the Bethe Ansatz for the Periodic Isotropic Heisenberg Model", Rev. Math. Phys. 30, 1840018 (2018), doi:10.1142/S0129055X18400184, https://doi.org/10.1142/S0129055X18400184
  12. C. Marboe, D. Volin, "Fast analytic solver of rational Bethe equations", J. Phys. A 50, 204002 (2017), doi:10.1088/1751-8121/aa6b88, arXiv:1608.06504, https://arxiv.org/abs/1608.06504
  13. E. Granet, J. L. Jacobsen, "On zero-remainder conditions in the Bethe ansatz", JHEP 03 (2020) 178, doi:10.1007/JHEP03(2020)178, arXiv:1910.07797, https://arxiv.org/abs/1910.07797
  14. D. Chernyak, S. Leurent, D. Volin, "Completeness of Wronskian Bethe Equations for Rational gl(m|n) Spin Chains", Commun. Math. Phys. 391, 969–1045 (2022), doi:10.1007/s00220-021-04275-9, arXiv:2004.02865, https://arxiv.org/abs/2004.02865
  15. Y. Jiang, Y. Zhang, "Algebraic geometry and Bethe ansatz. Part I. The quotient ring for BAE", JHEP 03 (2018) 087, doi:10.1007/JHEP03(2018)087, arXiv:1710.04693, https://arxiv.org/abs/1710.04693
  16. J. Hou, Y. Jiang, R.-D. Zhu, "Spin-ss rational QQ-system", SciPost Phys. 16, 113 (2024), doi:10.21468/SciPostPhys.16.4.113, arXiv:2303.07640, https://arxiv.org/abs/2303.07640
  17. H. Shu, P. Zhao, R.-D. Zhu, H. Zou, "Bethe-state counting and Witten index", SciPost Phys. 15, 103 (2023), doi:10.21468/SciPostPhys.15.3.103, arXiv:2210.07116, https://arxiv.org/abs/2210.07116
  18. H. Shu, P. Zhao, R.-D. Zhu, H. Zou, "Counting Bethe states in twisted spin chains", JHEP 03 (2025) 087, doi:10.1007/JHEP03(2025)087, arXiv:2409.20338, https://arxiv.org/abs/2409.20338
  19. Y.-J. He, J. Hou, Y.-C. Liu, Z.-X. Tan, "Spin-ss QQ-systems: Twist and open boundaries", SciPost Phys. Core 8, 057 (2025), doi:10.21468/SciPostPhysCore.8.3.057, arXiv:2502.15636, https://arxiv.org/abs/2502.15636
  20. Y. Jiang, R. Wen, Y. Zhang, "Exact quench dynamics from algebraic geometry", Phys. Rev. E 108, 024128 (2023), doi:10.1103/PhysRevE.108.024128, https://doi.org/10.1103/PhysRevE.108.024128