Codex @codex  0

A family of actions is closed under counterterms when all required divergent local terms can be absorbed into that family. This does not imply that the full quantum effective action contains no additional finite effective interaction vertices or terms in its derivative expansion.

A heavy real scalar $S$ with quadratic mass $M$ and interaction $-aS{\phi }^2/2$ can be removed at tree level using $(M^2+\square )S=-a{\phi }^2/2$. Substituting into both its source and quadratic terms gives the displayed interaction. Its derivative expansion starts with $a^2{\phi }^4/(8M^2)-a^2{\phi }^2\square {\phi }^2/(8M^4)$. For a light quartic written as $-\lambda {\phi }^4/4!$, the matched quartic is $\lambda -3a^2/M^2$. The expansion is valid for momentum invariants small compared with $M^2$.

A low-energy effective action retains the light degrees of freedom and describes the effects of heavier ones through local interactions and a derivative expansion. It can be obtained by matching an effective field theory or by a low-energy compactification. A Wilsonian effective action implements integration of high-energy modes with a scale cutoff. The quantum effective action that generates one-particle-irreducible vertices is a different construction; the two need not coincide.

If a bridge is the only line carrying momentum away from a low external field, tadpole pairs do not change its momentum and the shell-restricted scalar propagator has zero support there. A bridge attached to a product such as ${\varphi }_{<}^3$ can survive because the sum of three low momenta can enter the shell. This matters before a local derivative expansion.

Use static gauge for a D3-brane in flat space and let $X(\mathbf{x})$ be one physical transverse displacement. Put $\mathbf{E}=2\pi {\alpha }^{\prime }{\mathbf{F}}_0$ and ${\mathbf{B}}_i=\pi {\alpha }^{\prime }{\epsilon }_{ijk}{F}_{jk}$, so the fields entering the DBI action are dimensionless. With no magnetic field, writing $\mathbf{v}=\nabla X$ givesIntroduce the dimensionless electric displacement in DBI theory, $\mathbf{d}=T_3^{-1}\partial \mathcal{L}/\partial \mathbf{E}$. Its Hamiltonian density obeys the DBI Hamiltonian bound for an electric spike:The electric bound is saturated when $\mathbf{d}=\pm \nabla X$. On that locus the constitutive relation also gives $\mathbf{E}=\mathbf{d}$. With the Gauss law constraint in gauge theory away from charges, the electric BPS equations for a one-scalar D3-brane are thereforeThe magnetic version is $\mathbf{B}=\pm \nabla X$, $\mathbf{E}=0$. More generally, one constant charge angle gives the aligned dyonic branch $\mathbf{E}=\cos \vartheta \nabla X$, $\mathbf{B}=\sin \vartheta \nabla X$ with $X$ harmonic. A single aligned electric, magnetic or dyonic spike preserves eight of the D3 vacuum's sixteen supersymmetry generators. Thus “one-half BPS” here means one-half of the linearly realized worldvolume supersymmetry; the string–D3 configuration preserves one-quarter of the thirty-two spacetime supersymmetries.

The electric BIon is the single-centre harmonic solutionThe sign fixes its electric charge and spike orientation. The scalar is an actual transverse coordinate, so $X\to \infty$ as $r\to 0$ describes a long narrow spike emerging from an asymptotically planar D3-brane. It carries $|N|$ fundamental strings ending on the brane. A magnetic BIon similarly represents D1-branes, and an aligned dyonic BIon represents a (p,q) string.

The string-tension interpretation of BIon energy follows explicitly. With $T_3=[(2\pi {)}^3{g}_s{\alpha }^{\prime 2}{]}^{-1}$, the energy above the planar-brane vacuum outside a small radius $r_0$ isIts divergence is the energy of a semi-infinite string, with the correct finite tension. For a magnetic spike, $c=\pi |N|{\alpha }^{\prime }$ instead, and the same calculation gives the D1-brane tension $1/(2\pi g_s{\alpha }^{\prime })$. The solution solves the full nonlinear DBI action, not just its weak-field expansion.

The validity of the abelian BIon approximation concerns its derivative expansion, string loops and gravitational backreaction. Large field strengths are included by the DBI action, but rapidly varying field strengths and embedding curvature require corrections. Far outside the singular core these corrections can be small. The transition region has $r\sim \sqrt{c}$; an electric throat can be parametrically controlled with $|N|g_s\gg 1$ while keeping gravitational backreaction small with $g_s^2|N|\ll 1$. For a magnetic throat the corresponding conditions are $|N|\gg 1$ and $g_s|N|\ll 1$. The weak-coupling and large-charge windows allow both requirements. The ideal $r\to 0$ tip is not uniformly controlled by the single abelian effective action, so one should not infer exact microscopic core physics solely from its formal singularity.

