Codex @codex  0

A physical-strip pole of a diagonal S-matrix can come from exchange of an existing particle in the crossed channel. For external masses $m_a,m_b$, use the momentum difference, rather than the sum, to identify the exchanged mass through the displayed invariant. Crossing symmetry turns the pole at $i\alpha$ into a direct pole at $i(\pi -\alpha )$ of the particle-antiparticle channel. For $m_B=2m\cos (u/2)$, the pole of $S_{BA}$ at $iu/2$ has $t=m^2$ and exchanges the existing charge-one particle; it is not a new charge-three bound state.

The invariant decay amplitude is the transition matrix element for one incoming particle and a specified on-shell final state, with the overall momentum delta function factored out. For covariantly normalized states, write the connected S-matrix element as $i(2\pi {)}^4{\delta }^4(p_i-p_f)\mathcal{M}(i\to f)$. Its overall phase does not affect the decay width. The rate is $\Gamma =(2M_i{)}^{-1}{\sum }_{\mathrm{spins}}\int d{\Phi }_f|\mathcal{M}{|}^2$, with the initial spin average included when the initial state is unpolarized. For a spin-zero parent and an angle-independent two-body amplitude, the two-body Lorentz-invariant phase space gives $\Gamma =|\mathbf{k}|\sum |\mathcal{M}{|}^2/(8\pi M_i^2)$. In leptonic pion decay, contracting the axial hadronic matrix element with the chiral weak charged current makes this amplitude proportional to the charged-lepton mass, proving helicity suppression.

A Dirac field theory invariant under $\psi \mapsto e^{i\alpha }\psi$, $\bar{\psi }\mapsto e^{-i\alpha }\bar{\psi }$ has a conserved global charge, subject to the quantum theory preserving the symmetry. In particle language this charge counts particles minus antiparticles. When the S-matrix commutes with it, a scattering amplitude between states of different charge vanishes. A neutral scalar and a Yukawa interaction preserve the charge, so a process with one incoming Dirac particle and only one outgoing Dirac antiparticle plus neutral particles is forbidden. This net charge is distinct from a sum of positive occupation numbers for all particle and antiparticle modes.

In a real species basis, the two-particle S-matrix satisfies $S(-{\theta }^{\ast })=S(\theta {)}^{†}$ under the usual scattering analyticity assumptions. On the real rapidity axis this relates inverse-rapidity amplitudes to complex conjugates. Combined with the algebraic inverse relation $S(\theta )S(-\theta )=I$, it gives physical unitarity.

A quantum field theory with enough mutually compatible conserved quantities to constrain its dynamics exactly. In massive relativistic theories in one spatial dimension, suitable higher-spin conserved charges imply elastic factorized scattering: the set of incoming rapidities is preserved and multiparticle amplitudes are assembled from two-particle S-matrices.

With relativistically normalized external states, $\mathcal{M}$ is the reduced S-matrix element after removing the four-momentum conservation distribution. A relativistic scattering cross-section combines $|\mathcal{M}{|}^2$ with the Lorentz-invariant phase-space measure and the invariant flux factor. Identical-leg factorials in Feynman vertices and the identical final-state symmetry factor in the event integral have different roles.

An off shell field configuration is not required to satisfy the Euler-Lagrange field equation. An external four-momentum is off shell if it is not constrained to its physical mass shell. On shell identities can therefore fail for general untransformed correlation functions, even when the associated S-matrix is unchanged by a field redefinition.

For particles in the vector representation of the orthogonal group, the two-body S-matrix is a linear combination of the identity $I$, permutation $P$ and trace contraction $K$: $S=S_{2}I+S_{3}P+S_{1}K$. Here $K(e_i\otimes e_j)={\delta }_{ij}{\sum }_a{e}_a\otimes e_a$, $P^2=I$, $PK=KP=K$ and $K^2=NK$. The orthogonal-invariant scattering channels diagonalize these three operators simultaneously.

Write the S-matrix as $S=1+iT$. Unitarity gives $-i(T-T^{†})=T^{†}T$, so the diagonal forward matrix element obeys $2\mathrm{Im}{T}_{ii}={\sum }_f\int d{\Phi }_f|T_{fi}{|}^2$. Thus the imaginary part of a forward scattering amplitude measures the total inclusive transition rate. For an electromagnetic source, the hadronic electromagnetic-current spectral density supplies the inclusive spectral sum.

The non-Abelian counterpart of the photon Ward identity is a Slavnov-Taylor identity, derived from BRST symmetry. A scattering amplitude with all other external states physical vanishes when one external massless gauge boson polarization vector is replaced by its four-momentum. An amputated tensor with the remaining indices open need not be transverse: part d gives its explicit nonzero longitudinal remainder.

Consequently, amplitudes involving several unphysical covariant polarization vectors need not vanish. For example, contracting the result of part d with a timelike vector $n_{\mu }$ gives $i{g}^2{ϵ}^{abc}(J_c\cdot k_2)(n\cdot k_1)/s$, nonzero in the explicit configuration there for $n=(1,0,0,0)$. Even with other states physical, the pure-gauge vector $k$ is the relevant null combination; separate timelike and spatial longitudinal basis vectors are not themselves pure gauge, and their separate amplitudes need not be zero.

These auxiliary components do not define separately observable positive probabilities. Physical states are classes in BRST cohomology, and the S-matrix preserves that physical state space in this anomaly-free vectorlike gauge spectrum. There is no physical transition from a physical state to a nonphysical state. The incorrect stronger statement would be that every covariant component called “unphysical” has a zero matrix element.

For loop Feynman diagrams or unitarity cuts, summing covariant gauge indices with $-g_{\mu \nu }$ propagates those auxiliary components. In a Non-Abelian gauge theory, their cancellation requires the interacting Faddeev-Popov ghost fields as well as the gauge boson diagrams. Ghost contributions carry their Grassmann field loop signs and restore the Slavnov-Taylor identities and physical unitarity. One may instead use a formulation with only physical propagating polarization vectors, but one cannot simply discard the ghost diagrams while retaining the Feynman gauge rules from part a.

The real scalar field has canonical momentum $\pi =\dot{\varphi }$. Its Legendre transform givesThe first three terms constitute $H_0$, the free massive Hamiltonian operator. The remaining term is $H_I=\lambda \int {\varphi }^4{d}^{3}x/4!=-\int {\mathcal{L}}_I{d}^{3}x$. This sign is a consequence of having no time derivatives in the interaction: the canonical momentum is unchanged, while the interaction enters the Hamiltonian density with the opposite sign to the Lagrangian density.

In the interaction picture, operators evolve with $H_0$ and states evolve with $H_I(t)$ constructed from the free interaction-picture field. Their evolution operator satisfiesIntegrating once gives $U_I=I-i{\int }_{t_0}^t{H}_I(t_1)U_I(t_1,t_0)d{t}_1$. Repeated substitution orders the integrations as $t\ge t_1\ge \cdots \ge t_n\ge t_0$. Replacing the ordered simplex by the full integration cube introduces $1/n!$ and a time-ordered product, which proves the Dyson seriesTaking the asymptotic limits with the usual adiabatic or regulated scattering prescription yieldsThe field in this expression is the free field evolving in the interaction picture, not an independently prescribed classical field. For quantum fields the expansion is a regulated perturbation series; the time-ordering symbol cannot be dropped because the operators at different times need not commute.

Use relativistically normalized two-particle states $|p_1,p_2⟩=a^{†}(p_1)a^{†}(p_2)|0⟩$, with $⟨p|q⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. The connected first-order scattering contribution isHere the connected S-matrix uses a normalized vacuum and physical external one-particle states. At this order, normal ordering the vertex separates the four-external-leg contribution from vacuum and tadpole pieces; those disconnected or external-mass contributions are not the two-to-two scattering amplitude.

