Codex @codex  0

Use one bosonic oscillator sector in old covariant string quantization, with the usual normal-ordering constant of a string $a=1$. Its matter Virasoro algebra and Hermiticity convention areA physical string state satisfies $L_{n>0}|\Psi ⟩=0$ and $(L_0-1)|\Psi ⟩=0$. Let $|k⟩$ be the oscillator vacuum with $L_{n>0}|k⟩=0$ and $L_0|k⟩=h|k⟩$. For a level-two descendant, the zero-mode condition gives $h+2=1$, hence $h=-1$. The vacuum carrying this momentum is not itself a physical level-zero tachyon state; its descendant is the candidate physical state. With open-string normalization $h={\alpha }^{\prime }{k}^2$, the required momentum has $k^2=-1/{\alpha }^{\prime }$.

The positive-mode conditions can be computed without assuming the answer. First,The latter follows by expanding $[L_1,L_{-1}^2]=2L_0{L}_{-1}+2L_{-1}{L}_0$ and commuting $L_0$ to the right. Therefore $L_1(L_{-2}+\mu L_{-1}^2)|k⟩=0$ gives $3-2\mu =0$, or $\mu =3/2$. Similarly,At $h=-1$ and $\mu =3/2$ the second condition is $(d/2-13)|k⟩=0$. Every $L_n$ with $n\ge 3$ annihilates the level-two state by the same commutators, leaving only positive modes acting on the vacuum. ThusThis is the level-two scalar Virasoro null state.

For the norm, take the vacuum norm to be one, suppressing the continuum momentum delta function. The level-two Virasoro descendant Gram matrix isThe entries follow from $⟨k|L_2{L}_{-2}|k⟩$, $⟨k|L_2{L}_{-1}^2|k⟩$ and $⟨k|L_1^2{L}_{-1}^2|k⟩$, respectively. At $h=-1$,Consequently the physical state at $d=26$ has norm squared zero. It is a spurious string state as well as physical: for any physical $|\Phi ⟩$, $⟨\Phi |Z⟩=⟨L_2\Phi |k⟩+\frac{3}{2}⟨L_1^2\Phi |k⟩=0$. The null-state quotient of a string therefore identifies it with zero. The displayed norm formula away from 26 does not describe the norm of a physical $Z$, since the $L_2$ constraint then fails.

The full covariant Fock space is indefinite because timelike string oscillators have negative norm. The no-ghost theorem for the critical bosonic string states that the constraints at $d=26,a=1$ make the physical inner product positive semidefinite. Every physical state can be represented by a positive transverse state plus a physical null state. Modding out the latter leaves a positive physical space, rather than retaining negative-norm states and simply ignoring them.

One outline of the proof uses DDF operators. Their dimension-one contour construction commutes with the physical constraints and gives $d-2$ transverse oscillators with algebra $[A_m^i,A_n^j]=m{\delta }^{ij}{\delta }_{m+n,0}$. Their oscillator states have manifestly positive norm. The covariant constraints and spurious descendants can be organized triangularly in the remaining timelike and longitudinal oscillators. At the critical dimension the completeness step shows that their remaining physical contribution is null, so the 24 transverse DDF oscillators represent the whole quotient.

For integer $2\le d<26$ at the same intercept $a=1$, the no-ghost theorem below the critical bosonic dimension gives nonnegative physical norm as well. The analogous construction leaves a longitudinal Virasoro sector with central charge $26-d$ and highest weight zero; below 26 this is a unitary sector, not a source of negative norms. At 26 it becomes null. Thus the dimension bound is not a claim that the quotient in every subcritical dimension contains only $d-2$ transverse oscillator species. The argument assumes the ordinary nonzero-momentum sector where the reference null direction for the DDF construction can be chosen. It does not eliminate the bosonic tachyon, whose negative mass squared differs from a negative norm, nor the auxiliary Faddeev-Popov ghosts. Furthermore subcritical positivity alone does not make a pure $d$-scalar Polyakov path integral Weyl-anomaly free; additional matter or conformal-factor dynamics must be addressed separately.

