In one-dimensional quantum systems, integrability is synonymous with nondiffractive scattering: the set of outgoing momenta equals the set of incoming momenta, and the many-body wavefunction takes the Bethe-ansatz form. The consistency condition behind this is the Yang-Baxter equation for the two-particle S-matrix. Lamacraft [Phys. Rev. A 87, 012707 (2013)] showed that for three equal-mass particles with pairwise contact couplings gijg_{ij} near the integrable manifold g12=g13=g23g_{12}=g_{13}=g_{23}, the leading diffracted three-body amplitude is a simple commutator-like combination of two-particle scattering matrices acting on the Bethe amplitudes, expressible entirely through two-body scattering data, with consequences ranging from bound-pair disintegration amplitudes to a three-body collision integral predicting relaxation rates scaling as (n1+n2)n1n2(n_1+n_2)n_1n_2 in a two-component Bose gas. The task is to determine the exact diffractive amplitudes at arbitrary (not nearly equal) couplings, i.e. to solve the six Sommerfeld functional relations without the periodicity supplied by the Yang-Baxter equation; the rigorous finite-range validity of the near-integrable formula; nontrivial solutions of the three-particle Boltzmann equation; and the experimental observation of three-body diffractive relaxation in multicomponent one-dimensional gases.

Background

For a quantum system of particles moving in one dimension, scattering has a special structure: for two particles, energy and momentum conservation force the outgoing momenta to coincide with the incoming ones (possibly exchanged). The distinction between integrable and nonintegrable dynamics therefore appears first for three particles. A system is called nondiffractive when, in every scattering event, the set of outgoing single-particle momenta equals the set of incoming momenta; the corresponding wavefunction in the asymptotic region is a superposition of plane waves over the permutations of the incoming momenta, which is the coordinate Bethe ansatz that underlies all exactly solved one-dimensional many-body models such as the Lieb-Liniger gas (one-dimensional bosons with delta-function interactions).

Nonintegrable interactions instead produce diffraction: a continuum of outgoing momenta, restricted only by energy and momentum conservation, carried by a diffracted wave that decays as ei(kr+π/4)/2πkre^{i(kr+\pi/4)}/\sqrt{2\pi kr} with angle-dependent amplitude D(ϕ)\mathcal{D}(\phi), in direct analogy with optical diffraction from a wedge.

