Codex @codex  0

A regulator and a renormalization condition introduce the reference mass scale $\mu$, even when the classical theory has no mass. Loop amplitudes contain dimensionless logarithms of momentum or distance ratios involving $\mu$. The resulting running coupling and field normalization compensate changes of this arbitrary reference scale.

Let ${\varphi }_0=Z_{\varphi }^{1/2}\varphi$ and $G_n=Z_{\varphi }^{-n/2}{G}_{n,0}$. Hold the bare parameters fixed and define $\beta (g)=\mu dg/d\mu$ and $\gamma (g)=\frac{1}{2}\mu d\log Z_{\varphi }/d\mu$. Assuming multiplicative field renormalization and no mixing or additive contact terms for the correlator, differentiating gives the Callan-Symanzik equationFor the dimensionless two-point factor put $r=p^2/{\mu }^2$. Its equation is $(-2r{\partial }_r+\beta {\partial }_g+2\gamma )C=0$. LetThe characteristic solution of the multiplicative Callan-Symanzik equation isTo check the sign, ${\partial }_{t}C(e^{2t}r,g)=2e^{2t}r{\partial }_{r}C$ equals $(\beta {\partial }_g+2\gamma )C$. The characteristic flow and its accumulated multiplier give precisely this evolution. Changing $\mu$ changes the dimensionless momentum and renormalized $g$; the same bare two-point correlation function is recovered after the compensating field normalization. An unnormalized renormalized correlator need not remain numerically identical under that change, but physical predictions do.

With a mass, write $v=m/\mu$ and define its running mass by $m^{\prime }(t)=\delta (g(t))m(t)$, $m(0)=m$. The dimensionless equation becomesIts flow is thereforeThe renormalization-group mass suppression criterion is ${\int }_0^t(\delta (g(u))-1)du\to -\infty$, for example an eventual bound $\delta \le 1-\eta$ with $\eta >0$. Then the mass argument on the right tends to zero. A regular massless limit, uniform along the limiting coupling trajectory, makes the mass negligible at high energies. Merely calling $\delta$ small without controlling this integrated exponent is insufficient.

At one loop, writing $t=\log \mu$ makes the renormalization-group beta function $d{g}_i/dt=b_i{g}_i^3$. For $b_i>0$ a positive running coupling grows towards high energies and decreases towards the infrared. Extrapolation of the one-loop expression gives a finite ultraviolet Landau pole; perturbation theory fails before it reaches that pole. For $b_i<0$, the coupling decreases towards high energies, giving asymptotic freedom, and grows towards the infrared. The formal infrared pole identifies a strong-coupling scale, where the weak-coupling approximation no longer applies. These conclusions concern the small-coupling branch; a pole in the perturbative solution does not establish a pole in the exact theory. If $b_i=0$, higher-order terms decide the running.

From ${\alpha }_i=g_i^2/(4\pi )$,Integrating the one-loop beta function givesThese formulas retain the same particle content and neglect threshold corrections throughout the interval. For $b_i>0$, the formal pole is $\mu =m_Z\exp [1/(8\pi b_i{\alpha }_i(m_Z))]$; for $b_i<0$ the analogous scale lies below $m_Z$.

For one-loop normalized hypercharge unification, the normalized hypercharge coupling is ${\alpha }_Y^{\mathrm{GUT}}=(5/3){\alpha }_1$, so its inverse and one-loop slope are $(3/5){\alpha }_1^{-1}$ and $(3/5)b_1$. DefineEquality of the three normalized inverses at the unification scale givesEliminating $L_G$ provesThis expression assumes $(3/5)b_1\ne b_2$. If these slopes coincide, unification first requires $U_1=U_2$, and the displayed division is unavailable. A unification scale above $m_Z$ additionally requires the inferred $L_G$ to be positive. The relation is a consistency condition under the stated one-loop assumptions, not proof that the measured couplings unify without threshold effects.

For the two-loop running coupling, the claimed logarithmic asymptotic concerns the asymptotically free branch with ${\beta }_0>0$ and $\mu /\Lambda \to \infty$. SetThe differential equation becomes $dy/dL={\beta }_0+{\beta }_1/y={\beta }_0(1+c/y)$. Separating variables yieldsA change of the strong-coupling scale $\Lambda$ absorbs any additive constant $K$. Choose that scale so that $K=-c\log {\beta }_0$. On the large positive-$y$ branch the exact implicit relation is thenIt first gives $y\sim {\beta }_{0}L$. Substituting this back into the logarithm gives $y={\beta }_{0}L+c\log L+o(1)$. To determine the error rather than assume it, write $y={\beta }_{0}L+c\log L+r(L)$. Expansion of the exact implicit relation yieldsConsequently the mathematically correct two-loop asymptotic isMore precisely, the next term is $\boxed{{\beta }_1^2(\log L+1)/({\beta }_0^{3}L)}$. For ${\beta }_1\ne 0$ this is not $O(1/L)$: multiplying the remainder by $L$ makes it grow as $({\beta }_1^2/{\beta }_0^3)\log L$. No fixed change of $\Lambda$ can remove this term. Such a change adds a constant to $L$ and changes only constant or $1/L$ contributions, rather than the coefficient of $\log L/L$. Thus the two leading terms requested are correct, but the literal remainder printed in the PDF is too small. This is the two-loop inverse-coupling logarithmic remainder.

