EFT truncation errors and validity tests
Construct transparent truncation estimates, separate them from other uncertainties, and test their coefficient and breakdown assumptions.
On this page
The question for today
What you’ll understand
- Estimate a first omitted contribution with a declared reference scale.
- Distinguish a naturalness estimate, a rigorous coefficient bound, and a probability interval.
- Test EFT validity using order, energy, and uncertainty diagnostics.
An EFT prediction is incomplete without an estimate of what its truncation leaves out. The estimate is conditional: it depends on a power counting, a breakdown scale, an observable normalization, and expectations about unknown coefficients. None of those assumptions is created merely by drawing a narrow band around a curve. A useful uncertainty statement exposes them, separates different sources of error, and checks whether observed corrections and new data behave as the proposed expansion predicts.
Normalize the series before judging coefficient sizes
Write an observable as a reference scale times a series in a dimensionless ratio Q of soft to breakdown scales. Symmetry can remove whole powers; a series containing only even powers has a different next omitted order from a generic integer-power series. The reference scale should represent a natural absolute size of the observable. If the leading result accidentally vanishes or is suppressed, using that result as the denominator can make a sensible absolute error appear ill-defined.
A common estimate takes the first omitted allowed power times a representative coefficient size. Known coefficients and order-by-order changes can inform that size, but a cancellation at one order does not prove that later coefficients are small. Naturalness here is an expectation after explicit couplings, symmetry factors, and scale normalizations have been assigned. It is neither a theorem that all coefficients equal one nor an independent proof that the chosen breakdown scale is correct.
A bound and a probability model need extra assumptions
If every omitted coefficient is known to be bounded in magnitude by the same number and Q is less than one, the geometric sum supplies a rigorous bound on the full tail. A first-omitted-term estimate lacks that guarantee because it does not constrain all later terms. Such a uniform bound is usually stronger than what EFT alone supplies, but it is valuable for distinguishing an explicit mathematical assumption from an informal estimate.
A probabilistic interval instead requires priors or a calibrated statistical model for the unknown coefficients and, often, for the breakdown scale. Their correlations across orders and kinematics matter. A stated sixty-eight-percent interval is not justified by relabeling an order-of-magnitude band. Bayesian treatments can encode naturalness assumptions transparently and update them from known coefficients, but their conclusions remain conditional on the chosen model and should be tested for sensitivity and predictive coverage.
Test the physical expansion as well as the error model
Compare successive orders, vary the range of external energies, and test predictions for observables not used to determine the coefficients. Systematic growth of normalized corrections may indicate an omitted low scale, a nearby resonance, a wrong counting, or a poor coefficient normalization. Regulator artifacts and numerical errors should be separated from physical truncation. Fitting more coefficients can improve a curve within its fitting window without extending the EFT's actual kinematic domain.
Renormalization-scale variation probes some missing perturbative logarithms, but cannot reveal every unknown tree-level higher-dimensional term. Coefficient-fit uncertainties, experimental errors, and EFT truncation can also be correlated, so blindly adding all quoted errors as independent variances is not justified. Failure to meet a particular precision target at one order does not necessarily mean the EFT is invalid: a higher order may suffice. Conversely, apparent agreement at one energy does not rescue an expansion used beyond its breakdown regime.
Work it through
Compare an estimate with a known toy remainder
For a check use the exact toy polynomial in fixed observable units, with Q=0.20. Truncate after Q². Find the truncated and exact values, the actual error, and the first-omitted estimate with cbar=1. Also give the full-tail bound that would follow if every omitted even-power coefficient were bounded by one.
The truncated value is . The known quartic contribution is , giving exact toy value 101.960.
The actual truncation error magnitude is 0.040 in the observable units. The first-omitted scale estimate with cbar=1 is , larger than this particular known correction.
Under a uniform bound on all omitted coefficients, the geometric tail bound would be . In the exact toy polynomial higher coefficients vanish; the bound is deliberately more conservative than that additional information.
The truncated and exact toy results are 102 and 101.960. Their error is 0.040, compared with a 0.160 scale estimate and a conditional 0.1667 tail bound.
The living notebook
Explore the model
Interactive lab · spectral
A first omitted coefficient and a full tail differ
For each fresh comparison, Reset and set BOTH Coefficient decay p=2 and Mode count N. Compare N=4 and N=8, predicting highest-included coefficients 1/16 and 1/64. For the corresponding known infinite sine series, the uniform absolute tail is bounded by the sum of 1/n² for n>N, which is at most 1/N; the first omitted coefficient alone is 1/(N+1)². The lab displays finite sums, not an infinite-tail readout or an EFT uncertainty posterior. Its known Fourier coefficients do not establish naturalness of unknown Wilson coefficients.
- Sum at x = π/2
- 0.867
- Smallest wavelength
- 2π / 5
- Highest-mode coefficient
- 0.2
A finite sum of sin(nx − t)/nᵖ. Playback changes t; increasing the cutoff includes finer spatial scales. This is not a proof about a continuum limit or renormalization. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forA complete tail estimate requires more information than the size of one omitted term.
Pause & reason
Check your understanding
Your turn
Try it yourself
An even-power EFT is truncated after Q² with cbar=1 and a proposed uniform bound on all omitted coefficients. The target is an absolute error below two percent of |Xref|. Compare Q=0.40 and Q=0.30 using the geometric tail bound. Does failure at the first value prove that the EFT itself is unusable?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
The dimensionless bound is Q⁴/(1−Q²). This is an accuracy test conditional on the coefficient bound, and it is stronger than merely requiring Q<1.
Compare with the solution
For Q=0.40, the bound is , or 3.05 percent of |Xref|, so it does not guarantee the target. For Q=0.30 it is , or 0.890 percent, which does. Failure of the first guarantee is not proof that the actual error exceeds two percent, nor that the EFT has broken down. It says this order and these assumptions do not ensure the desired precision there; additional terms or stronger validated information about coefficients may improve the assessment.
Keep the idea
Take it with you
- Truncation estimates require a stated power counting, reference size, and breakdown scale.
- Uniform bounds and probability intervals need assumptions beyond a first-omitted-term estimate.
- Order, energy, and predictive tests assess validity more directly than a visually good fit.
Read further
Original sources and deeper explanations to follow at your own pace.
- Furnstahl, Klco, Phillips, and Wesolowski: Quantifying truncation errors in effective field theory, §§I–II and IV, PDF pp. 1–9 and 17–20 — coefficient priors and breakdown-scale checks
- Manohar: Introduction to Effective Field Theories, §1 and §8 — controlled expansion parameters and naive dimensional analysis
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.