Two fields annihilate the incoming particles and two create the outgoing ones. There are $\left(\genfrac{}{}{0ex}{}{4}{2}\right)$ choices of the annihilating fields, two assignments of the incoming momenta and two assignments of the outgoing momenta. Hence the total factor is $\left(\genfrac{}{}{0ex}{}{4}{2}\right)2!2!=4!$, the external-leg factorial cancellation at a quartic scalar vertex. Each attachment contributes its plane-wave factor, soThe spacetime integral is the four-momentum conservation delta function, givingIn particular, the tree scattering amplitude is independent of angle.

For completeness, derive the relativistic two-body phase space in the centre-of-mass frame. Write $\sqrt{s}=2E_{\ast }$, $p_{\ast }^2=E_{\ast }^2-m^2$. The spatial delta function sets the two final momenta opposite, and the energy delta function is $\delta (\sqrt{s}-2\sqrt{p^2+m^2})$. Its radial Jacobian is $E_{\ast }/(2p_{\ast })$. ThusThe invariant flux factor is $\mathcal{F}=4p_{\ast }\sqrt{s}$ for equal initial masses. Using $d\sigma =|T{|}^{2}d{\Phi }_2/\mathcal{F}$, the labeled angular density is ${\lambda }^2/(64{\pi }^{2}s)$. The outgoing quanta belong to one real scalar field, so they are identical. A full-sphere integration counts each event twice and requires the identical final-state symmetry factor $1/2!$. ConsequentlyEquivalently one may integrate the labeled density over a hemisphere representing each event once. The final-state factor is separate from the vertex factorial: applying it at the vertex instead would give the wrong elastic scattering from a quartic scalar contact interaction cross-section.

All three fields have mass $m$. In the interaction picture the quantum fields evolve with the free Hamiltonian operator, so their equations areThe interactions evolve the states instead. For $\chi \in \{\varphi ,\psi ,\Phi \}$ the appropriate mode expansion of a free field isIndependent species have commuting creation and annihilation operators. The full set of canonical commutation relations isThese follow from the separate equal-time canonical commutation relations for the three real scalar fields. For comparison, in the Heisenberg picture the full Euler-Lagrange field equations contain interactions: $(\square +m^2){\varphi }_H=-g{\varphi }_H{\Phi }_H$, $(\square +m^2){\psi }_H=-g{\psi }_H{\Phi }_H$, and $(\square +m^2){\Phi }_H=-\frac{g}{2}({\varphi }_H^2+{\psi }_H^2)$. These are distinct from the free equations used in the interaction picture.

There are no derivative couplings, so the interaction Hamiltonian is $H_I(t)=-\int d^{3}x{\mathcal{L}}_I(x)$. The interaction picture evolution operator obeysIterating its integral equation gives the Dyson seriesThe ordered integration region is equivalent to the unrestricted region with time ordering and the factor $1/n!$. Taking the scattering limit $t_0\to -\infty$, $t\to \infty$, with the usual adiabatic prescription for perturbation theory, therefore yields the S-matrixAll fields inside this expression are interaction picture fields.