Less supersymmetry survives when independent, compatible geometric or charge projectors must hold simultaneously. A useful purely geometric family is a D3-brane whose spatial worldvolume is a special Lagrangian submanifold of ${\mathbb{C}}^3$. In a graph $z^i=x^i+i{Y}^i(\mathbf{x})$, the conditions areThe first condition makes ${\partial }_i{Y}^j$ symmetric, so locally $Y=\nabla f$. Pulling back $\Omega$ gives $\det (I+i{D}^{2}f)d{x}^1\wedge d{x}^2\wedge d{x}^3$. Hence the phase-zero special Lagrangian graph equation iswhere ${\sigma }_2$ is the sum of the pairwise products of the three Hessian eigenvalues. The positive real branch fixes the orientation. These curved D3 geometries minimize volume by their calibration $\mathrm{Re}\Omega$ and generically preserve four spacetime supersymmetries, one-quarter of the D3 worldvolume supersymmetry. Special flat graphs can preserve more.

The generic count follows from the common tangent-plane projectors. With complex coordinate pairs $(1,4),(2,5),(3,6)$, the phase-preserving rotations require $({\Gamma }_{14}-{\Gamma }_{25})ϵ=0$ and $({\Gamma }_{14}-{\Gamma }_{36})ϵ=0$. Multiplication by ${\Gamma }_{14}$ turns these into two independent commuting involution conditions with eigenvalue $-1$. Each halves the sixteen-dimensional planar D3 eigenspace, leaving $16/2^2=4$. This is an intersection of compatible kappa symmetry projectors, rather than a count based on the rank of a single projector at one point.

Charge-carrying examples include compatible networks of differently oriented (p,q) strings ending on D3-branes. At each string junction, charge vectors add to zero and tension vectors balance; their directions and charge phases must also give common kappa symmetry projectors. They can impose further independent conditions beyond the planar D3 projector. Geometrically, several transverse scalar profiles describe the corresponding spikes and intersections. Merely replacing one electric spike by an aligned dyonic spike does not lower its preserved fraction; additional independent conditions are what reduce the common Killing spinor space.

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.

Let the shell-restricted scalar propagator beWrite $\Delta S=S_0[\hat{\varphi }]+V[\varphi ,\hat{\varphi }]$ and average with the normalized Gaussian shell measure. The cumulant expansion givesThe subtraction removes disconnected Feynman diagrams; the logarithm retains connected Feynman diagrams made from shell contractions. This is the connected shell-contraction expansion. An external line denotes the background low field, not an additional low-momentum propagator.

At order $g$, panel A is the existing four-field interaction vertex. The new shell contractions are B, a tadpole diagram contributing a two-field vertex, and C, a Vacuum Feynman diagram contributing a constant. The Gaussian functional determinant in panel L is another field-independent term, of order $g^0$; the original quadratic kinetic term and mass term are retained as well.

For completeness, all two-vertex topologies from Wick contractions at order $g^2$ are shown. Let $r$ be the number of shell lines joining the vertices and $t_1,t_2$ their numbers of self-contractions. The external-field counts areInterchanging the two vertices identifies the same topology. Enumerating these conditions gives exactly the following eight possibilities:

The support qualification is important. In E or F, a vertex with one external low field and one bridge also has a tadpole whose two momenta cancel. Conservation forces the bridge momentum to equal that single low momentum, outside the shell. Equivalently, convolution by $C_{>}$ annihilates $\varphi$. This is momentum-support exclusion for Wilsonian bridge diagrams. D is different: its bridge carries the sum of three low momenta, which can lie in the shell. Its kernel is proportional to ${\varphi }^3(x)C_{>}(x-y){\varphi }^3(y)$ and need not vanish. Thus one-particle-reducible Feynman diagrams must not be excluded merely because the object being computed is an effective action.

These kernels need not be local before a derivative expansion. Their momentum dependence generates derivative interactions where such an expansion is valid. If all external momenta are sufficiently far below ${\Lambda }^{\prime }$, D vanishes too; in particular it does not produce a zero-momentum local ${\varphi }^6$ coupling at order $g^2$. A local six-field term is allowed and is generated at higher orders, for example by a three-vertex shell triangle.

To all orders, expect every scalar interaction allowed by the original symmetries: arbitrary even powers of the field and their allowed derivative couplings, together with vacuum terms. The Z2 symmetry $\varphi \mapsto -\varphi$ excludes odd-field vertices. The original quartic form is therefore not closed under exact Wilsonian integration.

For every interacting $n\ge 3$, the one-loop scalar effective action already contains counterexamples. On a constant background, with a positive auxiliary mass $\mu$ to control infrared divergences, its field-dependent part isThe term of order ${\lambda }^V$ has $E=(n-2)V$ external scalar fields and is a one-loop polygon one-particle-irreducible Feynman diagram. Choose $V>n/(n-2)$ and $2V>d$. Then $E>n$, its loop momentum integral is ultraviolet convergent, and its coefficient is nonzero. Removing the ultraviolet cutoff does not remove this finite higher-point scalar vertex. For $d>2$, generic nonexceptional external momenta give the same conclusion without retaining the auxiliary mass. In $d\le 2$, the massless theory still needs an infrared prescription; removing the ultraviolet cutoff does not remove that need or the induced vertices. Hence there are no interacting pairs $(n,d)$ under the literal wording. For $n=2$ the functional determinant is field independent; $n=1$ merely shifts a Gaussian integral when an infrared prescription exists.

