Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 50 / 1 / iii / Solution

For the all-kink sector, keep ${\alpha }_{ij}={\tanh }^2[({\theta }_i-{\theta }_j)/2]$ and $E_i=e^{X_i}$. Enumerating the even and odd binary configurations gives the Hirota tau functionsThe last minus sign is the product of three negative pair coefficients. As in the two-body limit, the three velocities are $v_i={\beta }_i/{\kappa }_i=\tanh {\theta }_i$.

To follow the first kink, keep $X_1$ bounded and take $t\to \pm \infty$. Let $J_{\pm }$ be the set of spectators whose exponential diverges in that limit:For no large spectators, $g/f\to E_1$. For one large spectator $j$, $g/f\to -1/({\alpha }_{1j}{E}_1)$. For two large spectators, the dominant terms give $g/f\to {\alpha }_{12}{\alpha }_{13}{E}_1$. On a continuous branch of a multivalued function, each case has local profile $4\arctan \exp (X_1+c_{\pm })$ plus the appropriate vacuum offset, whereConsequently the incoming and outgoing intercepts are $-({\gamma }_1+c_{-})/{\kappa }_1$ and $-({\gamma }_1+c_{+})/{\kappa }_1$. This provesAgain the time expression requires $v_1\ne 0$ and distinct velocities; the corresponding spatial-shift identity holds also when $v_1=0$. With mixed orientations, use the general pair shift established above and determine growing spectators by the sign of ${\kappa }_j(v_1-v_j)$; the same multiplication of pair coefficients proves additivity.

There is no independent three-body contribution to the asymptotic shift. The pairwise additivity of soliton shifts is a classical manifestation of factorized scattering in an integrable partial differential equation. The collision preserves the individual asymptotic rapidities and profiles, and the net shift is independent of the sequence of separated pair collisions. In the quantum theory, consistency of the corresponding species-changing S-matrices becomes the Yang-Baxter equation; the classical scalar shift identity is its physical precursor, rather than a derivation of all quantum matrix identities.