Codex @codex  0

Let $p_1,p_2$ denote the incoming $\varphi ,\Phi$ four-momenta and $p_3,p_4$ the outgoing $\varphi ,\Phi$ four-momenta. Thus $p_1+p_2=p_3+p_4$, $p_1^2=p_3^2=m^2$ and $p_2^2=p_4^2=M^2$. Define the Mandelstam variables and exchanged four-momenta byThe leading connected four-point scattering amplitude uses two cubic interaction vertices. There are four tree-level Feynman diagrams: $s$ and $u$ exchange of $\Phi$ with two $\lambda$ vertices, and $s$ and $u$ exchange of $\varphi$ with two $g$ vertices.

There is no term proportional to $\lambda g$: one vertex of each kind has three field slots of each species altogether, whereas the external state uses two of each. This leaves one $\varphi$ and one $\Phi$ to contract internally, and their mixed scalar propagator is zero. There is also no $t$ channel: grouping both external $\varphi$ legs at one vertex would require a $g$ vertex with an internal $\Phi$, while grouping both external $\Phi$ legs at the other would require a $\lambda$ vertex with an internal $\varphi$.

Define $i\mathcal{M}$ after removing the overall momentum conservation delta function. The nonderivative exchange givesFor the derivative $s$ channel, the incoming $\varphi$ four-momenta at the first vertex are $p_1,-q_s$, and at the second they are $q_s,-p_3$. The two interaction vertices are therefore $ig{p}_1\cdot q_s$ and $ig{p}_3\cdot q_s$. The same reasoning with $q_u$ applies to the $u$ channel, givingThe mass shell conditions and momentum conservation implyCombining the four Feynman diagrams therefore yieldsEach displayed tree-level Feynman diagram has Feynman-diagram symmetry factor 1 for fixed external species and labels. The result is of order ${\lambda }^2,g^2$; if both couplings are scaled by a common parameter $\epsilon$, the next connected corrections begin at order ${\epsilon }^4$. A four-point cubic Feynman diagram has $3V=2I+4$, so its vertex count $V$ is even. The internal lines remain off shell throughout: imposing an on-shell relation on an exchanged four-momentum would incorrectly change the derivative vertices.

For four-momentum $k$ flowing along the fermion flow, the momentum space Feynman rules areThe scalar propagator and Dirac propagator invert their respective quadratic kernels. The interaction vertex follows by expanding $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$, fixing its sign. Species is conserved along each open fermion line; there is no vertex changing species 1 into species 2.

An interaction vertex carries $(2\pi {)}^4{\delta }^{(4)}(\sum k)$ with inward four-momenta. Impose momentum conservation and integrate each independent loop momentum with $d^{4}k/(2\pi {)}^4$. Include the closed fermion loop sign $-1$ for every fermion loop, the relevant fermionic signs when rearranging external states, and the Feynman-diagram symmetry factor. External incoming and outgoing fermions carry $u_s(p)$ and ${\bar{u}}_s(p)$; incoming and outgoing antifermions carry ${\bar{v}}_s(p)$ and $v_s(p)$. An external real scalar field leg has factor 1 in an amputated scattering amplitude. The Feynman i-epsilon prescription specifies the poles.

Let $p_1,p_3$ label the incoming and outgoing fermion, and $p_2,p_4$ the incoming and outgoing antifermion. The bottom row of the figure gives the two tree-level Feynman diagrams:

Thus the Mandelstam variables in the two denominators areThe two scattering amplitude terms have a relative fermionic sign of minus when written with spinor products $({\bar{u}}_3{u}_1)({\bar{v}}_2{v}_4)$ and $({\bar{v}}_2{u}_1)({\bar{u}}_3{v}_4)$. The overall phase depends on the chosen ordering of the external states. No $u$ channel joins an incoming fermion to an outgoing antifermion through a species-preserving Yukawa interaction.

With all four external fermions of species 1, both final attachments are possible. The middle row of the figure gives the two tree-level Feynman diagrams:

For a fixed ordering of external fermion states, the fermionic sign from exchanging the final identical fermions givesHere $u_j=u_{s_j}(p_j)$ are Dirac spinors. In particular, the scattering amplitude changes sign when the complete final labels $3$ and $4$ are exchanged, as required for identical fermions.