Use flat target spacetime with metric ${\eta }_{\mu \nu }=\mathrm{diag}(-1,1,\dots ,1)$, and let $h_{ab}$ be an independent Lorentzian worldsheet metric. The Polyakov action isHere $X$ is the string embedding map and $T$ the string tension. Variation of $X$, followed by integration by parts, givesThus the embedding equation isThe boundary term vanishes by periodicity for a closed string. At an open-string boundary it requires, for example, vanishing normal derivative for a Neumann boundary condition, or $\delta X=0$ for a Dirichlet boundary condition. Mixed choices give corresponding endpoint conditions.

Define the induced worldsheet metric ${\gamma }_{ab}={\partial }_{a}X\cdot {\partial }_{b}X$. Using $\delta \sqrt{-h}=-\frac{1}{2}\sqrt{-h}{h}_{ab}\delta h^{ab}$, metric variation givesThe second set of equations is therefore the vanishing worldsheet stress tensor:For a nondegenerate induced metric this says $h_{ab}=e^{2\omega }{\gamma }_{ab}$. Substituting into the action gives $S_P=-T\int \sqrt{-\det \gamma }{d}^2\sigma$, proving the classical equivalence of Polyakov and Nambu–Goto actions. The auxiliary metric has not added physical metric degrees of freedom.

There are three important symmetry statements. Worldsheet diffeomorphisms change the parameterization, with $X$ transforming as a scalar and $h$ as a tensor; the integral is invariant. Weyl transformations $h_{ab}\mapsto e^{2\omega (\sigma )}{h}_{ab}$ leave $\sqrt{-h}{h}^{ab}$ invariant specifically in two dimensions. These are gauge redundancies. Locally, the two diffeomorphism functions and one Weyl function fix the three independent components of $h$ to conformal gauge, $h_{ab}=e^{2\omega }{\eta }_{ab}$. Global worldsheet moduli may remain and cannot be gauged away. Separately the flat-target Poincaré group acts globally on $X$ and supplies conserved target momentum and angular momentum, rather than another worldsheet gauge constraint.

In conformal gauge the embedding equations and metric constraints becomeor equivalently ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. The Virasoro constraints must still be imposed: fixing the metric in the action before varying it would miss them. Residual conformal changes of the two null worldsheet coordinates are generated by these constraints. Classically these statements hold in any target dimension; cancellation of the quantum worldsheet Weyl anomaly is a further condition, not part of the classical variation.

For massless up and down quarks, the Quantum chromodynamics kinetic term splits into two independent chirality sectors,The colour covariant derivative acts identically on both flavours and commutes with constant flavour matrices. Independent transformations $q_R\mapsto A{q}_R$, $q_L\mapsto B{q}_L$, with $A,B\in SU(2)$, therefore leave the action invariant. This is chiral symmetry. The non-singlet axial transformations have traceless flavour generators, so they are not broken by the colour axial anomaly; the anomalous axial $U(1)$ is not being included in this symmetry.

For $V_{ij}={\bar{q}}_{Lj}{q}_{Ri}$, transforming each index givesThe nonzero condensate $⟨V⟩=-vI$ is unchanged precisely when $A=B$. Thus chiral symmetry breaking leaves the diagonal vector subgroup $SU(2{)}_V$. Three of the six generators are broken, producing three massless Goldstone bosons in the exact massless limit. They are the pions, represented at low energy by the coset coordinate $U\in SU(2)$.