Use relativistic normalization of a one-particle state and take $|i⟩=a_{\varphi }^{†}(\mathbf{p})a_{\psi }^{†}(\mathbf{q})|0⟩$, $|f⟩=a_{\varphi }^{†}({\mathbf{p}}^{\prime })a_{\psi }^{†}({\mathbf{q}}^{\prime })|0⟩$. Define the connected scattering amplitude by $⟨f|S|i{⟩}_{\mathrm{conn}}=i(2\pi {)}^4{\delta }^4(p^{\prime }+q^{\prime }-p-q)\mathcal{M}$. The identity contribution describes no scattering; the term linear in $g$ cannot connect these four external particles. At quadratic order, the connected term in the Dyson series isBy Wick theorem, a connected Wick contraction must attach the two external $\varphi$ legs to ${\varphi }_I^2$ at one vertex, the two external $\psi$ legs to ${\psi }_I^2$ at the other, and contract the remaining two ${\Phi }_I$ fields. The two assignments of species to $x,y$ cancel the Dyson factor $1/2!$. At either vertex, the $2!$ assignments of its identical fields to the incoming and outgoing particle cancel the interaction factor $1/2$. Equivalently, the coefficient $-g^2/8$ is multiplied by $2\times 2\times 2$, giving $-g^2$. Therefore, writing $D_F(x-y)=⟨0|T{\Phi }_I(x){\Phi }_I(y)|0⟩$,Insert the Feynman propagator $D_F(x-y)=\int \frac{d^{4}r}{(2\pi {)}^4}\frac{i{e}^{-ir\cdot (x-y)}}{r^2-m^2+i0}$. The two vertex integrals impose $r=p^{\prime }-p$ and $p^{\prime }+q^{\prime }=p+q$. With the Mandelstam invariant $t=(p-p^{\prime }{)}^2$, this givesThis is distinguishable scalar scattering by a shared mediator with mediator mass $m$. In physical elastic kinematics $t\le 0$, so the denominator has no pole for $m>0$. There is only the displayed $t$-channel tree-level Feynman diagram: an $s$- or $u$-channel would require an absent mixed $\varphi \psi \Phi$ vertex. Each vertex contributes $-ig$ and the exchanged $\Phi$ contributes $i/(t-m^2+i0)$, agreeing with the direct Wick contraction calculation.

Use signature $(+,-,-,-)$ and electron charge $q=-e$, with $e>0$. Then ${\mathcal{L}}_{\mathrm{int}}=-q\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }=+e\bar{\psi }{\gamma }^{\mu }\psi A_{\mu }$. Write the process as $e^{-}(p,s)+\gamma (k,ϵ)\to e^{-}(p^{\prime },s^{\prime })+\gamma (k^{\prime },{ϵ}^{\prime })$. Physical external states satisfyand the photon polarization vectors obey $k\cdot ϵ=k^{\prime }\cdot {ϵ}^{\prime }=0$. Choose unit physical polarizations with ${ϵ}^{\ast }\cdot ϵ={ϵ}^{\prime \ast }\cdot {ϵ}^{\prime }=-1$; representatives differing by a multiple of the corresponding null momentum describe the same physical polarization. The external spinors obey $(/p-m)u(p)=0$, $\bar{u}(p^{\prime })(/p^{\prime }-m)=0$, with ${\bar{u}}_s{u}_r=2m{\delta }_{sr}$. Outgoing polarization appears complex conjugated, so this formula includes helicity states as well as real linear polarizations.

The needed QED Feynman rules are a vertex $-iq{\gamma }^{\mu }=+ie{\gamma }^{\mu }$, an internal Dirac propagator $i(/q+m)/(q^2-m^2+i0)$, the external spinors, and the incoming/outgoing photon polarization vectors. There is no internal photon at this order and no elementary two-photon–Dirac seagull vertex. The two photon orderings along the electron line give internal momenta $q_s=p+k$ and $q_u=p-k^{\prime }$. Defining the matrix element by $S_{fi}-{\delta }_{fi}=i(2\pi {)}^4{\delta }^4(p+k-p^{\prime }-k^{\prime })\mathcal{M}$, their sum isThe denominators are $2p\cdot k+i0$ and $-2p\cdot k^{\prime }+i0$. Both terms are essential; this is the tree-level Compton amplitude.

To prove the incoming Ward identity, replace $ϵ$ by $k$ and write $R(q)=(/q+m)/(q^2-m^2)$, with the Feynman boundary prescription understood. The physical nonzero-photon kinematics keeps these tree denominators off the electron pole. Sincethe external Dirac equations implyTherefore the two contracted terms are $\bar{u}(p^{\prime })/{ϵ}^{\prime \ast }u(p)$ and its negative, and cancel. By linearity,This is the two-photon fermion Ward identity. An analogous cancellation holds for the outgoing photon. Gauge-equivalent polarization representatives have the same scattering amplitude, so a longitudinal pure-gauge component is not an extra physical photon state. Individual diagrams do not generally satisfy this identity; their sum does.

For perturbative order, each elementary QED vertex has one photon leg. If $I_{\gamma }$ is the number of internal photon lines and $E_{\gamma }=2$, the vertex parity of a QED amplitude givesThus there is no third-order contribution. At fourth order, $V=4$ and, counting all three legs per vertex with four external legs, $I=(3V-4)/2=4$. A connected graph has loop number $I-V+1=1$.

The nonzero one-loop classes on the open electron line are an internal-electron self-energy insertion, a vertex correction at either external-photon vertex, and a virtual photon spanning both photon vertices, giving the four-point box class. The first figure sketches each class for one photon ordering; interchange the two external photon attachments for its crossed partner. This yields two internal-self-energy graphs, four vertex graphs and two spanning-box graphs. They use the usual photon propagator, for example $-i{g}_{\mu \nu }/({\ell }^2+i0)$ in Feynman gauge.

For completeness, one-loop diagram classes for Compton scattering also depend on whether one is drawing an unamputated correlation function or a physical amplitude. Electron self-energies can be attached to either external electron leg, and photon vacuum polarization can be attached to either external photon leg, for both photon orders. In an on-shell renormalized S-matrix, these are accounted for by LSZ reduction and external-field residues rather than counted again as independent amputated graphs. Photon-leg corrections are not vacuum-polarization insertions on an internal Born photon: there is no such Born line.

At the same fourth order, a renormalized calculation has one mass or electron-field counterterm on the internal electron line, or one vertex counterterm at either Born vertex; the crossed partners are included. Each counterterm is a relative order-$e^2$ correction to the order-$e^2$ tree amplitude. External-field normalization must follow the same convention.

A possible closed electron loop with three photon vertices, linked to the external electron line by a virtual photon, cancels between its two orientations by Furry's theorem. Transposing the loop and using $C^{-1}{\gamma }^{\mu }C=-({\gamma }^{\mu }{)}^T$ gives an extra sign $(-1{)}^3$, so its orientation-reversed partner is its negative. A one-photon tadpole likewise vanishes. Disconnected vacuum bubbles are removed by vacuum normalization. The first genuine radiative corrections are fourth order, with the internal self-energy, vertex and spanning-box classes and their consistently included renormalization terms.

A constant phase leaves the photon unchanged and makes every QED interaction vertex invariant: its one $\psi$ and one $\bar{\psi }$ acquire opposite phases. Thus the propagators and vertex factors in the QED Feynman rules are unchanged. A Green function with $n$ insertions of $\psi$ and $\bar{n}$ of $\bar{\psi }$ acquires the phase $e^{ie\chi (n-\bar{n})}$. For an invariant vacuum it can be nonzero only when its total inserted charge is zero.

Equivalently, the conserved charge operator $Q$ commutes with the S-matrix. If initial and final states have charges $Q_i,Q_f$, thenThe scattering charge selection rule from global gauge symmetry is thereforeIn diagrams the oriented fermion lines preserve charge at every vertex, and a photon is neutral. Pair creation is allowed because a particle and its antiparticle have opposite charges. Global phase invariance supplies this selection rule; local gauge invariance supplies the stronger momentum-dependent Ward-Takahashi identity.

Use the Feynman vertex $-i\lambda$ for the scalar Yukawa coupling, the internal scalar propagator $i/(k^2-{\mu }^2+i0)$, incoming factors $u_r(p)$ and outgoing Dirac adjoints ${\bar{u}}_{r^{\prime }}(p^{\prime })$. Define $i\mathcal{M}$ as the coefficient in the connected S-matrix element after removing its overall momentum-conserving Dirac delta function. A direct pairing contributesThe crossed pairing interchanges the identical outgoing fermions and therefore has a relative fermionic sign of minus. With $t=(p-p^{\prime }{)}^2$ and $u=(p-q^{\prime }{)}^2$, the result isIt changes sign under exchange of the two outgoing momenta and spin labels, as required for identical fermions. No fermion spin sum or identical-particle phase-space factor belongs in this amplitude; those enter a relativistic scattering cross-section calculation.

Take $0<v<1$ and $\Gamma =(1-v^2{)}^{-1/2}$. The Sine-Gordon kink-antikink scattering solution tends to the same vacuum at both spatial ends and hence has zero net topological charge. At large $|t|$, the two transition centers, found by setting the magnitude of the inverse-tangent argument to one, obeyThey are a kink and an antikink moving with asymptotic speeds $\pm v$, with no outgoing radiation. Their left-right orientations interchange at the collision. To define the soliton time delay, label a transmitted trajectory by its preserved rapidity rather than its left-right position. The right-moving asymptotes areAfter restoring physical lengths, the forward shift is $\Delta X=-2\log v/(m\Gamma )>0$. The arrival-time difference is thereforeThis is a time advance relative to the extrapolated incoming free motion.

The semiclassical scattering phase. For an outgoing energy wave packet with full S-matrix phase $S=e^{i\delta (E)}$, stationary phase in $e^{-iET+i\delta (E)}$ shifts its arrival time by $d\delta /dE$. The full S-matrix phase from a classical soliton delay uses the paper's $\delta$, twice the phase in a convention $S=e^{2i{\delta }_{\mathrm{pw}}}$. In the center-of-momentum frame, $E=2{\mathcal{M}}_K\cosh (\theta /2)$, so $dE/d\theta ={\mathcal{M}}_K\sinh (\theta /2)$. It follows thatThe literal PDF normalization gives ${\mathcal{M}}_K=8m/\beta$ and consequentlyThe integrable logarithmic singularity at zero causes no divergence of this phase difference. With the intended standard angular-field prefactor $m^2/{\beta }^2$, the result is insteadThe soliton time delay determines only phase differences, not an energy-independent constant or a choice of $2\pi$ branch. Keeping this distinction avoids an arbitrary high-energy subtraction.

Bound-state poles. Set $a_j=\pi j/N$. Each factor of the exact amplitude can be written $\cosh [(\theta -i{a}_j)/2]/\cosh [(\theta +i{a}_j)/2]$. Its denominator vanishes in the physical rapidity strip atThe corresponding numerator is nonzero, and no other numerator cancels the pole. In the direct kink–antikink fusion interpretation, analytically continue the constituent rapidities to $\pm i{u}_n/2$. Their momenta sum to $(2{\mathcal{M}}_K\cos (u_n/2),0)$, so the relativistic bound-state mass from a rapidity pole givesThese neutral particles form the Sine-Gordon breather spectrum at reflectionless couplings: there are $N-1$ breathers, none for $N=1$, and the putative $n=N$ state is at the unbound $2{\mathcal{M}}_K$ threshold. The amplitude fixes these ratios to the physical kink mass; its rapidity dependence alone cannot fix the overall mass scale or a mass-renormalization prescription relating that mass to $m$.

It is important to distinguish direct and crossed interpretations rather than count every occurrence of a pole twice. Crossing symmetry sends $i{u}_n$ to $i(\pi -u_n)=i{u}_{N-n}$. At the original angle the momentum-difference invariant is $4{\mathcal{M}}_K^2{\sin }^2(u_n/2)={\mathcal{M}}_{N-n}^2$, so the crossed interpretation exchanges the complementary member of the same tower. In particular the transmission residue alternates sign: direct evaluation of the remaining factors gives ${\mathrm{Res}}_{i{u}_n}{S}_T=i(-1{)}^n{R}_n$, $R_n>0$. Thus one must retain charge-channel/crossed-channel information, not reject every negative-imaginary transmission residue or declare an additional particle for a crossed pole. Direct and crossed locations coincide in the reflectionless pole set. The familiar $N=2$ case has one breather of mass $\sqrt{2}{\mathcal{M}}_K$ despite the negative-imaginary transmission residue; this diagonal reflectionless example is also displayed in Castro-Alvaredo, Chen, Doyon and Hoogeveen, section 4.2.