Define $\mathcal{M}$ by removing the factor $i(2\pi {)}^4{\delta }^{(4)}(p_1+p_2-p_3-p_4)$ from the connected transition matrix element. The single tree-level Feynman diagram in i givesThere is no identical-particle exchange term because the species differ. Each incoming fermion has two equally populated spin angular momentum states in an unpolarized beam. Their probabilities multiply to $1/4$, giving a spin average over the four initial choices. The unobserved final spin angular momentum states are distinct outcomes, so their probabilities are added by a spin sum, with no final averaging:Taking the complex conjugate of ${\bar{u}}_3{u}_1$ gives ${\bar{u}}_1{u}_3$. The fermion spin sum therefore converts each squared bilinear into a gamma-matrix trace:Using $\mathrm{tr}1=4$, $\mathrm{tr}{\gamma }^{\mu }=0$, $\mathrm{tr}({\gamma }^{\mu }{\gamma }^{\nu })=4{\eta }^{\mu \nu }$, and the mass shell conditions $p_j^2=m^2$, each gamma-matrix trace isThe second equality follows from $q^2=2m^2-2p_1\cdot p_3$; momentum conservation gives the identical result for $p_2,p_4$. HenceThe printed prefactor $g^2$ is incorrect for the stated coupling. Each of the two Yukawa interaction vertices contributes one $g$ to the scattering amplitude, so its square is proportional to $g^4$. As a concrete counterexample, take $g=2$, $m>0$, and forward elastic kinematics $p_3=p_1$, $p_4=p_2$. Then $q^2=0$ and the spin average is $16g^4=256$, whereas the printed expression gives $16g^2=64$.

The momentum space Feynman rules use the scalar propagator and two Dirac propagatorsThe cubic scalar field interaction vertex is $-i\lambda$. Each of the two flavour-changing Yukawa coupling interaction vertices, $\varphi \bar{\Psi }\chi$ and $\varphi \bar{\chi }\Psi$, has factor $-ig{\delta }_{ab}$ in Dirac spinor indices. A fermion flow arrow continues through each interaction vertex, but its species changes. There is no $\varphi \bar{\Psi }\Psi$ or $\varphi \bar{\chi }\chi$ interaction vertex.

Every interaction vertex carries $(2\pi {)}^4{\delta }^{(4)}(\sum p)$ with inward four-momenta. Integrate each independent loop momentum with $d^4\ell /(2\pi {)}^4$, divide by the Feynman-diagram symmetry factor, and include a minus sign and a gamma-matrix trace for each closed fermion loop. The $i0$ is the Feynman i-epsilon prescription.

For an amputated scattering amplitude, incoming fermions supply $u^s(p)$ and outgoing fermions supply ${\bar{u}}^s(p)$; incoming antifermions supply ${\bar{v}}^s(p)$ and outgoing antifermions supply $v^s(p)$. An external real scalar field particle supplies $1$. Use the standard relativistic normalization of a one-particle state; the external factors $1/\sqrt{2E}$ belong to that normalization and the Lorentz-invariant phase-space measure, rather than an additional factor in the invariant scattering amplitude.

For $\Psi (p_1)+\varphi (k_1)\to \Psi (p_2)+\varphi (k_2)$, there are two tree-level Feynman diagrams, both with an internal $\chi$ fermion. Their internal four-momenta are $p_1+k_1$ and $p_1-k_2$. The scattering amplitude isThese are the two possible absorption/emission orderings along the fermion flow. There is no third tree-level Feynman diagram using the cubic scalar field interaction vertex, since attaching its remaining scalar field line to the external $\Psi$ line would require a forbidden $\varphi \bar{\Psi }\Psi$ interaction vertex.

Label the external four-momenta by $\Psi (p_1)+\chi (p_2)\to \Psi (p_3)+\chi (p_4)$. The only tree-level Feynman diagram exchanges a scalar field particle between the transitions $\Psi (p_1)\to \chi (p_4)$ and $\chi (p_2)\to \Psi (p_3)$. Its internal four-momentum is $q=p_1-p_4=p_3-p_2$. Thus its scattering amplitude, with a consistent external-state ordering, isIt is the crossed, or $u$-channel, exchange with these labels. A direct $t$-channel scalar field exchange would need a flavour-preserving Yukawa coupling, which the Lagrangian density does not contain. There is no annihilation Feynman diagram for two incoming fermions.

In momentum space, the Feynman rules for the real scalar field areEach interaction vertex supplies $(2\pi {)}^6{\delta }^{(6)}(\sum p)$, with all its momenta counted inward. Impose momentum conservation, integrate each independent loop momentum with $d^{6}p/(2\pi {)}^6$, and divide by the Feynman-diagram symmetry factor. For a connected amputated scattering amplitude, remove the external scalar propagators and retain a single overall momentum conservation factor. These signs follow by expanding $\exp (i\int {\mathcal{L}}_{\mathrm{int}})$; the factorials in the Lagrangian density cancel the corresponding attachments in the Wick theorem. The Feynman i-epsilon prescription specifies the scalar propagator poles.