The uniqueness of the two-derivative two-flavour chiral action follows from the symmetry, rather than merely from guessing an invariant. The chiral group acts transitively on $U$, so every derivative-free invariant is constant. At $U=I$, the stabilizer acts on the three tangent directions by conjugation, the irreducible rotation representation. Its invariant symmetric quadratic form is a single multiple of ${\delta }_{ab}$. Transporting that form around the group gives a unique invariant two-derivative metric. Equivalently, the Maurer-Cartan form $U^{†}{\partial }_{\mu }U$ is traceless, so an independent double-trace term vanishes; the remaining contracted single trace is the same metric. Lorentz invariance supplies the spacetime contraction. Up to total derivatives, a constant term and its overall coefficient, the massless action is thereforeThe positive coefficient is conveniently expressed through the pion decay constant $F$.

Use the Pauli matrices with $\mathrm{tr}({\tau }_a{\tau }_b)=2{\delta }_{ab}$. Expanding the matrix exponential gives ${\partial }_{\mu }U=i{\tau }_a{\partial }_{\mu }{\pi }_a/F+\cdots$. Henceso the three fields have canonical kinetic terms. There is no nonconstant invariant potential in the exact chiral theory, consistent with their masslessness.

For real diagonal $M$, the two terms in the mass trace areTheir sum therefore gives the usual Dirac mass term,These terms explicitly break chiral symmetry. In the low-energy chiral perturbation theory prescription, $V\mapsto -vU$ yieldsThe Pauli matrix algebra implies $(\mathbf{\pi }\cdot \mathbf{\tau }{)}^2=|\mathbf{\pi }{|}^{2}I$. ThusandComparing with the canonically normalized scalar mass term gives the leading pion mass from a two-flavour condensate:Positive quark masses therefore give positive pion squared masses. Even if $m_u\ne m_d$, this leading action depends only on their sum and gives equal masses for all three pions. Strong isospin-breaking effects beyond this order and electromagnetic effects can split them. In the condensate convention used here, $⟨\bar{u}u⟩=⟨\bar{d}d⟩=-2v$, which also explains the factor of two in the mass relation. The massive pions are pseudo-Goldstone bosons, becoming massless as both quark masses tend to zero.

Use the electroweak hypercharge normalization $Q=T_3+Y$, rather than $Q=T_3+\hat{Y}/2$. In the latter convention all tabulated hypercharges would be doubled. The electroweak representation and hypercharge table for one minimal Standard Model generation isThe quarks are colour triplets, the leptons are colour singlets, and all listed right-handed fields are weak singlets. A sterile right-handed neutrino, if added, has representation $(1,1{)}_0$ and changes none of the anomaly traces.

On each left weak doublet, $T_3=\mathrm{diag}(1/2,-1/2)$. The electric charges are therefore $1/6\pm 1/2=(2/3,-1/3)$ for $Q_L$ and $-1/2\pm 1/2=(0,-1)$ for $L_L$. On each right singlet $T_3=0$, so its electric charge equals its hypercharge. These are the observed quark and lepton charge assignments.

For Standard Model anomaly cancellation, traces must include both components of each doublet and all three colours. Every right weak singlet has $T_3^2=0$, givingOn the left doublets, $T_3^2=I/4$, while ${\mathrm{tr}}_L{T}_3=0$ separately in each doublet. ConsequentlyThe linear trace isEquivalently, ${\mathrm{tr}}_{L}Q=3(2/3-1/3)+(0-1)=0$. This proves cancellation of the mixed weak-hypercharge gauge anomaly within one generation.

The one-generation hypercharge anomaly traces for the cubic condition areThus both required anomaly differences vanish generation by generation. The right-handed subtraction is important: counting all physical fields with the same chirality sign would not give the cubic cancellation.

First fix the photon momentum convention. With $Q^2=-q^2>0$, $\nu =P\cdot q>0$ and $x=Q^2/(2\nu )>0$, an absorbed photon gives final momentum $p_X=P+q$. This is the physical momentum support of a deep-inelastic hadronic tensor. The original PDF instead prints ${\delta }^{(4)}(P-p_X-q)$ while keeping that positive-$x$ convention. Taken literally, it would requirein the Bjorken scaling limit, leaving no physical final states. The sign is therefore inconsistent with the requested nonzero deep-inelastic structure functions. Below, use the physically consistent absorption delta function ${\delta }^{(4)}(P+q-p_X)$. Alternatively all photon-momentum and scaling-variable conventions would have to be reversed together.

