Registry · Proposition IV.P111 tau-effective formalized

IV.P111 — Λ_QCD as readout saturation

Lambda_QCD is the energy at which the readout functor R_C(mu^2) ceases to be injective on the boundary algebra; below this scale multiple distinct boundary states project to the same measured value, and the readout loses information (readout saturation).

Book IV Part 5 Ch. 42

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.StrongCoupling

Symbol: Tau.BookIV.Strong.QcdAsReadoutSaturation