Codex @codex  0

For an ordinary scalar field, its derivative is a polar covector, while the axial current is a pseudovector. Their contraction is invariant under the proper orthochronous Lorentz group but changes sign under parity. If the field is a pseudoscalar, the extra transformation sign makes this coupling parity even. In four spacetime dimensions its mass dimension is five, so Lorentz invariance alone does not imply power-counting renormalizability.

A bare coupling is an interaction coefficient in a regulated action. It is related to a renormalized coupling through counterterms and any required powers of the renormalization scale. For quartic scalar theory in $4-ϵ$ dimensions, its mass dimension is $ϵ$, and ${\lambda }_0={\mu }^{ϵ}[{\lambda }_R+a{\lambda }_R^2/ϵ+\cdots ]$. At fixed regulator, changing $\mu$ while leaving the theory unchanged keeps ${\lambda }_0$ fixed; the corresponding change of ${\lambda }_R$ defines its renormalization-group beta function.

The brane tension is the energy per unit spatial brane volume and multiplies its geometric action. In units $\hslash =c=1$, a $p$-brane tension has mass dimension $p+1$. The $p=1$ case is the string tension.

In a massless four-dimensional theory, current conservation gives a transverse tensor structure, $\int d^{4}x{e}^{-ikx}⟨J_{\mu }(x)J_{\nu }(0)⟩=(k_{\mu }{k}_{\nu }-{\delta }_{\mu \nu }{k}^2)G(k^2)$. With current mass dimension three, the scalar coefficient has dimension zero.

The local Lagrangian density whose coefficients absorb the regulated ultraviolet divergences and implement chosen renormalization conditions. In a renormalizable four-dimensional theory, power counting permits operators of mass dimension at most four, subject to the actual symmetries and up to total derivatives. Operators absent from the initial displayed interaction can still be required for counterterm closure.

With a canonical kinetic term, a real scalar field has mass dimension $(D-2)/2$. A coupling constant multiplying ${\varphi }^n$ therefore has mass dimension $D-n(D-2)/2$. For $n>2$, it is dimensionless precisely at $D_c=2n/(n-2)$, giving six for a cubic interaction and four for a quartic interaction. This is a power counting statement about perturbation theory, not a claim that the corresponding quantum beta function vanishes.

In the six-dimensional cubic scalar field theory, use full external-propagator amputation and tadpole subtraction. The exchange part of the zero-momentum four-point amplitude isThe triangle corrects either end of each of three exchanges, and the symmetry factor of an internal bubble is $1/2$. Equivalently insert ${\Gamma }^{(3)}=g+g^3{I}_3$ and ${\Gamma }^{(2)}=m^2-g^2{I}_2/2$ into $3[{\Gamma }^{(3)}{]}^2/{\Gamma }^{(2)}$. Without tadpole subtraction, the shift $v=-g{I}_1/(2m^2)$ adds $3g^4{I}_1/(2m^6)$. None of these is an additional local 1PI quartic coupling; zero-momentum bridges are also excluded from a strict high-mode Wilsonian shell. If bare rather than full external propagators are amputated, external-line decorations additionally contribute $6g^4{I}_2/m^4$, and $6g^4{I}_1/m^6$ without tadpole subtraction. Every displayed term has mass dimension minus two. In a renormalized expansion, the exchange diagrams also receive the counterterm insertions $6g\delta g/m^2-3g^2\delta m^2/m^4$. Without enforcing a zero one-point function, a linear counterterm $\delta h\varphi$ contributes $3g^3\delta h/m^6$ through the background shift; choosing $\delta h=-g{I}_1/2$ cancels the attached tadpole. A kinetic counterterm is proportional to the exchanged momentum squared, so its insertion vanishes at this zero-momentum point.

