Skip to content

Bethe-Integrable Quantum Gases and Spin Chains

Bethe integrability replaces generic many-body scattering by stable quasiparticles whose multiparticle amplitudes factorize into two-body phases. Every later thermodynamic or hydrodynamic formula depends on the rapidity, phase, measure, species, boundary, and branch conventions fixed here. This page uses the repulsive Lieb–Liniger gas as an explicit normalization and then explains what changes for spin chains and string species.

Required background. Bethe quantization in finite volume supplies factorized scattering and periodic quantization. One-dimensional Bose fluids supplies the physical gas and Luttinger-liquid limits.

Helpful background. Spin chains and Haldane physics supplies lattice-spin conventions and the distinction between integer- and half-integer-spin infrared behavior.

Lieb–Liniger scattering and Bethe equations

Section titled “Lieb–Liniger scattering and Bethe equations”

For NN identical bosons on a ring of length LL,

H=−ℏ22m∑j=1N∂xj2+g1D∑j<ℓδ(xj−xℓ),c=mg1Dℏ2>0.H=-\frac{\hbar^2}{2m}\sum_{j=1}^{N}\partial_{x_j}^2 +g_{\mathrm{1D}}\sum_{j<\ell}\delta(x_j-x_\ell), \qquad c=\frac{mg_{\mathrm{1D}}}{\hbar^2}>0.

The rapidities kjk_j are physical wave numbers. Define the ordered two-body scattering phase by

S(q)=q−icq+ic=eiδ(q),δ(−q)=−δ(q)S(q)=\frac{q-ic}{q+ic}=e^{i\delta(q)}, \qquad \delta(-q)=-\delta(q)

on a branch chosen continuously away from q=0q=0. Periodicity gives the convention

eikjL∏ℓ≠jS(kj−kℓ)=1,e^{ik_jL}\prod_{\ell\ne j}S(k_j-k_\ell)=1,

or

kjL+∑ℓ≠jδ(kj−kℓ)=2πIj.k_jL+\sum_{\ell\ne j}\delta(k_j-k_\ell)=2\pi I_j.

Changing the branch of δ\delta shifts the integer or half-integer quantum numbers IjI_j; changing only one side of the equation changes the spectrum. For this convention the derivative kernel is

K(q)=δ′(q)=2cq2+c2.K(q)=\delta'(q)=\frac{2c}{q^2+c^2}.

Energy and momentum are

E=∑j=1Nℏ2kj22m,P=ℏ∑j=1Nkj.E=\sum_{j=1}^{N}\frac{\hbar^2k_j^2}{2m}, \qquad P=\hbar\sum_{j=1}^{N}k_j.

The rapidity measure is dk/(2π)\mathrm dk/(2\pi) only after it has been stated; some sources absorb 2π2\pi into root densities or kernels. The interaction parameter cc has inverse-length units, while the common dimensionless coupling is γ=c/n\gamma=c/n. Neither should be imported into a relativistic rapidity formula without matching energy, momentum, and phase conventions.

The chapter structure figure follows this data into thermodynamics. Inspect the first arrow: a quasiparticle species is defined by its bare momentum, energy, charges, and scattering kernel together, not by a rapidity label alone.

On a narrow screen, swipe or use the Left and Right arrow keys to pan across the figure. Home and End move to its edges. A full-size link is also available.

Bare quasiparticle species with momentum, energy, charges, and two-body scattering determine finite-volume Bethe quantum numbers; their thermodynamic root densities, dressing, generalized ensembles, quench saddles, and hydrodynamic characteristics follow only after the same rapidity convention is retained.

Bethe-data dictionary. The rapidity variable, 2π2\pi measure, phase branch, particle species, and boundary condition jointly determine the finite-volume spectrum and every later dressing equation. Original schematic, not to scale.

Text description of this diagram · Figure data (JSON)

For the spin-1/21/2 XXZ chain,

H=J∑j(SjxSj+1x+SjySj+1y+ΔSjzSj+1z),H=J\sum_j \left( S_j^xS_{j+1}^x+S_j^yS_{j+1}^y +\Delta S_j^zS_{j+1}^z \right),

Bethe rapidities parameterize overturned spins relative to a chosen reference vacuum. Their bare energy and momentum are nonlinear functions of rapidity and depend on whether Δ=cos⁡γ\Delta=\cos\gamma, Δ=cosh⁡η\Delta=\cosh\eta, or another parameterization is used. Magnetization fixes particle number, and twisted or open boundaries change the quantization equations. Bethe 1931, pp. 205–226 gives the original coordinate construction for the isotropic chain.

In regimes with bound states, complex roots organize into string families labeled by length and parity in the thermodynamic limit. The string hypothesis has exponentially small finite-size deviations for many regular states but can have exceptional solutions and nonuniform corrections. A thermodynamic calculation must state which string species are included and show convergence of observables as the species cutoff is increased.

Nested models add flavor rapidities and coupled kernels. Degeneracies and internal symmetry multiplets can make a set of roots incomplete without descendant states. The safe workflow is to verify finite-size counting, energy, momentum, and conserved charges against exact diagonalization before taking a thermodynamic limit.

