The Yang–Baxter Equation

For matrix-valued factorized scattering, the Yang–Baxter equation states that two admissible orders of three pairwise collisions define the same map on the three-particle internal space. It is a consistency equation for the tensor structure of a two-body amplitude. It does not by itself impose unitarity, crossing, analyticity, the correct particle spectrum, completeness, or existence of a local QFT.

Required background. Elasticity, factorization, and their hypotheses supplies the reduction of many-body scattering to ordered two-body factors. Helpful background. Direct sums, tensor products, and index structure supplies tensor-factor notation, while representations, intertwiners, and invariants supplies the symmetry decomposition of matrix amplitudes.

Two-body operator and index convention

Let $V_a$ denote the internal one-particle space. In the equal-mass example below, all particles transform in one space $V$. Define the two-body operator $S(\theta):V\otimes V\to V\otimes V$ by

$$S(\theta)\lvert a,b\rangle = \sum_{c,d}S_{ab}^{cd}(\theta)\lvert c,d\rangle .$$

Lower indices are inputs, upper indices are outputs, and the first index always labels the left tensor factor. This declaration prevents the common transpose error in component formulas.

On $V_1\otimes V_2\otimes V_3$, $S_{12}$ acts on factors 1 and 2 and as the identity on factor 3. The definition of $S_{13}$ includes the tensor-factor permutation needed to act on factors 1 and 3; it is not obtained by merely renaming adjacent component indices.

For on-shell rapidities, Lorentz invariance makes each amplitude depend on $\theta_{ij}=\theta_i-\theta_j$. We write operator products in the usual mathematical order: the rightmost factor acts first.

Alternative collision orders

Take three wave packets with $\theta_1>\theta_2>\theta_3$. Factorization reduces their scattering to three two-body encounters. Moving the encounters apart with a higher conserved charge changes their order without changing the total amplitude. The two sequences are

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

and

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

Their equality is the Yang–Baxter equation:

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

The physical derivation in factorized relativistic scattering appears in Zamolodchikov and Zamolodchikov 1979, § 2, pp. 257–260. The same consistency relation arose in Yang’s coordinate Bethe-ansatz solution of a one-dimensional many-body problem Yang 1967, pp. 1312–1315.

With the declared index convention, the coefficient of $\lvert i,j,k\rangle$ on the left is

$$\sum_{\alpha,\beta,\gamma} S_{bc}^{\beta\gamma}(\theta_{23}) S_{a\gamma}^{\alpha k}(\theta_{13}) S_{\alpha\beta}^{ij}(\theta_{12}),$$

whereas the coefficient on the right is

$$\sum_{\alpha,\beta,\gamma} S_{ab}^{\alpha\beta}(\theta_{12}) S_{\alpha c}^{i\gamma}(\theta_{13}) S_{\beta\gamma}^{jk}(\theta_{23}).$$

The order can be checked directly: on the left, the first collision is $b\,c\to\beta\,\gamma$, then $a\,\gamma\to\alpha\,k$, then $\alpha\,\beta\to i\,j$. On the right the first collision is $a\,b\to\alpha\,\beta$. This verbal trace is a useful defense against silently reversing the operator product.

A rational R-matrix check

Let $P(x\otimes y)=y\otimes x$ be the permutation operator on $V\otimes V$, and define

$$R(u)=u\,I+iP.$$

The additive-parameter Yang–Baxter equation is

$$\begin{aligned} R_{12}(u)R_{13}(u+v)R_{23}(v) ={}& R_{23}(v)R_{13}(u+v)R_{12}(u). \end{aligned}$$

To verify it, expand each side in powers of $u$, $v$, and $i$. The identity, linear, and quadratic-permutation terms match trivially after using $P_{ij}^2=I$. The cubic and mixed terms reduce to the symmetric-group relations

$$P_{12}P_{13}=P_{23}P_{12}, \qquad P_{13}P_{23}=P_{12}P_{13}, \qquad P_{12}P_{13}P_{23}=P_{23}P_{13}P_{12}.$$

Each relation can also be checked on a basis tensor $x\otimes y\otimes z$. For example, both sides of the last relation send it to $z\otimes y\otimes x$ when the rightmost factor acts first.