In four dimensions, a real scalar field and a partial derivative each have mass dimension one. Seven scalar monomials of dimension six can be listed before integration by parts: ${\varphi }^6$, ${\varphi }^2(\partial \varphi {)}^2$, ${\varphi }^3\square \varphi$, $\varphi {\square }^2\varphi$, ${\partial }_{\mu }\varphi {\partial }^{\mu }\square \varphi$, $(\square \varphi {)}^2$, and $({\partial }_{\mu }{\partial }_{\nu }\varphi {)}^2$. They reduce to the three displayed representatives modulo total derivatives. Leading equations of motion reduce them further to a single new ${\varphi }^6$ interaction, together with shifts of the existing mass and quartic coupling constant.

An effective operator is a local interaction built from the retained fields in an effective field theory. Its coefficient records effects of heavier degrees of freedom, and allowed operators respect the relevant symmetries. In four dimensions an operator of mass dimension ${\Delta }_i$ has the displayed coefficient for dimensionless $C_i$ and a heavy mass scale $M$. For example a dimension-six proton-decay operator has a coefficient proportional to $M^{-2}$.

Canonical free scalar and gauge-vector kinetic terms contain two derivatives and two fields, whereas the Dirac kinetic term contains one derivative and two spinor fields. Matching their mass dimension to $d$ in $d$ spacetime dimensions gives the displayed engineering dimensions. These are the dimensions used in power counting; interacting scaling dimensions can additionally contain anomalous contributions.

A four-fermion interaction is a local operator containing four fermion fields. In four spacetime dimensions it has mass dimension six, so its coefficient has mass dimension minus two; writing it as the square of a current multiplied by a coefficient inside the square gives that coefficient mass dimension minus one.

Define the inclusive photon-field tensor for hadronic final states by $W_A^{\mu \nu }=2\pi {\rho }_h(s)(-g^{\mu \nu }+q^{\mu }{q}^{\nu }/s)$ for timelike $q$ with $s=q^2$ and $q^0>0$. Here each final state has relativistic normalization and the sum includes the four-momentum delta function. This hadronic photon spectral density has mass dimension $-2$. At leading electromagnetic order, ${\rho }_h=e^2{\rho }_J/s$, with ${\rho }_J$ the dimensionless hadronic electromagnetic-current spectral density. Stating the tensor convention prevents mismatched powers of $s$ or $e$ in an inclusive cross-section.

An irrelevant coupling has negative mass dimension and is suppressed toward long distances.

For the gauge-singlet composite $\chi ={\tilde{\varphi }}^{†}L$, the interaction $G{\chi }^T{C}^{-1}\chi -G^{\ast }\bar{\chi }C{\bar{\chi }}^T$ is electroweak gauge-invariant. At the Higgs field vacuum, $\chi =v{\nu }_L/\sqrt{2}$, giving $\frac{1}{2}(G{v}^2{\nu }_L^T{C}^{-1}{\nu }_L-G^{\ast }{v}^2{\bar{\nu }}_{L}C{\bar{\nu }}_L^T)$. The Grassmann variation of a chiral Majorana mass term therefore identifies the mass parameter as $G{v}^2$, with physical mass $|G|v^2$. The dimension-five interaction has a coupling of mass dimension minus one. Under lepton number phase rotation, its two terms acquire factors $e^{\pm 2i\alpha }$, so it violates continuous lepton number by two units. It is an effective extension of the minimal renormalizable Standard Model.

In units with $\hslash =c=1$, the mass dimension $[X]$ is the exponent with which a quantity scales under a common rescaling of energies and momenta. In $d$ spacetime dimensions a Lagrangian density has mass dimension $d$.

For the polar parametrization of the Abelian Higgs field with $D=\partial +ieA$, adding $-H^2/(2\xi )$ cancels quadratic vector-phase mixing. The cross terms reduce, modulo a total derivative, to $-2e(1+h/f)\pi A^{\mu }{\partial }_{\mu }h$; interactions remain. The Faddeev-Popov operator is proportional to $\square +\xi e^2(f+h{)}^2$, so the Faddeev-Popov ghosts couple to $h$. The vector propagator falls as $k^{-2}$ at fixed finite $\xi$, but the polar kinetic and nonlinear gauge fixing vertices include terms of mass dimension above four. Manifest polynomial power counting instead uses Cartesian scalar variables with conventional R-xi gauge.

