Codex @codex  0

Use the wave-function renormalization coefficient and anomalous dimension definition stipulated in this part, keeping their signs and normalization. Put $A=1/[6(32{\pi }^2{)}^2]$. To the required order,At fixed bare ${\lambda }_4$, the leading change of the dimensionless coupling is $\mu d{g}_4/d\mu =-2ϵg_4+O(g_4^2)$, because ${\lambda }_4$ has mass dimension $2ϵ$. Therefore the chain rule, applied before setting $ϵ=0$, givesThusThe vanishing engineering contribution $-2ϵg_4$ multiplies a pole and leaves a finite answer. Dropping it at the start would incorrectly give zero. The numerical answer is conditional on the supplied two-loop coefficient. A convention defining the field anomalous dimension as ${\gamma }_{\varphi }=\frac{1}{2}\mu d\log Z/d\mu$ instead gives ${\gamma }_{\varphi }=-\gamma /2$ for the same $Z$; substituting that convention silently would answer a different question.

A phi-fourth theory interaction has mass dimension $4-D$, so its bare coefficient must contain a renormalization scale factor ${\mu }^{4-D}=({\mu }^2{)}^{2-D/2}$ when expressed through a dimensionless renormalized coupling. The tree-level four-leg interaction vertex is linear in that coupling. At the next order, two quartic vertices form the three one-loop bubble diagram graphs shown in c, with external pairings $12|34$, $13|24$ and $14|23$.

For each pairing there are two identical internal lines and Feynman-diagram symmetry factor 2. The loop integral has the large-momentum behaviourIt is logarithmically divergent in four dimensions. Dimensional regularization represents that local divergence by a simple pole proportional to $1/(D-4)$. Its residue is independent of external momenta, so a local quartic counterterm cancels it. The three graphs sum to one constant coefficient; this argument establishes its structure without requiring its value.

The relation consequently has the formThe sign of $C$ incorporates the chosen pole denominator and vertex convention. In particular, a negative $C$ here corresponds to a positive coefficient of $1/(4-D)$ in the bare coupling. Finite pieces depend on the renormalization scheme; a pure-pole relation is natural in minimal subtraction scheme. One-loop two-point tadpole diagrams contribute mass renormalization, but not the momentum-dependent field renormalization that could change this coupling relation at order $g^2$. The four-point object relevant here is the amputated one-particle-irreducible vertex; external-leg self-energy insertions are dealt with separately.

Use the Fourier transform convention $\varphi (x)=\int d^{4}p/(2\pi {)}^4{e}^{-ip\cdot x}\tilde{\varphi }(p)$, and similarly for $\Phi$. All four-momenta at an interaction vertex are incoming. The quadratic terms are diagonal, so the scalar propagators areThe field interaction terms are $\lambda \varphi {\Phi }^2/2$ and $g\Phi {\partial }_{\mu }\varphi {\partial }^{\mu }\varphi /2$. The two identical field slots cancel the factor $1/2$ at either cubic interaction vertex. Expanding $\exp (i{S}_{\mathrm{int}})$ therefore givesIn the second rule $p,q$ are specifically the two $\varphi$ four-momenta; there is no derivative acting on the $\Phi$ leg. Indeed the two derivatives give $(-i{p}_{\mu })(-i{q}^{\mu })=-p\cdot q$, fixing the minus sign. This is a mixed scalar derivative cubic vertex. For arbitrary off-shell legs one may equivalently write $-ig(k^2-p^2-q^2)/2$, but may not replace the squared four-momenta by squared masses unless those legs are on their mass shells.

Each interaction vertex also carries $(2\pi {)}^4{\delta }^{(4)}(\sum p)$ for momentum conservation. Integrate independent loop momenta with $d^{4}p/(2\pi {)}^4$ and divide by the Feynman-diagram symmetry factor. An amputated external scalar leg has factor 1. The Feynman i-epsilon prescription fixes the propagator poles. As a dimensional check in four spacetime dimensions, $[\varphi ]=[\Phi ]=1$, $[\lambda ]=1$ and $[g]=-1$ in mass dimensions; the two powers of momentum in the derivative rule restore mass dimension one for its cubic interaction vertex.

For a connected amputated Feynman diagram, write $L$ for the number of independent loop momenta. Each loop momentum integration scales as ${\lambda }^4$, each internal scalar propagator as ${\lambda }^{-2}$, and each internal Dirac propagator as ${\lambda }^{-1}$ when both four-momenta and mass are scaled. The Yukawa coupling has mass dimension zero. ThusCounting the two fermion ends and one scalar end at each interaction vertex, and using connectedness, givesConsequently $n_f=n_v$, $L=n_s+1$, andThe requested exponent requires amputation and removal of the overall momentum delta function. An ordinary unamputated connected Green function has an additional $n$ external scalar propagators, giving mass dimension $4-3n$ after stripping that delta function, or $-3n$ if it is retained. For a concrete check, the free two-point scalar propagator scales as ${\lambda }^{-2}$, not ${\lambda }^2$. The exponent $4-n$ is the engineering result for the amputated object. A fixed renormalization scale introduces logarithms; the displayed homogeneity is a naive power counting statement rather than an exact quantum scaling law at fixed subtraction scale.