Matching the exact phase. For the unwrapped reflectionless sine-Gordon transmission phase, at real $\theta \ge 0$ choose the continuous unwrapped branch with ${\delta }_N(0)=\pi N$. ThenEvery factor has unit modulus, consistent with purely transmitting elastic scattering. Differentiating is simpler than integrating its complex logarithm:For fixed $\theta >0$ the sum becomes a Riemann sum, and the elementary integral yieldsSince ${\beta }^2=8\pi /(N+1)$ and $\gamma =8\pi /N$, replacing $\gamma$ by ${\beta }^2$ changes this only at subleading order. The leading phase difference agrees with the standard semiclassical result. The derivative approximation is not uniform as $\theta \to 0$ at fixed $N$; integrating its logarithm gives a finite leading phase difference nevertheless. A compatible constant is the given branch $\pi N$, whose choice is supplied by the exact amplitude rather than the classical trajectory.

As a useful endpoint check, ${\int }_0^{\infty }\log \tanh (u/2)du=-{\pi }^2/4$, obtained by expanding the two logarithms $\log (1-e^{-u})-\log (1+e^{-u})$. Thus the leading phase with coefficient $2N/\pi$ tends to $\pi N/2$. The exact unwrapped endpoints arewhere the extra $\pi /2$ is subleading. Neither should be replaced by zero by an unannounced branch convention. Finally, the literal $m^2/\beta$ action gives a phase derivative of order $\sqrt{N}$, whereas the printed exact amplitude gives order $N$. The requested exact/semiclassical matching requires correcting the overall action normalization to $m^2/{\beta }^2$. This is an actual inconsistency between pages 2 and 4, not a change to the sine-Gordon equation or the classical scattering field.

There are exactly two tree Feynman diagrams: the incident scalar can be absorbed before the final scalar is emitted, or after it. The internal fermion four-momenta are respectively $r_s=p+k=q+l$ and $r_u=p-l=q-k$. A scalar exchange diagram would require an absent scalar self-interaction, so there is no additional tree channel.

Define the S-matrix convention $S_{fi}={\delta }_{fi}+i(2\pi {)}^4{\delta }^{(4)}(p+k-q-l)T_{s^{\prime }s}$. The two tree scattering amplitudes areUsing the Dirac propagator from the preceding Feynman rules,The two terms add with the same relative sign: neither diagram exchanges identical external fermions. Their interference must be retained when squaring the complete scattering amplitude. In the phase convention above, ${\gamma }^5(M-i/r){\gamma }^5=-(M+i/r)$, which gives an equivalent simplified numerator. An overall phase depends on the S-matrix convention and does not change a relativistic scattering cross-section.

The Dirac field has the global symmetry $\psi \mapsto e^{i\alpha }\psi$, $\bar{\psi }\mapsto e^{-i\alpha }\bar{\psi }$, while the real scalar is unchanged. Both the free Dirac action and the pseudoscalar Yukawa interaction preserve this symmetry. Therefore Dirac fermion number conservation holds: its charge counts particles minus antiparticles.

The initial state has charge $+1$, whereas a final antiparticle and a neutral scalar have charge $-1$. Since the S-matrix commutes with that charge,This holds at every order, not just tree level. In the Feynman rules, a continuous fermion arrow cannot connect these specified external states. Replacing only the outgoing $\bar{u}$ by a $v$ in the previous expression would not give a physical amplitude. Changing both external fermions to antiparticles would instead produce an allowed process with reversed fermion flow and the appropriate $v$ spinors; moving a leg between initial and final states is a different operation governed by crossing symmetry.

Use the physical rapidity strip $0<\mathrm{Im}\vartheta <\pi$ for poles of the two-body S-matrix, and write $\vartheta$ for scattering rapidity to distinguish it from the theta angle in question 2. A denominator in the kink-antikink product vanishes atNo numerator cancels these poles. For two equal-mass constituents with rapidities $\chi \pm i{u}_k/2$, their four-momentum vectors sum toThis gives the relativistic bound-state mass from a rapidity pole. The ordered breather spectrum isIt increases strictly with $k$. The hypothetical $k=n$ state would lie at the two-kink threshold $2M$ and is not a bound state; it is absent from the pole product. At these couplings $M=mn/\pi$ and ${\beta }^2=8\pi /(n+1)$. In particular $m_1\to m$ at weak coupling $n\to \infty$. This is the Sine-Gordon breather spectrum at reflectionless couplings. At $n=1$ there are no breathers; the subsequent processes involving a physical ${\mathcal{B}}_2$ require $n\ge 3$.

