Abstract
In this paper and upcoming ones, we initiate a systematic study of Bethe ansatz equations for integrable models by modern computational algebraic geometry. We show that algebraic geometry provides a natural mathematical language and powerful tools for understanding the structure of solution space of Bethe ansatz equations. In particular, we find novel efficient methods to count the number of solutions of Bethe ansatz equations based on Gröbner basis and quotient ring. We also develop analytical approach based on companion matrix to perform the sum of on-shell quantities over all physical solutions without solving Bethe ansatz equations explicitly. To demonstrate the power of our method, we revisit the completeness problem of Bethe ansatz of Heisenberg spin chain, and calculate the sum rules of OPE coefficients in planar \( \mathcal{N}=4 \) super-Yang-Mills theory.
Article PDF
Similar content being viewed by others
References
H. Bethe, On the theory of metals. 1. Eigenvalues and eigenfunctions for the linear atomic chain (Zur theorie der metalle), Z. Phys. 71 (1931) 205 [INSPIRE].
V.E. Korepin, N.M. Bogoliubov and A.G. Izergin, Quantum inverse scattering method and correlation functions, Cambridge University Press, Cambridge U.K. (1993).
L.D. Faddeev, How algebraic Bethe ansatz works for integrable model, hep-th/9605187 [INSPIRE].
N. Yu. Reshetikhin, A method of functional equations in the theory of exactly solvable quantum systems, Lett. Math. Phys. 7 (1983) 205 [INSPIRE].
Y. Wang, W.-L. Yang, J. Cao and K. Shi, Off-diagonal Bethe ansatz for exactly solvable models, Springer, Germany (2015).
M. Takahashi, One-dimensional Hubbard model at finite temperature, Prog. Theor. Phys. 47 (1972) 69.
B. Sutherland, Low-lying eigenstates of the one-dimensional Heisenberg ferromagnet for any magnetization and momentum, Phys. Rev. Lett. 74 (1995) 816 [INSPIRE].
N. Beisert, J.A. Minahan, M. Staudacher and K. Zarembo, Stringing spins and spinning strings, JHEP 09 (2003) 010 [hep-th/0306139] [INSPIRE].
V.A. Kazakov, A. Marshakov, J.A. Minahan and K. Zarembo, Classical/quantum integrability in AdS/CFT, JHEP 05 (2004) 024 [hep-th/0402207] [INSPIRE].
R.P. Langlands and Y. Saint-Aubin, Algebro-geometric aspects of the Bethe equations, in Strings and symmetries, G. Aktas et al. eds., Springer, Germany (1995).
W. Hao, R.I. Nepomechie and A.J. Sommese, Completeness of solutions of Bethe’s equations, Phys. Rev. E 88 (2013) 052113 [arXiv:1308.4645] [INSPIRE].
P. Vieira and T. Wang, Tailoring non-compact spin chains, JHEP 10 (2014) 035 [arXiv:1311.6404] [INSPIRE].
B. Basso et al., Asymptotic four point functions, arXiv:1701.04462 [INSPIRE].
R. Huang, J. Rao, B. Feng and Y.-H. He, An algebraic approach to the scattering equations, JHEP 12 (2015) 056 [arXiv:1509.04483] [INSPIRE].
M. Sogaard and Y. Zhang, Scattering equations and global duality of residues, Phys. Rev. D 93 (2016) 105009 [arXiv:1509.08897] [INSPIRE].
J. Bosma, M. Sogaard and Y. Zhang, The polynomial form of the scattering equations is an H-basis, Phys. Rev. D 94 (2016) 041701 [arXiv:1605.08431] [INSPIRE].
F. Cachazo, S. He and E.Y. Yuan, Scattering of massless particles in arbitrary dimensions, Phys. Rev. Lett. 113 (2014) 171601 [arXiv:1307.2199] [INSPIRE].
F. Cachazo, S. He and E.Y. Yuan, Scattering equations and Kawai-Lewellen-Tye orthogonality, Phys. Rev. D 90 (2014) 065001 [arXiv:1306.6575] [INSPIRE].
F. Cachazo, S. He and E.Y. Yuan, Scattering of massless particles: scalars, gluons and gravitons, JHEP 07 (2014) 033 [arXiv:1309.0885] [INSPIRE].
F. Cachazo, S. He and E.Y. Yuan, Einstein-Yang-Mills scattering amplitudes from scattering equations, JHEP 01 (2015) 121 [arXiv:1409.8256] [INSPIRE].
F. Cachazo, S. He and E.Y. Yuan, Scattering equations and matrices: from Einstein To Yang-Mills, DBI and NLSM, JHEP 07 (2015) 149 [arXiv:1412.3479] [INSPIRE].
R. Hartshorne, Algebraic geometry, Springer, Germany (1977).
P. Griffiths and J. Harris, Principles of algebraic geometry, Wiley Classics Library. John Wiley & Sons, Inc., New York U.S.A. (1994).
D.A. Cox, J. Little and D. O’Shea, Ideals, varieties, and algorithms, Undergraduate Texts in Mathematics, Springer, Germany (2015).
D.A. Cox, J.B. Little and D. O’Shea, Using algebraic geometry, Graduate texts in mathematics, Springer, Germany (1998).
Y. Zhang, Lecture notes on multi-loop integral reduction and applied algebraic geometry, arXiv:1612.02249 [INSPIRE].
B. Buchberger, A theoretical basis for the reduction of polynomials to canonical forms, SIGSAM Bull. 10 (1976) 19.
J.-C. Faugére, A new efficient algorithm for computing Gröbner bases (F4), J. Pure Appl. Alg. 139 (1999) 61.
J.C. Faugère, A new efficient algorithm for computing Gröbner bases without reduction to zero (F5), in the proceedings of the 2002 International Symposium on Symbolic and Algebraic Computation (ISSAC’02), July 7-10, Lille, France (2002).
W. Decker, G.-M. Greuel, G. Pfister and H. Schönemann, Singular 4-1-0 — A computer algebra system for polynomial computations, http://www.singular.uni-kl.de (2016).
W. Hao, R.I. Nepomechie and A.J. Sommese, Singular solutions, repeated roots and completeness for higher-spin chains, J. Stat. Mech. 1403 (2014) P03024 [arXiv:1312.2982] [INSPIRE].
M. Takahashi, One-dimensional heisenberg model at finite temperature, Prog. Theor. Phys. 46 (1971) 401.
A. Kirillov, Combinatorial identities, and completeness of eigenstates of the Heisenberg magnet, J. Math. Sci. 30 (1985) 2298.
L.V. Avdeev and A.A. Vladimirov, Exceptional solutions to the Bethe ansatz equations, Theor. Math. Phys. 69 (1986) 1071.
F.H.L. Essler, V.E. Korepin and K. Schoutens, Fine structure of the Bethe ansatz for the spin-1/2 Heisenberg XXX model, J. Phys. A 25 (1992) 4115.
R. Siddharthan, Singularities in the Bethe solution of the XXX and XXZ Heisenberg spin chains, cond-mat/9804210.
J.D. Noh, D.S. Lee and D. Kim, Origin of the singular Bethe ansatz solutions for the Heisenberg XXZ spin chain, Physica A 287 (2000) 167 [cond-mat/0001175].
K. Fabricius and B.M. McCoy, Bethe’s equation is incomplete for the XXZ model at roots of unity, J. Statist. Phys. 103 (2001) 647 [cond-mat/0009279] [INSPIRE].
R.J. Baxter, Completeness of the Bethe ansatz for the six and eight vertex models, J. Statist. Phys. 108 (2002) 1 [cond-mat/0111188] [INSPIRE].
E. Mukhin, V. Tarasov and A. Varchenko, Bethe algebra of homogeneous XXX Heisenberg model has simple spectrum, arXiv:0706.0688.
A.N. Kirillov and R. Sakamoto, Singular solutions to the Bethe ansatz equations and rigged configurations, J. Phys. A 47 (2014) 205207 [arXiv:1402.0651].
A.N. Kirillov and R. Sakamoto, Some remarks on Nepomechie-Wang eigenstates for spin 1/2 XXX model, arXiv:1406.1958.
R.I. Nepomechie and C. Wang, Algebraic Bethe ansatz for singular solutions, J. Phys. A 46 (2013) 325002 [arXiv:1304.7978] [INSPIRE].
D. Bernshtein, The number of roots of a system of equations, Funct. Anal. Appl. 9 (1975) 183.
A. Kushnirenko, Newton polytopes and the Bézout theorem, Funct. Anal. Appl. 10 (1976) 233.
A. Khovanskii, Newton polyhedra and the genus of complete intersection, Funct. Anal. Appl. 12 (1978) 38.
J.C. Faugère, FGb: a library for computing Gröbner bases, in Mathematical Software — ICMS 2010, K. Fukuda et al. eds., Lecture Notes in Computer Science volume 6327, Springer, Berlin, Germany (2010).
N. Beisert et al., Review of AdS/CFT integrability: an overview, Lett. Math. Phys. 99 (2012) 3 [arXiv:1012.3982] [INSPIRE].
D. Chicherin, J. Drummond, P. Heslop and E. Sokatchev, All three-loop four-point correlators of half-BPS operators in planar \( \mathcal{N}=4 \) SYM, JHEP 08 (2016) 053 [arXiv:1512.02926] [INSPIRE].
C. Marboe and D. Volin, Fast analytic solver of rational Bethe equations, J. Phys. A 50 (2017) 204002 [arXiv:1608.06504] [INSPIRE].
C. Marboe and D. Volin, The full spectrum of AdS5/CFT4 I: Representation theory and one-loop Q-system, arXiv:1701.03704 [INSPIRE].
Y. Jiang and Y. Zhang, Algebraic geometry and bethe ansatz. Part II. The quotient ring of rational Q -systems, to appear.
N. Beisert and M. Staudacher, Long-range PSU (2, 2|4) Bethe Ansatze for gauge theory and strings, Nucl. Phys. B 727 (2005) 1 [hep-th/0504190] [INSPIRE].
C.-N. Yang, Some exact results for the many body problems in one dimension with repulsive delta function interaction, Phys. Rev. Lett. 19 (1967) 1312 [INSPIRE].
P.P. Kulish and N. Yu. Reshetikhin, Diagonalization of GL(N) invariant transfer matrices and quantum N wave system (Lee model), J. Phys. A 16 (1983) L591 [INSPIRE].
S. Belliard and É. Ragoucy, Nested Bethe ansatz for ‘all’ closed spin chains, J. Phys. A 41 (2008) 295202 [arXiv:0804.2822] [INSPIRE].
E.K. Sklyanin, Boundary conditions for integrable quantum systems, J. Phys. A 21 (1988) 2375 [INSPIRE].
R.I. Nepomechie and F. Ravanini, Completeness of the Bethe ansatz solution of the open XXZ chain with nondiagonal boundary terms, J. Phys. A 36 (2003) 11391 [hep-th/0307095] [INSPIRE].
J. Cao, W.-L. Yang, K. Shi and Y. Wang, Off-diagonal Bethe ansatz solution of the XXX spin-chain with arbitrary boundary conditions, Nucl. Phys. B 875 (2013) 152 [arXiv:1306.1742] [INSPIRE].
E. Brattain, N. Do and A. Saenz, The completeness of the Bethe ansatz for the periodic ASEP, arXiv:1511.03762.
R.S. Vieira and A. Lima-Santos, Where are the roots of the Bethe Ansatz equations?, Phys. Lett. A 379 (2015) 2150 [arXiv:1502.05316].
R.S. Vieira, On the number of roots of self-inversive polynomials on the complex unit circle, arXiv:1504.00615.
K. Fabricius and B.M. McCoy, Bethe’s equation is incomplete for the XXZ model at roots of unity, J. Statist. Phys. 103 (2001) 647 [cond-mat/0009279] [INSPIRE].
R. Suzuki, Refined counting of necklaces in one-loop \( \mathcal{N}=4 \) SYM, JHEP 06 (2017) 055 [arXiv:1703.05798] [INSPIRE].
A.G. Izergin and V.E. Korepin, Pauli principle for one-dimensional bosons and the algebraic Bethe ansatz, Lett. Math. Phys. 6 (1982) 283 [INSPIRE].
N. Beisert, V. Dippel and M. Staudacher, A novel long range spin chain and planar N = 4 super Yang-Mills, JHEP 07 (2004) 075 [hep-th/0405001] [INSPIRE].
B. Boyer et al., GBLA — Gröbner Basis Linear Algebra package arXiv:1602.06097.
C. Eder, GB: Implementation of Faugère’s F4 algorithm using gbla for the linear algebra part, https://github.com/ederc/gb (2017).
M. Brickenstein, Slimgb: Gröbner bases with slim polynomials, Rev. Mat. Complutense 23 (2010) 453.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1710.04693
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Jiang, Y., Zhang, Y. Algebraic geometry and Bethe ansatz. Part I. The quotient ring for BAE. J. High Energ. Phys. 2018, 87 (2018). https://doi.org/10.1007/JHEP03(2018)087
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP03(2018)087