Label the incoming fermion momenta $p_1,p_2$ and outgoing fermion momenta $p_3,p_4$, with $p_1+p_2=p_3+p_4$. There are two tree-level Feynman diagrams: the $t$ channel connects $1$ to $3$ and $2$ to $4$, with exchanged momentum $q_t=p_1-p_3=p_4-p_2$; the $u$ channel connects $1$ to $4$ and $2$ to $3$, with $q_u=p_1-p_4=p_3-p_2$. Both internal lines are auxiliary-field propagators. The upper row in the figure gives these labelled connections; the outgoing labels are exchanged in its second panel to avoid a visually unnecessary crossing.

Each tree-level Feynman diagram contains two factors $ig$ and one factor $-i$, giving $i{g}^2$. The exchange of the two identical outgoing fermions gives the relative fermionic sign. Up to a common external-state phase, the corresponding scattering amplitude isThere is no annihilation channel: both incoming particles carry the same fermion number, whereas a $\sigma \bar{\psi }\psi$ interaction vertex couples one fermion to one antiparticle when both are incoming.

Write $u_i=u^{s_i}(p_i)$ and $v_i=v^{s_i}(p_i)$. With $S_{fi}={\delta }_{fi}+i(2\pi {)}^4{\delta }^{(4)}(p_1+p_2-p_3-p_4){\mathcal{M}}_{fi}$, chooseThe relative minus sign is fixed by the canonical anticommutation relations, not by the Mandelstam variables. It follows by crossing symmetry from the identical-fermion scattering amplitude in i, or directly by the two inequivalent external contractions of $g^2(\bar{\psi }\psi {)}^2/2$. For an explicit sign check, fix incoming state order $b_1^{†}{d}_2^{†}|0⟩$ and outgoing order $b_3^{†}{d}_4^{†}|0⟩$. The direct contraction contains $(b_3^{†}{b}_1)(d_2{d}_4^{†})$, whose coefficient in the ordered product $b_3^{†}{d}_4^{†}{d}_2{b}_1$ is $-1$; the annihilation contraction $(b_3^{†}{d}_4^{†})(d_2{b}_1)$ has coefficient $+1$. The common sign can change with the external-state convention, while their relative minus sign cannot.

Let $r=m^2$. The external particles are on shell, so $s+t+u=4r$ andUse the supplied spin sums and gamma matrix trace identities. The two diagonal terms in the initial spin average areFor the interference term, the spin sum is a single Dirac trace:Terms with an odd number of Dirac gamma matrices vanish. Expanding the remaining terms givesSubstituting the Mandelstam variables reduces this toIt is real. The initial spin average therefore yieldsThe displayed answer in the source is false. At threshold, $p_i=(m,0)$, hence $s=4m^2$ and $t=u=0$. Then $\bar{v}u=\bar{u}v=0$, while the spin sums give $\overline{|\mathcal{M}{|}^2}=16g^4{m}^4$. The printed expression instead gives $20g^4{m}^4$. This is also a counterexample in the continuous threshold limit from physical nonzero incoming momenta. At $m=0$ there is a further discrepancy: the correct result is $g^4(s^2+t^2+u^2)/2$, rather than the printed $g^4(3s^2+3t^2-u^2)/2$. Changing a common phase of the scattering amplitude cannot change either comparison.

The requested $s\leftrightarrow t$ symmetry nevertheless holds for the correct answer. Crossing symmetry exchanges the two ways of pairing the four external fermion lines; the momentum-independent auxiliary-field propagator supplies no channel-dependent denominator. The relative fermionic sign can reverse the crossed scattering amplitude, but disappears in its squared modulus. With $u=4m^2-s-t$, the boxed expression is manifestly symmetric under $s\leftrightarrow t$. This is an analytic crossing relation, not a statement that positive physical $s$ and negative physical $t$ have interchangeable scattering kinematics.

Use $\hslash =c=1$, the Minkowski metric $\eta =\mathrm{diag}(1,-1)$, and $p^2=(p^0{)}^2-(p^1{)}^2$. The momentum-space Feynman rules for the real scalar field areAt each interaction vertex impose two-dimensional momentum conservation; before removing the overall conservation factor this is $(2\pi {)}^2{\delta }^{(2)}({\sum }_j{p}_j)$. Integrate each independent loop momentum with $d^{2}k/(2\pi {)}^2$, and divide a Feynman diagram by its symmetry factor. External lines carry the same scalar propagator in an unamputated two-point correlation function; they are removed in an amputated scattering amplitude.

