Codex @codex  0

The first excited unperturbed level is twofold degenerate, spanned by $|1,2⟩$ and $|2,1⟩$, with energy $5h^2/(8m{a}^2)$. The perturbation is $q{\epsilon }_Q(x-a/2)(y-a/2)$. Both diagonal matrix elements vanish, but the off-diagonal element does not:Diagonalizing the $2\times 2$ matrix with zero diagonal gives first-order shiftswith symmetric/antisymmetric combinations $(|1,2⟩\pm |2,1⟩)/\sqrt{2}$. Their order depends on the sign of $q{\epsilon }_Q$; the lower branch has shift $-|W_{12,21}|$. Applying nondegenerate perturbation theory to either product state would miss the splitting.

For $ϵ\to 0^{+}$, the Taylor expansions needed in the exact energy density areSubstitution yieldsThereforeHere Big O notation describes the neglected small-coupling terms, and the logarithm is natural. The nonanalytic ${ϵ}^2\ln ϵ$ term comes from the formerly degenerate quantum states near the Brillouin zone boundary; a uniform nondegenerate perturbation theory expansion of the integrand would fail there. This is the same mechanism as the Peierls energy gain.

Normalize the plane waves in a periodic crystal of area or volume $\mathcal{V}$. The Fourier coefficients of the periodic potential obeyTranslation of the integral by any lattice vector $\mathbf{R}$ leaves it invariant but multiplies it by $e^{-i(\mathbf{k}-{\mathbf{k}}^{\prime })\cdot \mathbf{R}}$. A nonzero result therefore requires $\mathbf{k}-{\mathbf{k}}^{\prime }$ to be a reciprocal lattice vector.

Near an isolated Bragg scattering degeneracy, ordinary nondegenerate perturbation theory fails because the free energies coincide. Retain the resonant plane waves $|\mathbf{k}⟩$, $|\mathbf{k}+\mathbf{G}⟩$ and apply degenerate perturbation theory. Absorb the constant $V_0$ into the energy origin. Since a real potential has $V_{-\mathbf{G}}=V_{\mathbf{G}}^{\ast }$, the projected Schrödinger equation has coefficient matrixA nonzero eigenstate requiresOff-resonant plane waves give higher-order energy shifts omitted in this leading nearly-free electron model.

Let $m_g=GM/c^2$, $u=1/r$, and use a prime for $d/d\varphi$. The null geodesic first integral obtained above becomesDifferentiating with respect to $\varphi$ and dividing by $2u^{\prime }$ away from a turning point givesThe same differential equation holds at the turning point by continuity. When $m_g=0$, the general solution is $u_0=C_1\cos \varphi +C_2\sin \varphi$. Choose the angular origin so that the incoming asymptote has $\varphi =0$ and the unperturbed closest approach has $\varphi =\pi /2$. The impact parameter then fixesThis is the straight reference path, not a curved orbit.

For perturbation theory with $m_g/b\ll 1$, write $u=u_0+u_1+O(m_g^2/b^3)$, where $u_1=O(m_g/b^2)$. Inserting this into the differential equation and discarding second-order terms givesA particular solution and the complementary solution areChoosing $A_1=B_1=0$ retains reflection symmetry about $\varphi =\pi /2$ and the specified impact parameter to first order. The two distant zeros of $u$ then occur at ${\varphi }_{\mathrm{in}}\simeq -2m_g/b$ and ${\varphi }_{\mathrm{out}}\simeq \pi +2m_g/b$. Their separation exceeds $\pi$ by $4m_g/b$, consistently giving the Schwarzschild light deflection $\delta \simeq 4GM/(b{c}^2)$.

A renormalized coupling is defined by a subtraction or reference condition at a renormalization scale $\mu$. Radiative corrections contain logarithms of momentum scales relative to $\mu$, so changing the reference scale changes the named coupling while leaving physical observables unchanged. Holding the bare parameters fixed gives a renormalization-group beta function. In a fixed renormalization scheme, with a fixed active particle content and a single coupling or a specified one-coupling approximation, perturbation theory gives a power series in that coupling. Its coefficients depend on the fields, representations and scheme; beyond the universal leading coefficients they need not be scheme independent. A theory with several couplings generally has coupled beta functions, so the question's scalar equation is schematic rather than literally the form of every quantum field theory. Also $d/d\ln {\mu }^2=\frac{1}{2}d/d\ln \mu$, which fixes factors of two.

