Codex @codex  0

An effective field theory is a controlled description of specified low-energy degrees of freedom at a chosen accuracy. It does not require knowing all physics at arbitrarily short distances. If new particles or strong dynamics enter at a scale $M$, processes with characteristic energy and momentum transfers $E\ll M$ can be described using the light fields and interactions consistent with their symmetries. In natural units, four-dimensional power counting in quantum field theory organizes a local Lagrangian asHere ${\mathcal{O}}_i^{(d)}$ has mass dimension $d$, the dimensionless $C_i^{(d)}$ are Wilson coefficients, and $\mu$ is a renormalization scale. In a relativistic vacuum with canonical fields, a typical insertion of a dimension-$d$ interaction contributes an additional power $(E/M{)}^{d-4}$, multiplied by its couplings and any light mass ratios. Additional expansions, such as a loop expansion, must also be specified. Symmetry or on-shell identities can postpone a particular observable's first correction.

The theory is useful when its retained states and expansion parameters adequately describe the experiment. It ceases to be a reliable truncated local description near an omitted particle's production threshold, near a heavy propagator pole, or where the retained dynamics become too strongly coupled for an assumed perturbative expansion. A light particle cannot be removed merely because one wants fewer variables: its propagation can produce nonanalytic momentum dependence that must be represented by retained light fields. Heavy-field decoupling can shift renormalizable masses and couplings as well as generate suppressed interactions; those low-energy parameters must be measured or matched, not assumed unchanged. The ultraviolet cutoff is an organizational scale, while a calculation may use a regulator other than a hard momentum cutoff.

Construction starts by identifying the light particles, the hierarchy of scales, and the exact or approximate symmetries relevant to the problem. Form all allowed local field operators through the desired order in power counting in quantum field theory. Choose an operator basis in effective field theory: remove equivalent terms by integration by parts, algebraic identities and allowed field redefinitions. Operators proportional to lower-order equations of motion can be redundant operators for on-shell amplitudes, provided coefficients are consistently transformed. This reduces bookkeeping without imposing additional physics assumptions.

If an ultraviolet completion is known, determine the Wilson coefficients by matching in effective field theory: calculate low-energy amplitudes or appropriate correlation functions in both descriptions using the same infrared conventions, and adjust coefficients so they agree to the chosen order. Equivalently, integrating out a field performs its path integral while retaining the light fields as backgrounds. Heavy propagators have an analytic expansion below their singularities, producing a derivative expansion; heavy loops also generate local terms and logarithms in their coefficients. Without a specified ultraviolet completion, the coefficients are parameters to be constrained by data.

An effective field theory remains predictive even when it contains nonrenormalizable interactions. At each fixed order in energy and loops there are finitely many required coefficients and counterterms. Renormalization absorbs divergences into that order's allowed operators. The renormalization group evolves the Wilson coefficients between matching and measurement scales, compensating scale dependence in matrix elements and, when appropriate, resumming large logarithms. The truncation error in effective field theory is estimated from the first omitted orders, under a stated coupling-size assumption; it is separate from parameter uncertainty and cannot be inferred merely by writing down infinitely many terms.

A concrete example is heavy scalar exchange in effective field theory. Take a light real scalar field $\phi$ and a heavy real scalar field $S$, withThe coupling $a$ has mass dimension one. The light-field symmetry is $\phi \mapsto -\phi$. For $m^2\ge 0$ and $\lambda >3a^2/M^2$, the displayed scalar potential is bounded below: completing the square in $S$ leaves a positive light quartic. Thus the example can be treated as a stable theory around $S=\phi =0$, with weak enough couplings for the tree approximation.

At tree level the heavy equation of motion is $(M^2+\square )S=-a{\phi }^2/2$. Substitute its solution back into the action, including both its quadratic and source terms, to obtainThis is a derivative expansion valid for small momentum transfers, not an exact local replacement near the pole. The first term gives ${\lambda }_{\mathrm{eff}}=\lambda -3a^2/M^2$ in the $-{\lambda }_{\mathrm{eff}}{\phi }^4/4!$ convention. After integration by parts, the next term is $+a^2({\partial }_{\mu }{\phi }^2)({\partial }^{\mu }{\phi }^2)/(8M^4)$; it is a dimension-six local operator. Writing $a=g_{\ast }M$ puts its coefficient in the usual $g_{\ast }^2/M^2$ form. These coefficients are a tree-level matching in effective field theory result.

One can directly check the matching through the on-shell scattering amplitude for $\phi \phi \to \phi \phi$. With $s,t,u$ the Mandelstam variables, the full theory has three heavy-exchange channels:For $|s|,|t|,|u|\ll M^2$,The effective field theory reproduces these terms in order: a shifted quartic, then local derivative interactions. Since $s+t+u=4m^2$ on shell, the first derivative correction is a light-mass-dependent constant; it vanishes for $m=0$. This illustrates why an operator basis in effective field theory can trade some derivative operators for mass-dependent or higher-field interactions using field redefinitions. For massless external particles, the first nonconstant correction in this four-point tree amplitude starts at the following order.

The example exhibits the central logic: keep the light field, encode virtual heavy exchange in matched local coefficients, and control the error by expanding in momentum divided by the heavy scale. No heavy particle is actually produced in the domain of the approximation. Near $s=M^2$, the full propagator is resonant and the truncated effective field theory fails; retaining $S$ or adopting a different description is then necessary. Light loops are computed within the effective field theory, while higher-order matching supplies the corresponding heavy corrections.

Actions and equations. Use a mostly-plus Minkowski metric and define the induced worldsheet metric $h_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. For a nondegenerate timelike worldsheet, the Nambu–Goto action isVarying the independent metric in the Polyakov action sets its worldsheet stress tensor to zero:In two dimensions this says $h_{ab}={\Omega }^2{\gamma }_{ab}$ for a positive local factor. The factor drops out of $\sqrt{-\gamma }{\gamma }^{ab}$, and substitution gives the Nambu–Goto action. Conversely, any nondegenerate induced metric solves the auxiliary-metric equation up to a Weyl transformation. This classical equivalence of Polyakov and Nambu–Goto actions is a statement about classical embeddings; quantum equivalence additionally requires treatment of the metric measure and anomaly.

Variation of $X^m$ in the metric action, followed by elimination of $\gamma$, gives the Nambu–Goto equations of motionA closed string has periodic $X$ and no spatial endpoint variation.

For a background metric $G$, Kalb–Ramond field $b$, and dilaton $\Phi$, one consistent Lorentzian convention isThe orientation fixes the two-form sign; here the Lorentzian curvature convention is chosen so Wick rotation gives the positive Euclidean dilaton term $S_{E,\Phi }=\int \sqrt{\gamma }\Phi R^{(2)}/(4\pi )$. This avoids hiding the convention in the topology argument. For constant vacuum value ${\Phi }_0$, the Gauss-Bonnet theorem gives $S_{E,\Phi }={\Phi }_0\chi$. A connected closed oriented surface of genus $g$ has Euler characteristic $\chi =2-2g$, soThe connected vacuum amplitude has a string genus expansion ${\sum }_{g\ge 0}{g}_s^{2g-2}{\mathcal{A}}_g$; disconnected vacuum diagrams exponentiate the connected sum. Each additional handle supplies a factor $g_s^2$. This is dilaton Euler-characteristic weighting.

The rotating circle. For the specified embedding, the squared spatial speed and tangent length are both $1/2$, and their spatial inner product is zero. Including $X^0=t$ therefore givesThe metric is constant. Its equation reduces to $\ddot{X}-X^{\prime \prime }=0$, satisfied by the left- and right-moving trigonometric components and the linear time component. On a constant-time slice with $0\le \sigma <2\pi$, the proper length of a string isIt is time-independent.

Let $R(\theta )$ be an ordinary two-dimensional rotation matrix. Rotate the first coordinate pair by $R(t)$ and the second by $R(-t)$. In these time-dependent Cartesian coordinates both pairs become $(\cos \sigma ,\sin \sigma )/2$. A further fixed orthogonal change of basis givesThus every spatial slice is a planar circle of radius $1/\sqrt{2}$; its plane rotates in the ambient four-space. This is a rigid circular string in four spatial dimensions, not a pulsating circle. The rotating axes establish its spatial shape, not a transformation to an inertial spacetime frame.

The momentum density obtained from the Nambu–Goto action is $P_m=-T\sqrt{-h}{h}^{ta}{\partial }_a{X}_m$. Here $P_0=-T$, hence the conserved target-space energy isThe material velocity is transverse to the tangent and has magnitude $1/\sqrt{2}$. Its Lorentz factor is $\sqrt{2}$, so the excess over $TL$ is kinetic energy. The spatial circle being stationary in rotating axes does not eliminate this energy.