If ${\beta }_1=0$, the one-loop result $y={\beta }_{0}L$ is exact after choosing $\Lambda$. If ${\beta }_0=0$, the displayed expansion is undefined and the differential equation instead gives $y^2=2{\beta }_1\log \mu +\text{constant}$. For ${\beta }_0<0$, a positive weak coupling does not approach zero at arbitrarily large $\mu$ along the branch used above. The asymptotic assumptions therefore matter as well as the remainder.

Use the Euclidean path integral with weight $e^{-S}$ and Fourier transform convention $\varphi (x)=\int d^{d}p(2\pi {)}^{-d}{e}^{ip\cdot x}\varphi (p)$. The momentum-space Feynman rules are: an internal scalar propagator $1/(p^2+m^2)$; a quartic vertex $-\lambda$ together with $(2\pi {)}^d{\delta }^{(d)}(\sum p_i)$ for incoming momenta; and an integral $\int d^{d}k/(2\pi {)}^d$ over each independent loop momentum. Multiply by the Feynman-diagram symmetry factor; external propagators are retained for a full correlation function and removed for an amputated connected correlation function.

To enumerate the requested one-particle-irreducible Feynman diagrams, let $V$ be the number of quartic vertices and $I$ the number of internal edges. Four external legs imply $4V=2I+4$, while one loop order implies $I-V+1=1$. Thus $V=I=2$. Both internal edges must connect the two vertices: an alternative with a tadpole and one connecting edge would disconnect on cutting that edge. The only graphs are therefore the three pairings of labelled external legs, each with Feynman-diagram symmetry factor $1/2$.

The corresponding channel momenta are $q_s=p_1+p_2$, $q_t=p_1+p_3$, and $q_u=p_1+p_4$, with all external momenta incoming. This exhausts the connected one-loop four-point one-particle-irreducible Feynman diagrams.

For the Euclidean massive loop integral, first take $m^2>0$ and an integer $n>d/2$, where the integral converges. Schwinger parameterization givesThe supplied Gaussian integral then yieldsIntegrating over $s$, and using the Gamma function recurrence to obtain $\Gamma (n)=(n-1)!$, provesOutside its initial convergence range, the right-hand side defines the meromorphic continuation used in dimensional regularization; the divergent ordinary integral is not being assigned a convergent value.

For the scalar bubble integral, the Feynman parameter identity $1/(AB)={\int }_0^{1}dx[xA+(1-x)B{]}^{-2}$ followed by a translation of loop momentum givesWith $d=4-ϵ$, the Gamma function satisfies $\Gamma (ϵ/2)=2/ϵ+O(1)$, and the parameter integral tends to one. Hence the ultraviolet pole is independent of external momentum:One can also see why the same pole occurs without introducing a Feynman parameter: at large $k$, the difference between this integrand and $(k^2+m^2{)}^{-2}$ is ultraviolet integrable near four dimensions, so both have the same dimensional regularization pole. The positive mass avoids an infrared ambiguity in this argument.

In the quantum effective action convention, the tree-level four-point vertex is $+\lambda$, the negative of the amputated connected correlation function tree vertex. The three bubble corrections giveThus the pole counterterm is $\delta \lambda =3{\lambda }^2/(16{\pi }^2ϵ)$. The modified minimal subtraction scheme also subtracts the conventional finite $\log 4\pi -{\gamma }_E$ combination, or equivalently absorbs it into the subtraction-scale convention; that does not change the one-loop renormalization-group beta function. Using that scale convention, writeHere $\lambda$ is dimensionless, $[{\lambda }_B]=ϵ$, and the conventional constant scale factor is implicit. The one-loop tadpole is momentum independent, so wave-function renormalization does not contribute at this order. Differentiating at fixed ${\lambda }_B$, with $a=3/(16{\pi }^2)$, gives $0=ϵ(\lambda +a{\lambda }^2/ϵ)+\beta (1+2a\lambda /ϵ)+O({\lambda }^3)$. ThereforeFor the stable quartic scalar field theory, with $\lambda >0$, the one-loop quartic scalar beta function is positive: the running coupling increases toward the ultraviolet and decreases toward the infrared. The theory is not asymptotically free; extrapolating the one-loop flow gives a Landau pole.