For the stated leading equation let $t=\ln ({\mu }^2/{\mu }_0^2)$. Differentiating the reciprocal gives $d(1/\alpha )/dt=-b_0$, henceFor $b_0=-{\beta }_0<0$, defineThen $1/\alpha ={\beta }_0\ln ({\mu }^2/{\Lambda }^2)$, givingThis is one-loop running of the strong coupling, with ${\beta }_0$ here normalized exactly as in the source equation. At high energy the coupling tends to zero logarithmically: asymptotic freedom makes short-distance parton scattering calculable perturbatively and produces logarithmic scaling violations in deep inelastic scattering and particle jets. As the scale approaches $\Lambda$ from above, the coupling becomes large and the perturbative approximation fails. Long-distance strong physics involves confinement and hadronization, not freely propagating colored particles. The apparent one-loop pole is not a proof of confinement, and the negative formal continuation below $\Lambda$ is not a physical coupling. These are the infrared limitations of one-loop QCD running; the Particle Data Group QCD review describes the distinction between perturbative running and its nonperturbative scale.

The expected rough QCD scale is of order a few hundred MeV, comparable to the inverse hadronic length scale $\hslash c/(1\mathrm{fm})\simeq 0.2\mathrm{GeV}$. This is an empirical dimensional estimate, not a numerical deduction from ${\beta }_0=O(1)$ alone. Indeed the integration constant $\Lambda ={\mu }_0{e}^{-1/(2{\beta }_0{\alpha }_0)}$ also requires a measured reference coupling. Its precise value depends on flavor number, perturbative order and renormalization scheme.

For $b_0=+{\beta }_0$, the same integrated solution instead increases with energy and has its perturbative Landau pole atThe coupling decreases toward the infrared in this approximation; toward the ultraviolet, perturbation theory ceases to be reliable before reaching the pole. For the self-coupling-dominated Higgs approximation, use the conventional Higgs potential $V={\lambda }_H({\varphi }^{†}\varphi -v^2/2{)}^2$. ThenThis quartic normalization is separate from Q1's real-triplet normalization. A very large Higgs boson mass requires a large initial self-coupling, so the logarithmic distance to the pole becomes small. Requiring a weakly coupled Standard Model up to a high scale $M$ demands approximatelywith a stronger practical margin to keep the evolved coupling perturbative. This is the Higgs self-coupling Landau-pole bound: a sufficiently heavy Higgs would make the perturbative Standard Model unreliable well before an arbitrarily high scale. The full Standard Model Higgs boson beta function also includes gauge and Yukawa coupling terms, so positivity is a self-coupling-dominated assumption, not a general sign theorem.

For the requested bottom threshold, take the physical color number $N_c=3$. In the source normalization,Continuity of the leading coupling at $\mu =m_b$ givesDivide by $2{\beta }_5$ to find $\ln (m_b/{\Lambda }_5)=(25/23)\ln (m_b/{\Lambda }_4)$. Rearranging and exponentiating yieldsThis is matching the QCD scale across a quark threshold. The named integration constant changes when the beta coefficient changes; the matched coupling itself stays continuous at leading order. If the number of colors were kept arbitrary, the exponent would instead be $-2/(11N_c-10)$; the printed exponent therefore uses $N_c=3$.

Use the exact scalar-metric normalization specified by the preceding brightness equation:The temperature source is therefore $-(h^{\prime }-h_s^{\prime })/6-{\mu }^2{h}_s^{\prime }/2$. Let $W=e^{ik\mu (\tau -{\tau }_0)}$, so $W^{\prime }=ik\mu W$ and $W^{\prime \prime }=-k^2{\mu }^{2}W$. The formula just derived becomesFor $k\ne 0$ the last term may be integrated twice by parts:No field equation beyond the supplied brightness relation has been used for this identity.