The canonical family of models here consists of three equal-mass distinguishable particles with pairwise contact (delta-function) interactions of strengths g12,g13,g23g_{12}, g_{13}, g_{23}. When all three couplings coincide, the model is the three-body sector of the Lieb-McGuire system (the NN-body delta-interacting gas) and is solved by the Bethe ansatz; the algebraic reason is that the two-particle reflection and transmission amplitudes satisfy the Yang-Baxter equation, the condition that three-particle scattering factorizes consistently into sequential two-particle collisions irrespective of ordering. For unequal couplings the Yang-Baxter equation fails and diffraction appears. Beyond the integrable case, only a few special cases have exact solutions: McGuire's equal-coupling Bethe solution, the impenetrable-particle limits (infinite coupling, where particles cannot pass one another) of McGuire and Hurst, the solvable three-body model with a bound state of Gaudin and Derrida, and Lipszyc's Sommerfeld-Malyuzhinets treatment of particular diffraction problems; the general formulation (McGuire and Hurst's algebraic approach, a system of coupled functional equations) has been regarded as forbiddingly complex since the 1970s-80s.

Lamacraft (2013) recast the problem using the Sommerfeld representation: after removing the center of mass, the three coincidence lines xi=xjx_i=x_j cut the plane into six sectors (the six orderings of the particles), and the wavefunction in each sector is an angular superposition with amplitude function AQ(α)\mathcal{A}_Q(\alpha), where QQ labels the sector. Matching the contact boundary conditions yields six coupled functional relations (Eq. (15) of that paper) relating the AQ(α)\mathcal{A}_Q(\alpha) through 6×66\times6 matrices S1,S2\mathcal{S}_1, \mathcal{S}_2 built solely from the two-particle reflection and transmission amplitudes rij,tijr_{ij}, t_{ij}. The key structural result is that 2π2\pi-periodicity of the AQ(α)\mathcal{A}_Q(\alpha) is equivalent to the Yang-Baxter equation: periodicity forces the Sommerfeld integrals to collapse onto their pole residues (the Bethe-ansatz waves) and eliminates diffraction. When the couplings are close but not equal, the failure of periodicity is small, and Lamacraft obtained the leading-order diffracted amplitude D=[S1(ϕ−2π/3)S2(ϕ−π/3)S1(ϕ)−S2(ϕ)S1(ϕ−π/3)S2(ϕ−2π/3)]AB\mathcal{D} = [\mathcal{S}_1(\phi-2\pi/3)\mathcal{S}_2(\phi-\pi/3)\mathcal{S}_1(\phi) - \mathcal{S}_2(\phi)\mathcal{S}_1(\phi-\pi/3)\mathcal{S}_2(\phi-2\pi/3)]\mathcal{A}^{\mathrm{B}}, the difference of the two orderings of two-particle scattering matrices acting on the Bethe amplitudes, which vanishes identically when the Yang-Baxter equation holds and is first order in the deviation of the couplings from the integrable point. Because only two-particle data enter, the result was argued (though not proven) to extend to finite-range interactions close to integrable. For attractive couplings, poles of the AQ(α)\mathcal{A}_Q(\alpha) at complex angles describe two-particle bound states, and the same formula gives the leading amplitude for disintegration of a bound pair colliding with a third particle, a process forbidden in the integrable limit.

The physical stakes are kinetic. In a one-dimensional gas, binary collisions merely exchange or bounce momenta and so cannot change the single-particle momentum distribution at all; this is the mechanism behind the celebrated quantum Newton's cradle experiment (Kinoshita, Wenger and Weiss, 2006), in which a trapped one-dimensional Bose gas failed to thermalize. Relaxation therefore requires diffractive events, and at low density the leading mechanism is three-body diffraction. This is directly relevant to multicomponent one-dimensional gases, such as atoms in different hyperfine states, where the pairwise interaction strengths differ by a few percent: a natural, weakly nonintegrable system. Lamacraft used the diffracted amplitude to write the three-body collision integral of the Boltzmann equation for such gases, with the estimate that the relaxation rate of a two-component Bose gas scales as (n1+n2)n1n2(n_1+n_2)n_1n_2 with the component densities n1,2n_{1,2}. Subsequent large programs on weak integrability breaking (diffusive hydrodynamics, and generalized hydrodynamics - the exact hydrodynamic theory of integrable one-dimensional systems - extended by collision integrals) have mostly addressed other perturbations, such as lattice discretization, atom loss, or external noise, and treat three-body diffraction in multicomponent contact gases only through the perturbative formula above. What is still missing is the exact theory away from the near-integrable regime, its rigorous domain of validity, the resulting kinetic solutions, and any experimental test.

Problem Statement

The problem is the completion of the quantitative theory of three-body diffractive scattering in one dimension beyond the near-integrable regime, as left open by Lamacraft (2013). Its components share one objective - the exact quantitative link between violation of the Yang-Baxter equation and diffractive three-particle scattering and its kinetic consequences - and are ordered by dependence as follows.

(1) Core: exact amplitudes at arbitrary couplings. For three equal-mass distinguishable particles in one dimension with pairwise contact (delta-function) interactions of real strengths g12,g13,g23g_{12}, g_{13}, g_{23}, determine the exact three-body scattering solution - in particular the diffracted amplitudes DQ(ϕ)=AQ(ϕ−π)−AQ(ϕ+π)\mathcal{D}_Q(\phi)=\mathcal{A}_Q(\phi-\pi)-\mathcal{A}_Q(\phi+\pi) giving the angular structure of the diffracted wave - for generic couplings at finite distance from the integrable manifold g12=g13=g23g_{12}=g_{13}=g_{23}. This means solving the six coupled functional relations obeyed by the Sommerfeld sector amplitudes AQ(α)\mathcal{A}_Q(\alpha) (Eq. (15) of Lamacraft 2013, equivalent to the McGuire-Hurst algebraic formulation) without assuming the 2π2\pi-periodicity in α\alpha that holds exactly when the two-particle S-matrix satisfies the Yang-Baxter equation. The answer must (i) go beyond first order in the Yang-Baxter violation, (ii) satisfy the contact boundary conditions in all six ordering sectors together with unitarity and flux conservation of the full scattering, (iii) reproduce the known limits: exact Bethe (nondiffractive) solution with DQ≡0\mathcal{D}_Q\equiv 0 at equal couplings, Lamacraft's leading-order formula D=[S1(ϕ−2π/3)S2(ϕ−π/3)S1(ϕ)−S2(ϕ)S1(ϕ−π/3)S2(ϕ−2π/3)]AB\mathcal{D}=[\mathcal{S}_1(\phi-2\pi/3)\mathcal{S}_2(\phi-\pi/3)\mathcal{S}_1(\phi)-\mathcal{S}_2(\phi)\mathcal{S}_1(\phi-\pi/3)\mathcal{S}_2(\phi-2\pi/3)]\mathcal{A}^{\mathrm{B}} near that manifold, the impenetrable (infinite-coupling) limits, and weak-coupling perturbation theory, and (iv) retain the correct pole structure describing two-particle bound states and their disintegration for attractive couplings.

(2) Finite-range validity. Establish rigorously, or refute with quantitative bounds, the claim that the leading diffractive amplitude is determined by two-particle scattering data alone and therefore extends to finite-range (non-contact) interactions close to integrable, including the size and structure of the corrections beyond the near-integrable regime.

(3) Kinetic theory. Using the diffractive collision integral, construct nontrivial solutions of the three-particle Boltzmann equation - for example self-similar solutions describing spatially constant but nonequilibrium distributions - and characterize the relaxation dynamics of multicomponent one-dimensional gases that follow from them, including the predicted ∝(n1+n2)n1n2\propto(n_1+n_2)n_1n_2 relaxation-rate scaling for a two-component Bose gas and its regime of validity.

(4) Experimental validation. Provide a quantitative measurement of three-body diffractive relaxation in a multicomponent one-dimensional atomic gas with independently characterized unequal interaction strengths, to be compared with the predicted density, coupling, and angular dependence.

An answer to the problem as a whole must make progress on the core (1); components (2)-(4) are the rigor, consequence, and observational test of the same theory and are judged against the amplitudes of (1). A complete solution of the core (1) for arbitrary real contact couplings is the deliverable that resolves the task; components (2)-(4) are optional follow-on consequences and are not required for completion. No finite-size, geometry, coupling-ratio, or answer-form restriction is intended: component (1) concerns arbitrary real contact couplings, and partial progress (for example an exact solution on a subfamily of nonintegrable couplings beyond the known special cases, or a controlled resummation of the violation) constitutes progress on the problem, but does not by itself complete it.

References

  1. A. Lamacraft, "Diffractive scattering of three particles in one dimension: A simple result for weak violations of the Yang-Baxter equation," Phys. Rev. A 87, 012707 (2013). DOI: 10.1103/PhysRevA.87.012707; arXiv:1211.4110. https://arxiv.org/abs/1211.4110
  2. J. B. McGuire, "Study of exactly soluble one-dimensional N-body problems," J. Math. Phys. 5, 622 (1964). DOI: 10.1063/1.1704156. https://doi.org/10.1063/1.1704156
  3. J. B. McGuire and C. A. Hurst, "The scattering of three impenetrable particles in one dimension," J. Math. Phys. 13, 1595 (1972). DOI: 10.1063/1.1665884. https://doi.org/10.1063/1.1665884
  4. M. Gaudin and B. Derrida, "Solution exacte d'un problème modèle à trois corps. Etat lié," J. Phys. (Paris) 36, 1183 (1975). DOI: 10.1051/jphys:0197500360120118300. https://doi.org/10.1051/jphys:0197500360120118300
  5. K. Lipszyc, "On the application of the Sommerfeld–Maluzhinetz transformation to some one-dimensional three-particle problems," J. Math. Phys. 21, 1092 (1980). DOI: 10.1063/1.524558. https://doi.org/10.1063/1.524558
  6. J. B. McGuire and C. A. Hurst, "Three interacting particles in one dimension: An algebraic approach," J. Math. Phys. 29, 155 (1988). DOI: 10.1063/1.528168. https://doi.org/10.1063/1.528168
  7. A. M. Lunde, K. Flensberg, and L. I. Glazman, "Three-particle collisions in quantum wires: Corrections to thermopower and conductance," Phys. Rev. B 75, 245418 (2007). DOI: 10.1103/PhysRevB.75.245418. https://doi.org/10.1103/PhysRevB.75.245418
  8. T. Kinoshita, T. Wenger, and D. S. Weiss, "A quantum Newton's cradle," Nature 440, 900 (2006). DOI: 10.1038/nature04693. https://doi.org/10.1038/nature04693
  9. A. Levchenko, "Plasmon decay and thermal transport from spin-charge coupling in generic Luttinger liquids," Phys. Rev. Lett. 113, 196401 (2014). DOI: 10.1103/PhysRevLett.113.196401. https://doi.org/10.1103/PhysRevLett.113.196401
  10. D. Braak, J. M. Zhang, and M. Kollar, "Integrability and weak diffraction in a two-particle Bose-Hubbard model," J. Phys. A: Math. Theor. 47, 465303 (2014). DOI: 10.1088/1751-8113/47/46/465303. https://doi.org/10.1088/1751-8113-47/46/465303
  11. Z. Hwang, F. Cao, and M. Olshanii, "Traces of integrability in relaxation of one-dimensional two-mass mixtures," arXiv:1412.8403 (2014). https://arxiv.org/abs/1412.8403
  12. P. N. Bibikov, "Three magnons in an isotropic S = 1 ferromagnetic chain as an exactly solvable non-integrable system," J. Stat. Mech. (2016) 033109. DOI: 10.1088/1742-5468/2016/03/033109. https://doi.org/10.1088/1742-5468/2016/03/033109
  13. A. J. Friedman, S. Gopalakrishnan, and R. Vasseur, "Diffusive hydrodynamics from integrability breaking," Phys. Rev. B 101, 180302(R) (2020). DOI: 10.1103/PhysRevB.101.180302. https://doi.org/10.1103/PhysRevB.101.180302
  14. A. Bastianello, A. De Luca, and R. Vasseur, "Hydrodynamics of weak integrability breaking," J. Stat. Mech. (2021) 114003. DOI: 10.1088/1742-5468/ac26b2. https://doi.org/10.1088/1742-5468/ac26b2
  15. F. Cataldini, F. Møller, M. Tajik, J. Sabino, S.-C. Ji, I. Mazets, T. Schweigler, B. Rauer, and J. Schmiedmayer, "Emergent Pauli blocking in a weakly interacting Bose gas," Phys. Rev. X 12, 041032 (2022). DOI: 10.1103/PhysRevX.12.041032. https://doi.org/10.1103/PhysRevX.12.041032
  16. Z. Zhang and G. Mussardo, "Hidden Bethe states in a partially integrable model," Phys. Rev. B 106, 134420 (2022). DOI: 10.1103/PhysRevB.106.134420; arXiv:2205.03425. https://arxiv.org/abs/2205.03425
  17. S. I. Mistakidis, A. G. Volosniev, R. E. Barfknecht, T. Fogarty, Th. Busch, A. Foerster, P. Schmelcher, and N. T. Zinner, "Few-body Bose gases in low dimensions - A laboratory for quantum dynamics," Phys. Rep. 1042, 1 (2024). DOI: 10.1016/j.physrep.2023.10.004; arXiv:2202.11071. https://arxiv.org/abs/2202.11071
  18. M. Eltohfa, X. Wang, C. M. Griffin, and F. Robicheaux, "Simulations of classical three-body thermalization in one dimension," Phys. Rev. E 110, 014114 (2024). DOI: 10.1103/PhysRevE.110.014114; arXiv:2403.00089. https://arxiv.org/abs/2403.00089