Registry · Proposition IV.P117 tau-effective formalized

IV.P117 — Structural asymptotic freedom

Structural asymptotic freedom: the C-sector readout R_C(n) is monotonically decreasing with refinement depth n, so the effective strong coupling alpha_s^eff(n) = kappa(C;3) * R_C(n) decreases at higher resolution, directly from chi_minus tightening.

Book IV Part 5 Ch. 43

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.StructuralAsymptoticFreedom