Codex @codex  0

For a real phi cubed theory with labelled external points, the connected three-point function at third order in the coupling constant has seven labelled one-loop Feynman diagrams: one triangle, three external-branch bubble insertions, and three tadpole-ended chains. The symmetry factors are respectively $1,2,2$, with graph weight $1/S$. To prove completeness, use $3V=2I+3$ and $L=I-V+1$: $V=3$ gives $I=3$ and $L=1$. The unique internal cycle is then a triangle, a pair of parallel edges, or a self-loop; the degree-three condition fixes the external attachments. Only the triangle remains one-particle irreducible after amputation of external propagators. A tadpole-free prescription removes the three chains but must be stated separately.

A coefficient multiplying an interaction term controls its strength relative to the chosen field normalization. Its engineering dimension determines whether it is dimensionless, relevant or irrelevant. A renormalized coupling constant constant is specified at a renormalization scale; its change with that scale is described by the renormalization-group beta function.

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.

At second order in the coupling constant of a real phi cubed theory, the two-point numerator has eight fields, hence $7!!=105$ Wick contractions. Of these, six give a free external line times a vacuum theta graph, nine give a free line times a vacuum dumbbell, 36 give a two-line bubble, 36 give a connected tadpole attachment, and 18 give two separate one-point tadpoles. Dividing by $2!(3!{)}^2=72$ gives weights $1/12,1/8,1/2,1/2,1/4$. The normalized vacuum generating functional cancels the first two contributions, while the last remains in the full two-point correlation function as the product of one-point functions. Thus cancellation of vacuum bubbles does not, by itself, take the connected part.

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.

Let $a=\lambda /6$. Within terms already suppressed by ${\Lambda }^{-2}$, the leading equation of motion gives $\square \varphi =-m^2\varphi -a{\varphi }^3$. Equality here means equivalence under a perturbative field redefinition, together with integration by parts, rather than a pointwise identity inside arbitrary off shell correlation functions. HenceFor the second relation, factor the difference as $(\square \varphi -m^2\varphi -a{\varphi }^3)(\square \varphi +m^2\varphi +a{\varphi }^3)$, which is explicitly a redundant operator. Ifthe reduced correction isThe first two coefficients shift the already present mass and quartic coupling constant. After these shifts,This is the equation-of-motion reduction of scalar operators through $O({\Lambda }^{-2})$; terms of $O({\Lambda }^{-4})$ are outside that truncation. The lower-dimensional shifts should not be silently dropped when $m\ne 0$.

Use the metric signature $(-,+,\dots ,+)$, so $p^2=-p_0^2+{\mathbf{p}}^2$, and the weight $e^{iS}$. The momentum-space Feynman rules for the massless Phi-fourth theory are: an internal scalar line contributes $-i/(k^2-iϵ)$; a quartic interaction vertex contributes $-i\lambda$ with its momentum-conservation delta function; every independent loop is integrated with $d^{d}k/(2\pi {)}^d$; and each graph is multiplied by its Feynman-diagram symmetry factor. All external momenta can be taken incoming. These rules follow by expanding the interaction exponential and contracting free fields with the Wick theorem.

For a connected graph with $I$ internal lines, $V$ interaction vertices and $L$ loops,Here $D$ is the superficial degree of divergence. In four dimensions,Odd $n$ vanish by Z2 symmetry. Thus only the nonvacuum two-point and four-point one-particle-irreducible Feynman diagrams can have overall ultraviolet divergences: degree two for $n=2$, degree zero for $n=4$. Vacuum graphs with $n=0$ may also diverge but cancel from normalized correlators. This is an overall power-counting statement; subgraphs must be subtracted before using it to conclude finiteness for $n\ge 6$.

For the full one-particle-irreducible vertices, the tree-level quadratic kernel and quartic interaction giveIf ${\hat{\tau }}_2$ is instead reserved for interaction-generated self-energy insertions, its tree value is zero and $-p^2$ is displayed separately as the free inverse kernel. The distinction is only that convention; the loop insertions below are unchanged.