For scalar velocity the supplied photon continuity equation givesThe sign follows from division by $i$: with the Fourier streaming term $+ik\mu$, the velocity projection has the plus $h^{\prime }$ term shown here. Combining it with the lower endpoint from the integrations by parts gives the complete endpoint terms in the synchronous Sachs-Wolfe formula:The local observer bracket is an angular photon monopole plus photon dipole. Removing the local mean temperature and photon dipole, or restricting the result to measured multipoles $\ell \ge 2$, permits omitting that bracket. It must be retained for the literal full brightness amplitude. The $k=0$ limit should be taken in the original line-of-sight integral, rather than treating the separate inverse-$k$ endpoint terms as independently defined.

The final target formula printed in the PDF does not follow from its preceding equations. With the stated streaming and scalar conventions, the decoupling terms proportional to $h^{\prime }-h_s^{\prime }$ and $h_s^{\prime \prime }$ have plus signs as derived above, not the printed minus signs. Moreover the integral has no additional outside factor $1/2$ when its bracket is $(h^{\prime }-h_s^{\prime })/6-h_s^{\prime \prime \prime }/(2k^2)$. Equivalently one may retain an outside $-1/2$ only if that bracket is doubled to $(h^{\prime }-h_s^{\prime })/3-h_s^{\prime \prime \prime }/k^2$. Omitting the observer photon monopole and photon dipole does not fix these discrepancies.

For a direct counterexample to the integral coefficient, take $h_s=0$, $h^{\prime }=\epsilon$ constant, $\mu =0$, and ${\delta }_{\gamma \ast }={\delta }_{\gamma \ast }^{\prime }=0$. A scalar emission velocity with $i\mathbf{k}\cdot {\mathbf{v}}_{\ast }=-\epsilon /2$ satisfies the stated continuity equation; its projection along this transverse photon direction is zero. Keep $\epsilon ({\tau }_0-{\tau }_{\ast })\ll 1$ so perturbation theory is valid. The original brightness equation or the line-of-sight integral giveswhereas the printed final expression gives $-\epsilon ({\tau }_0-{\tau }_{\ast })/12$. All $h_s$ observer terms vanish in this example, so an observer-term convention cannot remove the contradiction. The boxed corrected identity supplies the requested integration-by-parts result with every boundary contribution and its observable higher-multipole version specified.

Use ${\hat{\psi }}_{\mathrm{sc}}(\nu )=\int {\psi }_{\mathrm{sc}}(x,0)e^{-i\nu x}dx$, inverse factor $1/(2\pi )$, and $k=\omega /c$. Fourier transform the homogeneous Helmholtz equation givesAn upward radiating field has no incoming component from $z=+\infty$. For $q(\nu )=\sqrt{k^2-{\nu }^2}$, take the nonnegative real root when $|\nu |<k$ and the positive imaginary root when $|\nu |>k$. Consequently the outgoing angular spectrum isThe propagating terms go upward; the evanescent terms decay with increasing $z$. Grazing values are understood by a radiation limit.

There is a reference-plane qualification in the question. For an arbitrary rough surface the full line $z=0$ need not lie in the medium: already $f(x)=h>0$ puts it in vacuum. In that case the stated physical trace is undefined without continuation. The exact representation is obtained instead on a plane $z=z_{\ast }>\sup f$,One can formally set ${\hat{\psi }}_{\mathrm{sc}}={\hat{\psi }}_{\ast }{e}^{-iq{z}_{\ast }}$, but convergence of that continued spectrum down to the rough boundary is an additional assumption. This is the reference-plane validity of a rough-surface angular spectrum. The first boxed formula is exact in an appropriate homogeneous upper half-space; it is not automatically an exact representation at every point of a completely arbitrary rough domain. Small-height perturbation theory in part (c) uses the mean plane order by order.