More generally, with $E_s$ external scalar ends and $E_f$ external fermion ends, the same counting gives the superficial degree of divergenceThis is an upper bound on the overall ultraviolet divergence. Numerator cancellations and Lorentz invariance may lower it; an apparently convergent whole Feynman diagram can still have ultraviolet subdivergences. Local subtraction of those ultraviolet subdivergences is required first.

For pure scalar ends, $E_s=0,1,2,3,4$ can require counterterms. Lorentz invariance reduces the two-point terms to a mass counterterm and wave-function renormalization; derivatives of a single scalar field are total derivatives, and a one-derivative cubic scalar term cannot be a Lorentz scalar. With two external fermions, $E_s=0$ requires their kinetic term and mass counterterm, while $E_s=1$ requires Yukawa coupling renormalization. Four external fermions give $D=-2$, so no independent four-fermion counterterm is required.

A complete counterterm Lagrangian consistent with the species symmetry can therefore be writtenThe vacuum energy density term matters for an unnormalized vacuum functional and cancels from normalized Green functions. The tadpole counterterm can impose $⟨\varphi ⟩=0$. There is no $\varphi \mapsto -\varphi$ symmetry of the massive Yukawa interaction, so linear, cubic and quartic scalar terms cannot be excluded. For instance, in a constant background the divergent fermion loop contribution contains $(m+g\varphi {)}^4$, exhibiting all these powers. This is counterterm closure of a massive Yukawa theory.

The two species have identical couplings, so their common unitary flavour rotations preserve the Lagrangian density and their counterterms can be chosen species independent. Equality of the scalar and fermion masses, however, is not protected: $\delta m_s^2$ and $\delta m_f$ are independent. Including the displayed finite set of operators yields a renormalizable quantum field theory. Restricting the bare Lagrangian density to the terms printed in the question is not closed under renormalization.

Here three means the total spacetime dimension. A dimensionless action requires $[\mathcal{L}]=3$ in mass dimensions. The kinetic term gives $2+2[\varphi ]=3$, so $[\varphi ]=1/2$. Matching the mass dimensions of both field interaction terms givesThus $g_1$ has units of mass and $g_2$ is dimensionless. The quartic interaction is superrenormalizable by power counting, and $g_2$ is a marginal coupling by power counting.

A dimensionless action in six spacetime dimensions requires the Lagrangian density to have mass dimension six. The kinetic term then fixes $2+2[\varphi ]=6$, and each field interaction term must have the same mass dimension. ThereforeEquivalently, in powers of a length unit $L$, $\varphi$ has units $L^{-2}$, $g_1$ has units $L^0$, and $g_2$ has units $L^2$. Thus literal length exponents would be $(-2,0,2)$; the $d$'s in the supplied superficial degree of divergence formula must instead mean mass dimensions, namely $(2,0,-2)$. This distinction resolves the wording's convention mismatch.

To check the convention independently, let $I,V_3,V_4,\ell$ count internal lines, cubic interaction vertices, quartic interaction vertices, and independent loop momenta. A connected Feynman diagram obeys $2I+n=3V_3+4V_4$ and $\ell =I-V_3-V_4+1$. Hence its superficial degree of divergence is $6\ell -2I=6-2n+2V_4$, agreeing with the supplied formula only with the mass dimensions above.

The auxiliary field $\sigma$ has quadratic kernel $-1$ and no kinetic term. Inverting that kernel, rather than introducing an artificial scalar mass, gives the momentum space Feynman rulesThe auxiliary-field propagator is independent of momentum; in position space it is $-i{\delta }^{(4)}(x-y)$. At each interaction vertex attach $(2\pi {)}^4{\delta }^{(4)}(\sum p)$ for momentum conservation. Integrate independent loop momenta with $d^{4}p/(2\pi {)}^4$, respect fermion flow, include the closed fermion loop sign $-1$, and use the appropriate symmetry factor. Incoming and outgoing fermions carry $u_s(p)$ and ${\bar{u}}_s(p)$; incoming and outgoing antiparticles carry ${\bar{v}}_s(p)$ and $v_s(p)$. Exchanging external fermions introduces the fermionic sign. Here $/p={\gamma }^{\mu }{p}_{\mu }$ is Feynman slash notation.

