Registry · Remark IV.R49 tau-effective not_applicable

IV.R49 — Why new loops appear

Strict growth L_s[n] subsetneq L_s[n+1] is the tau-source of asymptotic freedom: at higher resolution more gap loops are available, the defect minimizer distributes across more loops, and the effective coupling appears weaker.

Book IV Part 5 Ch. 37

Lean Formalization

Module:

Symbol: