Registry · Proposition IV.P112 tau-effective formalized

IV.P112 — Asymptotic freedom as spectral tightening

Asymptotic freedom as spectral tightening: at high energy scales (mu >> Lambda_QCD), the C-sector readout satisfies R_C(mu^2) < 1 and decreases with increasing mu, because chi_minus-dominant characters tighten under deeper refinement.

Book IV Part 5 Ch. 42

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.StrongCoupling

Symbol: Tau.BookIV.Strong.AsymptoticFreedomAsSpectralTightening