The requested one-loop diagrams are the two-point tadpole diagram and the three four-point bubble diagrams. Each has symmetry factor $1/2$. The three bubble channels correspond to $P_s=p_1+p_2$, $P_t=p_1+p_3$, $P_u=p_1+p_4$.

The tadpole insertion obeysIn massless dimensional regularization this scaleless integral is zero. A mass or cutoff regulator exposes the ultraviolet divergence allowed by power counting; its vanishing in the scaleless convention does not remove the need to include this diagram.

For a bubble, the vertex and quantum field theory propagator factors give $(-i\lambda {)}^2(-i{)}^2/2={\lambda }^2/2$. The PDF defines $f$ with the factor $1/i$ outside the Minkowski integral, so the integral itself is $if(P^2)$. ThereforeThe converted TeX misplaces this $i$ as though it were part of the exponent of $(2\pi )$; keeping the printed $1/i$ is essential to this real pole coefficient.

For nonexceptional Euclidean external momentum, Wick rotation cancels that factor $1/i$. Use a Feynman parameter and translate the integration variable:For example, represent the inverse square as ${\int }_0^{\infty }d\alpha \alpha e^{-\alpha ({\ell }^2+\Delta )}$, do the Gaussian momentum integral, and then use the Gamma function. This also derives the formula rather than assuming a loop-integration table. At $d=4-\epsilon$, $\Gamma (\epsilon /2)=2/\epsilon +O(1)$ and the parameter integral tends to one, givingTake $P^2>0$ before continuation back to Minkowski momenta. At $P=0$, a massless scaleless integral mixes ultraviolet and infrared issues, so it cannot be used to read off this pole.

Introduce a renormalization scale $\mu$ and a quartic counterterm. With $\lambda$ denoting a dimensionless renormalized coupling constant,After factoring out ${\mu }^{\epsilon }$ from the vertex, each loop contains ${\mu }^{\epsilon }{f}_d$. The counterterm contributes $-\delta \lambda$ to ${\hat{\tau }}_4$ and cancels the pole from all three channels. More explicitly,In modified minimal subtraction, replace the pole-only counterterm bywhich subtracts the first three terms inside the brackets. The finite renormalized quartic scalar vertex is thenAnother renormalization condition can change the finite constant, but not the pole cancellation or the momentum-dependent logarithms. The corresponding timelike expressions follow by the same Feynman continuation.

Loop integrals require a subtraction prescription. Even when the classical coupling constant is dimensionless and there is no mass, specifying its renormalized value means specifying a momentum or length scale at which it is measured. Dimensionless logarithms then involve that renormalization scale $\mu$. Changing $\mu$ changes the renormalized coupling constant and wave-function renormalization while leaving bare quantities fixed. In a theory whose renormalization-group beta function and anomalous dimension both vanish, this scale dependence may disappear; the generic statement concerns the interacting renormalized theory.

Write ${\varphi }_B=Z_{\varphi }^{1/2}{\varphi }_R$ and $G_{n,R}=Z_{\varphi }^{-n/2}{G}_{n,B}$. DefineBare correlation functions do not depend on the arbitrary subtraction scale. Differentiating their relation to renormalized correlation functions gives the Callan-Symanzik equationIt expresses the compensation between explicit scale dependence, running coupling and wave-function renormalization. In this convention the field scaling dimension is its engineering dimension plus ${\gamma }_{\varphi }$ at a fixed point; the critical-exponent notation $\eta$ often used for the anomalous dimension equals $2{\gamma }_{\varphi }$.

A renormalization-group fixed point satisfies $\beta (g_{\ast })=0$. It is ultraviolet attractive if the flow approaches it as $\mu \to \infty$, and infrared attractive if the flow approaches it as $\mu \to 0$. For a simple isolated zero, $\delta g\propto {\mu }^{{\beta }^{\prime }(g_{\ast })}$: a negative derivative gives ultraviolet attraction, a positive derivative infrared attraction. Marginal zeros, such as a cubic renormalization-group beta function at the origin, require looking at the first nonzero nonlinear term.

