In 1989 Gu and Yang solved the one-dimensional N-fermion problem with pairwise delta-function interaction and m internal spin states by Bethe's hypothesis: they recast the sector-matching conditions as an operator relation, showed the two-body matching operators satisfy the Yang-Baxter equation, and obtained the explicitly factorized N-body S matrix together with the bound-cluster (string) sector. Three parts of the scattering program were left open and remain open. First, the Bethe hypothesis is assumed rather than proven: for three or more particles the kinematic conservation laws admit diffractive (momentum-redistributing) scattering, and a rigorous completeness result — that the Bethe states and string states exhaust the scattering states of the fermionic delta gas on the line — is not available in the literature, though analogous results exist for the bosonic gas and for spin systems on the circle. Second, the operator formalism is singular exactly at the string momenta of attractive bound clusters, where the denominators i(kj−kl)−ci(k_j-k_l)-c vanish and the cluster S matrices are derived only formally, without a controlled limiting procedure. Third, for one-dimensional systems violating Yang-Baxter consistency, such as three particles with unequal pairwise couplings, the full three-body scattering problem including diffraction is known only in special cases, in leading order near integrability, and numerically. The problem posed here is to complete this program: a complete scattering theory delimiting exactly where the non-diffractive Bethe/factorized-S-matrix structure is valid, including the singular string regimes of the integrable point, and accounting for diffraction outside it.

Background

One-dimensional quantum many-body systems with pairwise delta-function (contact) interactions are the paradigm of exactly solvable scattering problems. The Hamiltonian

H=−∑i=1N∂2∂xi2+2c∑i<jδ(xi−xj)H = -\sum_{i=1}^{N}\frac{\partial^2}{\partial x_i^2} + 2c\sum_{i<j}\delta(x_i-x_j)

describes NN particles on a line with coupling c∈Rc\in\mathbb{R} (repulsive for c>0c>0, attractive for c<0c<0). For spinless bosons this is the Lieb-Liniger model (Lieb and Liniger, 1963; McGuire, 1964). For fermions the delta interaction acts only between different spin states, so the nontrivial problem concerns NN fermions in mm internal spin states, each particle carrying a label in {1,…,m}\{1,\dots,m\} and the wavefunction being antisymmetric under simultaneous exchange of coordinates and spin labels. This fermionic delta gas was solved by Yang (1967) with the nested Bethe ansatz (a recursive application of the ansatz in which the spin degrees of freedom of the NN-particle problem are themselves reduced to an (N−1)(N-1)-particle problem of the same type), and its SS matrix, the operator relating incoming to outgoing scattering states, was obtained by Yang (1968).

The coordinate Bethe ansatz, or Bethe's hypothesis, postulates that in each ordering sector xQ1<xQ2<⋯<xQNx_{Q_1}<x_{Q_2}<\dots<x_{Q_N} of configuration space the eigenfunction is a finite superposition of plane waves built from a single set of NN momenta k1,…,kNk_1,\dots,k_N, distributed over the terms by the N!N! permutations. Physically this is non-diffractive scattering: the set of asymptotic outgoing momenta of any collision coincides with the set of incoming momenta, so many-body scattering factorizes into a sequence of two-body collisions. For N=2N=2 this is forced by energy-momentum conservation; for N≥3N\ge 3 the conservation laws also admit diffractive solutions in which outgoing momenta are redistributed, and the absence of such solutions is a nontrivial structural property of the interaction — in modern language, equivalent to integrability, i.e. to the validity of the Yang-Baxter equation for the two-body scattering operators.

Across each coincidence hyperplane xa=xa+1x_a=x_{a+1}, integrating the Schrodinger equation against the delta potential yields matching conditions relating the amplitude columns (vectors of spin amplitudes, one component per spin configuration) of terms whose momenta differ by an adjacent transposition. Gu and Yang (1989) recast these conditions as an operator relation with the two-body matching operator

Yjlab=−i(kj−kl)Pab+ci(kj−kl)−c,Y_{jl}^{ab} = \frac{-i(k_j-k_l)P^{ab}+c}{i(k_j-k_l)-c},