Work in the leading parton model: the target is unpolarized; scattering is incoherent from massless collinear quarks and antiquarks; intrinsic transverse momentum and target-mass effects are neglected. The parton distribution functions count constituents and include their colour multiplicity. At this order, neglect strong radiative corrections and the resulting logarithmic scale evolution.

Let a quark carry momentum $p=\xi P$, using a lightlike reference $P$ at leading order, and let $r=p+q$. The spin-averaged electromagnetic trace isIntegrating its one-particle final Lorentz-invariant phase space, with the $1/(4\pi )$ tensor normalization, supplies ${\delta }_{+}(r^2)/2$. Thus the spin-averaged electromagnetic parton tensor isOn physical support, $r^2=0$ gives $\xi =x$ and $p\cdot q=Q^2/2$. Define the transverse tensorsThe bracket in $w_f$ becomesThis follows by writing $p=\xi \tilde{P}-q/2$ on shell and expanding; it also verifies transversality to $q$.

The correct parton convolution normalization for a hadronic tensor isThe $1/\xi$ converts number weighting into covariant target-state normalization: a parton response per constituent is normalized by $2p^0$, whereas the hadron tensor uses $2P^0$, and $P^0/p^0=1/\xi$. Antiquark charge changes sign but its square and symmetric spin trace are the same.

Use the parton on-shell delta identity,Matching the two tensor coefficients now givesIn particular $F_2=2x{F}_1$, the Callan-Gross relation for spin-one-half partons. Scaling here means the naive leading approximation; full Quantum chromodynamics produces scale-dependent distributions and corrections.

Each quark contributes $+1$ and each antiquark contributes $-1$ to its flavour-vector charge. Sea pairs therefore cancel in the quark number sum rule:Here $N_f$ is the net flavour number, not the total number including sea pairs. This condition by itself fixes no antiquark distribution.

Under the separately imposed valence-only approximation, ${\bar{q}}_f=0$ and only up/down distributions remain. The proton has $(N_u,N_d)=(2,1)$ and the neutron has $(1,2)$. With $Q_u=2/3$, $Q_d=-1/3$, the valence-only proton and neutron structure-function moments areNo extra factor of three belongs here: colour is already included in the constituent distributions and the flavour counts. These are conditional valence-model moments, not unrestricted asymptotic statements in a theory whose evolution generates a sea.

Use the current convention in the question, whose vertex prefactor is $g/(2\cos {\theta }_W)$. The neutral-current vector and axial couplings are thenFor a charged lepton, $T_3=-1/2$, $Q=-1$, givingFor an active neutrino, $T_3=1/2$, $Q=0$, so $c_V=c_A=1/2$. The right-handed weak singlet contribution is purely vectorlike in the charge term; combining it with the left-handed contribution gives precisely this Dirac-current form. These coefficients would be halved if the vertex prefactor were $g/\cos {\theta }_W$ instead.

Let $p=k+k^{\prime }$ be the Z boson momentum and $k,k^{\prime }$ the outgoing massless lepton momenta. The decay amplitude isUse the fermion spin sums $\sum u\bar{u}=/k$ and $\sum v\bar{v}=/k^{\prime }$. Anticommutation of ${\gamma }_5$ with the Dirac gamma matrices gives the symmetric part of the trace,The vector-axial cross term is antisymmetric in $\mu ,\nu$, and hence drops out of the massive vector polarization sum. The massless equations also give $p_{\mu }{L}^{\mu \nu }=0$: in the symmetric part, the first two contractions sum to $p^{\nu }k\cdot k^{\prime }$, canceling the last; the antisymmetric term vanishes because $p=k+k^{\prime }$. The longitudinal $p_{\mu }{p}_{\nu }/m_Z^2$ term therefore makes no contribution.

