Integrable Relativistic QFT

Choose a route through integrable relativistic QFT from the observable and the strength of claim you need. Stable massive scattering begins with quantum conserved charges, passes through elasticity and factorization, and then separates into matrix consistency, analytic bootstrap, pole classification, finite-volume spectra, local-operator form factors, or thermodynamic finite-size data. Every exact result remains conditional on the declared model, spectrum, analytic class, and completeness assumptions; a rigorous local construction is a further question.

Helpful background. In- and out-states supplies the stable asymptotic particles used by the charge argument. Analyticity and crossing supplies physical sheets, crossed channels, and pole language.

Enter this chapter

The chapter’s central setting is a local relativistic QFT in $1+1$ dimensions with stable massive asymptotic particles and enough quantum conserved charges to constrain scattering. It owns the physical chain

$$\begin{gathered} \text{quantum higher-spin charges} \Longrightarrow \text{elastic factorization} \\ \Longrightarrow \text{consistent two-body data} \Longrightarrow \text{spectra and observables}, \end{gathered}$$

with every implication’s assumptions kept explicit. The chapter also shows where this chain stops: a classical Lax pair can fail after quantization; Yang–Baxter does not imply crossing or locality; CDD factors obstruct uniqueness; a pole can be an anomalous threshold; Bethe–Yang omits wrapping; form-factor sums have tails; and matching two RG endpoints does not establish the trajectory.

This is not a survey of classical integrable partial differential equations or spin chains, an encyclopedia of exact models, or a full treatment of massless, boundary, unstable-particle, or nonequilibrium integrability. General scattering theory remains with the scattering volume, conformal perturbation theory with the CFT volume, numerical finite-volume extraction with the lattice and Hamiltonian volume, and theorem-first construction with mathematical QFT.

Check your preparation

You are ready to begin if you can answer most of the following operational questions.

1. Stable particle or resonance? Can you explain why a real isolated one-particle pole supports an asymptotic state while an unstable second-sheet pole does not? If unsure, repair this with LSZ poles, residues, and stable states, then begin with conserved charges.
2. Rapidity and crossing? Can you derive $s=m_a^2+m_b^2+2m_am_b\cosh\theta$ and identify $0<\operatorname{Im}\theta<\pi$ as the declared physical strip? If unsure, use relativistic scattering kinematics and analyticity and crossing before the bootstrap pages.
3. Tensor order? Given an operator product, can you apply the rightmost factor first and keep input and output indices fixed? If not, use tensor products and index structure before the Yang–Baxter page.
4. Spectral insertion? Can you insert a complete set of states into a two-point function and track its normalization? If not, repair with spectral decomposition before form factors.

No score is implied. Each question identifies the first calculation that would otherwise fail silently.

Choose a route

Routes through the chapter by target observable and required preparation

Goal	Minimum route	Result	Main stop condition
Understand why scattering factorizes	Conserved charges → elasticity and factorization	Derive no production and two-body reduction under massive asymptotic hypotheses	Classical charges, massless sectors, or unstable poles do not satisfy the same argument automatically
Construct a two-body amplitude	Factorization → Yang–Baxter for matrix scattering → exact S-matrix bootstrap → bound-state poles	Test tensor order, unitarity, crossing, CDD freedom, residues, and fusion	Algebraic consistency does not prove spectrum completeness or local existence
Predict finite-volume levels	Exact S matrix → Bethe quantization	Compute large-volume rapidities and energies with statistics and twists declared	Wrapping and bound-state corrections are exponentially small only in a checked regime
Compute a local correlator	Exact S matrix → pole data when present → form factors	Solve operator-specific axioms and assemble a spectral expansion	Exact retained sectors do not bound the omitted tail by themselves
Compute a scaling function	Bethe quantization → thermodynamic Bethe ansatz → integrable deformations	Derive finite-size energy and test infrared and ultraviolet limits	Endpoint matching does not identify the full RG trajectory
Select a model and claim strength	Relevant method pages → casebook → cross-method status comparison	Choose by spectrum, scattering type, observable, and existence status	Exactness within one model is not universality across QFT

For diagonal scalar scattering, the matrix Yang–Baxter page can be read as a contrast rather than a hard step. For internal multiplets it is indispensable.

Exact chapter guide

1. Classical and Quantum Conserved Charges distinguishes a classical Lax connection from renormalized quantum charges and derives the rapidity-moment constraint. It owns the chapter’s exact-data chain.

2. Elasticity, Factorization, and Their Hypotheses derives no production and reduction of many-body scattering to two-body factors. It states the stability, locality, charge-action, and completeness assumptions and explains why massless and unstable cases differ.

3. The Yang–Baxter Equation fixes an explicit input/output index convention, derives the three-particle tensor equation, and checks $R(u)=uI+iP$. It keeps unitarity, crossing, analyticity, and spectrum input separate.

4. Exact S-Matrix Bootstrap, CDD Freedom, and Completeness solves the scalar functional equations, exhibits a pole-free CDD deformation, and states the bounded Lechner existence result without extending it to arbitrary matrix or bound-state solutions.

5. Bound-State Poles, Fusion, and Coleman–Thun Alternatives derives the pole mass and fusion shifts, computes the first sine-Gordon breather mass, and tests whether an on-shell anomalous threshold explains a pole without a new particle.

6. Bethe Quantization and Finite-Volume Spectra transports a particle around the circle to derive the Bethe–Yang equations, then separates phase and statistics conventions from F- and μ-term corrections.

