Fix the sign convention by taking the proper two-point insertion to be . This convention matches the loop expression and mass conversion printed later. Dyson resummation of successive fermion self-energy insertions gives
The subscript denotes the renormalized self-energy. If the insertion is instead named , then and the denominator is written . These are the same physical convention.
Lorentz covariance allows . The physical mass-shell condition is
It locates the mass-shell singularity of the Dirac propagator. In infrared-regulated perturbation theory this is the pole mass; near a simple pole the quantum field theory propagator has the form . The mass and pole residue are different quantities: the former fixes the singularity's location, the latter the field normalization. The calculation below uses this standard perturbative pole-mass definition.
In the convention implied by the printed expansion, the truncated two-point quantity is the inverse connected propagator, or one-particle-irreducible two-point vertex:
It is the second functional derivative of the quantum effective action (or statistical Legendre effective action) about a translationally invariant zero-field equilibrium. The relation follows from the inverse Hessian relation for a connected two-point function. The subscript in already removes disconnected one-point products; the word “truncated” here is not a request to subtract that product a second time. Nor is a general amputated connected correlation function interchangeable with a one-particle-irreducible correlation function.
Use the zero-momentum renormalized mass in the free propagator , and split the quadratic coupling into plus a mass counterterm . The self-energy is the sum of loop 1PI insertions, excluding the separately displayed counterterm. Summing repeated insertions by Dyson resummation gives
The sign convention is that a positive tadpole shifts the inverse propagator upwards. At first order, the connected correlation function correction is , consistent with this inverse-propagator convention. A different split between the reference mass and counterterm produces the same renormalized result.
For the positive quartic interaction , the one-loop tadpole diagram has no external-momentum dependence. Its symmetry factor is : assigning the two external legs to four vertex fields gives contractions, and division by gives . With the dimensionless statistical-action convention,
The physical zero-momentum condition sets , hence the one-loop mass relation is
Writing the internal line with is a renormalized or self-consistent one-loop convention. Away from critical infrared singularities it differs from a bare-mass insertion only at higher perturbative order. This equation does not by itself provide exact critical exponents once loop corrections become large.
For , subtract the critical-temperature condition . Take and the regular coefficients at their critical values, absorbing smooth changes into a coefficient . Since
the one-loop critical-mass subtraction becomes
Let be the area of the unit -sphere divided by . Radial integration gives .
For , is infrared finite, so it merely renormalises the coefficient and is consistent. For , setting yields
with a finite positive dimensionless integral. The correction is singular relative to the term , invalidating the finite-coefficient linear-mass assumption. At ,
so the boundary is logarithmically marginal. For , even the subtraction using needs an infrared regulator; it cannot be used to restore a finite linear critical expansion. Thus the ordinary upper critical dimension is
A fixed-coupling self-consistent one-loop formula is not the full marginal renormalization group analysis, but its logarithm already shows why an uncorrected linear power law is not generic at .
At a tricritical point, both the quadratic and quartic scaling directions must be tuned; the leading stabilising interaction is sextic. With canonical scalar-field engineering dimension , the sextic coupling has eigenvalue . It becomes marginal at , giving
Lower even couplings generated by coarse-graining must remain tuned. This is why using an untuned quartic tadpole to diagnose a tricritical point would give the wrong boundary. The tricritical sextic beta function supplies marginal logarithmic corrections at three dimensions.
For a general multicritical even Landau potential, assume the lower stabilising even terms have been tuned away and the first remaining one is , with and . Minimising the potential on its ordered branch gives
Its curvature at the minimum is . For a finite positive gradient stiffness , the longitudinal correlation length therefore scales as . The Ginzburg criterion compares the order-parameter fluctuation averaged over a correlation volume with this squared mean-field value. Keeping momenta of order or less,
Consequently the multicritical Ginzburg ratio behaves as
Only for a positive exponent do these relative fluctuations vanish on approaching the critical point. Thus the general upper critical dimension is
Equivalently the interaction eigenvalue vanishes there. The cases and reproduce 4 and 3 respectively.
For , the ratio diverges and the mean-field assumptions lose self-consistency arbitrarily close to the transition. At the marginal Ginzburg criterion is scale-independent at this leading estimate, rather than tending to zero; the criterion alone does not prove a divergence or force new power indices. Marginal interactions require a renormalization group calculation and generally give logarithmic corrections, as for the quartic and sextic cases above. The boundary case is marginal, not a strict power-law divergence. This qualifies the printed wording at equality while recovering the requested upper critical dimensions.
There is an interpretation issue in this clause. A proper quartic vertex, defined as the fourth derivative of the quantum effective action, has no additional tree or reducible contribution in the bare cubic theory: the three boxes exhaust its one-loop diagrams. The strict local zero-momentum vertex of a Wilsonian effective action also has no high-mode exchange bridge, since the momentum carried by that bridge would be zero, outside the shell. Thus
If “other diagrams” means the amputated connected correlation function, there are additional one-particle-reducible Feynman diagrams. Specify full external-propagator amputation and a vacuum with tadpole subtraction. The three tree exchange channels each contribute at zero momentum. At one loop, a triangle Feynman diagram can replace either cubic end of any exchange, giving six diagrams; a bubble diagram can be inserted in the internal exchange line, giving three diagrams with symmetry factor . The proper lower-point vertices at zero momentum, from the same trace-log expansion, are
Therefore the reducible part of the connected four-point amplitude is
Adding the three boxes gives in this convention. This is the cubic-scalar exchange corrections at zero momentum result, obtained equivalently from .
If the tadpole has not been subtracted, it is an additional one-loop subgraph that must not be forgotten. The proper one-point function is . Its attachment to the internal exchange line gives another three reducible diagrams, contributing ; equivalently the stationary background shifts by and changes the exchanged mass by . A linear counterterm enforcing cancels this contribution. External self-energy or tadpole diagram attachments are removed by the stated full-propagator amputation; using bare external amputation would retain them instead. In that convention the four external-line decorations add to the displayed full-amputated result, with the part absent after tadpole subtraction. If the expansion is expressed in renormalized parameters, also include the corresponding counterterm diagrams: replacing either cubic exchange vertex gives , and a mass insertion on the bridge gives . A linear counterterm adds through the same tadpole attachment and cancels it when . The kinetic counterterm has zero insertion at zero exchanged momentum. At one loop these exhaust the possibilities: the single cycle has length four, three, two or one, corresponding respectively to box, triangle, bubble or tadpole, with tree branches attached.
The mass dimensions are , , . Accordingly , , , and all have dimension . These connected exchanges are generally nonlocal functions of external momentum before taking the zero-momentum value; they should not be silently reclassified as an independent local quartic coupling.
Write and . The pole term is independent of and external momentum beyond the transverse tensor: , and . The supplied gluon self-energy insertion therefore has
Using the insertion convention , its cancellation requires the matter contribution to the background gauge-field kinetic factor. One can extract the coupling running from this gauge-invariant matter determinant using the background gauge-field renormalization identity . This is a background-field Ward identity, not a claim that the ordinary quantum-gluon wave-function factor alone always determines the full coupling renormalization. For this one adjoint Dirac spinor,
Differentiate at fixed . If and , the order- terms in give . Subtracting as well as the pole in the modified minimal subtraction scheme does not change this one-loop coefficient. Thus the adjoint Dirac contribution to the Yang-Mills beta function is
This is screening. The pure Yang-Mills one-loop beta function coefficient is . With adjoint Dirac spinors, the total renormalization-group beta function is consequently
For a non-Abelian simple factor , vanishing of the nontrivial one-loop coefficient would require . It cannot be a nonnegative integer, proving the integer obstruction to one-loop marginality with adjoint Dirac fermions. For a product group the same argument applies to every non-Abelian factor; the statement concerns the beta-function coefficient, not the trivial fixed point . The modified minimal subtraction scheme is mass independent, so a massive spinor has this ultraviolet contribution; decoupling below its mass instead requires effective-theory threshold matching.
Take integer and positive integer , so the interaction is genuinely non-Gaussian. For a connected two-point Feynman diagram with interaction vertices and internal lines, counting half-edges and using the loop order gives
At one loop , hence . There are only two possibilities: a two-interaction vertex bubble diagram for , or a one-interaction vertex tadpole diagram for . The latter is independent of external momentum and changes the mass, not the kinetic term.
For cubic scalar field theory, introduce a positive auxiliary mass if needed to separate infrared divergences from ultraviolet divergences. The one-loop self-energy in the quantum effective action is , with
This Feynman parameter representation follows by shifting the loop momentum; it is directly valid for a translation-invariant regulator, or for the convergent subtracted integral. Differentiating at gives
Thus the coefficient of the kinetic term changes by .
Only the cubic interaction has a momentum-dependent one-loop two-point correction.
There is a terminology qualification: if “wave-function renormalization” means a required ultraviolet counterterm, rather than a finite correction to the field normalization, the large- radial integral behaves as , and the answer is
It is logarithmically divergent at and power divergent above with a momentum cutoff. Among interactions with a relevant coupling or marginal coupling, the divergent case is uniquely . The massless low-dimensional amplitude needs an infrared divergence prescription; one cannot take a local expansion at zero momentum without one. The cases, if admitted, are a source and a Gaussian mass term and have no interaction-induced wave-function renormalization.
For incoming momenta, the Euclidean momentum-space Feynman rules are
The one-loop one-particle-irreducible diagrams with at most three external legs can be classified by their external species. There is a one-point tadpole diagram made from a loop. There are two two-point bubble diagrams: the self-energy has one internal and one internal , while the self-energy has two internal lines and symmetry factor . For three external legs, three vertices make a triangle: one triangle corrects the vertex and contains two internal lines and one internal line; another has three external legs and a loop, generating a interaction. The symmetry forbids amplitudes with an odd number of external legs. The classical vertex is the corresponding tree-level three-point diagram.
Adopt the self-energy convention
This follows by summing the geometric series of exact propagators separated by amputated one-particle-irreducible two-point insertions. At one loop, after writing ,
Introduce a Feynman parameter and shift the loop momentum. With
dimensional regularization gives
Using produces
where
and one convenient integral form of the finite part is
Changing the definition of the dimensional-regularization scale only moves a finite constant between and the counterterm.
To make the two-point function finite, write , express in terms of a renormalized mass and a mass counterterm, and choose the pole parts of and to cancel and . In the minimal subtraction scheme no additional finite pieces are removed. The physical mass is the pole mass, so with the self-energy convention above it obeys
The explicit dependence of the finite self-energy cancels the running of , leaving independent of the renormalization scale.
The superficial degree of divergence counts the ultraviolet power before subdivergences and symmetry cancellations are considered. At , a connected graph made from cubic vertices has
where is its number of external legs. Hence one-, two-, and three-point functions can have quartic, quadratic, and logarithmic superficial divergences, whereas graphs with more external legs are superficially convergent.
Full renormalization also requires the mass and wave-function counterterms from its two-point function, a linear counterterm cancelling the tadpole, a coupling counterterm from the divergent triangle, and a counterterm from the three- triangle. A vacuum-energy counterterm removes divergent vacuum diagrams. These are precisely the local operators allowed by power counting in quantum field theory and the exact symmetry.
Use the usual Feynman rule convention in which the diagonal quadratic terms of the free Lagrangian, including the physical W boson and Z boson masses, are incorporated into their propagators. Then there are
A line joining two ends is a propagator, not an interaction vertex. Gauge boson self-interactions begin with cubic terms in the Yang-Mills theory Lagrangian. The question's name four families: they include eight gluon colour components and the two charged W bosons .
There is a convention to distinguish here: if a calculation expands around massless free fields, quadratic and terms may be drawn as two-leg mass insertions. Those two insertion types belong to that bookkeeping convention. Similarly, two-point self-energy corrections occur in loop diagrams. Neither is an additional fundamental interaction in the standard physical-mass, tree-level rules used for the count above.
Noninteracting spectral line. Treat as a wavevector, so physical crystal momentum is . Write ; an energy zero at the chemical potential can be chosen throughout. The temporal factor of a noninteracting state is . With the Fourier transform convention ,
Thus its normalized frequency spectral function is
One should not square the delta distribution as if it were an ordinary finite-time transition amplitude. More precisely, the fermionic retarded Green function is . Its Fourier transform is , whose negative imaginary part divided by is the same delta peak.
Interactions and lifetime. Interactions change the dispersion through the real part of the self-energy and permit decay into other excitations through its imaginary part. In the simplest quasiparticle-pole model, exponential decay of the retarded amplitude gives
Performing the causal integral,
The corresponding Lorentzian quasiparticle spectral peak is
Its total frequency integral is one. The exponential amplitude lifetime is ; the probability lifetime is . Describing as a scattering rate therefore requires the lifetime convention to be specified. The energy half-width is .
A general interacting Electron is more accurately described by near the pole. The coherent peak then integrates to the quasiparticle residue and an incoherent continuum carries the remaining weight. In an energy-unit self-energy convention,
Linearizing the real denominator gives and at the pole. The requested unit-weight Lorentzian is the normalized quasiparticle model, not the most general exact interacting spectrum.
Peak position and width. At fixed , put and . Differentiation gives
It is positive for and negative for , so the only maximum is at , with height . Setting to half this height gives . Therefore
In energy units the maximum is and the half-width is . Frequency dependence of the self-energy would require reconsidering both the shape and peak position.
Fermi gas and Fermi liquid. A noninteracting Fermi gas has a delta-function spectral line at its bare dispersion for every momentum. A normal three-dimensional Fermi liquid has a shifted coherent peak plus incoherent spectral weight; close to the Fermi surface its width scales as . At zero temperature the peak becomes arbitrarily sharp at the Fermi surface, while it broadens farther away. Spectral functions include addition and removal weight; occupied-only photoemission contains an extra Fermi factor.
Figure 1.
A free spectral line and broadened quasiparticle peaks, with a separate incoherent background
. Details.
Photoemission measurement. A photon of known energy ejects an Electron. Measure its kinetic energy and emission direction. For binding energy below the Fermi level and the appropriate calibrated work function , conservation of energy gives
Conservation of momentum parallel to a periodic surface gives
where is a surface reciprocal-lattice vector. At suitable photon energies the photon momentum can be neglected; at higher energies it must be retained. The surface breaks perpendicular translation symmetry, so the perpendicular crystal momentum generally needs a final-state model. A two-dimensional band can be reconstructed directly from the parallel components.
Within the sudden approximation and electric-dipole approximation, photoemission intensity and spectral function are related by
Here is measured relative to the chemical potential. Instrumental resolution convolves the product and inelastic scattering adds background. Thus ARPES maps the occupied electron removal spectral function, weighted by a matrix element; it does not measure the full unoccupied spectrum or an unweighted spectral function automatically. Bright ridges give dispersions, and intrinsic widths give decay information after instrumental effects are removed.
Reading the supplied image. Its bright ridges form a graphene-like cone. The crossing near is the Dirac point, not in general the Fermi level. In the paper's plotted energy coordinates its energy is roughly –. A velocity follows from a branch slope independently of the energy zero:
For example, the lower branch moves by about between and . This gives and
Reading other points changes the estimate by tens of percent. The original exam image has unequal energy increments on nearly equally spaced labelled ticks, so it does not justify a precise fitted velocity. The value is an estimate of the cone slope extrapolated to the Fermi crossing, rather than a measured derivative exactly at a visibly identified Fermi cutoff.
To determine a Fermi energy, first calibrate the Fermi edge, then subtract the chosen reference energy. Neither a Fermi-level marker nor an explicit energy-zero convention is supplied in this crop. If its upper termination near is intended to represent the Fermi cutoff, the conditional graph answer is on that axis, or relative to the Dirac crossing. Identifying the crossing itself as the Fermi energy would incorrectly assume undoped graphene.
The research article cited by the exam identifies this as linearly polarized graphene ARPES and independently states for the substrate-doped sample. That resolves the relative energy when this external calibration is admitted.[ref] The crop alone does not uniquely fix an absolute Fermi energy; the source-supported relative value and the conditional axis reading should be distinguished.
Scalar bubble integral 2026-10-05
The loop momentum integral with two massive quantum field theory propagators is
Its momentum dependence gives a one-loop self-energy in cubic scalar field theory and a quartic effective vertex in quartic scalar field theory.
With interaction , the tadpole diagram has symmetry factor one half. After Wick rotation and a rotationally invariant Euclidean cutoff, its self-energy is . The sphere area and radial integral give the displayed shift. It is independent of external momentum, so no one-loop momentum-dependent wave-function renormalization arises from this graph. Different regulator schemes can treat power divergences differently while defining the same chosen pole mass.
Zero-momentum renormalized mass Created 2026-10-06 Updated 2026-10-07
In a specified scalar-field normalisation, one can define a renormalized squared mass by . Its value depends on the renormalization prescription and is not automatically the pole mass in a theory with momentum-dependent self-energy. A reference propagator and mass counterterm then organise perturbation theory around that prescription.