Kaon bag parameter 2026-10-14
For relativistically normalized kaon states and , define . The dimensionless kaon bag parameter measures strong interaction corrections to the vacuum-insertion normalization. The coefficient and matrix element must be defined in the same renormalization scheme and at the same scale. Dividing by gives the corresponding two-state mixing-Hamiltonian normalization.
Momentum-subtraction scheme Created 2026-09-28 Updated 2026-10-14
A momentum-subtraction scheme defines renormalized masses, fields, and couplings by fixing correlation functions at specified external momenta.
This is a particular choice of renormalization scheme.
A renormalized coupling is defined by a subtraction or reference condition at a renormalization scale . Radiative corrections contain logarithms of momentum scales relative to , so changing the reference scale changes the named coupling while leaving physical observables unchanged. Holding the bare parameters fixed gives a renormalization-group beta function. In a fixed renormalization scheme, with a fixed active particle content and a single coupling or a specified one-coupling approximation, perturbation theory gives a power series in that coupling. Its coefficients depend on the fields, representations and scheme; beyond the universal leading coefficients they need not be scheme independent. A theory with several couplings generally has coupled beta functions, so the question's scalar equation is schematic rather than literally the form of every quantum field theory. Also , which fixes factors of two.
For the stated leading equation let . Differentiating the reciprocal gives , hence
For , define
Then , giving
This is one-loop running of the strong coupling, with here normalized exactly as in the source equation. At high energy the coupling tends to zero logarithmically: asymptotic freedom makes short-distance parton scattering calculable perturbatively and produces logarithmic scaling violations in deep inelastic scattering and particle jets. As the scale approaches from above, the coupling becomes large and the perturbative approximation fails. Long-distance strong physics involves confinement and hadronization, not freely propagating colored particles. The apparent one-loop pole is not a proof of confinement, and the negative formal continuation below is not a physical coupling. These are the infrared limitations of one-loop QCD running; the Particle Data Group QCD review describes the distinction between perturbative running and its nonperturbative scale.
The expected rough QCD scale is of order a few hundred MeV, comparable to the inverse hadronic length scale . This is an empirical dimensional estimate, not a numerical deduction from alone. Indeed the integration constant also requires a measured reference coupling. Its precise value depends on flavor number, perturbative order and renormalization scheme.
For , the same integrated solution instead increases with energy and has its perturbative Landau pole at
The coupling decreases toward the infrared in this approximation; toward the ultraviolet, perturbation theory ceases to be reliable before reaching the pole. For the self-coupling-dominated Higgs approximation, use the conventional Higgs potential . Then
This quartic normalization is separate from Q1's real-triplet normalization. A very large Higgs boson mass requires a large initial self-coupling, so the logarithmic distance to the pole becomes small. Requiring a weakly coupled Standard Model up to a high scale demands approximately
with a stronger practical margin to keep the evolved coupling perturbative. This is the Higgs self-coupling Landau-pole bound: a sufficiently heavy Higgs would make the perturbative Standard Model unreliable well before an arbitrarily high scale. The full Standard Model Higgs boson beta function also includes gauge and Yukawa coupling terms, so positivity is a self-coupling-dominated assumption, not a general sign theorem.
For the requested bottom threshold, take the physical color number . In the source normalization,
Continuity of the leading coupling at gives
Divide by to find . Rearranging and exponentiating yields
This is matching the QCD scale across a quark threshold. The named integration constant changes when the beta coefficient changes; the matched coupling itself stays continuous at leading order. If the number of colors were kept arbitrary, the exponent would instead be ; the printed exponent therefore uses .
Use the mostly-plus Minkowski metric, so , and the source term . Define the vacuum-normalized generating functional, connected generating functional, and quantum effective action by
The Legendre transform is taken after expressing in terms of , locally where this relation is invertible. Varying it gives and . The logarithm generates connected graphs; the Legendre transform removes graphs joined by a single propagator, leaving one-particle-irreducible vertices. This sign convention is important: its classical limit is , consistent with the positive vertices in this question.
For the free real scalar field, integration by parts puts the action into the form , where has Fourier symbol . Include the Feynman i-epsilon prescription . Completing the square yields
and consequently
The physical scalar propagator is , whereas the inverse quadratic kernel appearing in is . Differentiating this quadratic functional and Fourier transforming gives
The infinitesimal prescription specifies propagators and is dropped when quoting the local vertex kernel.
At the order represented by tree-level Feynman diagrams, stationary phase gives , with the classical field equation . The Legendre transform cancels the source term, so
Thus
Other connected tree graphs with several quartic vertices are one-particle reducible and belong to , not to the proper vertices of . This explains why no extra tree correction is hidden in these formulas.
The one-loop proper two-point graph is the tadpole diagram. The one-loop proper four-point graphs are the three bubble diagrams, with pairings , and of the external legs. Each has Feynman-diagram symmetry factor . The figure shows the topologies and every four-point channel; external momenta are incoming.
Figure 1.
One-loop scalar proper vertices: the two-point tadpole and all three four-point bubble channels
. Details.
The tadpole factor can also be counted directly: there are assignments of two labeled external legs to one quartic vertex, while its normalization leaves . For a fixed four-point partition, the interchange of the two internal lines gives the same factor ; there are three distinct partitions. Graphs with an external self-energy insertion are one-particle reducible and are not additional contributions to .
For the two-point divergence, perform a Wick rotation. The Euclidean tadpole contribution to the proper inverse kernel is
Assume to separate the ultraviolet calculation from infrared issues. A Schwinger parameterization gives . Using the supplied Gaussian integral, initially in the convergence region, gives
The last expression provides the meromorphic dimensional regularization continuation. Set . Since ,
If the coupling is written as , that factor multiplies the intermediate integral but does not change the displayed pole residue. The negative pole is a property of analytic continuation; it must not be inferred from the positive cutoff integrand without carrying out the continuation.
The added mass counterterm contributes to , because and its Lagrangian term is . Hence cancellation requires
up to an arbitrary finite subtraction specifying the renormalization scheme. No external momentum occurs in the tadpole, so no one-loop wave-function renormalization is needed. At the unregulated tadpole is scaleless and vanishes in dimensional regularization; the massive calculation identifies the mass-dependent ultraviolet pole without conflating it with a massless infrared limit.
For completeness, the signs of the four-point graphs in this effective-action convention can be read from the Euclidean one-loop functional . Its expansion has terms and . Differentiating four times gives
This is the Euclidean form, analytically continued to the physical external momenta. It confirms the three channel diagrams and their symmetry factors; evaluating its divergence is not needed for the requested mass counterterm.
For an oriented Euclidean string worldsheet with metric , use the string nonlinear sigma model action
Here is an antisymmetric density with . The factor in the Euclidean Kalb–Ramond field term follows from continuing the real Lorentzian two-form coupling; reversing orientation or the convention for reverses its sign. The conventional positive Euclidean dilaton coupling is being used. With worldsheet boundaries its curvature coupling also needs , where is the boundary geodesic curvature, to have the proper topological normalization for constant .
All three terms are invariant under worldsheet diffeomorphisms. Target-coordinate changes act on by their ordinary scalar and tensor transformation rules, making the target description covariant as well. For the two-form there is also the target gauge symmetry . Its change in the closed-worldsheet action is an integral of an exact two-form and hence zero. With boundaries it is instead ; an endpoint gauge field with cancels it.
Under a local Weyl transformation , the metric term is invariant because the two-dimensional factors and cancel. The term is independent of and is separately invariant. The curvature transforms as
On a closed surface the dilaton variation is consequently
Thus a general nonconstant dilaton term is not separately invariant under Weyl transformations. Its variation is the Weyl variation of a nonconstant dilaton coupling; it vanishes for constant after the boundary completion where necessary.
For , the Gauss-Bonnet theorem gives . In the Euclidean path integral the resulting weight is
For a connected orientable genus- surface with boundaries, , so the weight is . A closed-string handle therefore adds two powers of string coupling. External vertex normalizations add their own coupling factors; they are distinct from this dilaton Euler-characteristic weighting. The constant dilaton controls the string genus expansion, rather than adding a force to the classical embedding equation.
Quantization treats the target fields as position-dependent couplings of a two-dimensional interacting quantum field theory. Expanding around a background embedding gives fluctuation vertices involving target curvature and derivatives of and . Short-distance contractions require local counterterms, so the target fields become renormalized couplings. In particular a curvature vertex contracted once yields a Ricci tensor counterterm proportional to . Each additional sigma-model loop brings another power of and more target derivatives. The expansion is useful when the target variation scale is large compared with ; it is not the separate expansion in powers of .
After gauge fixing, a worldsheet Weyl anomaly would make amplitudes depend on the discarded local conformal factor. Quantum consistency therefore requires the trace anomaly to vanish, including the reparameterization worldsheet ghost field contribution. In a conventional renormalization scheme the resulting bosonic sigma-model Weyl anomaly coefficients start as
The barred quantities include the dilaton stress-energy tensor improvement; ordinary coupling sigma-model beta functions can differ by field redefinitions or target diffeomorphisms. Setting these coefficients to zero gives differential equations for the background fields order by order, including the metric gravitational equation and the antisymmetric-field equation. These conventions for the leading coefficients are described in the background-field lecture notes. Higher orders supply higher-curvature and higher-derivative corrections. This explains how spacetime dynamics follows from quantum gauge consistency of the worldsheet, not from asking only for a classical stationary worldsheet in an arbitrarily chosen background.
The apparently noninvariant dilaton term is essential outside the critical dimension because its stress-energy tensor improvement can cancel the quantum central charge mismatch. A flat constant-dilaton background has matter central charge and worldsheet ghost field central charge . If , changing the constant value of only changes and cannot cure that mismatch.
A concrete solution is the linear dilaton conformal field theory with , , and . Its metric and antisymmetric-field anomaly coefficients vanish, while the scalar condition is
One can also see this cancellation directly from the improved holomorphic stress-energy tensor. With the positive Euclidean curvature convention above,
The free-field contraction is . Differentiating it twice at each point gives a fourth-order pole from the improvement. Since the fourth-order stress-tensor pole is , the matter central charge becomes . The worldsheet ghost field contribution then cancels it. This is why a classical Weyl variation need not mean inconsistency: it can cancel the quantum variation of the other terms. For the required gradient is spacelike; for it is timelike in the Lorentzian target theory. Such backgrounds are not flat constant-dilaton Minkowski vacua with full target Lorentz symmetry, nor does a central charge cancellation by itself prove stability or unitarity of every noncritical background. If the conformal factor is instead retained dynamically, its Liouville field theory supplies the corresponding noncritical description.
The quantum effective potential is the derivative-free part of the quantum effective action evaluated on a spatially constant background. The displayed sign uses for and the source term ; the opposite effective-action convention gives . Its derivatives give zero-momentum one-particle-irreducible vertices. The value depends on a renormalization scheme and scale; an arbitrary additive vacuum-energy constant may be fixed separately.