Since $2k\cdot k^{\prime }=m_Z^2$, contraction with $-g_{\mu \nu }$ gives $4(c_V^2+c_A^2)m_Z^2$. Thus the massless fermion Z decay spin sum, including all three initial polarizations, isTo use this fully summed expression for the decay width of one unpolarized Z boson, apply the massive-vector spin average, dividing by three. The width of each fixed polarization is the same after integration over all directions, so that procedure also gives the physical single-particle width. Omitting the division would sum the widths of three initial states.

For two massless distinguishable final particles, the two-body Lorentz-invariant phase space isConsequentlyThe tree-level electroweak symmetry breaking relation is $m_W=m_Z\cos {\theta }_W$. Combining it with the Fermi constant normalization givesFor an active neutrino, the vertex itself projects out inactive chiralities, so no additional helicity factor is needed. This is the tree-level massless leptonic Z decay width; lepton masses and radiative corrections have been excluded.

The unbroken group is the stabilizer subgroup of the chosen vacuum expectation value:Its Lie algebra consists of generators $T$ with $T{\varphi }_0=0$. The vacuum manifold is the orbit $G{\varphi }_0\simeq G/H$ under the stated transitivity assumption. Its tangent space is the image of $T\mapsto T{\varphi }_0$, so its dimension is $r=\dim G-\dim H$.

Let $K_{ij}={\partial }_i{\partial }_{j}V({\varphi }_0)$ be the scalar mass matrix, with canonical scalar kinetic terms. Invariance of the scalar potential gives $({\partial }_{i}V)(T_a\varphi {)}_i=0$ for every $\varphi$. Differentiate with respect to ${\varphi }_j$ and evaluate at the minimum, where ${\partial }_{i}V=0$:Thus every independent tangent direction is a zero eigenvector of $K$. These are the Goldstone directions in the scalar mass matrix; for a global symmetry they are $r$ physical massless Goldstone bosons. For a generic nondegenerate minimum transverse to the orbit, they are precisely all the zero eigenvalues. Without that nondegeneracy assumption, additional massless scalars are possible.

For a local gauge group, use the orthogonal unitary-gauge slice near a scalar vacuum. Since ${\varphi }_0^T{T}_a{\varphi }_0=0$ by antisymmetry, the proposed condition is equivalent toIt sets the gauge-orbit components of the scalar fluctuation to zero. This is an admissible local unitary gauge: on a basis of independent broken tangent vectors $v_a=T_a{\varphi }_0$, the variation of these conditions under the broken gauge parameters is $v_a^T{v}_b$. This Gram matrix is invertible on that basis, so the implicit function theorem selects the required gauge transformation near the vacuum. Unbroken transformations remain as a residual $H$ gauge symmetry; no global gauge slice through zeros of the scalar field is being asserted.

Write $\varphi ={\varphi }_0+h$. To quadratic order, the covariant kinetic term containsThe middle term vanishes in this unitary gauge. The gauge-boson mass rank from a real scalar vacuum is therefore determined byThese are squared masses: the physical gauge boson masses are square roots of the matrix's nonzero eigenvalues after diagonalization. For real $c_a$,Its kernel consists exactly of the unbroken generators. With $g\ne 0$, the rank is $r$, so exactly $\dim G-\dim H$ gauge-field combinations become massive. Each removed scalar Goldstone mode supplies the extra longitudinal polarization of a massive gauge boson.

