Lattice Observables and Continuum Inference

A lattice observable claim is only as strong as its weakest inference step. A correlation function is not an energy, a fitted amplitude is not yet a matrix element, a bare matrix element is not renormalized, and a renormalized finite-spacing quantity is not a continuum prediction. This chapter connects those objects without collapsing their uncertainties or assumptions.

Enter this chapter

Begin with Euclidean Correlators and Spectral Information to read finite-volume energy and overlap information from Euclidean correlators.

Topics

1. Euclidean Correlators and Spectral Information — Derives spectral decompositions with stated state normalization.
2. Operator Bases, Effective Masses, and Excited-State Control — Tests operator rank and excited-state contamination.
3. Three-Point Functions, Matrix Elements, and Disconnected Contributions — Isolates bare current matrix elements and disconnected terms.
4. Spectral Reconstruction and Ill-Posed Euclidean Inverse Problems — Identifies information lost in Euclidean inverse problems.
5. Scale Setting and Dimensionless Ratios — Converts lattice units using correlated physical inputs.
6. Nonperturbative Renormalization, Mixing, and Step Scaling — Renormalizes closed operator sectors and evolves their scale.
7. Lattice Perturbation Theory, Symanzik Analysis, and Improvement — Connects lattice loop coefficients to improvement operators.
8. Lines of Constant Physics and Continuum Extrapolation — Fits the continuum limit along a tuned physical trajectory.

How the ideas fit together

State isolation, operator renormalization, and continuum extrapolation remove different sources of ambiguity. Increasing a source–sink separation can reduce excited-state contamination without correcting a missing mixing operator or a finite-spacing artifact. Likewise, a tiny fit uncertainty need not include uncertainty in scale setting or matching. Shared configurations and inputs couple these stages, so their covariance must be propagated through the complete observable. Gattringer and Lang 2010, chs. 4–6. The comparison below distinguishes the checks required at each stage.

The observable chain and its independent checks

Stage	Definition and finite-regulator data	Estimator or matching step	Correlations and cutoff control	Independent check and stop condition
Action and lattice perturbation theory	Action, measure, Fourier convention, vertex normalization, Brillouin zone, and symmetry factor	Named loop coefficient in a stated lattice scheme	Common ensembles and input parameters retained through matching	Free rule or Ward identity; stop if a coefficient lacks its measure, domain, or normalization
Correlator and state isolation	Operator quantum numbers, boundary rule, $C_{ij}(t)$, and covariance	GEVP or correlated multi-state fit for $E_n$ and $Z_i^{(n)}$	Basis rank, time window, images, and excited states varied jointly	Hermiticity, positivity where applicable, and an exact fixture; stop if the level label is unstable
Bare insertion	Connected and disconnected contractions for $\langle m\lvert J_0\rvert n\rangle$	Plateau, summation, and multi-state estimators with stochastic-noise treatment	Source–sink separations, shared configurations, and stochastic replicas remain correlated	Exact small system and estimator agreement; stop if disconnected bias or excited states are unresolved
Renormalization and mixing	Complete operator basis and $J_R(\mu)=Z(\mu,a)J_0$ in a named scheme	Nonperturbative condition, step scaling, and continuum conversion	Matrix-valued mixing and scale dependence propagated with the bare result	Ward identity, scheme round trip, and step-scaling closure; stop if the basis or scale window is incomplete
Scale setting	Dimensionless reference quantity and declared physical input	Correlated conversion from lattice units	Tuning, scale, and predicted observables keep their shared covariance	Second reference and held-out round trip; stop if the claimed prediction was also an input
Improvement and continuum limit	Symanzik-allowed action and operator basis, line of constant physics, $Q_R(a,L)$	Correlated finite-volume and continuum fit with a declared artifact ansatz	Matching, renormalization, scale, volume, action choice, and fit alternatives propagated once	Alternative action, artifact model, and leave-one-spacing-out tests; stop if constant physics or the asymptotic window is unsupported
Reported continuum quantity	$Q_R(0,\infty)$ with scheme, scale, units, and covariance	Rounding from the combined uncertainty, not from fit precision alone	Statistical and systematic components retain correlations and avoid double counting	Held-out observable or cross-formulation comparison; report only digits supported by the complete uncertainty

The repeated fields make omissions visible as the calculation moves from a regulated action to a continuum observable.

Where to go next

Continue to Lattice Gauge Theory to derive link and plaquette transformations before choosing an action.

References

• Gattringer, Christof, and Christian B. Lang. Quantum Chromodynamics on the Lattice: An Introductory Presentation. Springer, 2010, chs. 4–6. doi:10.1007/978-3-642-01850-3.