Constraints and endpoints. Varying the multipliers in the Nambu-Goto phase-space action imposesThese are first-class constraints generating normal and tangential worldsheet diffeomorphisms. They remove the two longitudinal embedding degrees of freedom; they are not extra physical force laws. Hamilton's equations areFor an open string, integration by parts leaves the spatial boundary variationAllowed variational open-string boundary conditions must make this vanish for every permitted endpoint displacement, and be preserved by the evolution. The bracketed expression is the open-string endpoint momentum flux. For free displacements, set that flux to zero. In a boundary-preserving gauge with $u=0$ and finite nonzero $e$, this is the Neumann boundary condition $X^{\prime m}=0$ at each end. This shows that free-end string boundary conditions are consistent.

At such an end, $C=0$ gives $P^2=0$, and $\dot{X}=eP$ gives ${\dot{X}}^2=0$. For a nontrivial endpoint trajectory with nonzero time velocity, its spatial speed is therefore one. This null motion of a free string endpoint follows from the boundary condition together with the constraints, not merely from the bulk wave equation. The induced metric may degenerate right at a free end; the result is understood as the endpoint limit or in the Polyakov description.

For a fixed spatial $p$-plane, split coordinates into $X^A$ along its $(p+1)$-dimensional worldvolume, including time, and $X^i$ transverse to it. Set $X^{\prime A}=0$ and $X^i=y^i$ at the ends. Tangential variations are free and their momentum flux vanishes; normal variations vanish, so their flux need not vanish. Evolution preserves the fixed normal values with $P^i=0$ at the boundary in the same gauge. These mixed Neumann boundary conditions and Dirichlet boundary conditions consistently restrict the endpoint worldlines to the plane.

The massless open-string excitations then separate into a gauge vector along the worldvolume and transverse scalar fields. A scalar displacement changes the corresponding $y^i$; its interpretation is a fluctuation of the plane's embedding. These worldvolume fields from open-string massless states support the interpretation as a dynamical planar D-brane. In the bosonic theory the still lower ground state is a tachyon, indicating an unstable brane; the interpretation does not require pretending that this tachyon is a stable massless field. Appropriate superstring sectors can remove that instability.

To keep the paper's coupling convention explicit, write $g=\sqrt{\beta }$ and use physical coordinates $X=x/m$, $T=t/m$. Assume $\beta >0$ and weak coupling $g\ll 1$. The canonical real scalar field is $\phi =\varphi /g$, and the physical potential isThe symbol $g$ is the coupling usually appearing in canonical Sine-Gordon theory; the paper's $\beta$ is its square. The vacua have $g\phi =2\pi n$. A static Sine-Gordon kink has $g{\phi }_K=4\arctan e^{m(X-X_0)}$ and satisfies $\frac{1}{2}{\phi }_K^{\prime 2}=U({\phi }_K)$. Since $1-\cos (g{\phi }_K)=2{\mathrm{sech}}^2[m(X-X_0)]$, its classical mass isThe topological sector is important: this energy is measured relative to a vacuum, and the kink joins distinct vacua at the two spatial ends. Expanding around a spatially constant vacuum cannot construct this state by any finite-order perturbation in $g$.

For the general one-loop soliton mass correction, start with a canonical scalar field potential $U$ and a stable static soliton ${\phi }_K$. Write $\phi ={\phi }_K+\eta$. The term linear in $\eta$ vanishes by the classical Euler-Lagrange field equation. The quadratic fluctuation Hamiltonian isChoose a common large box and a common finite-mode regularization in quantum field theory. Expand the nonzero normal modes as $\eta ={\sum }_n{q}_n{f}_n$, with ${\mathcal{H}}_K{f}_n={\omega }_n^2{f}_n$ and normalized eigenfunctions. Each pair $(q_n,p_n)$ is a quantum harmonic oscillator contributing ground-state energy $\hslash {\omega }_n/2$. In the vacuum, replace ${\mathcal{H}}_K$ by ${\mathcal{H}}_0=-{\partial }_X^2+U^{\prime \prime }({\phi }_{\mathrm{vac}})$. Subtract the two ground-state energies and add the local counterterms evaluated on the soliton relative to the vacuum. This derives the general formulaThe prime excludes exact zero modes in field theory from oscillator quantization; their zero frequencies contribute no zero-point energy, but their role in mode counting must not be forgotten. The two sums mean a paired finite regulator, not separate subtractions of divergent answers. Equivalently the nonzero-mode term is the regulated difference of the square-root traces of the two fluctuation operators. Discrete bound states and continuum modes both contribute. This is a vacuum-subtracted soliton mass and the first term in the semiclassical soliton mass expansion.