where PabP^{ab} is the spin-permutation operator exchanging the spin labels of the particles at the ordered positions aa and bb. Consistency of the web of such relations for N≥3N\ge 3 holds precisely when these operators satisfy the Yang-Baxter equation, the cubic braid-type relation guaranteeing that three-body scattering decomposes into pairwise collisions independently of the decomposition order. Gu and Yang verified it for their operators (the rational Yang-Baxter solution), thereby establishing the algebraic consistency of the fermionic Bethe ansatz, and obtained the factorized NN-body SS matrix

S=[X21X31⋯XN1][X32⋯XN2]⋯[XN(N−1)],Xij=i(ki−kj)−cPiji(ki−kj)−c,S = [X_{21}X_{31}\cdots X_{N1}][X_{32}\cdots X_{N2}]\cdots[X_{N(N-1)}], \qquad X_{ij} = \frac{i(k_i-k_j)-cP^{ij}}{i(k_i-k_j)-c},

valid for real, pairwise distinct momenta. In the attractive regime the spectrum contains bound clusters, called strings: NN-particle bound states whose momenta are equally spaced on a vertical line in the complex plane, kj+1=kj−ick_{j+1}=k_j-ic, with binding energy E=−c2N(N2−1)/12E=-c^2N(N^2-1)/12 (a formula going back to McGuire's treatment of the bosonic model) and fully antisymmetric spin columns, possible when m≥Nm\ge N. Scattering involving such clusters is again non-diffractive and is described by products of the operators XijX_{ij} acting on amplitude columns constrained by cluster-type permutation conditions.

Three boundary issues of this construction, acknowledged in the source and in its later reformulations, motivate the present problem. First, Bethe's hypothesis is assumed: its algebraic consistency (the Yang-Baxter equation) is verified, but it is not proven that the delta Hamiltonian itself produces no diffractive outgoing waves for N≥3N\ge 3, nor is a complete scattering theory — asymptotic completeness, meaning that the Bethe and string states together span the space of scattering states — established. Second, the operators YY and XX are defined only when the scalar denominator i(kj−kl)−ci(k_j-k_l)-c is nonzero; within an attractive string one has exactly i(kj+1−kj)=ci(k_{j+1}-k_j)=c, so the derivation of the cluster SS matrices proceeds by formally multiplying through the vanishing denominators without a controlled limiting procedure, and degenerate limits (coincident momenta, c→0c\to 0) are similarly untreated. Third, for one-dimensional systems whose interactions violate the Yang-Baxter consistency — for example three particles with unequal pairwise delta couplings g12,g13,g23g_{12},g_{13},g_{23} — the full three-body scattering problem, including the diffractive channels, was noted to be difficult and left open. The later literature (reviews by Yurovsky, Olshanii and Weiss (2008) and Guan, Batchelor and Lee (2013)) has clarified the landscape — non-diffraction is now the operational criterion of one-dimensional integrability — but has not closed these three gaps.

Problem Statement

Complete the scattering program that Gu and Yang (1989) left open for the one-dimensional N-fermion delta-function gas: the Hamiltonian H=−∑i∂2/∂xi2+2c∑i<jδ(xi−xj)H=-\sum_i\partial^2/\partial x_i^2+2c\sum_{i<j}\delta(x_i-x_j) on the line with NN fermions in mm internal spin states and coupling c∈Rc\in\mathbb{R}. The common objective is a complete scattering theory that (i) delimits exactly where the non-diffractive Bethe-ansatz/factorized-S-matrix structure is valid, including the singular parameter regimes of the integrable point itself, and (ii) accounts for the diffractive scattering outside it. Three linked components jointly serve this objective.

(1) Bethe-ansatz exactness and coverage. Establish rigorously for this Hamiltonian (with its self-adjoint realization — the choice of domain and boundary conditions at the coincidence hyperplanes that makes the formal differential expression a self-adjoint operator — on the antisymmetric subspace of L2(RN;CmN)L^2(\mathbb{R}^N;\mathbb{C}^{m^N})) whether many-body scattering is non-diffractive for all N≥3N\ge 3 and all c∈Rc\in\mathbb{R}: either prove asymptotic completeness — that the scattering states generated by the Bethe ansatz together with the bound-cluster (string) states exhaust the state space, with well-defined incoming and outgoing asymptotics — or determine precisely the regimes (couplings, momenta, NN) in which diffractive components occur.

(2) The singular parameter values. Provide a well-defined and rigorously justified treatment of the matching-operator formalism at the parameter values where the denominators i(kj−kl)−ci(k_j-k_l)-c vanish: the string momenta of attractive clusters (kj+1=kj−ick_{j+1}=k_j-ic, for which one ordering of the labels gives a vanishing denominator) and the degenerate limits of coincident momenta and c→0c\to 0. The treatment must show that the resulting cluster SS matrices and amplitude conditions are the correct limits of the generic-momentum construction.

(3) Scattering beyond the integrable point. For one-dimensional three-particle (and, where tractable, NN-particle) systems whose interactions violate the Yang-Baxter consistency — paradigmatically delta-function interactions with unequal pairwise couplings g12,g13,g23g_{12},g_{13},g_{23} — determine the diffractive part of the scattering amplitude, exactly or with controlled error bounds, beyond the special cases already solved in the literature and beyond leading-order perturbation theory near the integrable point.

References

  1. C. H. Gu and Chen Ning Yang, 'A one-dimensional N Fermion problem with factorized S matrix', Communications in Mathematical Physics 122, 105-116 (1989). DOI: 10.1007/BF01221409, https://doi.org/10.1007/BF01221409
  2. C. N. Yang, 'Some Exact Results for the Many-Body Problem in one Dimension with Repulsive Delta-Function Interaction', Physical Review Letters 19, 1312-1315 (1967). DOI: 10.1103/PhysRevLett.19.1312, https://doi.org/10.1103/PhysRevLett.19.1312
  3. C. N. Yang, 'S Matrix for the One-Dimensional N-Body Problem with Repulsive or Attractive δ-Function Interaction', Physical Review 168, 1920-1923 (1968). DOI: 10.1103/PhysRev.168.1920, https://doi.org/10.1103/PhysRev.168.1920
  4. Elliott H. Lieb and Werner Liniger, 'Exact Analysis of an Interacting Bose Gas. I. The General Solution and the Ground State', Physical Review 130, 1605-1616 (1963). DOI: 10.1103/PhysRev.130.1605, https://doi.org/10.1103/PhysRev.130.1605
  5. J. B. McGuire, 'Study of Exactly Soluble One-Dimensional N-Body Problems', Journal of Mathematical Physics 5, 622-636 (1964). DOI: 10.1063/1.1704156, https://doi.org/10.1063/1.1704156
  6. J. B. McGuire and C. A. Hurst, 'The Scattering of Three Impenetrable Particles in One Dimension', Journal of Mathematical Physics 13, 1595-1607 (1972). DOI: 10.1063/1.1665884, https://doi.org/10.1063/1.1665884
  7. M. Gaudin and B. Derrida, 'Solution exacte d'un problème modèle à trois corps. Etat lié', Journal de Physique 36, 1183-1197 (1975). DOI: 10.1051/jphys:0197500360120118300, https://doi.org/10.1051/jphys:0197500360120118300
  8. K. Lipszyc, 'On the application of the Sommerfeld-Maluzhinetz transformation to some one-dimensional three-particle problems', Journal of Mathematical Physics 21, 1092-1102 (1980). DOI: 10.1063/1.524558, https://doi.org/10.1063/1.524558
  9. J. B. McGuire and C. A. Hurst, 'Three interacting particles in one dimension: An algebraic approach', Journal of Mathematical Physics 29, 155-168 (1988). DOI: 10.1063/1.528168, https://doi.org/10.1063/1.528168
  10. T. C. Dorlas, 'Orthogonality and completeness of the Bethe Ansatz eigenstates of the nonlinear Schroedinger model', Communications in Mathematical Physics 154, 347-376 (1993). DOI: 10.1007/BF02097001, https://doi.org/10.1007/BF02097001
  11. Sergio Albeverio, Ludwik Dabrowski and Shao-Ming Fei, 'A remark on one-dimensional many-body problems with point interactions', International Journal of Modern Physics B 14, 721-727 (2000). DOI: 10.1142/S0217979200000601, arXiv:quant-ph/0001089, https://doi.org/10.1142/S0217979200000601
  12. S. Albeverio, S.-M. Fei and P. Kurasov, 'Many body problems with "spin"-related contact interactions', Reports on Mathematical Physics 47, 157-166 (2001). DOI: 10.1016/S0034-4877(01)89033-9, https://doi.org/10.1016/S0034-4877(01)89033-9
  13. S. Albeverio, S. M. Fei and P. Kurasov, 'On Integrability of Many-body Problems with Point Interactions', in: Operator Methods in Ordinary and Partial Differential Equations, pp. 67-76 (2002). DOI: 10.1007/978-3-0348-8219-4_7, arXiv:quant-ph/0205145, https://doi.org/10.1007/978-3-0348-8219-4_7
  14. E. Emsiz, E. M. Opdam and J. V. Stokman, 'Trigonometric Cherednik algebra at critical level and quantum many-body problems', Selecta Mathematica 14, 571-605 (2009). DOI: 10.1007/s00029-009-0516-y, arXiv:0804.0046, https://doi.org/10.1007/s00029-009-0516-y
  15. Erdal Emsiz, 'Completeness of the Bethe ansatz on Weyl alcoves', Letters in Mathematical Physics 91, 61-70 (2010). DOI: 10.1007/s11005-009-0359-7, arXiv:1009.4487, https://doi.org/10.1007/s11005-009-0359-7
  16. Vladimir A. Yurovsky, Maxim Olshanii and David S. Weiss, 'Collisions, correlations, and integrability in atom waveguides', Advances in Atomic, Molecular, and Optical Physics 55, 61-138 (2008). DOI: 10.1016/S1049-250X(07)55002-0, https://doi.org/10.1016/S1049-250X(07)55002-0
  17. Xi-Wen Guan, Murray T. Batchelor and Chaohong Lee, 'Fermi gases in one dimension: From Bethe ansatz to experiments', Reviews of Modern Physics 85, 1633-1691 (2013). DOI: 10.1103/RevModPhys.85.1633, arXiv:1301.6446, https://doi.org/10.1103/RevModPhys.85.1633
  18. Austen Lamacraft, 'Diffractive scattering of three particles in one dimension: A simple result for weak violations of the Yang-Baxter equation', Physical Review A 87, 012707 (2013). DOI: 10.1103/PhysRevA.87.012707, arXiv:1211.4110, https://doi.org/10.1103/PhysRevA.87.012707
  19. N. L. Harshman, Maxim Olshanii, A. S. Dehkharghani, A. G. Volosniev, Steven Glenn Jackson and N. T. Zinner, 'Integrable Families of Hard-Core Particles with Unequal Masses in a One-Dimensional Harmonic Trap', Physical Review X 7, 041001 (2017). DOI: 10.1103/PhysRevX.7.041001, https://doi.org/10.1103/PhysRevX.7.041001
  20. A. Amaya-Tapia, G. Gasaneo, S. Ovchinnikov, J. H. Macek and S. Y. Larsen, 'Integral representation of one-dimensional three particle scattering for δ function interactions', Journal of Mathematical Physics 45, 3533-3545 (2004). DOI: 10.1063/1.1769613, arXiv:math-ph/0406019, https://doi.org/10.1063/1.1769613
  21. Shuichi Murakami and Miki Wadati, 'Completeness of Bethe Ansatz States in One-Dimensional δ-Function Fermions', Journal of the Physical Society of Japan 64, 4571-4582 (1995). DOI: 10.1143/jpsj.64.4571, https://doi.org/10.1143/jpsj.64.4571
  22. Giulia Basti, Claudio Cacciapuoti, Domenico Finco and Alessandro Teta, 'The three-body problem in dimension one: From short-range to contact interactions', Journal of Mathematical Physics 59, 072104 (2018). DOI: 10.1063/1.5030170, https://doi.org/10.1063/1.5030170