Registry · Proposition IV.P118 tau-effective formalized

IV.P118 — Asymptotic freedom from N_c and N_f

The tau-derived values N_c = 3 and N_f = 6 satisfy the asymptotic freedom condition N_f = 6 < 11*N_c/2 = 16.5, confirming asymptotic freedom at one loop both by the orthodox beta function and the chi_minus-tightening structural argument.

Book IV Part 5 Ch. 43

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.QuarksGluons

Symbol: Tau.BookIV.Strong.AsymptoticFreedomFromNcAndNf