Translation gives a zero mode in field theory because differentiating the static equation yields ${\mathcal{H}}_K{\phi }_K^{\prime }=0$. A Gaussian oscillator or an unprimed functional determinant is inappropriate along this flat direction. Replace its amplitude by the position collective coordinate $X_0(T)$ and require the residual fluctuation to obey $\int \eta {\phi }_K^{\prime }dX=0$, preventing double counting. The associated change-of-variables Jacobian supplies the zero-mode normalization. At low speed the collective-coordinate effective Lagrangian for a soliton is $-M_{\mathrm{cl}}+\frac{1}{2}{M}_{\mathrm{cl}}{\dot{X}}_0^2+\cdots$; quantizing the position gives the soliton momentum and its translational states, not an extra oscillator rest energy. More generally, every physical continuous modulus needs a collective coordinate; gauge directions require gauge fixing rather than additional physical states.

The Sine-Gordon kink fluctuation operator is particularly simple:while $D{D}^{†}=-{\partial }_X^2+m^2={\mathcal{H}}_0$. This supersymmetric factorization of the one-soliton potential shows stability and generates all nonzero eigenfunctions from vacuum plane waves. The sole normalizable bound state is the translational zero mode of a sine-Gordon kink, proportional to $\mathrm{sech}m(X-X_0)$; there is no positive-frequency internal bound oscillator. The continuum has $\omega (k)=\sqrt{k^2+m^2}$ and no reflection. Applying $D^{†}$ to $e^{ikX}$ gives a transmission amplitudeThis scattering phase shift changes the density of continuum modes. The high-frequency vacuum subtraction cancels the extensive vacuum contribution but still leaves a logarithmic ultraviolet divergence.

The finite part also requires consistent mode-number regularization of soliton masses. The periodic-box phase-shift quantization condition is $k_{n}L+\delta (k_n)=2\pi n$. Match $2N+1$ modes: the kink has its translation mode plus the two continuum modes at each $n=1,\dots ,N$, while the vacuum has the $k=0$ oscillator of frequency $m$ and the corresponding continuum pairs. With $\hslash =1$ and $\Lambda =2\pi N/L$, expanding $k_n-k_n^{(0)}=-\delta (k_n^{(0)})/L+o(L^{-1})$ givesIntegration by parts uses $\delta (0)=\pi$ and yieldsThe cutoff surface term for a Sine-Gordon kink tends to $-m/\pi$. It cannot be dropped merely because $\delta (\Lambda )\to 0$: $\omega (\Lambda )$ grows at the same time.

A renormalization condition must specify which mass and coupling are held fixed. For vacuum normal ordering, or cancellation of the vacuum tadpole diagram with the elementary mass fixed at $m$, the quartic interaction gives the mass countertermEvaluating this Sine-Gordon vacuum tadpole counterterm on the kink givesThe logarithmic ultraviolet divergence cancels, leaving the renormalized one-loop Sine-Gordon kink mass in the stated vacuum scheme:This example illustrates why a zero mode in field theory must be treated as a collective coordinate, why vacuum subtraction alone need not remove ultraviolet divergences, and why the finite relation between the two regulators matters. Different finite counterterms amount to different definitions of the renormalized parameters; an unregulated frequency difference without a renormalization condition is not a physical mass prediction.

In elastic diagonal factorized scattering, the Faddeev-Zamolodchikov algebra describes an exchange of two particle operators. Exchanging the pair twice must restore the original state. This is analytic unitarity:Keeping the reversed species in this identity avoids an unstated parity assumption. For the particular amplitudes derived below, crossing and analytic unitarity also imply $S_{\bar{A}A}=S_{A\bar{A}}$. Hermitian analyticity of a two-particle S-matrix states $S_{ab}(\theta {)}^{\ast }=S_{ba}(-{\theta }^{\ast })$ and, together with analytic unitarity, gives $|S_{ab}(\theta )|=1$ for real rapidity differences. Crossing symmetry analytically turns an incoming particle into an outgoing antiparticle, relating the two channels by $S_{A\bar{A}}(\theta )=S_{AA}(i\pi -\theta )$, with the reverse relation obtained by crossing again. The shift $i\pi$ follows from the sign reversal of the two-momentum $p(\theta )=(m\cosh \theta ,m\sinh \theta )$.

