The RNS string adds worldsheet Majorana fermions to the coordinate fields . The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action is
where are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current .
Each real worldsheet Majorana fermion contributes to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes , and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights , with central charge . Thus
In light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.
On the doubled spatial interval of an open string, the two allowed fermionic periodicities are
They arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators , including , and the Neveu–Schwarz sector has half-integer oscillators , , without zero modes. In either sector,
A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.
The Ramond zero-mode Clifford algebra is
Hence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation . In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.
The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is . Per fermion it is the negative of the corresponding half-sum. Since , the eight transverse pairs give
Thus , , and the open string mass formula is . This distinguishes the lowest states explicitly:
The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining so that the NS vacuum has , its projector is
It removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may write
Here counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.
For a closed string, both chiral zero-mode constraints must hold:
This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.
For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by , with transverse counts . The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are , with self-dual five-form field strength, giving . Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.
If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential , and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select . This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.
Let be the compact coordinate, identified modulo . The closed string may wrap the circle:
Single-valued momentum eigenfunctions require , . These are the momentum and winding modes. Write the chiral zero-mode momenta as
The left-moving string oscillators will be tilded: , . This fixes the sign in compact-circle closed-string level matching.
Define the lower-dimensional mass by . The two closed-string physical-state Virasoro conditions, with bosonic string intercept one, are
Their average and difference derive the complete free bosonic string mass spectrum on the circle:
The allowed states have nonnegative integer oscillator levels and obey the Virasoro constraints within each chiral sector. Compactification has not removed oscillator polarizations; it has added quantized compact momentum and allowed winding while changing the lower-dimensional interpretation of those polarizations.
At large , the momentum and winding modes with have closely spaced momentum energies , whereas nonzero winding costs . At small their roles reverse. The precise equality is T-duality:
It leaves unchanged and reverses , and leaves the mass formula and closed-string level matching unchanged. On the string embedding map it reverses the right-moving part of . Therefore the small-radius spectrum is the large-radius spectrum of the dual theory, rather than a spectrum in which all charged states simply become heavy.
At a generic radius, the neutral level contains the lower-dimensional graviton, Kalb–Ramond field and dilaton, two gauge bosons from the mixed components of the metric and two-form, and the radius modulus of a string compactification. The two vector charges are the Cartan charges of .
Consider instead the following charged states:
Every state satisfies compact-circle closed-string level matching. The single noncompact string oscillator supplies a vector polarization. At the massless point, the level-one Virasoro constraint imposes transverse polarization and its physical null string state identifies polarizations differing by the noncompact momentum. Thus these are genuine lower-dimensional vector states. Their squared mass is
Thus four additional charged massless spin-one particles appear at
For the charges have , ; for they have , . This identifies the two pairs of charged roots.
The enhanced gauge group can be derived rather than just inferred from counting. At the self-dual circle, the chiral compact boson satisfies . The self-dual circle current algebra has currents
The exponentials have conformal weight . Free-boson contractions give the operator product expansions
They form the level-one SU(2) Lie algebra, and there is an independent right-moving copy. The string vertex operators and give the six massless vectors. Consequently
Changing gives the four charged vectors the mass found above, consistent with the radius deformation as a Higgs mechanism.
For completeness, the enhanced spectrum also has scalar fields. Using a compact rather than noncompact oscillator in the four singly excited charged families gives four scalars. At , closed-string level matching requires ; the mass equation then gives the four charges . These exceptional massless ground states of a bosonic circle give another four scalars. Together with the radius scalar they form nine scalars in the representation, in addition to the neutral dilaton. The ever-present neutral bosonic tachyon still has . The enhancement establishes the additional massless vectors, not stability of the entire bosonic vacuum.
The Polyakov action introduces an independent worldsheet metric :
Its redundancies are worldsheet diffeomorphisms and Weyl transformations. A Polyakov path integral over all metrics without dividing by this gauge volume would count physically equivalent configurations repeatedly. Fixing conformal gauge therefore needs the Faddeev-Popov determinant, not merely the substitution of a flat metric into the action.
After using the Weyl transformation to remove the trace of a metric variation, the infinitesimal worldsheet diffeomorphism ghost operator is
The Faddeev-Popov determinant of this operator is represented by anticommuting fields: a vector Faddeev-Popov ghost and a symmetric traceless Faddeev-Popov antighost field . In Euclidean coordinates their worldsheet ghost action is, up to a consistent overall normalization,
The two chiral copies of this bc system have conformal weights and anticommutators . They are auxiliary fields for the gauge determinant, not additional spacetime particles. Their use is different from the unwanted timelike negative-norm string states of covariant matter quantization.
The chiral holomorphic stress-energy tensor of the bc system is
Double contractions in its operator product expansion give the central charge of reparameterization ghosts . Equivalently, a fermionic bc system with antighost weight has , and gives . The free coordinate matter contributes . Thus the total worldsheet Weyl anomaly vanishes for the flat critical bosonic string theory precisely when
This statement assumes no additional matter or compensating Liouville field theory.
BRST symmetry expresses the gauge symmetry after gauge fixing by replacing its infinitesimal parameter with the Grassmann variable . In one chiral conformal patch, its graded action has the form
there is an analogous barred copy for a closed string. The Grassmann parity makes : the term from cancels the term from applying to , while the term with vanishes. The gauge-fixed chiral transformations are on shell when their conservation equations are used. At the quantum level, BRST nilpotence also tests the anomaly.
For example, an open string BRST charge can be written using the matter Virasoro generators as
Use the ghost oscillator vacuum and the corresponding oscillator normal ordering. In this convention the last term is in the critical theory. With a differently shifted ghost , the displayed intercept must be shifted consistently; one must not count the same shift twice. Squaring shows why both critical conditions are needed. Its anomalous terms, in this convention, have coefficients
The independent cubic and linear terms vanish at , . The equivalent chiral BRST current is , with its contour integral defining the charge.
The graded identity recovers the gauge constraints. In particular, on , BRST-closed imposes and . Physical states are classes in BRST cohomology,
at the appropriate ghost number: one for the usual open-string vertex and two for the closed-string vertex, with the closed-string zero-mode and closed-string level matching conditions also imposed. Since , an exact shift preserves closure. BRST Ward identities make exact insertions decouple from physical amplitudes and establish gauge independence. Together with the no-ghost theorem for the critical bosonic string, this explains how the auxiliary ghosts enforce gauge invariance while the physical spectrum retains positive norm.
The Nambu–Goto action is invariant under worldsheet diffeomorphisms. Its canonical Nambu–Goto phase-space constraints are
In conformal gauge, , so these become . Their smeared generators implement the residual conformal transformations rather than independent propagating degrees of freedom. Classically their Fourier modes form the classical Virasoro constraint algebra. Quantization promotes them to the Virasoro algebra, and its constraints select the physical string states from the indefinite covariant Fock space.
For clarity, start with a Neumann boundary condition at both ends of an open string, . Its open-string mode expansion is
Canonical quantization gives the string oscillator relations
With , the worldsheet stress-energy tensor obeys
Substituting the open-string mode expansion into this quadratic expression derives the Virasoro generators:
The colons mean normal ordering, placing the negative-mode creation operators to the left. The string level operator increases by when an oscillator is added.
Using the commutator once gives
Applying this to the quadratic expression for produces , together with the double-contraction Virasoro central extension. To determine its coefficient, take and evaluate on a zero-momentum oscillator vacuum. Only the creation pairs with contribute, giving
Here is the target spacetime dimension; the timelike free boson also contributes one to the central charge, since a double contraction contains two metric factors. Thus
This derives both the Virasoro generators and their quantum anomaly.
In old covariant string quantization, the physical-state Virasoro conditions for an open string are
where is the normal-ordering constant of a string. Requiring all positive and negative modes to annihilate a state would contradict the nonzero Virasoro central extension; the positive-mode prescription is the appropriate covariant subsidiary condition. The zero-mode equation gives the open bosonic string mass spectrum,
For a closed string, there are two commuting Virasoro algebras. With uncompactified zero modes, and . Imposing both positive-mode conditions and both zero-mode conditions gives the closed-string level matching and .
Covariance initially retains the timelike string oscillators. For example, has negative norm because . Its existence in the unconstrained space is not an inconsistency if it is absent from the physical quotient. The no-ghost theorem for the critical bosonic string states that, at and , the inner product on physical string states at ordinary nonzero momentum is positive semidefinite. After quotienting physical null string states, this physical space is represented by the 24 positive-norm transverse string oscillators.
A spurious string state has the form . Its inner product with every physical string state vanishes, by and . Whenever such a state is itself physical, it is a null string state and represents a gauge redundancy, not an extra polarization. Consequently the physical quotient has no negative-norm propagating states, and agrees with light-cone gauge in string theory. This is the significance of the theorem; a proof is not needed here. It does not eliminate the bosonic tachyon, whose negative mass squared is distinct from negative norm, nor does it remove the auxiliary worldsheet ghost fields used in gauge fixing.
Use Minkowski spacetime with signature , and write the string tension as . If is the string embedding map, its induced worldsheet metric is . The Nambu–Goto action is
The first variation uses and therefore gives
An integration by parts yields the bulk Nambu–Goto equations of motion and the endpoint term:
For a closed string, periodicity cancels the endpoint term. For a freely moving open string, arbitrary endpoint variations require zero momentum flux, which is the free-end string boundary condition.
Choose orthogonal conformal coordinates on the nondegenerate part of the worldsheet, so that and . The Nambu–Goto equations of motion then become a wave equation, with the accompanying Virasoro constraints:
Here a dot and a prime mean and . The last two equations are essential: a solution of the wave equation alone need not be a relativistic fundamental string motion.
For a free-ended open string, take and , and set
with the other coordinates constant. Every component satisfies the wave equation, and
Moreover at both endpoints, giving the Neumann boundary condition. At fixed target time , the spatial image is the straight segment
Thus its angular velocity is . The speed at coordinate is , so the endpoints have the null motion of a free string endpoint. The induced worldsheet metric degenerates there; the conserved densities below have finite limits, so the endpoint degeneracy causes no divergent charge.
In these coordinates . The target-space Noether charges of a string give the energy, momentum and angular momentum:
Since this is the centre-of-momentum frame, the rest mass is . Eliminating proves the free-ended straight-string Regge relation:
A spacetime Lorentz transformation of the solution changes its frame, not this rest-frame relation.
There is also a folded closed string version: use the same formula over . The spatial segment is then covered twice, with folds at , and the closed-string mode expansion is periodic. Each charge is twice its open string value, so
The folds also have degenerate induced metric and are understood through the finite canonical densities or a limiting smooth motion. The two classical Regge trajectories have different slopes because the closed string has two coincident branches. No quantum string intercept enters this classical calculation.
Let be Hermitian color generators with , and take . In explicit spinor, color and flavor indices the massless kinetic term is
The full Quantum chromodynamics Lagrangian also has . A local color gauge transformation acts as
Thus and the kinetic term is gauge-invariant.
Since the gauge coupling is independent of flavor and chirality, the classical internal global transformations are , , with constant flavor matrices . Equivalently these consist of , a common vector phase, and a singlet axial phase , modulo shared discrete factors. The vector phase measures quark number, or baryon number after dividing its generator by three. The nonsinglet axial rotations may be written . At the quantum level the singlet axial phase is anomalous; the exact continuous internal symmetry is up to those discrete identifications. The usual spacetime Poincaré transformations also leave the theory invariant; the massless classical theory has dilation symmetry, which is broken by quantum running. These distinctions are massless two-flavor QCD symmetries.
At equal time the canonical relations, including all indices, are
No constraint removes any of the four spinor components of the Dirac field in these equal-time relations.
To evaluate the axial charges, first prove the elementary bilinear identity. For any constant matrix on the spinor/flavor space,
For example ; the spatial delta function collapses the integral. This proves the charge action directly from the canonical anticommutation relations.
For , anticommutation of and then gives
The charge is an even operator, so its commutator obeys the ordinary product rule. Consequently
Similarly, using and the Pauli matrices identity ,
Composite fields can be defined with a common symmetry-preserving regulator; these nonsinglet identities have no color axial anomaly. This is the nonsinglet axial charge algebra of quark densities.
If every conserved axial charge left the vacuum invariant, the vacuum expectation of each such commutator would vanish. A nonzero quark chiral condensate instead makes for . It therefore diagnoses spontaneous breaking of the nonsinglet chiral symmetry. In the massless two-flavor limit, the observed hadronic pattern is described by , with three Goldstone boson modes identified with the pions. The vacuum condensate is a dynamical property of QCD, not something derivable from the canonical algebra alone. The light pion multiplet and absence of parity-degenerate light hadrons support this pattern; the singlet axial anomaly prevents interpreting an additional singlet mode as a fourth Goldstone boson.
For equal nonzero masses, add . It is invariant under local color gauge transformations and common vector flavor rotations, but not under independent left/right rotations. The exact continuous flavor symmetry becomes . The kinetic term and canonical anticommutators are unchanged, and the two proved equal-time commutators still hold. The charges, however, are no longer conserved:
The first equation follows from the massive Dirac equations, or the last from and . This is the flavor-nonsinglet axial Ward identity with equal quark masses. The pions become pseudo-Goldstone bosons with , rather than exact massless modes. To leading order, in the convention , . The condensate persists for small masses, but the symmetry is now explicitly broken, so the exact-symmetry Goldstone argument is replaced by an approximate one. The singlet anomaly and gauge symmetry are unaffected.
Take metric and write . The outgoing electron and antineutrino momenta are and . Up to an irrelevant overall phase, the amplitude is
A fermion spin sum gives
Anticommuting through the massless momentum and gamma matrix, and using , reduces the trace to twice the four-gamma trace minus twice its counterpart. In particular its symmetric part is
The epsilon-tensor part is antisymmetric and contributes neither to the unpolarized polarization sum nor to the real linear polarization used below. There is no extra factor for selecting the neutrino helicity: the chiral vertex has already done so.
The external massless equations imply for , so . With , averaging over the three initial spin states gives
Indeed . This is a massive-vector spin average, not an average over the final spins.
In the rest frame, eliminating the momentum delta function and integrating the remaining radial delta function reduces the two-body Lorentz-invariant phase space to . Therefore
This derives the massless leptonic W decay width without invoking a precomputed decay formula.
For the specified polarization there is no initial spin average. Put , and . The contraction selects
It follows that
Here . The total rate agrees with the spin-averaged result, but its normalized polar distribution is instead of the isotropic unpolarized distribution. This is polarized massless leptonic W decay.
Use and . For each generation , the leptons are
Both are color singlets. The conjugate antilepton fields transform in the conjugate representations and have opposite hypercharge; they are already included by the conjugate fields in the Lagrangian. The two components of have electric charges , and has charge . There is no right-handed neutrino representation in this field content. These assignments use the electroweak representation and hypercharge table in the same hypercharge normalization as the scalar doublet.
For a doublet of hypercharge , define
The term is absent for a singlet. Under the local transformation , the gauge fields transform so that . Consequently the required gauge-covariant kinetic terms are
The fields of definite chirality are defined with . Since has hypercharge , the Yukawa interaction
is invariant: its hypercharges add to zero, and contracts the two doublet indices. A bare charged-lepton mass violates these assignments. No renormalizable neutrino Yukawa term is available without a right-handed neutrino. A gauge-invariant scalar potential depending on can select the nonzero vacuum, without altering these kinetic and Yukawa constructions.
There is an explicit local unitary gauge transformation whenever :
Thus, with the real field ,
This proves the polar coordinates for the electroweak Higgs doublet constructively. The gauge choice is local about the nonzero vacuum; it need not be nonsingular at zeros of the doublet.
The three identical-generation kinetic terms permit unitary flavor changes. A singular value decomposition gives with . Rotate both components of each left doublet together, and the right singlets independently. In this basis,
The left/right cross terms combine into this Dirac mass. Since the neutrinos have no mass matrix, their simultaneous left rotation preserves a diagonal charged current. This is charged-lepton Yukawa matrix diagonalization; the neutrinos remain massless in the stated renormalizable model.
The scalar kinetic term gives
Introduce and . The combinations , , and therefore diagonalize the quadratic terms:
The factor applies to the real neutral field, not to the complex charged field. The massless photon corresponds to the unbroken generator , which annihilates the vacuum. This gives the electroweak doublet gauge-boson mass matrix and its diagonal spectrum.
Absorb the gauge coupling into the connection and use . The anti-Hermitian generators make unitary for real parameters. With a matter field transforming as , require . Applying both sides to an arbitrary field gives
Expanding and yields the infinitesimal gauge transformation with an anti-Hermitian connection
The adjoint covariant derivative is . In components,
The trace normalization makes the structure constants totally antisymmetric: and cyclicity of the trace supply antisymmetry in the remaining indices. Replacing by reverses the infinitesimal parameter convention and gives ; mixing the two conventions would change the ghost operator incorrectly. The trace normalization also gives the invariant quadratic form .
A gauge-invariant functional integral counts all representatives along each gauge orbit. The gauge condition selects a representative, and its delta functional enforces that selection. Assume a local patch where each orbit intersects the gauge slice once and the gauge-condition derivative has no residual zero modes. Define
Changing the orbit integration variable from to gives
Insert this Faddeev-Popov gauge-orbit identity into the unfixed path integral. The action and measure are invariant under a change , so integration over factors out as the gauge-group volume. Dividing by that redundant volume leaves the fixed integral and its Faddeev-Popov determinant. In a perturbative patch with fixed determinant sign or phase, the absolute value is replaced by the oriented determinant, up to a field-independent normalization:
Here . This is a functional determinant of the gauge-condition Jacobian, not an arbitrary extra weight. The local invertibility assumption matters: residual gauge transformations or multiple orbit intersections, described by the Gribov ambiguity, prevent treating this derivation as a global unique gauge slice without further qualifications.
Both extra factors can be incorporated into an enlarged action. An auxiliary real field Fourier-represents the delta functional, while a Grassmann Gaussian integral over independent Faddeev-Popov ghost fields represents the determinant:
Thus the original fixed integral can be written with action and ordinary integration over the extra fields, with no explicit delta functional or determinant. The anticommuting fields give a determinant rather than the inverse determinant obtained from commuting Gaussian fields.
For the usual Gaussian family of gauges, add and integrate out . Completing the square produces
This is Gaussian gauge fixing with an auxiliary field; equivalently one averages the condition with its Gaussian weight. Gauge-invariant observables are unchanged apart from normalization. For the Lorenz gauge , the chosen transformation convention gives . The ghost action is , or after integration by parts. The dependence of on accounts for the ghost interactions.
The renormalization-group beta function is
At one-loop accuracy, integrating gives
For a positive weak coupling and , the coupling increases toward the ultraviolet and decreases toward the infrared. Extrapolation predicts a Landau pole at , where the weak-coupling approximation fails. For , the positive coupling decreases toward zero as : this is asymptotic freedom. Toward the infrared it instead grows, so perturbation theory eventually fails. The zero coupling is a fixed point. If negative couplings are allowed mathematically, their direction of motion still satisfies , but the side on which the pole occurs reverses: for example approaches zero from below in the ultraviolet. Negative quartic coupling does not give a stable scalar potential.
For the loop calculation use , , and the PDF's vertex normalization . A Feynman parameter combines the denominators. Shift the Euclidean loop momentum to , and put . The regulated integral without the vertex prefactor is
Using Schwinger parameterization, , and the momentum Gaussian integral gives
For , , while the other factors have finite limits. Thus the massive scalar bubble pole in four dimensions is
This pole is independent of external momentum and mass and hence is canceled by a local quartic counterterm. There are three channels, corresponding to the three pairings of four external momenta. Their poles add, and a counterterm vertex cancels the sum when
This is the total counterterm for the three four-point diagrams specified here. The minimal subtraction scheme removes their poles only. The one-loop tadpole is momentum independent and requires a mass counterterm, but does not produce one-loop wave-function renormalization; that is why it does not alter this one-loop coupling calculation.
The dimensionful bare coupling is therefore
Its independence of gives
Putting , the finite coefficient of is . Thus
This is the one-loop quartic scalar beta function, positive for nonzero weak real coupling. The factors would look different with a regulator , but the four-dimensional beta function is unchanged. For massless theory take nonexceptional external momentum, or an infrared regulator, so an infrared singularity is not confused with the ultraviolet pole.
Use metric signature and initially set . For an internal scalar line with momentum , the Feynman propagator is . An -leg Feynman vertex, for , contributes , with all incident momenta incoming. Its in the Lagrangian density is canceled by the permutations of its identical fields. Each vertex conserves momentum and supplies . Integrate each independent loop momentum with , multiply the line and vertex factors, and divide by the Feynman-diagram symmetry factor for labeled external legs. Sum the distinct graphs and external-momentum assignments without counting the same assignment twice.
An unamputated momentum-space correlation function also contains the external propagators. Dividing the generating functional by its zero-source value removes disconnected vacuum bubbles; taking its logarithm selects connected correlation functions. Amputation of external propagators removes the external line factors when computing vertex amplitudes. Translational invariance leaves one overall momentum-conservation delta function for each connected graph.
The loop order is the number of independent graph cycles, equivalently the number of independent momentum integrations left after vertex conservation. A spanning tree through interaction vertices contains internal edges; hence, with internal lines,
Restoring in gives for each internal propagator and for each interaction vertex. Thus an amputated connected amplitude has
The same counting holds for a diagram in when the external source is coupled as : every external propagator brings , canceled by the source insertion's . This is Planck-constant loop counting with source normalization. An ordinary connected expectation of fields, with no such source factors, instead scales as ; multiplying by to form shifts its source-kernel counting to . The normalization must be specified when applying the printed loop rule.
Let count -valent interaction vertices. Counting their incident half-edges gives . Substituting the loop identity yields
Each coefficient on the right lies between and , proving the vertex-count bounds for bounded scalar valence
The free two-point term, which has no interaction vertex, separately satisfies the bounds with and .
A one-particle-irreducible Feynman diagram is connected and remains connected after any single internal line is cut. The left graph below contains two quartic vertices and two parallel internal lines: cutting either line leaves the vertices connected by the other. The right graph contains two cubic vertices joined by one internal line, whose removal disconnects it, so it is a one-particle-reducible Feynman diagram. Both have four external legs.
Figure 1.
One-particle-irreducible quartic loop and one-particle-reducible cubic exchange with four external legs
. Details.
The quantum effective action generates the one-particle-irreducible vertices. Their ultraviolet divergences and those of their proper divergent subgraphs are removed by local counterterms. Reducible connected graphs are reconstructed by joining these vertices with full propagators; they do not introduce independent local interaction counterterms merely because they contain bridges. This makes the one-particle-irreducible Feynman diagram decomposition useful for organizing renormalization. Overall power counting still has to be supplemented by subtraction of divergent subgraphs.
For a scalar with a two-derivative kinetic term, mass dimensions obey
The general power-counting criterion used here is that interactions of nonnegative coupling dimension can be included in a perturbatively renormalizable quantum field theory, with all symmetry-allowed required local counterterms included; negative-dimensional couplings generally require an unbounded tower of higher-dimensional counterterms. Indeed, the scalar graph power-counting identity gives
for the superficial degree of divergence. Nonnegative coupling dimensions prevent this degree from increasing indefinitely with the vertex count.
The coupling dimensions are
Thus all three are power-counting renormalizable in three dimensions; cubic and quartic in four; cubic only in six. Positive-dimensional interactions are super-renormalizable, while the zero-dimensional ones are marginal by classical power counting. Usual kinetic, mass, vacuum and, when no symmetry forbids it, linear counterterms must also be admitted. This conclusion concerns perturbative ultraviolet renormalizability; it does not assert global stability of a cubic scalar potential.
The correlation length is the distance over which fluctuations remain appreciably correlated. More precisely, in a massive phase the large-distance connected correlation function
has an exponential factor , possibly multiplied by a power. Equivalently, is the lowest inverse length in the long-wavelength fluctuation spectrum. In the Gaussian field theory with unit gradient coefficient, gives for positive renormalized mass.
At an ordinary continuous phase transition, the restoring force for long-wavelength order-parameter fluctuations vanishes and there is no finite correlation scale. The critical connected correlation function decays as a power rather than exponentially, so diverges. The correlation-function susceptibility sum rule relates magnetic susceptibility to the integral of this connected correlation function; its divergence is consistent with correlations extending over increasingly large distances. Interactions change the powers, so the renormalized mass and the bare mass need not vanish at the same temperature.
Absorb the thermal normalization into the action and set
Here , although denoted in the question, is a signed mass-squared coordinate, not a nonnegative square. This matters because its interacting fixed-point value is negative. Increasing eliminates high-momentum modes and moves towards the infrared. The initial values at are and .
To derive the flow, use the momentum-shell decomposition of a scalar field , where has momenta . Its Gaussian shell covariance is . Integrating out while preserving low-momentum observables gives
The cumulant expansion of a coarse-grained free energy yields . By Wick theorem,
The last term is field independent, while the quadratic term gives the one-loop shell mass renormalization in scalar quartic theory
This tadpole is independent of the external momentum, so no gradient renormalization occurs at this order.
For the quartic correction, the mixed vertex is . Its connected second cumulant uses and gives
Extracting the local zero-external-momentum quartic interaction, the integral over is . Comparing its coefficient with gives the one-loop shell quartic renormalization
The negative sign comes from the second cumulant; the numerical factor incorporates the three quartic channels.
For the thin spherical shell, radial integration gives
The shell is stable when , including a small negative critical mass. Because , differentiating the dimensionless couplings contributes their engineering dimensions and . Together with the shell corrections this yields the renormalization-group flow
These are the requested equations with . They express independence of the long-distance theory from the arbitrarily chosen ultraviolet cutoff, to the retained perturbative order; higher interactions and gradient corrections enter at higher orders.
Besides the Gaussian fixed point , a nonzero fixed point satisfies
Thus, within these truncated equations,
Since and , their leading epsilon expansion is
The rational expressions from the truncated flow are not a calculation of the genuine higher-order coefficients.
To assess stability, linearize in about this Wilson-Fisher fixed point. The stability matrix of a renormalization-group fixed point is
Using the fixed-point equation, its diagonal entries are and , respectively. Its upper off-diagonal entry is and its lower off-diagonal entry is . Hence its eigenvalues are
The interaction perturbation along the critical surface decays towards the infrared for small positive , whereas the thermal perturbation grows. Therefore infrared attraction requires tuning to the critical surface. The source's unqualified wording cannot mean attraction in both coupling directions: the positive thermal eigenvalue is precisely what produces the divergence of the correlation length. This is the thermal relevant direction at the Wilson-Fisher fixed point.
Let be the thermal scaling coordinate, a linear combination of and corresponding to the relevant left eigenvector of . To leading order, is possible. Its initial value is proportional to for a generic thermal path crossing the critical surface; the interaction also shifts the nonuniversal value of . In the linear regime,
Choose so that is of order one. At this scale the dimensionless correlation length is finite. Restoring the eliminated length scale gives
Consequently the correlation-length critical exponent is
There is no field anomalous dimension at one loop in this scalar quartic theory, since the one-loop self-energy is momentum independent; this is consistent with .
Write for inverse temperature to distinguish it from the order-parameter critical exponent. A normalized blocking kernel is a nonnegative conditional distribution of coarse spins given the fine spins, normalized by
For deterministic blocking it can impose a majority rule or block average, with a Dirac delta replacing the sum constraint for continuous coarse variables. Each block occupies original cells, so the new lattice spacing and number of sites are
The physical volume is unchanged. After blockings, and .
Define the coarse statistical Hamiltonian by the exact Boltzmann-weight identity
The operator family must include all generated interactions for this renormalization-group transformation to be exact; restricting it to a few couplings is an approximation. The scalar has energy units and is the contribution per original site that is independent of . Restoring the original constant term gives
hence
This convention measures per original site; defining a constant per new site would move a factor into its definition.
The identity-operator contribution to renormalization-group free energy records the configuration-independent normalization generated by the eliminated spins. It includes their contribution to free energy, including entropy and measure factors, and need not be independent of temperature. It has no effect on normalized probabilities of the retained spins, but is indispensable for the total partition function and its temperature derivatives. Iterating its recursion gives
Thus is the original constant plus the accumulated free-energy contributions of the eliminated degrees of freedom.
To obtain the additive free-energy recursion under blocking, use energy-valued free energy per current lattice site,
The blocking kernel normalization implies
Substituting the recursion for cancels , giving
A second step gives , and induction proves
For dimensionless free energy , multiply throughout by .
The singular free-energy density must be distinguished from the exact per-site representative . If is a regular background and , then
Thus the same displayed inhomogeneous recursion holds with after subtraction. When a suitable analytic background solves , it leaves a homogeneous singular recursion. Analytic subtraction of an inhomogeneous renormalization recursion explains this separation. A renormalization-group free-energy resonance can obstruct analytic subtraction and produce a logarithm. The original function originates in the short-distance spins that were summed out, rather than in an extra external interaction.
Near a renormalization-group fixed point , linearize the transformation:
An eigenvector of with eigenvalue defines a scaling coordinate with to leading order. A relevant operator has : its coupling grows towards large distances, so it must be tuned to reach the fixed point. An irrelevant operator has and dies away; a marginal operator has and requires higher-order flow analysis. An operator of scaling dimension has .
The coarse spins also require a multiplicative normalization. In continuum notation, write
where is the retained field and is its anomalous dimension. This restores the normalization of the critical long-distance connected correlation function. Since a uniform field conjugate to an order parameter enters through , it has eigenvalue exponent .
Let be the thermal relevant coordinate with exponent . After regular backgrounds have been removed, the leading singular free-energy density obeys
for a large total scale factor . Choosing gives the scaling hypothesis for critical phenomena
Two temperature derivatives give the heat-capacity critical exponent; one conjugate-field derivative gives the order-parameter critical exponent; two such derivatives give the magnetic-susceptibility critical exponent. Scaling the correlation length gives . Consequently,
At , instead choose ; differentiating gives . These scaling relations for critical exponents assume that irrelevant variables can be set to their fixed-point values without singular consequences. A dangerously irrelevant coupling or logarithmic correction requires keeping the corresponding dependence.
For the Gaussian field theory, integrate out the Fourier modes in and retain . The modes are independent at zero external field, so this Gaussian thinning transformation changes the normalization by a Gaussian determinant and leaves a quadratic statistical Hamiltonian for the retained modes. Restore the cutoff with
In the integrated statistical Hamiltonian, the volume element contributes , each gradient contributes , and each field contributes . Thus the coefficient of the gradient energy is unchanged, while
In particular , and . The Gaussian critical exponents and the Gaussian order-parameter scaling index therefore give the requested indices
The sign convention corresponds to the physical conjugate field and does not affect these powers.
There are physical qualifications to these Gaussian indices. The strictly quadratic Gaussian field theory is stable for positive and has no stable ordered phase for negative ; its purported spontaneous is therefore the formal Gaussian order-parameter scaling index. A stabilizing quartic term gives an actual ordered phase. Below four dimensions that term is relevant and changes the exponents; above four dimensions it is a dangerously irrelevant coupling and gives the actual mean-field , rather than the Gaussian hyperscaling value.
The heat capacity power can also be checked directly. Apart from constants, the zero-field Gaussian free-energy density is
If , its singular second temperature derivative is controlled by . For , rescaling gives a power , as above. At there is a logarithm, and for an analytic background dominates the heat capacity. The negative formal Gaussian then describes the subleading singular piece, with logarithmic resonances at appropriate even dimensions. This is the Gaussian specific-heat infrared threshold, and it prevents confusing singular indices with the entire observable.

There are unlisted articles, also show them or only show them.