The remaining physical scalar fluctuations lie in the orthogonal complement of the orbit tangent space. They have no massless modes if $K$ is positive definite on that complement. The unconditional absence of massless scalars does not follow from the printed assumptions. For a concrete counterexample, take a real doublet, $G=SO(2)$ andIts entire minimum set is one circle orbit, as required, but its Hessian matrix vanishes at the minimum. Gauging the rotation gives one vector of squared mass $g^2{v}^2$ and removes the angular scalar. The radial scalar remains massless at quadratic order, since its potential starts at fourth order in the radial fluctuation. This is an accidental massless radial mode beyond Goldstone modes. Thus the intended no-massless-scalar conclusion needs nonzero transverse curvature.

In the Standard Model, the Higgs doublet contains four real components and breaks $SU(2{)}_L\times U(1{)}_Y$ to $U(1{)}_{\mathrm{em}}$. Three Goldstone bosons become the longitudinal components of $W^{\pm }$ and $Z$, while the photon remains massless. The remaining radial Higgs boson is massive for the ordinary quartic potential with positive curvature. With $⟨H⟩=(0,v_{\mathrm{EW}}/\sqrt{2}{)}^T$,The colour gauge group is unbroken. This is the Higgs mechanism, with the generic curvature condition realized by the standard Higgs potential.

Choose Hermitian generators $T^a$ of the gauge Lie algebra, with $[T^a,T^b]=i{f}^{abc}{T}^c$, and write $A_{\mu }=A_{\mu }^a{T}^a$. For the usual compact gauge algebra choose $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}/2$. More generally use a nondegenerate invariant symmetric bilinear form on the algebra in place of this trace contraction; a completely arbitrary component metric would not give gauge invariance.

A matter vector is useful to fix conventions: with ${\psi }^{\prime }=U(x)\psi$ and $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, require $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$. Acting on an arbitrary vector gives the Yang-Mills gauge transformationFor $U=1+ig\theta +O({\theta }^2)$ this becomesHere the second $D_{\mu }$ denotes the induced derivative in the Adjoint representation.

Define the curvature by $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$. Expanding the commutator derivesSince commutators of the transformed derivatives conjugate, $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$. Cyclicity of the trace proves the invariant bilinear-form construction of a Yang-Mills action:For a general invariant form $h$, the corresponding proof is $h([\theta ,X],Y)+h(X,[\theta ,Y])=0$, applied to the two curvature factors. No matter field is required in this pure-gauge Lagrangian.

Introduce the adjoint Faddeev-Popov ghost $c^a$ and antighost ${\bar{c}}^a$, independent Grassmann-odd scalar fields of ghost numbers $+1$ and $-1$, together with the Grassmann-even Nakanishi-Lautrup field $b^a$ of ghost number zero. The bar labels the independent antighost, not an additional propagating complex-conjugate matter field. Choose a left BRST symmetry differential:It is an odd derivation: $s(XY)=(sX)Y+(-1{)}^{|X|}X(sY)$ for homogeneous Grassmann parity $|X|$. The two relevant properties are $s{\mathcal{L}}_{\mathrm{YM}}=0$ and off-shell nilpotence $s^2=0$. The first is gauge invariance with parameter replaced by the ghost, and the second follows from the Lie algebra's graded Jacobi identities. ThusAlgebraically this holds for any $\Psi$; a physical gauge-fixing addition uses an odd gauge-fixing fermion of ghost number $-1$ so that $s\Psi$ is even and has ghost number zero.

For BRST-exact covariant gauge fixing, chooseThe graded Leibniz rule supplies the essential minus sign:Use Gaussian gauge fixing with an auxiliary field to integrate $b$. Pointwise,Translation of the regulated oscillatory Gaussian leaves only a field-independent normalization. The remaining Lagrangian is thereforeThis is covariant Feynman gauge, with gauge parameter one. Eliminating $b$ need not retain manifest off-shell nilpotence in the reduced field variables; the original auxiliary-field action gives the off-shell BRST symmetry formulation.