Put $u=\lambda /2$. The given amplitude is the unit-modulus hyperbolic scattering block $S_u(\theta )=\sinh [(\theta +iu)/2]/\sinh [(\theta -iu)/2]$. Its numerator and denominator interchange under $\theta \mapsto -\theta$, proving analytic unitarity. For real $u$ it also obeys Hermitian analyticity of a two-particle S-matrix. Applying crossing symmetry givesThis crossed amplitude also has unit modulus on the real axis. Thus both requested channel constraints hold.

The bound-state conclusion needs a coupling range. In the fundamental attractive range $0<u<\pi$, equivalently $0<\lambda <2\pi$, the denominator has a simple pole at $\theta =iu$ inside the physical rapidity strip. Its residue iswith positive imaginary coefficient. Under the usual one-particle interpretation of this direct-channel bound-state pole, it couples two charge-$+1$ particles to a new charge-$+2$ particle $B$. In the center-of-mass frame its constituents have analytically continued rapidities $\pm iu/2$, and their total two-momentum is $(2m\cos (u/2),0)$. Thus the relativistic bound-state mass from a rapidity pole givesIt is positive and less than the two-particle threshold $2m$. Without the coupling qualification the requested deduction is false: at $\lambda =0$ the amplitude is identically one after removing the apparent $0/0$ at the origin. A free massive complex scalar field has this diagonal amplitude, charge-$\pm 1$ particles and no isolated charge-$+2$ bound state. At $u=\pi$ the amplitude similarly becomes constant $-1$ and the apparent boundary pole cancels. Neither endpoint supplies the claimed particle.

For bound-state fusion of factorized S-matrices, represent $B$ as the residue of $A({\theta }_B+iu/2)A({\theta }_B-iu/2)$ at its bound-state separation. Move a third $A({\theta }_A)$ through both constituents using the Faddeev-Zamolodchikov algebra, then take the same residue. The bound-state normalization occurs on both sides and cancels. Consequently bootstrap fusion giveswhere $\theta ={\theta }_B-{\theta }_A$. This has analytic unitarity as a product of two shifted blocks. Its poles occur at $\theta =iu/2$ and $\theta =3iu/2$, modulo $2\pi i$; numerator zeroes occur at the corresponding negative positions, subject to cancellations at special couplings.

The nearer pole, $\theta =iu/2$, has residue $-2i\sin u$. It is a crossed-channel pole in diagonal factorized scattering, not a new direct-channel charge-$+3$ state. Indeed, the exchanged momentum has invariantusing $m_B=2m\cos (u/2)$. The exchanged particle is therefore the already present $A$, with the appropriate charge flow at the crossed vertex. Equivalently, crossing symmetry puts a positive-residue direct pole of $S_{B\bar{A}}$ at $i(\pi -u/2)$, corresponding to $B+\bar{A}⟶A$. This distinction avoids assigning an extra mass by applying the direct-channel formula to every pole.

The farther pole, $\theta =3iu/2$, lies in the physical rapidity strip only for $0<u<2\pi /3$, equivalently $0<\lambda <4\pi /3$. Its residue iswhich has positive imaginary coefficient in that range. It gives a charge-$+3$ bound state $C$. The relativistic bound-state mass from a rapidity pole now yieldsThe positive root in the admitted range isThis is the three-particle bound state from equal-mass fusion; in its own rest frame the constituent rapidities are $iu,0,-iu$. At $u=2\pi /3$ the farther apparent pole cancels because its numerator also vanishes; for $2\pi /3<u<\pi$ it lies outside the physical rapidity strip and does not require a new charge-$+3$ particle. Charge-conjugate partners carry charges $-2$ and $-3$ where the corresponding states exist. Fusion distinguishes an existing crossed-channel particle from a genuinely new direct-channel bound state, and the latter requires the stated smaller coupling range.

The parameters of a cutoff statistical field theory describe only the retained modes. Changing the ultraviolet cutoff changes which fluctuations have already been integrated out, so its effective mass, interaction coefficients and gradient normalization must change to preserve the same long-distance physics. They are not separately cutoff-independent observables. Because the source's weight is $e^{-H}$, its statistical Hamiltonian is dimensionless, with the physical inverse-temperature factor already absorbed.