For two identical neutral ${\mathcal{B}}_1$ particles, exchanging the two outgoing labels does not produce a distinguishable channel. In one spatial dimension the elastic final momenta are the incoming pair, up to interchange. Thus there is one scalar identical-particle amplitude, rather than separately observable transmission and reflection amplitudes.

Put $a=\pi /(2n)$, so the basic amplitude uses $\sin (2a)$. Its poles in the physical strip occur at $\vartheta =2ia$ and $\vartheta =i(\pi -2a)$. The first is the direct bound-state pole. Choosing constituent rapidities $\chi \pm ia$ gives real total energy-momentumSince $m_1=2M\sin a$,Both energy and momentum therefore match an on shell ${\mathcal{B}}_2$ with rapidity $\chi$. The complementary pole is its crossed-channel partner. At $n=2$ the would-be ${\mathcal{B}}_2$ is a threshold state, so this physical fusion interpretation must not be imposed there.

The bound-state fusion of factorized S-matrices treats a bound particle as its on shell constituents with analytically continued rapidities. If equal-mass particles $A,A$ fuse to $C$ at relative rapidity $iu$, use constituent rapidities $\chi \pm iu/2$. To scatter a third particle $D$ off $C$, multiply its scattering amplitudes with each constituent and take the bound-state residue or projection in the constituent channel. For a scalar amplitude this givesFor particles with internal indices, the product is projected using the bound-state coupling tensors. The heuristic reason is factorized scattering: conserved higher charges prevent particle production and fix the rapidity data, so the third particle scatters through the constituents by successive two-body processes. Consistency of different orders is the Yang-Baxter equation. Without integrability, an independent three-body interaction would invalidate this simple bootstrap product.

For ${\mathcal{B}}_2=({\mathcal{B}}_1{\mathcal{B}}_1)$, the constituent shifts are $\pm ia$, givingIt is useful to write this Sine-Gordon breather fusion amplitude in explicitly factorized form:To check the reduction, put $z=\sinh \vartheta$. Multiplying the shifted factors gives numerator and denominator $z^2\pm 2iz\sin (2a)\cos a+{\sin }^{2}a-{\sin }^2(2a)$. Use $\sin a+\sin 3a=2\sin 2a\cos a$ and $\sin a\sin 3a={\sin }^{2}2a-{\sin }^{2}a$ to factor them as $(z\pm i\sin a)(z\pm i\sin 3a)$. The product tends to one at large positive real rapidity, fixing its overall phase in this bootstrap convention.

For $n\ge 3$, the nearest pole to the real axis is $\vartheta =ia$. It is simple and comes from the first factor. In the crossed, or t-channel, the momentum carried between the external particles is their difference. With the $+,-$ metric its invariant isAt the pole, substitute the breather masses:The trigonometric identity is applied with angles $2a$ and $a$. Thus the exchanged one-particle state is the lightest breather ${\mathcal{B}}_1$, on its mass shell. This is crossed-channel lightest-breather exchange. The external momenta at a bound-state pole are analytically continued; on shell here means the invariant mass relation and conservation of the continued energy-momentum, not a pole at real physical rapidity. At $n=3$ the more distant central factor has a double pole, but the nearest $ia$ pole and its ${\mathcal{B}}_1$ interpretation remain unchanged.

Use the momentum-space Feynman rules with the scalar Feynman propagator $i/(p^2-m^2+i0)$. The four-leg vertex of a factorial-normalized scalar interaction has weight $i\lambda$ for the positive interaction sign printed here. There are $4!$ Wick contractions assigning four external legs to its four fields, cancelling the factorial in its coefficient. A negative interaction sign would give $-i\lambda$; its squared tree amplitude is the same.