7. Form-Factor Bootstrap and Correlator Expansions states Watson, cyclicity, and residue equations for a declared normalization, solves a minimal example, and gives a spectral-tail test.

8. Thermodynamic Bethe Ansatz and Finite-Size Ground-State Energy derives root-density, pseudoenergy, and finite-size-energy equations. Its free-Majorana fixture checks the infrared Bessel term and $c_{\rm eff}=1/2$ ultraviolet limit.

9. Integrable Deformations and Renormalization-Group Flows uses conserved-current survival to contrast the thermal and magnetic Ising axes with the generic nonintegrable perturbation and rejects endpoint matching as proof.

10. Integrable-QFT Casebook, Exact Data, and Limits compares sinh-Gordon, sine-Gordon/Thirring, O($N>2$), discrete- and continuous-chiral Gross–Neveu variants, and the principal chiral model. It selects methods by particle content and observable and states where massless, unstable, boundary, or nonintegrable effects change the framework.

Conventions that must stay fixed

The recurring conventions are:

• $p^\mu=m(\cosh\theta,\sinh\theta)$ for a stable massive particle;
• the active boost $U(\lambda)\lvert\theta\rangle=\lvert\theta+\lambda\rangle$;
• lower S-matrix component indices as inputs and upper indices as outputs, with the rightmost operator acting first;
• the physical rapidity strip $0<\operatorname{Im}\theta<\pi$ on the declared physical sheet;
• $S(\theta)=e^{i\delta(\theta)}$ on a continuous real-axis branch;
• $\varphi(\theta)=-i\partial_\theta\log S(\theta)=\delta'(\theta)$ in TBA; and
• a separately declared Bethe statistics or occupation convention and bulk subtraction.

A useful round-trip check is

$$S(\theta)S(-\theta)=1 \quad\Longrightarrow\quad \delta(\theta)+\delta(-\theta)=0\pmod{2\pi}.$$

Differentiation then makes $\varphi(\theta)$ even for the usual diagonal scalar examples. A discontinuous phase branch can violate this check numerically even when the original S matrix is correct.

Synthesis

The chapter’s minimum conclusions have different logical status.

• Quantum charge conservation is an operator claim requiring renormalization and anomaly control.
• Elasticity and factorization follow as a theorem only under the massive, local, stable-asymptotic and charge-action hypotheses.
• Yang–Baxter, unitarity, crossing, analyticity, spectrum, and CDD selection are independent bootstrap inputs or consistency equations.
• Pole mass and Bethe–Yang quantization are derivations within the declared sheet and large-volume regimes.
• Form factors and TBA can be exact continuum equations while their truncated or discretized evaluations have numerical and systematic errors.
• Agreement with infrared and ultraviolet data is a validation check, not a proof of uniqueness, universality, or the complete RG path.
• A local constructive QFT follows only where a theorem’s full hypothesis set is verified.

This separation is summarized by the exact and rigorous status comparison.

Review the chapter

Reconstruct the main implication. Starting from $Q_s\lvert\theta_1,\ldots,\theta_n\rangle =\sum_i q_s e^{s\theta_i}\lvert\theta_1,\ldots,\theta_n\rangle$, explain why sufficiently separating charges preserve the rapidity multiset and how locality then produces factorization.

Answer criteria

A successful answer states stable massive asymptotic states, additive nontrivial charge action, species separation, locality, clustering, and the wave-packet reordering argument. Energy–momentum conservation alone is identified as insufficient.

Check a bootstrap proposal. Given a scalar $S(\theta)$, list the tests that must remain distinct before it can be called a complete exact description.

Answer criteria

Check real-axis unitarity, crossing, real analyticity, physical-sheet singularities, residue and fusion closure, CDD freedom, particle-spectrum completeness, finite-volume and ultraviolet limits, and any local-existence claim. Yang–Baxter is automatic only for a scalar amplitude.

Diagnose a finite-size claim. A Bethe–Yang level has a residual below $10^{-12}$ at $mL=3$. Explain why the quoted digits need not be physical.

Answer criteria

The residual measures only the asymptotic equation. One must identify the lightest wrapping exponent, possible bound-state μ-term, phase and statistics conventions, and stability under changing $L$. At $mL=3$, exponentially small effects can easily exceed $10^{-12}$.

Transfer the method. For a model with a non-diagonal doublet S matrix and one bound state, choose the minimum route to a local two-point function.

Answer criteria

Resolve representation projectors and Yang–Baxter consistency, impose the scalar analytic bootstrap, classify and fuse the bound-state pole, solve the operator-specific matrix form-factor equations, and test the correlator’s spectral tail. A scalar TBA residual is not a replacement for the matrix steps.

Continue

For finite-volume extraction and numerical spectrum control, continue to Finite-Volume Spectra and Scattering Amplitudes. For cross-method claim comparison, use Evidence, Validation, and Open Problems. For the sigma-model origin of a classical Lax connection, return to the principal chiral model.

References

• Lechner, Gandalf. “Construction of Quantum Field Theories with Factorizing S-Matrices.” Communications in Mathematical Physics 277 (2008): 821–860. DOI.
• Zamolodchikov, Al. B. “Thermodynamic Bethe Ansatz in Relativistic Models: Scaling 3-State Potts and Lee–Yang Models.” Nuclear Physics B 342 (1990): 695–720. DOI.
• Zamolodchikov, Alexander B., and Alexey B. Zamolodchikov. “Factorized S-Matrices in Two Dimensions as the Exact Solutions of Certain Relativistic Quantum Field Models.” Annals of Physics 120 (1979): 253–291. DOI.