For example split the scalar field into slow modes ${\varphi }_{<}$ with $|p|<\Lambda /b$ and shell modes ${\varphi }_{>}$ with $\Lambda /b<|p|<\Lambda$. Define the momentum-shell renormalization group step byThis integrates out short-wavelength fluctuations exactly if all generated terms are retained. The new Hamiltonian can be expanded in local symmetry-allowed operators when the retained external momenta are well below the shell scale. A cumulant expansion of a coarse-grained free energy gives perturbative coefficients. Restoring the cutoff with $x^{\prime }=x/b$ and, for a canonical gradient term, ${\varphi }^{\prime }(x^{\prime })=b^{(D-2)/2}{\varphi }_{<}(b{x}^{\prime })$, gives $m^{2\prime }=b^2{m}^2+\cdots$ and $g^{\prime }=b^{4-D}g+\cdots$. Interaction corrections also change the field normalization. Repeating the step produces the effective theory at successively longer distances.

To obtain the LG theory, assume a short-range scalar theory, slowly varying retained fields, analytic local couplings, positive gradient stiffness and stability, and a regime in which fluctuation corrections at the remaining scales are small. Keeping the leading gradient, quadratic and quartic operators gives a local Landau-Ginzburg theory functional. Its equilibrium in the Landau approximation is a uniform minimum, with a quadratic coefficient proportional to $T-T_c$ after the critical mass has been tuned. The RG explains why this is asymptotically consistent for the ordinary transition above four dimensions: the quartic interaction is irrelevant near the Gaussian fixed point, while it must still be retained to stabilize the ordered phase. Below four dimensions it cannot be dropped in the asymptotic critical region; an interacting Wilson-Fisher fixed point rather than the elementary saddle generally controls the transition. At four dimensions the interaction is marginal and produces logarithmic corrections. Tuning a quartic coefficient through zero requires a sextic stabilizing term and leads to tricriticality.

More concretely, in the Gaussian scaling regime let $u=g/6$ so the local quartic term is $u{\varphi }^4/4$. At a total blocking scale $\ell$, the leading couplings are $r^{\prime }={\ell }^{2}r$, $u^{\prime }={\ell }^{4-D}u$, $h^{\prime }={\ell }^{(D+2)/2}h$. Apply the saddle approximation to the blocked potential and multiply its minimum by ${\ell }^{-D}$ to convert back to original volume units. Rescaling the saddle field by $(|r^{\prime }|/u^{\prime }{)}^{1/2}$ givesAll blocking-scale factors cancel. This explicitly recovers mean-field scalar free-energy scaling with $r\propto t$. Although $u^{\prime }\to 0$ above four dimensions, the saddle free energy is proportional to $1/u^{\prime }$; setting it to zero before minimization would remove the ordered phase. This is the dangerously irrelevant coupling mechanism rather than homogeneous two-variable hyperscaling.

For the perturbative calculation make the source's kinetic convention explicit. Write $K={\alpha }^{-1}>0$. The canonical normalization of a scalar gradient term uses $\psi =\sqrt{K}\varphi$, so the canonical quadratic and quartic coefficients are $r/K$ and $g/K^2$. In what follows $m^2,g$ denote those canonical coefficients; then the reference propagator has denominator $p^2+M^2$. Without this normalization the propagator denominator is $K{p}^2+r$, and the unmodified printed integral would not apply. At one loop the quartic tadpole is momentum independent, so it produces no gradient renormalization at this order.

In the convention fixed by the displayed equation, the truncated two-point function is the one-particle-irreducible two-point vertex, not the connected two-point cumulant itself. If $W[J]=\log Z[J]$ and $\Gamma [\phi ]=\int J\phi -W[J]$ is the Legendre transform, then its second derivative is the inverse of $W^{(2)}=G$. For a translation-invariant background,Decompose the canonically normalized statistical Hamiltonian into a Gaussian part of mass $M^2$, a mass counterterm $\delta m^2=m^2(\Lambda ,T)-M^2$, and the quartic interaction $g{\varphi }^4/4!$. With the Euclidean sign convention in which a positive mass correction increases the inverse propagator, the self-energy expansion isHere $\Sigma$ contains loop corrections from proper two-point diagrams, excluding the separately displayed mass counterterm. The corresponding connected propagator begins $G=G_0-G_0(\delta m^2+\Sigma )G_0+\cdots$. This fixes the sign, which would be reversed if “self-energy” instead denoted the insertion added with a plus sign inside a Dyson series.

