Elasticity, Factorization, and Their Hypotheses

Suitable higher-spin conserved charges make scattering in a massive $1+1$-dimensional QFT elastic and factorized because they preserve more kinematic information than energy and momentum and can separate the spacetime ordering of individual collisions. The conclusion is conditional: the charges must be quantum operators built from local currents, commute appropriately, act nontrivially and additively on stable asymptotic particles, and be used within a scattering theory with sufficiently complete in/out states.

Required background. Classical and quantum conserved charges supplies the charge eigenvalues and the anomaly checks required before they can constrain scattering. LSZ reduction, poles, residues, and stable states supplies the stable one-particle poles and asymptotic states on which the argument acts. Helpful background. Relativistic scattering kinematics supplies rapidity variables and invariant normalization.

Massive rapidity kinematics

For a stable particle of species $a$ and mass $m_a$,

$$p_a^\mu(\theta)=m_a(\cosh\theta,\sinh\theta).$$

A boost shifts every rapidity by the same constant. A local charge of Lorentz spin $s$ can therefore act diagonally as

$$Q_s\lvert a,\theta\rangle =q_s^{(a)}e^{s\theta}\lvert a,\theta\rangle.$$

Locality implies cluster additivity on asymptotic states:

$$Q_s\lvert a_1,\theta_1;\ldots;a_n,\theta_n\rangle = \left(\sum_{i=1}^n q_s^{(a_i)}e^{s\theta_i}\right) \lvert a_1,\theta_1;\ldots;a_n,\theta_n\rangle .$$

For a scattering process, conservation of all relevant $Q_s$ and their opposite-spin partners gives equal weighted rapidity moments on the two sides. Energy–momentum conservation supplies only two such equations; a sufficiently rich higher-spin family fixes the rapidity multiset and, when the coefficients $q_s^{(a)}$ separate species, the particle content.

The operative theorem is not “infinitely many arbitrary numbers are conserved.” In a massive local $1+1$-dimensional theory, Parke gives sufficient conditions in terms of two suitable commuting charges that are integrals of local current densities, transform differently from scalar and vector charges and from each other, and do not annihilate any one-particle momentum state Parke 1980, theorem and discussion, pp. 166–176. The infinite-family presentation makes the rapidity constraints transparent and is the form most useful for the bootstrap.

Why particle production is excluded

Consider one massive species and set $z_i=e^{\theta_i}$. Suppose the conserved charges determine enough power sums