Put $z=p^2/{\mu }^2>0$, $t=\frac{1}{2}\log z$, and write the dimensionless quantum field theory propagator factor as $d(z,g)$. The two-point Callan-Symanzik equation becomesLet $\bar{g}(0)=g$ and $d\bar{g}/dt=\beta (\bar{g})$. The renormalization-group characteristic solution for a two-point function isWhere $\beta \ne 0$, the exponent is $2{\int }_g^{\bar{g}(t)}{\gamma }_{\varphi }(u)/\beta (u)du$. Thus the ultraviolet behavior depends on where the running coupling goes and on the anomalous dimension accumulated along the flow. A weak ultraviolet fixed point or asymptotically free limit permits perturbative evaluation; a flow to large values of the coupling constant does not.

For $\beta (g)=-b{g}^3$ and ${\gamma }_{\varphi }=c{g}^2$, $b>0$,ConsequentlyFor large positive $z$, the coupling constant tends to zero. If the normalization function $d(1,g)$ has a finite nonzero free-field limit $d(1,0)$, then $d(z,g)\sim d(1,0)[b{g}^2\log z{]}^{c/b}$. Equivalently, with $\Lambda =\mu \exp [-1/(2b{g}^2)]$,The positive exponent follows from the sign of $+n{\gamma }_{\varphi }$ in the printed RG equation; changing the field-renormalization anomalous dimension convention would change both signs together.

For the quintic renormalization-group beta function, set $B=-b>0$ and rename its positive quintic coefficient $A$ to avoid confusion with the later gauge-theory coupling constant. Then $\beta (g)=g^3(B-A{g}^2)$ has a nonzero fixed pointEvery nonzero positive running coupling in the perturbative basin approaches this ultraviolet fixed point, rather than approaching zero. The zero coupling constant is infrared attractive. If the same ${\gamma }_{\varphi }=c{g}^2$ is retained, the large-momentum factor is $d(z,g)\sim C{z}^{cB/A}$, assuming a regular nonzero matching factor at the fixed point. More generally the exponent is ${\gamma }_{\varphi }(g_{\ast })$. A fixed point at a large coupling constant inferred from a truncated renormalization-group beta function is only a formal extrapolation; perturbative control requires $B/A$ small.

For the gauge theory use the supplied convention $a=g^2/(16{\pi }^2)$ and evolution variable $L=\log {\mu }^2$. Asymptotic freedom requires ${\beta }_0>0$, or $n<11N/2$. To one-loop accuracy,The integration constant $\Lambda$ is an example of dimensional transmutation. With two loops this is the leading asymptotic expression, not an exact equality: if $\mathcal{L}=\log ({\mu }^2/{\Lambda }^2)$ is large,The expansion presumes fixed coefficients and a scale high enough to enter the ultraviolet regime.

Choose $n=11N/2-\delta$ with $0<\delta \ll N$, respecting integer flavor counts. The supplied coefficients becomeThus ${\beta }_1<0$ for sufficiently small $\delta /N$, and the two-loop flow has the Banks-Zaks fixed pointBoth $a_{\ast }$ and the loop-counting combination $N{a}_{\ast }$ are small. Its slope is ${\beta }^{\prime }(a_{\ast })=-{\beta }_0^2/{\beta }_1>0$, so it is infrared attractive. For even large $N$, taking $n=11N/2-1$ provides an explicit integer sequence with the desired parametric hierarchy. As a finite example, $N=3,n=16$ gives ${\beta }_0=1/3$, ${\beta }_1=-302/3$ and $a_{\ast }=1/302$. The fermion-count convention is the one encoded by the given coefficients.

The photon propagator gives approximately $d{\sigma }_{\mathrm{NC}}/d{Q}^2\propto 1/(Q^2{)}^2$, whereas a massive W boson gives $d{\sigma }_{\mathrm{CC}}/d{Q}^2\propto 1/(Q^2+M_W^2{)}^2$. Up to different coupling constant values, parton distribution functions and angular factors,Consequently the low-$Q^2$ charged current suppression disappears as $Q^2$ approaches $M_W^2$. The source graph shows comparable cross sections at $Q^2$ of order $10^4{\mathrm{GeV}}^2$, so the relevant mass scale is of order $10^2\mathrm{GeV}$.