This $R$ matrix is an algebraic solution, not yet a relativistic two-body S matrix. A physical amplitude needs a scalar normalization and analytic structure compatible with unitarity, crossing, spectrum, and statistics.

What Yang–Baxter does and does not fix

The matrix equation constrains how internal labels are rearranged. It is logically independent of the following conditions.

• Braiding unitarity: in a simple self-conjugate channel, $S_{12}(\theta)S_{21}(-\theta)=I$. Hermitian analyticity is a related but distinct reality statement.
• Crossing: an amplitude with an incoming antiparticle is related to a crossed outgoing-particle amplitude through the charge-conjugation matrices and the shift $\theta\mapsto i\pi-\theta$.
• Analyticity: the physical sheet and physical strip must be declared; allowed poles and zeros have physical interpretations.
• Spectrum and completeness: the representation content and stable particles entering the tensor spaces must be supplied. Yang–Baxter cannot reveal a species that was omitted from the ansatz.
• Local existence: a consistent meromorphic matrix need not by itself construct local observables or a Hilbert-space QFT.

A symmetry-invariant ansatz often decomposes as

$$S(\theta)=\sum_R S_R(\theta)\,\mathcal P_R,$$

where $\mathcal P_R$ projects $V\otimes V$ onto irreducible representation $R$. Yang–Baxter relates the channel functions $S_R$; a common scalar factor can remain undetermined. The exact S-matrix bootstrap then imposes the other analytic conditions and exposes the remaining CDD freedom.

The integrability exact-data chain places Yang–Baxter alongside, rather than above, these independent tests. The exact and rigorous status comparison keeps algebraic consistency distinct from construction.

Two-species example

For a doublet with no particle production, the simplest invariant ansatz is

$$S_{ab}^{cd}(\theta) =A(\theta)\delta_a^c\delta_b^d +B(\theta)\delta_a^d\delta_b^c =A(\theta)I+B(\theta)P.$$

Substituting into the Yang–Baxter equation and using the permutation algebra reduces the tensor equation to functional relations for $A$ and $B$. The rational solution has $B/A=i/u$ up to an overall scalar factor when the spectral parameter $u$ is additive. The matrix ratio is constrained; the overall factor remains available for unitarity, crossing, pole data, and CDD choices.

Common pitfalls

Reversing the component order. State whether lower or upper indices are inputs and remember that the rightmost operator acts first. A correct-looking formula with the opposite convention can represent the transposed process.

Using Yang–Baxter as a substitute for crossing. The equations constrain different continuations and compositions. Both must be checked.

Calling every R matrix an S matrix. An R matrix can solve the algebraic equation without physical unitarity, relativistic crossing, a declared sheet, or a local-QFT realization.

Exercises

1. Starting from $\lvert a,b,c\rangle$, reproduce the two displayed component expressions by applying the rightmost operator first.

Solution

For the left product,

$$\lvert a,b,c\rangle \xrightarrow{S_{23}} \sum_{\beta,\gamma}S_{bc}^{\beta\gamma} \lvert a,\beta,\gamma\rangle \xrightarrow{S_{13}} \sum_{\alpha,\beta,\gamma} S_{bc}^{\beta\gamma}S_{a\gamma}^{\alpha k} \lvert\alpha,\beta,k\rangle ,$$

and $S_{12}$ supplies $S_{\alpha\beta}^{ij}$. Applying $S_{12}$, then $S_{13}$, then $S_{23}$ gives the right expression.

2. Verify $P_{12}P_{13}P_{23}=P_{23}P_{13}P_{12}$ on $x\otimes y\otimes z$.

Solution

On the left, $P_{23}$ gives $x\otimes z\otimes y$, $P_{13}$ gives $y\otimes z\otimes x$, and $P_{12}$ gives $z\otimes y\otimes x$. On the right, $P_{12}$ gives $y\otimes x\otimes z$, $P_{13}$ gives $z\otimes x\otimes y$, and $P_{23}$ gives the same $z\otimes y\otimes x$.

References

• Yang, C. N. “Some Exact Results for the Many-Body Problem in One Dimension with Repulsive Delta-Function Interaction.” Physical Review Letters 19 (1967): 1312–1315. 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.