$$p_s^{\rm in}=\sum_{i=1}^{n_{\rm in}}z_i^s = \sum_{j=1}^{n_{\rm out}}(z'_j)^s=p_s^{\rm out}.$$

Newton’s identities reconstruct the elementary symmetric polynomials and hence the polynomial whose roots are the $z_i$. The incoming and outgoing rapidities must be the same unordered multiset. In particular, $n_{\rm in}=n_{\rm out}$: there is no particle production.

For several species, the same conclusion follows only if the collection $q_s^{(a)}$ distinguishes the allowed mass and internal multiplets. If two species have identical eigenvalues for every charge used, the conservation laws do not by themselves decide whether one may convert into the other. Symmetry, additional charges, and the assumed particle spectrum must remove that ambiguity.

A useful geometric version employs wave packets. Acting with $e^{i\alpha Q_s}$ translates the center of a packet by an amount proportional to the derivative of its charge eigenvalue:

$$\Delta x_i \propto \alpha\,\frac{\partial}{\partial p_i} \left(q_s^{(a_i)}e^{s\theta_i}\right).$$

For $s\ne\pm1$, this displacement depends nonlinearly on rapidity. By choosing $\alpha$, one can separate collision events without changing the scattering amplitude because $Q_s$ commutes with the S matrix. A hypothetical production vertex cannot remain localized under all such relative translations unless its amplitude vanishes. This is the spacetime core of the no-production argument.

Why many-body scattering factorizes

Take three incoming packets with distinct velocities. In $1+1$ dimensions they cannot pass one another without their worldlines crossing. The same higher-charge transformation can change the separations so that the three pairwise encounters occur in either admissible order while leaving the overall amplitude unchanged. Since widely separated collisions obey cluster decomposition, each encounter is described by the two-body S matrix.

For ordered rapidities $\theta_1>\theta_2>\theta_3$, one ordering gives the operator product

$$S_{12}(\theta_{12}) S_{13}(\theta_{13}) S_{23}(\theta_{23}),$$

where $\theta_{ij}=\theta_i-\theta_j$ and the rightmost operator acts first. The alternative ordering gives

$$S_{23}(\theta_{23}) S_{13}(\theta_{13}) S_{12}(\theta_{12}).$$

Factorization says the full three-body amplitude is a product of two-body amplitudes; independence of these two orderings is the Yang–Baxter equation. For diagonal scattering the two-body factors are scalars and commute automatically. With internal indices, equality is a nontrivial tensor equation.

The general no-production and factorization argument is developed in Parke 1980, pp. 170–182. The relation between factorization, two-body amplitudes, and consistency of alternative orders is the starting point of Zamolodchikov and Zamolodchikov 1979, §§ 1–2, pp. 253–260.

Hypotheses that carry the conclusion

The implication can be summarized as

$$\begin{gathered} \text{local quantum charges} +\text{ stable massive asymptotic states} +\text{ nontrivial additive action} \\ +\text{ charge and scattering completeness} +\text{ cluster decomposition} \\ \Longrightarrow \text{elastic, factorized scattering}. \end{gathered}$$

Each term matters.

• Local quantum charges. A classical Lax pair does not suffice; anomalies or ill-defined composite operators can destroy the needed symmetry.
• Stable massive particles. A resonance pole is not an external one-particle state. The charge argument applies to the stable spectrum that labels the in/out Hilbert space.
• Nontrivial charge action. A charge that annihilates a species cannot constrain its rapidity.
• Completeness. The charge eigenvalues must separate the relevant processes, and the assumed asymptotic states must span the scattering sector under discussion.
• Locality and clustering. Widely separated encounters must compose as independent two-body collisions.

The integrability exact-data chain keeps these assumptions visible before the bootstrap begins. The exact and rigorous status comparison also distinguishes an exact factorized S matrix within a declared model from a separate construction or completeness theorem.

Massless and unstable caveats

For a massless particle in $1+1$ dimensions, right- and left-movers lie on separate branches,

$$p^\mu_{\rm R}=\frac{\mu}{2}e^\theta(1,1), \qquad p^\mu_{\rm L}=\frac{\mu}{2}e^{-\theta}(1,-1),$$

where the reference scale $\mu$ only fixes the rapidity origin. Same-chirality particles never overtake one another, and infrared degeneracies can obstruct the massive wave-packet argument. Massless factorized scattering exists, but its chiral sectors, limiting prescription, and completeness assumptions must be stated independently.

An unstable excitation is more sharply different: it has no real-axis one-particle LSZ pole and does not appear as an asymptotic state. Its complex pole can influence stable-particle scattering, but one must not assign it an additive asymptotic charge eigenvalue and rerun the stable-particle proof.

Boundaries likewise replace transmission-only scattering by reflection data. Boundary Yang–Baxter and crossing relations are additional equations, not corollaries of the infinite-line argument.

Worked three-particle reduction

For a diagonal single-species theory, let $S(\theta_i-\theta_j)$ be the amplitude when packets $i$ and $j$ exchange order. Factorization gives

$$\mathcal S_3 = S(\theta_{12})S(\theta_{13})S(\theta_{23}).$$

Changing the collision order produces the same three scalar factors in a different order, so equality follows from ordinary multiplication. This shows both the strength and the limitation of the diagonal example: it exhibits factorization but cannot test matrix-index consistency. A two-species amplitude is the first setting in which the Yang–Baxter equation adds information.

Common pitfalls

Treating elasticity as factorization. No production fixes the number and rapidities of particles. Factorization additionally asserts that the many-body amplitude composes from two-body amplitudes.

Inferring completeness from consistency. A set of amplitudes can satisfy factorization identities while omitting a stable particle or an allowed CDD factor. Spectrum and completeness assumptions remain separate.

Including resonances among asymptotic species. Only stable real-mass poles define the one-particle states used here. Resonance information belongs in analytic continuation of stable-particle amplitudes.

Exercises

1. Show that conserving $p_1=z_1+z_2$ and $p_2=z_1^2+z_2^2$ fixes a two-particle rapidity multiset, but does not by itself determine species labels when two species have identical charge eigenvalues.

Solution

The elementary symmetric polynomials are $e_1=p_1$ and $e_2=(p_1^2-p_2)/2$, so $z_1,z_2$ are the roots of $z^2-e_1z+e_2$. Thus the unordered rapidities are fixed. If $q_s^{(a)}=q_s^{(b)}$ for both species and all charges used, the weighted sums are unchanged when an $a$ label is exchanged with a $b$ label. Further symmetry or charge data are required.

2. Explain why three diagonal scalar factors satisfy ordering consistency automatically, whereas matrix-valued factors need the Yang–Baxter equation.

Solution

Scalar amplitudes commute, so $S_{12}S_{13}S_{23}=S_{23}S_{13}S_{12}$ after identifying the same three arguments. Matrix amplitudes act on overlapping tensor factors: for example, $S_{12}$ and $S_{23}$ both act on space 2 and generally do not commute. Their two ordered products agree only when the Yang–Baxter tensor identity holds.

References

• Parke, Stephen J. “Absence of Particle Production and Factorization of the S-Matrix in 1+1 Dimensional Models.” Nuclear Physics B 174 (1980): 166–182. 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.