A more quantitative, still rough reading uses the $e^{-}p$ ratio $R_1\simeq 0.006$ near $q_1=300{\mathrm{GeV}}^2$ and $R_2\simeq 0.17$ near $q_2=2000{\mathrm{GeV}}^2$, where $q_i$ denotes $Q^2$, not $Q$. If $C$ varies slowly over this interval, set $\kappa =\sqrt{R_2/R_1}{q}_1/q_2$. ThenThe reading is compatible with roughly $70$–$100\mathrm{GeV}$; it is not a precision mass determination. In particular, Z boson exchange contributes to the neutral current at high $Q^2$, and the parton distribution functions do not cancel exactly. Equality of two inclusive cross sections alone does not define $M_W$.

The local Fermi interaction gives a three-body leptonic decay width of the format tree level with negligible neutrino masses and universal weak coupling constant values. The fifth power follows from the dimension of $G_F$ and the three-body phase space; $f$ results from integrating the V-A interaction matrix element over the reduced phase space when the charged daughter has nonzero mass. It is more than a purely geometric volume correction because the spin-dependent matrix element is included.

As $z\to 0$, $f(z)\to 1$; increasing daughter mass reduces the available energy and suppresses the rate. The largest ratio is $m_{\mu }/m_{\tau }$, so the $\tau \to \mu$ correction is visibly below one. The electron is extremely light relative to either parent. Using the lepton masses givesThese reproduce the supplied factors to their stated accuracy. Radiative and finite-W boson corrections are separate small corrections when a precision lepton universality test is performed.

Lepton universality means that the weak charged current couples equally to the three charged lepton families after accounting for masses and known radiative corrections. In the ratio of two tau lepton leptonic decay widths, the parent coupling constant, mean lifetime and $m_{\tau }^5$ cancel:The universal prediction is $B_{\mu }/B_e=0.97256/0.9999993=0.9725607$. The measured ratio is $17.41/17.83=0.97644$, givingif the quoted errors are treated as independent. This is consistent with unity at about $1.2$ standard deviations. An actual precision fit must retain the measured covariance and the small radiative corrections; the rounded table alone does not supply those correlations.

Assuming that the two listed leptonic decay categories exhaust the leptonic modes, the inclusive hadronic branching fraction is $100-17.83-17.41=64.76\%$. ThusAt the simplest massless quark level, the W boson couples to $u\bar{d}$ and $u\bar{s}$ in three color charge states, so equal quark and lepton weak coupling constant values predictThis is a rough check of color multiplicity in a decay width and universal weak-current normalization. It is much less precise than the two-lepton ratio because hadronic Quantum chromodynamics and electroweak interaction corrections are sizeable: the data require a net correction factor near $3.632/3.0024\simeq 1.21$. They must be included before extracting a quark-to-lepton coupling constant ratio. It would be incorrect to interpret the excess over three directly as a failure of weak universality. The displayed exclusive hadronic modes alone would underestimate the inclusive sum.

An incoming fermion contributes a Dirac spinor $u_s(p)$ and an outgoing fermion contributes its Dirac adjoint ${\bar{u}}_s(p)=u_s^{†}(p){\gamma }^0$. The label $s$ specifies a spin state; $p$ is the on-shell four-momentum. Incoming and outgoing antifermions instead contribute ${\bar{v}}_s(p)$ and $v_s(p)$.

The exchanged boson is a virtual photon, represented in the Feynman rules by the photon propagator $-i{g}_{\mu \nu }/(q^2+iϵ)$ in Feynman gauge. Its momentum transfer is $q=p_1-p_3=p_4-p_2$; unlike an external real photon, it need not satisfy $q^2=0$. Each Feynman vertex contracts a gamma matrix with this propagator and contributes $-ie{\gamma }^{\mu }$ in a conventional QED sign convention. The coupling constant $e$ sets the interaction strength, with fine-structure constant $\alpha =e^2/(4\pi )$. One may reverse the sign of the photon field and both vertex signs without changing the result. The gamma matrices obey $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }I$, with Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$.