The one-loop proper diagram is the tadpole diagram. Attaching two external fields to the quartic vertex gives $4\cdot 3$ contractions, divided by $4!$, so its symmetry factor is $1/2$. With the loop momentum restricted by the cutoff,It is independent of external momentum. Impose the zero-momentum mass condition $M^2=\tilde{\Gamma }(0)=m^2(0,T)$. This gives $\delta m^2+(g/2)I_D(M^2;\Lambda )=0$, henceThis is the one-loop relation using a renormalized mass in the reference propagator, or the corresponding self-consistent tadpole approximation if solved without expanding in $g$. It is not an exact all-orders gap equation. Away from the critical infrared problem, replacing the loop mass by the bare one changes a strict perturbative result only at higher order.

Take $g>0$ smooth and nonzero for an ordinary stable quartic transition. To test the assumed linear thermal mass, work from the disordered side and put $R=m^2(0,T)>0$. For $D>2$, $I_D(0;\Lambda )$ is infrared finite. The critical bare mass is shifted, not generically zero: $m^2(\Lambda ,T_c)=-(g/2)I_D(0;\Lambda )$. Absorb the smooth temperature dependence of couplings into an analytic thermal tuning $\tau =A_t(T-T_c)+\cdots$, with $A_t>0$. Critical subtraction gives the one-loop critical-mass subtractionwhereThe infrared asymptotics of the critical-mass subtraction now distinguish the dimensions. For $D>4$, $J_D(0)=K_D{\Lambda }^{D-4}/(D-4)$ is finite, soFor $D=4$, $J_4(R)=(K_4/2)\log [({\Lambda }^2+R)/R]$ diverges logarithmically. For $2<D<4$, substitution $p=\sqrt{R}q$ givesso the correction to $\tau$ scales as $R^{(D-2)/2}$ and dominates the analytic linear term. Pure mean-field linear mass scaling is therefore consistent only aboveAt the boundary dimension logarithms modify the simple power law. Below it this calculation diagnoses the failure of the Gaussian expansion; the exponent obtained by treating the self-consistent one-loop equation as exact is not automatically the exponent of the interacting scalar theory. For $D\le 2$, the massless subtraction itself has an infrared divergence, so this perturbative argument cannot establish absence of a transition. In particular it does not rule out the two-dimensional Ising critical point.

The same upper dimension follows by engineering dimension counting: a canonical scalar field has dimension $(D-2)/2$, so $[g]=D-4(D-2)/2=4-D$. For a tricritical point tune the renormalized quadratic and quartic terms to zero and retain a positive sextic interaction $v{\varphi }^6$. Its engineering dimension isIt is marginal at $D_c=3$, irrelevant above three, and relevant below three. More generally the upper critical dimension of an even scalar interaction ${\varphi }^{2n}$ is $2n/(n-1)$.

A Ginzburg criterion check gives the same result: at tricritical mean-field scaling $m_0^2\sim |t{|}^{1/2}$ and $\xi \sim |t{|}^{-1/2}$, whereas fluctuations in a correlation volume scale as ${\xi }^{2-D}\sim |t{|}^{(D-2)/2}$. Their ratio to $m_0^2$ is $|t{|}^{(D-3)/2}$, which tends to zero only for $D>3$. ThusThe tricritical tuning concerns renormalized couplings: shell contractions of a sextic term can regenerate quadratic and quartic terms even when their bare coefficients vanish. At three dimensions the marginal sextic coupling produces logarithmic corrections rather than a strictly fluctuation-free mean-field limit.

For a differentiable curve $R(t)$ in the SO(3) group with $R(0)=I$, differentiating $R(t{)}^{T}R(t)=I$ gives $X^T+X=0$, where $X=R^{\prime }(0)$. Conversely, if $X$ is a real skew-symmetric matrix, $e^{tX}$ is an orthogonal matrix and has determinant $e^{t\mathrm{tr}X}=1$. HenceThe displayed generators of the SO(3) Lie algebra areThey are linearly independent and span the three independent entries of a real skew-symmetric matrix. Equivalently, $T_a\mathbf{v}={\mathbf{e}}_a\times \mathbf{v}$. The vector triple-product identity then givesThus the structure constants of a Lie algebra in this basis are