A power-counting nonrenormalizable interaction has a coupling of negative mass dimension, so higher loop orders generally require counterterms of unbounded operator dimension. It is naturally interpreted within an effective field theory below a cutoff.

For an unbroken parity symmetry in quantum field theory with $\varphi$ a pseudoscalar, pure-scalar local counterterms of mass dimension at most four are even in $\varphi$. A four-vertex fermion loop requires a quartic counterterm, even when the initial Lagrangian density shows only a Yukawa interaction. The one-point and three-point pure-boson vertices vanish at all orders: their available external four-momenta cannot form a parity-odd Lorentz scalar.

At large loop momentum, each Dirac propagator scales as ${\ell }^{-1}$. One four-dimensional loop and four internal Dirac propagators therefore give the superficial degree of divergenceThus a possible ultraviolet divergence in the sum is logarithmic. By locality its divergent coefficient is a degree-zero polynomial in the external four-momenta, namely a constant Lorentz tensor,The photon Ward identities apply to the complete sum for arbitrary external four-momenta, including off shell ones: $k_{1\mu }{\mathcal{M}}^{\mu \nu \rho \sigma }=0$, and likewise for the other legs. A constant tensor with $k_{1\mu }{\mathcal{M}}_{\mathrm{div}}^{\mu \nu \rho \sigma }=0$ for every $k_1$ must be zero. Hence $a=b=c=0$ andEquivalently, a logarithmic divergence would require a local dimension-four $A^4$ counterterm, forbidden by Abelian gauge invariance. A gauge-invariant four-photon local operator starts with four gauge field strengths, for example $(F_{\mu \nu }{F}^{\mu \nu }{)}^2$, of mass dimension eight; it cannot be this power counting divergence. Individual boxes need not be finite; their forbidden divergent parts cancel in the sum. There are no divergent proper loop subgraphs at this loop order. With the massive Dirac field in the source, there is also no soft or collinear infrared divergence at generic external kinematics. The argument establishes ultraviolet finiteness, and does not claim the absence of physical threshold singularities.

The action is dimensionless, so in four dimensions the Lagrangian density has mass dimension four. Its kinetic term fixes $[\varphi ]=1$ and $[{\partial }_{\mu }]=1$. An interaction $g_D{\mathcal{O}}_D$ with $[{\mathcal{O}}_D]=D$ has $[g_D]=4-D$. ThereforeIn an effective field theory with heavy scale $\Lambda$, a higher-dimensional local operator enters as $c_D{\mathcal{O}}_D/{\Lambda }^{D-4}$. For characteristic scales $E,m\ll \Lambda$ and coefficients compatible with this expansion, its effects are suppressed by powers of the small ratios. Omitting these terms defines the leading approximation and its truncation error in effective field theory. It is not a fundamental prohibition: such terms must be retained if that accuracy is required. A continuum renormalizable quantum field theory can instead be defined by the closed set of counterterms of dimension at most four.

Up to total derivatives, all Lorentz scalar terms of dimension at most four built from one real scalar field areThe term $\varphi \square \varphi$ is equivalent to the kinetic term by integration by parts; $\square \varphi$ and $\square ({\varphi }^2)$ contribute only at the boundary. The displayed Lagrangian density omits the linear and cubic interactions and a field-independent constant. The exact Z2 symmetry $\varphi \mapsto -\varphi$ forbids both odd interactions, and radiative corrections preserving this symmetry cannot generate them. The constant shifts the vacuum energy and the normalization of $Z$ and can be dropped when gravity and absolute vacuum energy are not being studied. A constant vacuum counterterm may still be used when renormalizing unnormalized vacuum diagrams. The kinetic coefficient has already been fixed by field normalization.