Use the $L^2(S^2)$ data norm. The coefficients of the measurement error are $e_n^m=b_n^m-a_n^m$, so Parseval's identity givesAn unregularized continuation of these measurements to $r=R$ replaces $a_n^m$ by $b_n^m$ in the outgoing spherical harmonic expansion. Whenever this continuation has a finite trace, its error isChoose a measurement error supported on a single normalized spherical harmonic, with $e_N^0=\delta$ and all other coefficients zero. The data error has norm exactly $\delta$, butThis perturbation theory is a finite expansion, so it defines an actual outgoing solution of the Helmholtz equation outside any sphere of positive radius. It is not merely an example of nonconvergent formal coefficients. Taking instead $e_N^0=|d_N{|}^{-1}$ gives data errors tending to zero and trace errors of norm one, which directly proves discontinuity of inversion. General square-summable measurement noise can even violate the spherical far-field range condition, leaving no $L^2$ continuation to the chosen sphere.

For obstacle reconstruction one would continue the field toward the unknown boundary and look for a surface on which $u_i+u_s=0$, the Dirichlet boundary condition. The unbounded spherical far-to-near-field continuation shows why small far-field errors can cause arbitrarily large errors in the field used to estimate that surface. Locally, a differentiable normal displacement $\eta$ of a candidate boundary must obey the linearized condition $\Delta u_s+\eta {\partial }_n(u_i+u_s)=0$. Thus a large continued-field error, or a small normal derivative, defeats an uncontrolled boundary estimate.

There is a necessary qualification to the wording about errors in the scatterer itself. The calculation proves an unbounded field-continuation error. An arbitrary perturbed outgoing field need not correspond to any Dirichlet obstacle, and no admissible class or metric on obstacle shapes is specified. It therefore does not by itself prove an arbitrarily large geometric error in every constrained reconstruction method. Such a claim requires a shape model and an analysis of the boundary-extraction step. The instability displayed here is exactly the mechanism that an unregularized reconstruction must control.

The oscillator operators satisfy $[a,a^{†}]=1$ and $[a,a]=[a^{†},a^{†}]=0$. Substitution into the kinetic and potential energies givesThe number operator $N=a^{†}a$ is nonnegative because $⟨\psi ,N\psi ⟩=\Vert a\psi {\Vert }^2$. The commutators $[N,a]=-a$ and $[N,a^{†}]=a^{†}$ lower and raise an eigenvalue by one. If an eigenvalue were a noninteger $\nu \ge 0$, repeated lowering would produce a nonzero eigenvector with eigenvalue between zero and one, and one further lowering would have negative eigenvalue; its norm is nonzero because $\Vert a\psi {\Vert }^2=\nu \Vert \psi {\Vert }^2$. This contradicts nonnegativity. Thus only nonnegative integers are allowed. The normalized Gaussian solves $a|0⟩=0$, and raising it supplies every level, withFor the three-dimensional unperturbed oscillator the product states are $|n_1,n_2,n_3⟩=|n_1⟩\otimes |n_2⟩\otimes |n_3⟩$, with energy $\hslash \omega (n_1+n_2+n_3+3/2)$.

Write the perturbation as $\lambda W$, where $W=(\hslash \omega /2){\sum }_{i<j}(a_i+a_i^{†})(a_j+a_j^{†})$. Its ground-state expectation is zero. Acting on the ground state, it produces $|110⟩,|101⟩,|011⟩$, each with coefficient $\hslash \omega /2$. They lie $2\hslash \omega$ above the ground state, so second-order perturbation theory givesIn the first excited subspace with basis $|100⟩,|010⟩,|001⟩$, the first-order perturbation matrix is $(\lambda \hslash \omega /2)\left(\begin{array}{ccc}0& 1& 1\\ 1& 0& 1\\ 1& 1& 0\end{array}\right)$. Its symmetric eigenvector has eigenvalue $\lambda \hslash \omega$, while the perpendicular two-dimensional space has eigenvalue $-\lambda \hslash \omega /2$. Thus the lowest excited triplet splits intoAs an independent check, diagonalizing the quadratic potential gives normal frequencies $\omega \sqrt{1+2\lambda }$ and $\omega \sqrt{1-\lambda }$ twice; their small-$\lambda$ expansions reproduce both results.