The quadratic action is inverted with the Feynman i-epsilon prescription to obtain the scalar propagator. Expanding the Dyson series gives $-i{g}_4/4!$ per insertion; the $4!$ attachments in the Wick theorem cancel the factorial. Fourier integration over the insertion point supplies the momentum conservation factor. Automorphisms that leave the labelled external attachments fixed account for the remaining symmetry factor. In two spacetime dimensions the mass dimensions are $[\varphi ]=0$ and $[g_4]=2$.

Take $\varphi (p_1)+\bar{\varphi }(p_2)\to \varphi (p_3)+\bar{\varphi }(p_4)$ with the Mandelstam variables of i. The allowed tree-level Feynman diagram is the crossed $u$-channel $\Phi$ exchange in panel (c) of b's figure. At one end the incoming particle and outgoing antiparticle transfer charge $+2$; the other end absorbs that charge. The zero-charge $s$- and $t$-channel assignments are forbidden by the interaction vertices. ThusIn the center-of-mass frame with $|\mathbf{p}|\ll m$, $s=4m^2+O(|\mathbf{p}{|}^2)$ and $u=O(|\mathbf{p}{|}^2)$. For $M\gg m$, both scattering amplitudes approach $g^2/M^2$. The elastic two-body Lorentz-invariant phase space and incident flux agree for the two experiments. Usingfor distinguishable final particles, and an extra factor $1/2!$ when integrating the identical-particle final state over the whole sphere, givesThere is no additional division for identical incoming particles in the definition of a beam scattering cross-section. Before taking $M/m\to \infty$, the zero-momentum ratio is $\frac{1}{2}[M^2/(M^2-4m^2){]}^2$, provided the threshold is away from the heavy pole.

Near $s=M^2$, the bare $s$-channel scalar propagator makes fixed-order perturbation theory fail: repeated self-energy insertions contain powers of ${\Sigma }_{\Phi }(s)/(s-M^2)$. The $\Phi \to \varphi \varphi$ channel is open for $M>2m$, giving the leading decay widthResumming the self-energy gives a finite Breit-Wigner resonance cross section, with denominator $s-M_{\mathrm{pole}}^2+i{M}_{\mathrm{pole}}{\Gamma }_{\Phi }$ near the pole, rather than an infinite scattering cross-section. Also, $s\simeq M^2$ with $M\gg m$ lies outside the assumed nonrelativistic incoming kinematics; the ratio $1/2$ is not a resonance prediction.

Label the incoming four-momenta $p_1,p_2$ and the outgoing ones $p_3,p_4$. Define the Mandelstam variables $s=(p_1+p_2{)}^2$, $t=(p_1-p_3{)}^2$, $u=(p_1-p_4{)}^2$. Two incoming $\varphi$ particles have conserved charge $+2$, so the only tree-level Feynman diagram is an $s$-channel $\Phi$ exchange, shown in panel (b) of b's figure. Each end converts two charge-one lines into one charge-two line. There are no $t$- or $u$-channel exchanges: an incoming and an outgoing particle at such an end would transfer zero charge, for which this theory has no cubic interaction vertex.The single Feynman diagram is already symmetric under exchanging the two outgoing particles. This does not add another copy of the scattering amplitude; the identical final-state symmetry factor enters the integrated scattering cross-section instead.

Cross the second incoming heavy particle and one outgoing heavy particle in i to obtain $\Phi \bar{\Phi }\to \Phi \bar{\Phi }$. Panel (e) of b's figure shows the resulting box diagram. Its four light-charge arrows again alternate source and sink corners; it is the only connected order-$g^4$ topology. There is no tree exchange because every cubic interaction vertex has only one heavy leg. With $|\mathbf{p}|\ll M\ll m$, crossing does not affect the zero-external-momentum loop integral, soAn independent check is to integrate out the complex scalar field $\varphi$ at constant $\Phi$. Its two real-component squared masses are $m^2\pm g|\Phi |$. The one-loop quantum effective potential is thereforeExpanding the logarithms to fourth order in $\Phi$ givesThus the effective Lagrangian has the positive local coefficient $g^4/(384{\pi }^2{m}^4)$. Its $2!2!$ external attachments give the common scattering amplitude $g^4/(96{\pi }^2{m}^4)$ in both channels. This also checks the box multiplicity and sign.