The covariant derivative $D_{\mu }$ differentiates a field while preserving its transformation law under the local electroweak gauge symmetry $SU(2{)}_L\times U(1{)}_Y$. Here ${\partial }_{\mu }$ is the ordinary spacetime derivative and $\mu$ a Lorentz index. The gauge fields $W_{\mu }^j$, $j=1,2,3$, are the three SU(2) fields; $B_{\mu }$ is the U(1) field. The corresponding dimensionless coupling constant is $g$ for SU(2) and $g^{\prime }$ for U(1).

The ${\tau }_j$ are weak isospin generators in the representation of the differentiated field, with ${\tau }_j={\sigma }_j/2$ on a doublet and ${\tau }_j=0$ on an SU(2) singlet. The repeated index $j$ is summed. The generator $Y/2$ supplies the field's weak hypercharge in the convention $Q={\tau }_3+Y/2$, where $Q$ is its fractional electric charge. The factor $-i$ follows the convention of Hermitian generators. The two connection terms compensate the derivatives of spacetime-dependent gauge transformations.

Let brackets denote mass dimension. In natural units, $[x]=-1$ and $[{\partial }_{\mu }]=1$, so a dimensionless action requires $[\mathcal{L}]=D$. The kinetic term fixesThe cubic scalar field theory interaction then requires $[\lambda ]+3[\varphi ]=D$, givingThe coupling constant is dimensionless at this critical dimension of a monomial scalar interaction. For $D<6$ it has positive mass dimension, while for $D>6$ it has negative mass dimension, the usual power counting distinction between super-renormalizable and non-renormalizable cubic interactions.

Because the quartic coupling constant has mass dimension $ϵ=4-D$, introduce a renormalization scale $\mu$ and define the dimensionless renormalized coupling $g$ by minimal subtraction scheme:Here ${\lambda }_0$ is the fixed bare coupling constant. Equivalently the tree-level quartic term is $-{\mu }^{ϵ}g{\varphi }^4/4!$, and its one-loop counterterm is $-{\mu }^{ϵ}3g^2{\varphi }^4/(16{\pi }^2ϵ4!)$. This states explicitly the scale convention implicit in solution.

Put $a=3/(16{\pi }^2)$. Differentiating the bare relation at fixed ${\lambda }_0$ givesWrite $\hat{\beta }=-ϵg+b{g}^2+O(g^3)$. The coefficient of $g^2$ in the last identity is $a+b-2a$, so $b=a$. ThereforeThe first term is the engineering term in a dimensionally continued beta function. In four dimensions it disappears, leaving the positive one-loop quartic scalar beta function $3g^2/(16{\pi }^2)$. Thus the renormalized coupling increases with increasing renormalization scale near weak positive coupling. This quantum running is the obstruction to extending the classical scale invariance in solution to the interacting quantum theory.

Use mass dimensions with $[x]=-1$, $[{\partial }_{\mu }]=1$ and dimensionless action. The Lagrangian density in Euclidean space has dimension $D$, and the kinetic term fixes $2+2[{\varphi }_0]=D$. ThusA dimensionless coupling constant is thereforeHere $\mu$ is a positive regularization scale with mass dimension one. The interaction is marginal at its upper critical dimension $D_c=2k/(k-1)$, relevant below it and irrelevant above it by this engineering-dimension test. In particular, $d_2=4-D$, while $d_k=4-2k+2(k-1)ϵ$ near $D=4-2ϵ$. At this stage $g_{2k}$ is the dimensionless version of the displayed bare coupling; after introducing counterterms one may use the same scale factor for the renormalized coupling.

A phase in a hadronic matrix element generated by strong interaction dynamics, including rescattering of final states. It does not change sign under conjugation of the weak coupling constant. Interference measurements depend on relative strong phases, rather than their common overall value.