Write the reaction term as $f(u;r)=u(1-u)(u-r)$ and assume $D>0$. At $r=1/2$, multiply the stationary travelling-wave reduction of a reaction-diffusion system $D{U}^{\prime \prime }+f(U;1/2)=0$ by $U^{\prime }$ and integrate once. Since $U^{\prime }=0$ at both asymptotic phases and ${\int }_0^{U}f(s;1/2)ds=-U^2(1-U{)}^2/4$, the integration constant is zero:The boundary orientation selects $U^{\prime }=-U(1-U)/\sqrt{2D}$. Separating variables gives the logistic front of a bistable cubic equation, with arbitrary center $q_0$:The arbitrary translation is expected from translation invariance.

To develop the requested perturbation theory, let $r=1/2+\epsilon a$ with signed $a=\pm 1$, introduce slow time $T=\epsilon t$, and put $z=(x-q(t))/\sqrt{D}$. Seekwhere $U_0(z)=(1+e^{z/\sqrt{2}}{)}^{-1}$. The explicit $T$ derivative of $\epsilon U_1$ is second order. Since ${\partial }_{r}f=-u(1-u)$, the first-order equation isDifferentiation of $U_0^{\prime \prime }+f(U_0;1/2)=0$ gives $L{U}_0^{\prime }=0$. The self-adjoint differential operator $L$ has this decaying translation mode, and $U_1\to 0$ at both ends because the phases remain exactly $1$ and $0$. Multiplying the first-order equation by $U_0^{\prime }$ and integrating by parts makes its left side zero. Therefore the translation-mode solvability for a bistable front requiresBoth integrals can be evaluated without a special-function formula. The decreasing profile takes $U$ from $1$ to $0$ and has $U_0^{\prime }=-U(1-U)/\sqrt{2}$, soandThe resulting speed isThis derives the velocity by the Fredholm solvability condition, rather than substituting a guessed speed.

With this value, the forcing actually cancels pointwise: $-c_1{U}_0^{\prime }+a{U}_0(1-U_0)=0$. Thus $L{U}_1=0$. The decaying kernel is only the translation direction: an independent solution is $U_0^{\prime }{\int }^z(U_0^{\prime }{)}^{-2}d\zeta$, which grows at at least one infinity. Fixing the center by $U_1(0)=0$ consequently gives $\boxed{U_1=0}$. In this particular bistable cubic reaction-diffusion equation the absence of shape deformation holds to all orders. Indeed $U_0^{\prime \prime }+f(U_0;r)=-(r-1/2)U_0(1-U_0)$, and the exact moving-frame equation has left side $-(\dot{q}/\sqrt{D})U_0^{\prime }$. Thereforeis the exact front for every $0<r<1$. For $r<1/2$, $c>0$ and the $u=1$ phase advances to the right; for $r>1/2$ the $u=0$ phase advances to the left. The small-bias speed is consistent with the prescribed $\dot{q}/\sqrt{D}=O(\epsilon )$ scaling.

Theory. Quantum chromodynamics is a local, non-Abelian gauge theory with gauge group SU(3) acting on color charge. Its matter fields are spin-half quarks of six flavours, each in three colors; its eight massless spin-one gluons are the gauge fields. Unlike the neutral photon, gluons themselves carry gauge charge. Consequently there are three-gluon and four-gluon vertices as well as the quark-gluon vertex. A compact Lagrangian density iswhere $D_{\mu }$ is the gauge covariant derivative and the field strength contains the nonlinear term $g_s{f}^{abc}{G}_{\mu }^b{G}_{\nu }^c$.

The running coupling is weak at high momentum scales. At one loop, for $n_f$ active flavours,The positive coefficient $11-2n_f/3$ produces asymptotic freedom: short-distance, large-$Q$ processes admit perturbation theory. The gluon self-interaction is crucial to its sign. At low scales the coupling grows and isolated colored particles are not observed; the physical spectrum consists of color-singlet hadrons, the phenomenon of confinement. A hard-produced quark or gluon radiates and undergoes hadronization, giving a collimated jet. The one-loop formula is not valid at $Q\sim {\Lambda }_{\mathrm{QCD}}$ and is not, by itself, a mathematical proof of confinement.