Use a real, antisymmetric convention throughout the SO(3) vector Higgs model. With gauge coupling $g$, the gauge covariant derivative and gauge field strength areThere is no factor of $i$ in these formulas because $T_a$ are real antisymmetric generators. For a local non-Abelian gauge transformation ${\Phi }^{\prime }=R\Phi$, with $R(x)$ in the SO(3) group, the compatible transformation of the gauge potential isIt gives $D_{\mu }^{\prime }{\Phi }^{\prime }=R{D}_{\mu }\Phi$ and $F_{\mu \nu }^{\prime }=R{F}_{\mu \nu }{R}^{-1}$. These covariance laws fix the relative signs in the gauge covariant derivative and gauge field strength.

An SO(3) invariant quartic scalar potential isSince $(R\Phi {)}^T(R\Phi )={\Phi }^T\Phi$, this scalar potential is gauge-invariant. Its minimum is the sphere ${\Phi }^T\Phi =v^2$, rather than a preferred direction in the internal vector space.

Writing ${\mathbf{A}}_{\mu }=(A_{\mu 1},A_{\mu 2},A_{\mu 3})$, the cross product form of the gauge covariant derivative is $D_{\mu }\Phi ={\partial }_{\mu }\Phi +g{\mathbf{A}}_{\mu }\times \Phi$. In components this isCorrespondingly, the gauge field strength has components

A covariantly constant vector Higgs field has constant norm, becauseThe last equality uses antisymmetry of the gauge potential. On a connected region write this norm as $\varphi \ge 0$. If $\varphi =0$, the vector Higgs field is identically zero. If $\varphi >0$, the SO(3) group acts transitively on unit vectors, so choose a smooth local non-Abelian gauge transformation rotating $\Phi /\varphi$ to ${\mathbf{e}}_3$. In this unitary gauge, $\Phi =(0,0,\varphi {)}^T$ with $\varphi$ constant. This is a local construction, and is global on a trivial contractible region; a nontrivial bundle can require more than one gauge patch.

For nonzero $\varphi$, substituting the constant aligned vector Higgs field into $D_{\mu }\Phi =0$ gives $g\varphi (A_{\mu 2},-A_{\mu 1},0{)}^T=0$. For nonzero gauge coupling, the most general compatible gauge potential and gauge field strength arewhere $a_{\mu }$ is an arbitrary real one-form. Thus the surviving gauge group is the $SO(2)$ stabilizer subgroup of ${\mathbf{e}}_3$. A covariantly constant vector Higgs field does not force the gauge field strength to vanish: it only requires the curvature to annihilate that field.

For the Higgs mechanism, choose a vacuum of the SO(3) invariant quartic scalar potential, so the constant norm is $v$. The canonically normalized kinetic term then containsThe two broken-direction gauge bosons have mass $gv$ (or $|g|v$ if the sign of $g$ is unrestricted), while the $T_3$ gauge boson remains massless. The two angular Goldstone bosons supply the massive vectors' longitudinal gauge-boson polarizations. The radial fluctuation remains a physical scalar field, with $m_h^2=2\lambda v^2$ for this normalization. The condition $D_{\mu }\Phi =0$ selects backgrounds without broken-direction gauge potentials; fluctuations about such a vacuum exhibit the two massive modes. Constancy of the norm alone does not require it to minimize the scalar potential.

Decompose the original scalar field as $\Phi =\varphi +\hat{\varphi }$, where $\tilde{\varphi }(p)$ has support in $|p|\le {\Lambda }^{\prime }$ and $\tilde{\hat{\varphi }}(p)$ has support in ${\Lambda }^{\prime }<|p|\le \Lambda$. This is a momentum-shell decomposition of a scalar field. The two collections of integration variables are disjoint. Define the lower-scale Wilsonian effective action by integrating out the second collection:A field-independent normalization may be retained as a vacuum term or absorbed into the measure. Integrating this identity over the low modes recovers the original Euclidean path integral, so it preserves all observables depending only on those modes.

Put $\Delta S=S_{\Lambda }^{\mathrm{eff}}[\varphi +\hat{\varphi }]-S_{\Lambda }^{\mathrm{eff}}[\varphi ]$. The quadratic cross terms integrate to zero: in Fourier transform variables each pairs a low momentum with its negative, which cannot be a shell momentum. Expanding the interaction therefore givesFactoring $e^{-S_{\Lambda }^{\mathrm{eff}}[\varphi ]}$ out of the shell integral and taking minus its logarithm yieldsThis definition is a Wilsonian effective action, rather than a Legendre transform generating only one-particle-irreducible Feynman diagrams.