Contents
Appendix L: Renormalisation Group Analysis, Beta Functions, and UV Stability
Revision note (v13.0). The running of is withdrawn. is no longer fixed by , the scalar mass is no longer eV, and the fixed coherence length has been replaced by the environment-dependent range . The running of the v13.0 coupling has not been computed. Corrected in this version: the sign statement (a positive one-loop beta function means the coupling grows in the UV, so "asymptotically free" was wrong); the arithmetic for and ; the third term of the error budget (the stated formula gives 1.5%, not 3.6%); and the QCD running factor 0.86, which was applied to a coefficient already defined at the QCD scale (which reading is intended is unresolved). The estimate of the QCD running of is kept, with its assumptions listed. The headline benchmark is withdrawn as a prediction. See section 1 of the main document and the screened scalar document.
1. Purpose and Scope
An effective field theory should show that its free parameters do not flow to unphysical values under renormalisation group (RG) evolution. The v13.0 parameters of the testable sector are , with a separate EFT cutoff . This appendix records what can be said about their running today:
- The v12 one-loop beta function for is withdrawn (section 3.1). The corresponding calculation for has not been done.
- The QCD running of the isospin coefficient is kept as an estimate (section 3.2).
- The v12 running of the coherence length is withdrawn (section 3.3).
- The fixed-point discussion is corrected (section 4).
- The symmetry-protection arguments are revised (section 5).
- The lattice-QCD error budget is recomputed (section 8).
The appendix does not demonstrate radiative stability of the v13.0 parameters. That is an open item.
2. RG Framework for MCE
2.1. The action
The Level 1 action is the one in the main document,
At linear order the matter coupling is with strength . The symbol is, at most, notation for . It has mass dimension . No parameter is fixed by matching , and no numerical value of is an input to the v13.0 equations. The v12 action contained a separate vector field and a fixed scalar mass term. Both are withdrawn from the core (see the screened scalar document).
The RG equations follow from requiring the renormalised action to be independent of the scale :
2.2. Exponential regulator and loop finiteness
With the non-local operator , the Euclidean propagator is
Each one-loop integral acquires a factor and converges at large . Schematically, with an infrared cut-off at , the logarithmically divergent integral becomes
where is the exponential integral, and the quadratic divergence becomes the finite term .
Caveats. Two statements in the v12 text are withdrawn. First, that the one-loop beta functions are "scheme-independent": the finite threshold terms depend on the chosen form factor, which is a choice and not derived (see Appendix O, item 1.1). Second, that the finiteness is established: it relies on applying the regulator in Euclidean signature, and the continuation to Lorentzian signature is conditional, because the factor grows at timelike momenta (see the causality note). The v13.0 Level 1 action is local, so none of its predictions depend on this section.
3. One-Loop Beta Functions
3.1. The coupling (withdrawn)
The v12 text gave and concluded that runs by a fractional between eV and 1 eV. This section is withdrawn for five reasons.
- is no longer fixed by matching ; the written formula did not give the quoted value in any case (see the Theory Hardening Analysis, Part V, item V.1).
- multiplies and therefore has mass dimension . A beta function of the form applies to a dimensionless coupling.
- The self-energy expression shown does not lead to the quoted beta function; no derivation was given.
- The scalar mass used, eV, is withdrawn.
- The sign statement was wrong (below).
Status. The running of the dimensionless coupling has not been computed. Open.
Corrected statements, for the record.
- Sign. If a dimensionless coupling obeys with , then
The coupling grows with energy and reaches a Landau pole at . It is not asymptotically free. The v12 statements that the theory is "asymptotically free in the gravitational sector" and has "no Landau pole" were wrong as written.
- Arithmetic. The v12 expression equals , not . This treats as a pure number, which it is not in C/kg.
3.2. The isospin coefficient (kept as an estimate)
The coefficient in is dimensionless. Below the hadronic scale it is set by non-perturbative physics and is a fixed number at the matching scale MeV. Between and a higher scale, an estimate of its perturbative QCD running uses
Assumptions. The estimate rests on the following inputs, each of which is open to question.
- A one-loop anomalous dimension with , described in v12 as "typical for scalar operators in QCD". It is an assumed value. The one-loop quark-mass anomalous dimension corresponds to a magnitude of 4 in these units (to be verified), and the operator that multiplies has not been identified.
- A fixed coupling (the value at ) over the whole range.
- A matching scale MeV, at the edge of perturbation theory, and an upper scale GeV, which is a free scale.
Result with these assumptions.
or a factor if the equation is integrated (a change of ). The v12 text's "" and the factor 0.86 correspond to the integrated form. Because , decreases with increasing : , and equivalently .
Sensitivity to the fixed-coupling assumption. If is run at one loop from with five flavours held fixed, the integrated factor from 0.2 GeV to 10 GeV is 0.63, and from 1 GeV to 10 GeV it is 0.84. One-loop running is not reliable below about 1 GeV. The fixed- value of is therefore not a stable estimate. Estimated, with a large assumption-dependence.
Lattice constraint. The earlier text said that lattice QCD "can constrain this running and pin down to about 5%". That figure is withdrawn: the uncertainty budget in section 8 has a floor of 7.1% from alone, and the operator has not been identified.
3.3. The coherence length (withdrawn)
The v12 text related to a scalar mass and computed the running of under the same . That calculation is withdrawn. The fixed and eV are retired; the range is and depends on the environment. A scalar of mass eV has a Compton length of m and cannot give a micrometre range.
Arithmetic, for the record. The v12 expression with treated as a pure number, eV and gives eV², not eV² (a factor of 97). The fractional shift against eV² is , not . With the same expression gives eV². These values are meaningless in any case: in C/kg is not a pure number, so is not in eV².
4. Fixed-Point Analysis
4.1. Gaussian fixed point
For a coupling with and , the only perturbative fixed point is . It is attractive towards the IR: as . It is not a UV fixed point, because grows as increases. The v12 statement that the Gaussian fixed point makes the theory "asymptotically free" and shows "no Landau pole" is withdrawn. Whether has this beta function has not been computed.
4.2. Stability matrix
At the eigenvalue is zero, so the coupling is marginal at leading order. With it is marginally irrelevant: it decreases towards the IR and increases towards the UV. The v12 text defined "marginally irrelevant" as "flows to zero in the UV" and "marginally relevant" as "grows in the UV". Both definitions had the direction of flow reversed. A marginally relevant coupling (as in an asymptotically free theory) grows towards the IR.
4.3. Asymptotic safety check (withdrawn)
The v12 text argued that the scalar does not destabilise an asymptotically safe gravitational fixed point because C/kg corresponds to a small dimensionless coupling . That argument used the withdrawn and . No asymptotic-safety check is made in v13.0. Open.
5. Symmetry Protections
5.1. Protection of the scalar potential (withdrawn claim)
The v12 text argued that diffeomorphism invariance prohibits a mass term for in vacuum, so that the scalar mass is protected. This is wrong: a scalar mass term is diffeomorphism invariant. No symmetry in the Level 1 action protects the potential against radiative corrections. The effective mass in the screened scalar document is set by and by the local density. Whether quantum corrections preserve the chameleon-type potential has been studied in the literature (Upadhye, Hu and Khoury, 2012; citation to be verified). Open.
5.2. Isospin and the coefficient
In the limit of exact isospin symmetry (, ) the composition-dependent factor vanishes, so a non-zero requires isospin breaking. That much is an argument from symmetry. Two further statements are not established.
- The proportionality was asserted, not derived. The v13.0 definition already contains , which is itself an isospin-breaking quantity. A further factor of in might count the same isospin breaking twice, unless is defined differently. Open.
- The lattice input " MeV to within about 5%, Borsanyi et al. 2015" is marked to be verified. The attribution was not confirmed, and the uncertainty is quoted as 8.2% in section 8.1 below. The statement that this gives a "first-principles cross-check without free parameters" is withdrawn: remains an input.
6. Summary of RG Results
| Parameter | Result | Status |
|---|---|---|
| (v12) | Running withdrawn. Not fixed by ; dimensionful; beta function not derived | Withdrawn |
| Running not computed. If it has a positive one-loop coefficient it grows in the UV | Open | |
| QCD running, with assumed: (linear) or factor 0.863 for fixed ; factor 0.63 to 0.84 with one-loop | Estimated (assumption-dependent) | |
| and (v12) | Running withdrawn. The range is | Withdrawn |
| Potential | No symmetry protection identified; radiative stability not shown | Open |
| Fixed point | Gaussian point is IR-attractive for a positive one-loop coefficient; not UV safe | Derived (general statement), not computed for |
The v12 conclusion that "the MCE EFT parameters are radiatively stable" is withdrawn. It is not demonstrated for the v13.0 parameters.
7. The legacy benchmark and the QCD running factor
The legacy reference point is the unsuppressed Aluminium–Gold difference (equal to with and , an inference described in the screened scalar document), multiplied by a screening and range factor taken as :
The v12 text multiplied this by to obtain . The factor of 0.86 is the QCD running from to . In section 8.2 of the same document is defined at (). The running factor was therefore applied to a quantity already defined at the scale it runs to. The readings are:
| Reading | Factor on | Reference point |
|---|---|---|
| is the value at , where the experiment is matched. No running applies | 1 | |
| is the value at , run to with the stated | ||
| v12 as written (running applied in the direction that lowers ) | 0.86 |
The third reading is not consistent with the stated beta function for when is taken at , because increases towards the IR. Which reading is intended is not stated in the source and is unresolved. The accompanying script anchors at and applies no running factor, which corresponds to the first reading. The screened scalar document quotes the reference point as about 6 to , without error bars. The reference point is an Estimated value of the parameter surface, not a prediction.
8. Lattice-QCD Error Propagation
This section propagates the quoted lattice and perturbative uncertainties onto under the assumption . That assumption is not derived (section 5.2). The result is therefore the uncertainty in if the relation held, and it is not an uncertainty on a prediction of .
8.1. Input uncertainties (all to be verified)
| Source | Central value | Uncertainty | Relative error |
|---|---|---|---|
| (, 2 GeV) | 2.67 MeV | ±0.22 MeV | 8.2% |
| (2+1+1 flavour average) | 210 MeV | ±15 MeV | 7.1% |
| 0.1179 | ±0.0010 | 0.85% | |
| Anomalous dimension | −2.0 | ±0.2 | 10% |
All four values are to be verified against the original sources before use. The earlier version labelled them "FLAG 2023 / PDG 2024" and attributed to FLAG and to Fodor et al. (2016) and Borsanyi et al. (2015) in different places. None of these labels was confirmed in this revision. The value of and its 10% uncertainty are assumptions (section 3.2), not lattice or PDG inputs.
8.2. Propagation formula
Assume , where is a dimensionless coefficient fixed by . With the numbers above, . The fractional uncertainty is
The third term is the stated formula . With , and ,
The earlier document gave 3.6% for this term. The formula does not produce that value. Numerically,
compared with 11.4% in the earlier version. The contribution of the uncertainty in itself is smaller still (about 0.1%) and was not what the formula contained.
8.3. Error budget by source
| Source | Contribution to | Share of variance |
|---|---|---|
| 8.2% | 56% | |
| 7.1% | 42% | |
| through the running | 1.5% | 2% |
| Total | 11.0% | 100% |
The earlier table gave shares of 52%, 39% and 9%, which follow from the 3.6% term. The "reducible by" and "timeline" columns of the earlier version (which named specific lattice collaborations and years, and an collider) had no sources and are removed. Improved lattice determinations of and would reduce the first two terms.
8.4. Legacy benchmark and the fixed-length envelope
The boxed benchmark is withdrawn as a prediction with error bars. The reasons are those of section 7 (the running factor), the unproven relation between and , and the fact that and the factor are not known from this calculation. The value is kept as a legacy reference point of about 6 to (section 7).
The "theory envelope" for m, giving , is retired together with the fixed coherence length. The prefactor contained the same factor 0.86. The screening and range factor replaces the exponential, and has not been computed.
If the relation of section 8.2 held, the 11.0% uncertainty in would scale a reference point of 6 to by the same fraction, that is by roughly to . This is a statement about one input, not an error bar on a prediction.
8.5. Pre-registration
The earlier text proposed pre-registering the benchmark on arXiv because it was "derived entirely from" the MCE framework, lattice inputs and "calculable" QCD running. That description was wrong: the unsuppressed value is not derived, the factor is an inference, and the running factor is possibly counted twice. A pre-registered prediction needs the field solution for the experimental geometry and a determination of from stated assumptions. Pre-registration before an experiment is good practice once those exist. The script scripts/rg_running.py has not been revised for v13.0. It still uses the retired fixed-length band.
8.6. Sensitivity to lattice improvements
The table shows how the propagated uncertainty in responds to smaller assumed uncertainties in , with the other two terms unchanged. The smaller uncertainties are scenarios, not forecasts.
| Scenario for | |
|---|---|
| ±0.22 MeV (as in section 8.1) | 11.0% |
| ±0.10 MeV (assumed) | 8.2% |
| ±0.05 MeV (assumed) | 7.5% |
The uncertainty in alone is 7.1%, so the total cannot fall below that level without a better value of . The earlier values of 7.2% and 5.5% for the two scenarios are not reproduced by the formula, and the statement that the theoretical precision would be "better than 5%" is withdrawn.