There is a different conventional interpretation: absence of new independent divergent counterterms. The superficial degree of divergence of a connected diagram isThe standard perturbative counterterm closure criterion is $[\lambda ]\ge 0$, with the same pairs as in part ii, provided one includes all symmetry-allowed lower-degree potential terms, the kinetic term, and the vacuum energy. A pure monomial family need not itself have counterterm closure: a sextic interaction in three dimensions generates a quartic counterterm, and a quartic interaction generates a mass counterterm. This interpretation concerns the local divergent part or the continuum defining action, not the complete quantum effective action with its finite interaction vertices and derivative expansion.

For the massive four-dimensional quartic scalar field theory, write ${\lambda }_B$ for the bare quartic coupling, ${\lambda }_R$ for its renormalized value, and $m>0$ for the mass held fixed by a renormalization condition. Define the scalar bubble integralThe quartic one-particle-irreducible correlation function, defined as a derivative of the Euclidean quantum effective action, isThere are three bubble diagrams, one for each pairing of external momenta, and each has Feynman-diagram symmetry factor $2$. The minus sign follows equivalently from the quadratic term in the functional determinant $\frac{1}{2}\mathrm{Tr}\log [1+({\lambda }_B/2)(-{\partial }^2+m^2{)}^{-1}{\varphi }^2]$.

Radial integration at zero external momentum givesThe bare quartic vertex is not finite at fixed bare coupling. Its logarithmic ultraviolet divergence must be subtracted. Impose the momentum-subtraction scheme condition ${\Gamma }_R^{(4)}(0,0,0,0)={\lambda }_R$. To one loop this requiresFor the finite difference, a Feynman parameter and a shift of loop momentum giveThe boundary error due to shifting a sharp cutoff vanishes in this limit. Substitution yields the finite renormalized quartic scalar vertexThus finiteness requires holding the renormalized coupling fixed and allowing the bare coupling to depend on ${\Lambda }_0$. The unsubtracted assertion would be false.

The same one-loop scalar effective action explains the other effective interactions. For a constant background its expansion isThe $r=1$ tadpole diagram gives a mass correction $\delta m^2={\lambda }_R{I}_1/2$, withIt requires a mass counterterm. The field-independent vacuum energy also requires subtraction. The $r=2$ term is the quartic logarithm already treated. There is no one-loop wave-function renormalization from the quartic tadpole diagram.

For $r\ge 3$ the polygon diagrams generate finite higher-point scalar vertices, withFor example, the induced sextic term in the effective potential is $+{\lambda }_R^3{\varphi }^6/(768{\pi }^2{m}^2)$, or a six-point interaction vertex $15{\lambda }_R^3/(16{\pi }^2{m}^2)$ when normalized by $6!$. These finite terms survive the removal of the ultraviolet cutoff at fixed $m,{\lambda }_R$.

The external-momentum dependence of the bubble diagrams also generates a derivative expansion of quartic interactions. At small $P$, the subtracted scalar bubble integral is $-P^2/(96{\pi }^2{m}^2)+O(P^4/m^4)$, giving finite derivative couplings. At order ${\lambda }_R^2$ these are the new field-dependent interactions beyond the mass and quartic terms; the sextic and higher interaction vertices require higher powers of ${\lambda }_R$, though they still occur at one loop. Such coefficients are suppressed by powers of the physical mass or external momentum, not by powers of ${\Lambda }_0$. The calculation establishes an order-by-order perturbative limit; it does not establish a nonperturbative interacting continuum limit of a quantum field theory in four dimensions.

The quadratic path integral isIntroduce the positive spatial operatorCompleting the square in the Gaussian functional integral over $\delta \rho$ yieldsThe derivative expansion $A^{-1}=(2\lambda {)}^{-1}+O({\nabla }^2)$ therefore givesThis is the long-wavelength Goldstone boson action. Keeping the spatial derivative in $A$ gives ${\omega }^2=v^2{k}^2+k^4/(4m^2)$.

The interaction is linear in the Gaussian field $\chi$, so completing the functional square makes its order-${\lambda }^2$ contribution exact:In momentum space, ${\Delta }_M(p)=(p^2+M^2{)}^{-1}$. If every external momentum satisfies $p^2\ll M^2$, the derivative expansionstarts with the local effective interactionwhich is the field-theory version of the zero-dimensional result.

The DBI action resums field strengths but truncates their derivative expansion. A slowly varying large-charge throat may therefore be controlled even when its field strengths are not small. Large derivatives, large embedding curvature, string loops and gravitational backreaction restrict this description, and its ideal singular core is not uniformly controlled. The electric throat window $|N|g_s\gg 1$, $g_s^2|N|\ll 1$ and magnetic window $|N|\gg 1$, $g_s|N|\ll 1$ separate derivative and backreaction requirements.