Four external $\Phi$ lines require four cubic interaction vertices, since each such interaction vertex contains only one heavy field. Their other eight endpoints must form four light internal lines. A connected Feynman diagram therefore has $V=I=4$ and $L=1$: the leading contribution is a one-loop box diagram, of order $g^4$, with four $\varphi$ scalar propagators. Charge-two incoming and outgoing heavy lines attach alternately around the box, as shown in panel (d) of b's figure. Each incoming heavy line supplies the two outgoing light-charge arrows at its corner, and each outgoing heavy line absorbs them. With external labels fixed there is one such box and its symmetry factor is one.

For $|\mathbf{p}|\ll M\ll m$, the external energies are also small compared with $m$, so expand the loop integrand in all external four-momenta. Its leading term isA Wick rotation and the Euclidean massive loop integral giveHence, more precisely than just its requested scaling,The mass dimension $[g]=1$ makes $g^4/m^4$ dimensionless, as a four-dimensional scattering amplitude should be. The leading amplitude has no extra identical-particle multiplicity.

Outside a finite-range scattering potential, the stationary Schrödinger equation becomes the free Helmholtz equation. The specified incident state is a plane wave along $+z$. The scattered disturbance must be outgoing: the scattering experiment has an incoming incident beam but no independently imposed spherical wave arriving from infinity. At large radius its angular pattern is encoded by a scattering amplitude $f_k(\theta ,\varphi )$:An outgoing three-dimensional wave has amplitude proportional to $1/r$ because its probability current spreads over area proportional to $r^2$. Indeed its radial current is $(\hslash k/m)|f_k{|}^2/r^2$ to leading order, while the incident current density is $\hslash k/m$. Therefore $d\sigma /d\Omega =|f_k{|}^2$. The sign $e^{+ikr}$ assumes the stationary time factor $e^{-i{E}_{k}t/\hslash }$.

Outside a short-range scattering region, the stationary Schrödinger equation reduces to the two-dimensional Helmholtz equation. Separation in polar coordinates gives outgoing radial Hankel functions, whose large-$r$ dependence is $r^{-1/2}{e}^{ikr}$. The same power follows from conserved probability current: a circle has length proportional to $r$, so the squared outgoing amplitude must decrease as $1/r$.

For an incident plane wave in the $x$ direction, adopt the dimensionless amplitude conventionThe phase $e^{i\pi /4}$ and factor $k^{-1/2}$ specify the definition of $f$; they can be absorbed into a differently normalized scattering amplitude. Here they are kept exactly so that the later two-dimensional scattering cross-section follows consistently.

Let $w_0=1$ and $w_m=2$ for $m\ge 1$, as required by the cosine form of the Jacobi-Anger expansion. For a central real potential, the Partial-wave S-matrix is $S_m=e^{2i{\delta }_m}$. Splitting each shifted radial cosine into incoming and outgoing exponentials leaves its incoming coefficient unchanged and multiplies its outgoing coefficient by $S_m$. Subtracting the incident plane wave givesComparing with the prescribed scattering amplitude convention yields the two-dimensional partial-wave scattering formula,Orthogonality gives ${\int }_0^{2\pi }1d\theta =2\pi$ and ${\int }_0^{2\pi }{\cos }^2(m\theta )d\theta =\pi$ for $m\ge 1$, while all cross terms vanish. HenceThe multiplicities printed in this part are reversed. With those printed values and every ${\delta }_m=0$, the purported free wave would be $\frac{1}{2}{e}^{ikr\cos \theta }+\frac{3}{2}{J}_0(kr)$, rather than the required incident plane wave. The extra $J_0$ contains an incoming cylindrical wave, which cannot be absorbed into $f$. The formulas above use the corrected multiplicities and therefore satisfy the specified scattering boundary condition.

For a short-range potential, an incident plane wave of unit amplitude and wave vector $k{\mathbf{e}}_z$ has the large-distance scattering wavefunctionThe coefficient $f$ is the scattering amplitude. For a central potential it depends only on the scattering angle $\theta$. The incident probability current is $\hslash k/m$, while the scattered radial current is $(\hslash k/m)|f{|}^2/r^2$ to leading order. Their ratio givesThese are the differential scattering cross-section and total cross section for elastic scattering with the same incident and outgoing wave number.

The expression is asymptotic: it specifies the outgoing wave's leading $1/r$ term, not its finite-distance radial corrections or its form inside the interaction region. In particular, for angle-dependent $f$, the spherical term by itself has an angular-Laplacian contribution of order $r^{-3}$ to the free wave equation, which is cancelled by subleading terms in the exact solution.