For a dimensional check, $[\psi ]=3/2$, $[\sigma ]=2$, $[g]=-1$ in mass dimensions. Eliminating $\sigma$ consequently produces a four-fermion interaction of negative coupling mass dimension, not a propagating scalar degree of freedom.

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

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

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

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

In $2+1$ spacetime dimensions, the dimensionless action gives $[\mathcal{L}]=3$ and $[{\partial }_{\mu }]=1$. The scalar kinetic term requires $2[\varphi ]+2=3$, whereas the fermion kinetic term requires $2[\psi ]+1=3$. Thus the engineering dimensions of relativistic fields areMatching each interaction to mass dimension three givesHere the brackets mean exponents of mass in natural units. The coefficients $g_1,g_3$ are marginal couplings by classical power counting, and $g_2$ is a relevant coupling.

The mass dimensions are $[\varphi ]=1$, $[\psi ]=3/2$, $[g]=0$. Up to total derivatives, power counting allows local counterterms of mass dimension at most four. A convenient basis for the counterterm Lagrangian compatible with the actual parity symmetry in quantum field theory and Dirac fermion number conservation isThe optional constant $\delta \Lambda$ renormalizes the vacuum energy density. The wavefunction renormalization, mass counterterms and Yukawa coupling renormalization correct the terms already present. The quartic interaction must also be included: the fermion loop with four external bosonic legs is logarithmically divergent, even if the renormalized quartic coupling is set to zero at one chosen renormalization scale. The displayed original interactions alone do not form a closed set of counterterms.

If “most general” is interpreted before imposing the parity symmetry in quantum field theory examined in d, Lorentz invariance, a Hermitian action and Dirac fermion number conservation also allowHere all coefficients can be real in the paper's gamma matrix convention; the last term is Hermitian in the action up to a total derivative. It is an axial kinetic normalization, which could alternatively be removed by a suitable perturbative field redefinition. Every term in ${\mathcal{L}}_{\mathrm{ct}}^{(-)}$ is odd under the actual parity symmetry in quantum field theory, so its coefficient vanishes in a symmetry-preserving renormalization scheme. Listing these terms makes explicit which assumption excludes a tadpole counterterm, a cubic scalar term, a scalar Yukawa interaction, a pseudoscalar Dirac mass term and an axial kinetic term.

A simpler physical coordinate is $Y=y+p_{x}c/(eB)$. For ${\sigma }_3$ eigenvalue $s_z=\pm 1$, the equation becomes an oscillator of mass $m$, frequency ${\omega }_c=|eB|/(mc)$, and auxiliary energyIf the source's variable $\xi =(p_{x}c+eBy)/(\hslash c)=b_{B}Y$ is used literally, $b_B=eB/(\hslash c)$, then the same canonical oscillator form has $\boxed{M=m/b_B^2,\omega ={\omega }_c}$ and the same $\epsilon$. Because $\xi$ is an inverse length, this auxiliary $M$ is not a physical particle mass with ordinary mass dimensions; the rescaling must be carried through both kinetic and potential terms.

The continuous spacetime symmetries are translations, spatial rotations and Lorentz boosts, together the connected Poincaré group. The theory also has local electromagnetic U(1) gauge symmetry, which is an internal symmetry rather than a spacetime transformation. A nonzero mass and a dimensionful interaction do not give an additional exact scale invariance.

In four dimensions the action is dimensionless and $[\partial ]=1$. The two kinetic terms giveThe axion-photon operator has mass dimension five, so this is an effective field theory. Its dimensionless interaction strength grows with energy as $|g_a|E$. Without information about an ultraviolet completion, a conservative parametric validity condition is $E\ll \Lambda$ with $\Lambda \sim |g_a{|}^{-1}$, and $m_a$ must also lie below that scale for the axion to be a degree of freedom in the effective theory. Numerical factors such as $4\pi$ depend on the ultraviolet dynamics and on the chosen perturbative criterion; the Lagrangian alone does not fix them.

The Proca action is invariant under spacetime translations and proper continuous Lorentz transformations, together forming the connected Poincaré group. The fixed nonzero mass excludes scale invariance. In four dimensions, a dimensionless action and the canonical kinetic term implyThese are mass dimensions. The field-strength term is invariant under $A_{\mu }\to A_{\mu }+{\partial }_{\mu }\chi$, but the mass term is not: its change contains $m_A^2{A}^{\mu }{\partial }_{\mu }\chi +\frac{1}{2}{m}_A^2(\partial \chi {)}^2$. Thus the displayed massive-vector theory has no Maxwell-type local gauge invariance. The massless limit has a different constraint structure.