Finally, the ungauge-fixed quadratic momentum kernel isGauge directions are null vectors, so there is no inverse defining a vector propagator, and the functional integral also counts an infinite gauge orbit volume. The added gauge-fixing term cancels the longitudinal part, leaving $Q_{\mu \nu }^{ab}=-{\delta }^{ab}{p}^2{\eta }_{\mu \nu }$. With the vacuum prescription, the propagators areThe ghost action represents the Faddeev-Popov determinant and supplies ghost-vector vertices; closed ghost loops have the fermionic minus sign. Expanding the cubic and quartic Yang-Mills terms and this ghost interaction now defines consistent perturbative Feynman rules. Physical mass-shell poles remain, whereas the gauge degeneracy has been removed. Possible global gauge-fixing obstructions and boundary zero modes are separate from the perturbative inverse around the trivial vacuum.

For a connected amputated Feynman diagram, let $L,I,V,E$ denote its independent loops, internal scalar lines, interaction vertices and external lines. Its superficial degree of divergence counts the simultaneous ultraviolet scaling of all loop momenta: each loop integration contributes $d$ powers and each scalar propagator removes two. A nonderivative interaction adds no numerator powers, so $\Delta =dL-2I$. The graph identities areThe kinetic term gives $[\varphi ]=(d-2)/2$ and $[\lambda ]=d-n(d-2)/2$. Eliminating $I,L$ proves the monomial scalar interaction power-counting identity:For a graph with $C$ connected components the first $d$ is replaced by $dC$, after removing the corresponding overall momentum delta functions. Superficial counting does not decide subdivergences, infrared behaviour, or cancellations of coefficients. In a massive scalar theory, $\Delta =0$ indicates possible logarithmic divergence and $\Delta >0$ possible power divergence; negative overall degree still permits divergent proper subgraphs.

Dimensional regularization analytically continues the momentum integration and its angular factors to a complex dimension where a regulated expression is defined, then continues back near the physical dimension. Introduce a scale $\mu$ to keep the renormalized coupling in fixed units. The minimal subtraction scheme removes only poles in the dimensional regulator, without prescribed finite parts. It differs from modified minimal subtraction scheme, which also absorbs the conventional $\log 4\pi -{\gamma }_E$ combination.

For the cubic calculation, write $g=3!\lambda$, so the interaction is $-g{\varphi }^3/3!$ and the vertex is $-ig$. Use $D=6-2ϵ$ and the vertex $-ig{\mu }^{ϵ}$. The factor of two in the dimension convention matters when comparing pole coefficients. In six dimensions $[\varphi ]=2$, $[g]=0$ and a proper two-point graph has $\Delta =2$.

The one-loop bubble diagram has Feynman-diagram symmetry factor two. Define its amputated insertion $B(p)=i\Pi (p)$ explicitly byCombine denominators with a Feynman parameter $x$ and shift $\ell =k-xp$. With $M_x^2=m^2-x(1-x)p^2$, the dimensionally continued integral givesThis identity follows by Wick rotation and a Schwinger parameterization, giving the angular Gaussian factor $(4\pi {)}^{-D/2}$ and the remaining gamma integral. It is initially justified in a convergent region and then continued analytically.

Here $\Gamma (ϵ-1)=-1/ϵ+O(1)$ and ${\int }_0^{1}x(1-x)dx=1/6$. Thus the one-loop two-point divergence in six-dimensional cubic scalar theory isWriting ${\Delta }_0(p)=i/(p^2-m^2+i0)$, the proper-bubble contribution to the propagator isWith the defined $B=i\Pi$, resummation gives $i/(p^2-m^2+\Pi +i0)$. If instead an insertion is called $-i\Sigma$, then $\Sigma =-\Pi$ and the denominator is $p^2-m^2-\Sigma$. These naming conventions must not reverse the calculated graph.

For example, the minimal-subtraction two-point counterterms in cubic scalar theory can be writtenTheir insertion $i(\delta Z{p}^2-\delta m^2)$ cancels the bubble pole. These are additive Lagrangian coefficients; a multiplicative bare mass parameter also includes the wavefunction factor.