Lieb and Liniger 1963, §§I–III derive the repulsive gas equations and thermodynamic limit. Takahashi 1971, §§2–3, pp. 402–407 develops the string thermodynamics of the Heisenberg chain. These models share factorization but not a universal rapidity normalization.

The canonical integrable-matter claim test matrix keeps species, charge, dressing, finite-size, and validation data aligned. A reproducible verification workflow checks finite-volume equations and thermodynamic discretizations.

Quantization of total momentum. Multiply all Lieb–Liniger Bethe equations and show that the total momentum is quantized independently of cc.

Solution

Multiplying gives

exp⁡ ⁣(iL∑jkj)∏j∏ℓ≠jS(kj−kℓ)=1.\exp\!\left(iL\sum_jk_j\right) \prod_{j}\prod_{\ell\ne j}S(k_j-k_\ell)=1.

Every unordered pair contributes

S(kj−kℓ)S(kℓ−kj)=1,S(k_j-k_\ell)S(k_\ell-k_j)=1,

so the scattering product cancels. Hence

L∑jkj=2πJ,P=2πℏJL,J∈Z.L\sum_jk_j=2\pi J, \qquad P=\frac{2\pi\hbar J}{L}, \qquad J\in\mathbb Z.

Interactions redistribute the individual rapidities but translation invariance fixes the total-momentum lattice. A twist would add its phase to this quantization condition.

Nonvisual description of the Bethe-to-GHD structure figure

Section titled “Nonvisual description of the Bethe-to-GHD structure figure”

This table states the relationships and qualifications shown in the figure above.

Figure element or arrowRelation encodedCondition or resulting statement
Bethe-model inputSpecify species aa, rapidity λ\lambda, physical pap_a, energy εa\varepsilon_a, charges hi,ah_{i,a}, and kernel KabK_{ab}.The displayed state counting is positive-oriented; signed species require translation. The dashed side condition fixes phase branches, boundary sector, kernel sign, and rapidity measure.
Bethe-model input → finite-volume quantizationThe same data determine phases Sab=eiθabS_{ab}=e^{i\theta_{ab}}, Bethe integers, string families, and nested species.Changing one convention without the others changes the spectrum.
Finite volume → thermodynamic macrostateThe thermodynamic limit gives 2πℏρs=p′+ℏKρp2\pi\hbar\rho_{\rm s}=p'+\hbar K\rho_{\rm p}, ρs=ρp+ρh\rho_{\rm s}=\rho_{\rm p}+\rho_{\rm h}, and Yang–Yang entropy.The 2πℏ2\pi\hbar factors and kernel sign are inherited from the Bethe-model input.
Thermodynamic side conditionSpecies and rapidity cutoffs must preserve state counting and positivity.A nonconverged species truncation is not a complete macrostate.
Macrostate → charge-reconstruction branchLocal and quasilocal charge eigenvalues define ρGGE∝e−∑iβiQi\rho_{\rm GGE}\propto e^{-\sum_i\beta_iQ_i}.Charge completeness is tested by whether the chosen family reconstructs the root density.
Macrostate → overlap-selection branchInitial-state overlaps and Yang–Yang entropy form SQA=2Re⁡Sov−sYYS_{\rm QA}=2\operatorname{Re}S_{\rm ov}-s_{\rm YY}.The quench-action saddle requires normalized overlaps and entropy counting restricted to overlap-allowed states.
Charge and overlap branches → selected local root densityIndependent charge and overlap descriptions converge on {ρp,a(x,λ,t)}\{\rho_{\rm p,a}(x,\lambda,t)\} when both are complete.Agreement is a completeness test; the two inputs are not interchangeable assumptions.
Local root density → dressing and characteristicsDressing gives hdr=h+Knhdr/(2π)h^{\rm dr}=h+Kn h^{\rm dr}/(2\pi) and vaeff=(εa′)dr/(pa′)drv_a^{\rm eff}=(\varepsilon_a')^{\rm dr}/(p_a')^{\rm dr}.The dashed identity (pa′)dr=2πℏρs,a(p_a')^{\rm dr}=2\pi\hbar\rho_{\rm s,a} must hold in the same convention.
Dressing → generalized hydrodynamicsThe dressed characteristics determine Euler currents and Riemann flow, followed by separately controlled diffusion, forces, finite-size effects, and weak-breaking kinetics.Each later correction has its own gradient, positivity, rate, or platform window.
  • Bethe, H. (1931). “Zur Theorie der Metalle. I. Eigenwerte und Eigenfunktionen der linearen Atomkette.” Zeitschrift für Physik 71, 205–226. doi:10.1007/BF01341708.
  • Lieb, E. H., and Liniger, W. (1963). “Exact analysis of an interacting Bose gas. I. The general solution and the ground state.” Physical Review 130, 1605–1616. doi:10.1103/PhysRev.130.1605.
  • Takahashi, M. (1971). “One-dimensional Heisenberg model at finite temperature.” Progress of Theoretical Physics 46, 401–415. doi:10.1143/PTP.46.401.