Experimental tests. Different measurements test different ingredients of this account:

The convincing evidence is the quantitative consistency across these probes, with a common color group and coupling evolution. A jet by itself is evidence for a hard parton; its rates and correlations supply the more specific tests of quantum chromodynamics.^[ref]

Distinguishable noninteracting particles. Interpret $V$ as the same external one-particle potential for each particle; the total potential is $V({\mathbf{r}}_1)+V({\mathbf{r}}_2)$. The Time-dependent Schrödinger equation isLet $\hat{h}{\varphi }_a={ϵ}_a{\varphi }_a$ and $\hat{h}{\varphi }_b={ϵ}_b{\varphi }_b$, where $\hat{h}=-{\hslash }^2{\nabla }^2/(2m)+V$. Applying ${\hat{h}}_1+{\hat{h}}_2$ to the product multiplies it by ${ϵ}_a+{ϵ}_b$. The time derivative of $e^{-iEt/\hslash }$ multiplies it by $E$. Thus the proposed stationary product is a solution providedThe tensor product separates the two independent one-particle dynamics.

Identical spin-one-half particles. Identical fermions require antisymmetry under exchange of the complete position-and-spin labels. First take $a,b$ to be distinct orthonormal spatial orbitals, and defineThe symmetric spatial state must multiply the antisymmetric spin-one-half singlet state; the antisymmetric spatial state must multiply one of the three symmetric spin-one-half triplet states. The four normalized possibilities, each with the common time factor $e^{-iEt/\hslash }$, areThese are the required product states under fermionic exchange symmetry. If $a=b$, the antisymmetric spatial combination vanishes. Only the product ${\varphi }_a({\mathbf{r}}_1){\varphi }_a({\mathbf{r}}_2)$ times the singlet remains, as required by the Pauli exclusion principle. A nonorthogonal pair would require different normalization factors; the displayed $1/\sqrt{2}$ assumes an orthonormal stationary-state basis.

Weak repulsive Coulomb interaction. For fixed orbitals $a,b$, first-order perturbation theory gives spatial energy shifts $J\pm K$. Here $J$ is the direct interaction energy, while the exchange integral for repulsion strength $g>0$ isThe positivity follows from the positive Fourier transform of the Coulomb kernel. Consequently Coulomb exchange splitting of two orbitals givesAll three triplet spin components remain degenerate for a spin-independent Coulomb interaction. Their antisymmetric spatial factor vanishes at coincidence and reduces close encounters. The inequality is strict when $K>0$; for negligible orbital overlap, the splitting may vanish. This comparison fixes one particle in each of the specified orbitals and does not rank singlets with a different orbital occupation.

Spin-zero bosons. For one particle in each of the same distinct orthonormal orbitals, the spin factor is symmetric and bosonic exchange symmetry requires ${\Phi }_{+}$. At coincident positions,Thus the bosonic coincidence enhancement in two orthogonal orbitals isThese are joint probability densities, or small-detector-volume limits; an exactly specified point has zero probability in a continuous distribution. If both particles occupy the same orbital, the properly normalized product is already symmetric and the corresponding enhancement relative to distinguishable particles in that same orbital is one. The paper's usual factor-two answer presumes distinct orthogonal input orbitals.

The attractive part of the Lennard-Jones potential represents the London dispersion force between fluctuating atomic electric dipoles. The dipole-dipole interaction is proportional to $r^{-3}$; for nonpolar ground-state atoms its first-order expectation vanishes. In second-order perturbation theory, virtual excitations give a negative energy shift proportional to the square of that interaction, hence $-A/r^6$ with $A>0$. This applies at separations large compared with atomic size but small enough that electromagnetic retardation is negligible.