The action is dimensionless and $[d^{4}x]=-4$, so $[\mathcal{L}]=4$. A canonical scalar kinetic term then requires $2+2[\varphi ]=4$, and the electromagnetic kinetic term requires $2[F_{\mu \nu }]=4$. ThusThe brackets here denote mass dimension. The Lagrangian has no explicit coordinate dependence, and all indices are contracted as Lorentz scalars. Its continuous spacetime symmetry is the Poincaré group. Noether's theorem gives conserved four-momentum from translations and conserved angular momentum, including the boost generators, from Lorentz transformations. The nonzero mass $M$ and dimensionful couplings prevent a dilation symmetry.

Sign qualification: the printed electromagnetic kinetic term has the opposite healthy relative sign to the scalar kinetic terms. With the stated mostly-minus Minkowski metric, a physical Maxwell Lagrangian is $-F_{\mu \nu }{F}^{\mu \nu }/4$. The printed plus sign instead gives photon Hamiltonian density $-({\mathbf{E}}^2+{\mathbf{B}}^2)/2$; a nonzero purely electric configuration already has negative energy, unbounded below as its amplitude grows. The physical decay widths below use the healthy Maxwell sign with the given interaction normalization. The dimensional and spacetime-symmetry conclusions themselves do not depend on this sign correction.

All daughter particles are massless, so the parent mass $M$ supplies the only kinematic scale at tree level. Each vertex has two derivatives, making its scattering amplitude scale as ${\lambda }_i{M}^2$. For the four-$b$ vertex, symmetrizing over the derivative-bearing legs yields a sum of pairwise four-momentum products, which is proportional to $M^2$ by four-momentum conservation.

For $n$ massless daughters, the Lorentz invariance Lorentz-invariant phase-space measure scales as $M^{2n-4}$: each $d^{3}q/(2E)$ contributes two powers and the four-dimensional Dirac delta removes four powers. Including the parent factor $1/(2M)$ gives $\Gamma \sim |{\lambda }_i{|}^2{M}^{2n-1}$. ThusThe unspecified factors are dimensionless angular integrals and identical-particle factors. Each result has mass dimension one, as a decay width must in natural units.

Counting the mass dimensions of each interaction operator givesIndeed $\Phi (\partial a{)}^2$ and $\Phi F^2$ have dimension five, whereas $\Phi b^2(\partial b{)}^2$ has dimension seven. These are interactions of an effective field theory with dimensionful couplings.

The direct one-vertex decay channels are $\Phi \to aa$, $\Phi \to bbbb$ and $\Phi \to \gamma \gamma$. Each leading scattering amplitude is linear in its corresponding coupling, and a decay width is quadratic in the amplitude. Therefore, holding the parent mass fixed,There are no tree-level interference terms between these different final states.

The real scalar field action has spacetime translations and Lorentz invariance, together giving Poincaré symmetry. With a real scalar transformation law it also has parity and time reversal. A generic polynomial potential has no continuous internal symmetry. The additional field reversal $\varphi \mapsto -\varphi$ is a symmetry precisely when every nonzero odd-power coupling vanishes. The free massless special case also admits a constant shift of $\varphi$; generic interactions remove it.

In mass units, $[{\partial }_{\mu }]=1$ and the dimensionless action requires $[\mathcal{L}]=D$. Normalizing the kinetic term fixes the classical mass dimension of the scalar field:For each interaction, $[{\lambda }_n]+n[\varphi ]=D$, soThese are classical or engineering scaling dimensions; quantum corrections can change the scaling of operators and couplings. The scale transformation prescribed later has field weight one, which equals this canonical weight only at $D=4$.

Under the finite dilatation, $d^D{x}^{\prime }=e^{-D\alpha }{d}^{D}x$, ${\partial }_{\mu }^{\prime }{\varphi }^{\prime }(x^{\prime })=e^{2\alpha }{\partial }_{\mu }\varphi (x)$ and ${\varphi }^{\prime }(x^{\prime }{)}^n=e^{n\alpha }\varphi (x{)}^n$. Keeping the couplings fixed givesThus the full finite change isFor invariance for arbitrary fields and all constant $\alpha$, the fixed nonzero kinetic term requires $D=4$. Then the mass term requires $m=0$, and every nonzero coupling must have $n=4$. Henceincluding the free choice ${\lambda }_4=0$. At $D=4$ the canonical mass dimension is $[\varphi ]=1$ and $[{\lambda }_n]=4-n$, so only the quartic interaction has a dimensionless coupling. A mass introduces a scale. This recovers the same result from solution.

The fixed field weight in the question matters: if it were replaced by the general canonical weight $(D-2)/2$, the kinetic term could be invariant in other dimensions, and a nonzero monomial interaction would require $n=2D/(D-2)$ for $D\ne 2$. That is a different transformation from the one specified here. The result above is classical; quantum running generally breaks the quartic theory's scale invariance.

Phi cubed theory has interaction $-g{\varphi }^3/3!$, giving a cubic vertex $-ig$. In four spacetime dimensions the scalar field has mass dimension one and $g$ has mass dimension one.