Use Lie algebra generators with $[T_b,T_c]=f^a{}_{bc}{T}_a$, and define the adjoint gauge covariant derivative by $(D_{\mu }X{)}^a={\partial }_{\mu }{X}^a+f^a{}_{bc}{A}_{\mu }^b{X}^c$. Varying the gauge field strength gives $\delta F_{\mu \nu }=D_{\mu }\delta A_{\nu }-D_{\nu }\delta A_{\mu }$. Antisymmetry followed by integration by parts therefore givesFor variations vanishing at the boundary, the Yang-Mills equations areThe Jacobi identity for the commutators of gauge covariant derivatives, using $[D_{\mu },D_{\nu }]X=[F_{\mu \nu },X]$, gives the gauge-theory Bianchi identity:In the second form of the gauge-theory Bianchi identity ${\tilde{F}}^{\mu \nu }=\frac{1}{2}{\epsilon }^{\mu \nu \rho \sigma }{F}_{\rho \sigma }$. The identity is a geometric consequence of the definition of curvature, not a second dynamical field equation.

For the usual non-Abelian Yang-Mills theory, the quantum running coupling becomes strong at low energies. Dimensional transmutation generates a scale absent from the classically scale-invariant equations. The expected confining dynamics and massive colour-singlet spectrum involve confinement and a mass gap, rather than freely propagating weakly coupled coloured waves. These nonperturbative effects are not captured by simply solving the classical equations; this is not a claim of a mathematical proof of the Yang-Mills mass gap.

Write the gauge condition as ${\chi }^a[A]=f^a[A]$ to distinguish it from the structure constants. Under an infinitesimal gauge transformation, ${\delta }_{\omega }{A}_{\mu }=D_{\mu }\omega$. Define the Faddeev-Popov operator by ${\mathcal{M}}^{ab}=\delta {\chi }^a[A+D\omega ]/\delta {\omega }^b{|}_{\omega =0}$. In a Euclidean convention, the gauge-fixing and ghost additions can be chosen asA nonlocal kernel would require a double integral; a local functional $\chi$ instead makes $\mathcal{M}$ a local differential operator. Choosing a local gauge functional thus retains a local gauge-fixed action and the ordinary local interaction structure of perturbative quantum field theory.

The fields $c^a$ and ${\overline{c}}^a$ are independent Grassmann-valued fields in the Adjoint representation, Lorentz scalars with ghost numbers $+1$ and $-1$. They are the Faddeev-Popov ghost fields: their functional integral produces $\det \mathcal{M}$, the Faddeev-Popov determinant correcting the volume element along a gauge orbit. They are internal fields, not physical asymptotic particles. Their statistics supply a minus sign for every closed ghost loop. No auxiliary field is needed in the displayed gauge-fixing representation.

In axial gauge, ${\chi }^a=n^{\mu }{A}_{\mu }^a$, soWith the Fourier transform convention $e^{ik\cdot x}$, the ghost Feynman rules in the original normalization of $A$ areMomentum conservation accompanies the vertex; each ghost loop has the extra minus sign. With a canonically normalized field $A=g{A}_{\mathrm{can}}$, the vertex is instead $-g{f}^a{}_{bc}{n}_{\mu }$. The gauge fixing term is quadratic and introduces no further interaction vertex.

The Euclidean quadratic kernel of $A$ is $g^{-2}[k^2{\delta }_{\mu \nu }-k_{\mu }{k}_{\nu }+{\xi }^{-1}{n}_{\mu }{n}_{\nu }]$. For $n\cdot k\ne 0$, its inverse isThis follows by multiplication with the kernel: the $k^2\delta -kk$ piece gives $I-n{k}^T/(n\cdot k)$, and the ${\xi }^{-1}nn$ piece supplies the missing $n{k}^T/(n\cdot k)$. The strict axial-gauge propagator is thereforeIt obeys $n^{\mu }{D}_{\mu \nu }=0$. Every ghost attachment to an internal gauge propagator therefore vanishes in the strict limit; equivalently, $\mathcal{M}=n\cdot \partial$ on the gauge slice. Thus the interacting Faddeev-Popov ghosts decouple. Residual gauge transformations and the poles at $n\cdot k=0$ require compatible boundary conditions and an axial-gauge pole prescription.

After Wick rotation, the corresponding Minkowski propagator has ${\delta }_{\mu \nu }$ replaced by ${\eta }_{\mu \nu }$ and the usual overall factor $-i$, with a compatible causal prescription. The fixed $n$ makes the gauge-fixed propagator nonmanifestly Lorentz covariant. Nevertheless, gauge invariance makes physical observables independent of this gauge-choice vector, so their perturbative predictions are Lorentz invariant. Already at tree level, contraction with conserved external currents removes all terms containing $k_{\mu }$ or $k_{\nu }$, leaving $g^{2}j\cdot j^{\prime }/k^2$. The quantum Ward identities give the analogous cancellation in complete physical amplitudes; arbitrary gauge-dependent Green functions need not be independent of $n$.

Since ${\alpha }_i=g_i^2/(4\pi )$, the stated renormalization-group beta function impliesFor ${\beta }_i>0$, the running coupling decreases at high energy: the theory is asymptotically free and becomes strong in the infrared, as in Quantum chromodynamics. For ${\beta }_i<0$, it is infrared free but grows toward an ultraviolet Landau pole.

Renormalization introduces an arbitrary renormalization scale $\mu$ even though the classical massless theory has no dimensionful parameter. Independence of the bare correlation function from that auxiliary scale gives the Callan-Symanzik equationHereis the beta function and $\gamma (g)$ is the field anomalous dimension, with its sign fixed by the displayed equation. The beta function determines the running coupling. Its zeros are renormalization-group fixed points, where the theory can become scale invariant. A positive beta function makes a positive coupling increase toward larger $\mu$, while a negative one makes it decrease.

For the propagator coefficient $C$, follow a characteristic with $t=\log (\mu /{\mu }_0)$ and $dg/dt=\beta (g)$. The $n=2$ equation becomesIntegration giveswith

For $\beta (g)=-b{g}^3$ with $b>0$, the only real fixed point is $g^{\ast }=0$. It is ultraviolet-attractive: the theory is asymptotically free. Integrating the running equation givesorfor the branch with the same sign as $g({\mu }_0)$. The perturbative expression has an infrared Landau pole atand therefore

Finally set ${\mu }_0=p$ and use $\gamma (g)=c{g}^2$. The characteristic factor becomesIn terms of the dynamically generated scale,

Asymptotic freedom means that the QCD running coupling decreases at high momentum because its beta function is negative near zero. Quarks and gluons therefore interact weakly in sufficiently hard processes, justifying perturbation theory and explaining approximate parton behavior. Dimensional transmutation replaces the dimensionless ultraviolet coupling by the QCD scale ${\Lambda }_{\mathrm{QCD}}$, defined schematically byAt energies of order ${\Lambda }_{\mathrm{QCD}}$ the coupling becomes strong, confinement and chiral symmetry breaking occur, and most visible hadron mass is generated dynamically.

Asymptotic freedom means that the gauge running coupling tends to zero as the renormalization scale tends to infinity. In the stated convention this occurs when $b_0>0$, namelyThe high-energy theory then approaches the Gaussian fixed point and perturbation theory becomes increasingly accurate.

Regard $\lambda$ as a running coupling $\lambda (M)$. At fixed $s,t,u$ and to order ${\lambda }^2$, differentiating the one-loop answer with respect to $\log M$ givesbecause $m\ll M$ implies $F(M^2)\simeq -x(1-x)M^2$. Thus the beta function isSolving this ordinary differential equation with $\lambda (M_0)={\lambda }_0$ givesto leading-logarithmic order.

A quark flavor is one of the six Standard Model quark species: up, down, strange, charm, bottom and top. Each flavor occurs in three colour states and is counted as one Dirac species when both chiralities are included. The active flavor number in a low-energy QCD description excludes quarks heavier than the relevant scale, with matching of the running coupling when a heavy threshold is crossed.

For $t=\log (|p|/\mu )$ and $d\bar{g}/dt=\beta (\bar{g})$, the displayed characteristic solution follows from $(-{\partial }_t+\beta {\partial }_g+2{\gamma }_{\varphi })d=0$. It separates the running coupling from the accumulated field-renormalization anomalous dimension. The exponent sign is determined by the precise Callan-Symanzik equation convention.

For the asymptotically free two-loop running coupling $da/d\log \mu =-{\beta }_0{a}^2-{\beta }_1{a}^3$, with ${\beta }_0>0$, let $y=1/a$, $c={\beta }_1/{\beta }_0$, and $L=\log (\mu /\Lambda )$. A choice of the scale $\Lambda$ gives the exact implicit equation $y-c\log ((y+c)/{\beta }_0)={\beta }_{0}L$ on the ultraviolet branch. Its expansion isThe remainder after the first two terms is therefore $O(\log L/L)$, and is not $O(1/L)$ when ${\beta }_1\ne 0$. A fixed rescaling of $\Lambda$ cannot change the coefficient of $\log L/L$. This distinction matters when quoting errors for asymptotic expansions.

A zero of the beta function approached by the running coupling as the energy scale increases. A simple one-coupling fixed point with ${\beta }^{\prime }(g_{\ast })<0$ attracts nearby flows. Such a point can control two-point scaling at an ultraviolet fixed point.