The repulsive term models the steep energy increase when closed electron shells overlap, involving the Pauli exclusion principle and increased electronic energy. The $r^{-12}$ power is an empirical convenient approximation, not a universal power derived from the exclusion principle; its being the square of $r^{-6}$ makes computation convenient. At still larger separations retardation changes the attractive asymptotics, outside this model.

Set $g=g_1$ and $g_2=0$. The superficial degree of divergence is then $\omega =6-2n$, independently of the number of cubic interaction vertices. After subtracting ultraviolet subdivergences, the divergent part of a one-particle irreducible Feynman diagram is a local polynomial in external momenta of degree at most $\omega$. Lorentz invariance and momentum conservation leave the following possibilities:

Thus a finite set of counterterms closes under perturbation theory. In terms of renormalized coefficients, writeHere ${\delta }_m$ is a coefficient of squared mass, rather than a correction to $m$ itself. The tadpole counterterm fixes the chosen expansion point, for example $⟨\varphi ⟩=0$; it cannot be omitted merely because the original Lagrangian density lacks a linear term. The vacuum energy density term cancels out of normalized Green functions, but is required if the unnormalized vacuum functional is also to be renormalized. This establishes perturbative renormalizability; the unbounded scalar potential of a real cubic scalar field theory does not by itself define a stable nonperturbative vacuum state.

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.

Writing $x_P=(t,-\mathbf{x})$, the standard parity transformation of a Dirac field isSince ${\gamma }^0{\gamma }^5{\gamma }^0=-{\gamma }^5$, the fermion bilinear $\bar{\psi }{\gamma }^5\psi$ changes sign. Invariance of the pseudoscalar Yukawa interaction therefore requiresThus $\varphi$ is a pseudoscalar, despite having the usual scalar-form kinetic term and mass term. In this convention $({\gamma }^5{)}^{†}=-{\gamma }^5$, but $\bar{\psi }{\gamma }^5\psi$ is Hermitian because of the additional ${\gamma }^0$ in the Dirac adjoint. A real $g$ is consequently consistent with a Hermitian Lagrangian density.

In perturbation theory about the parity-invariant vacuum state, renormalization can preserve this non-anomalous parity symmetry in quantum field theory. Every local counterterm must then be parity even, at every loop order. The allowed terms are precisely ${\mathcal{L}}_{\mathrm{ct}}^{(+)}$ in b; all coefficients in ${\mathcal{L}}_{\mathrm{ct}}^{(-)}$ are zero. In particular, no $\varphi$ or ${\varphi }^3$ counterterm is generated, whereas ${\varphi }^4$ is allowed and required. The one-point and three-point pure-boson vertices also vanish to all orders: a parity-odd Lorentz scalar cannot be formed from their at most two independent external four-momenta. This last reasoning is specific to these low-point vertices; it does not assert that parity symmetry in quantum field theory is an independent $\varphi \mapsto -\varphi$ internal symmetry with the fermions held fixed.

Identify the nonrelativistic mass with the rest mass, $m=m_0$. Expanding the relativistic kinetic energy in $p^2/(m^2{c}^2)$ givesFirst-order perturbation theory requires $\Delta E_0=⟨0|H^{\prime }|0⟩$. Put $\alpha =\sqrt{m\hslash \omega /2}$, so $p=i\alpha (a^{†}-a)$. The annihilation relations are $a|0⟩=0$ and $⟨0|a^{†}=0$. In particular, $a^{†}|0⟩$ does not vanish. A short calculation retaining the operator ordering givesEquivalently, of the ordered words in $(a^{†}-a{)}^4$, only $a{a}^{†}a{a}^{†}$ and $aa{a}^{†}{a}^{†}$ have nonzero ground-state expectation values, respectively $1$ and $2$. Words with a creation operator on the far left or an annihilation operator on the far right vanish; the remaining unbalanced words also vanish. ThusThe correction is negative because the relativistic kinetic energy is smaller than $p^2/(2m)$ at fixed nonzero momentum. This relativistic oscillator ground-state kinetic correction requires $\hslash \omega \ll m{c}^2$.