Registry · Theorem V.T131 tau-effective formalized

V.T131 — No knobs in tau

The coherence kernel admits no continuous deformations (No Knobs Theorem, Book III). The sector couplings, master constant, and all derived physical quantities are uniquely determined. There is no analogue of the Immirzi parameter. This contrasts with LQG where the Immirzi parameter remains undetermined and must be fixed by hand.

Book V Part 7 Ch. 63

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.Orthodox.OtherApproaches

Symbol: Tau.BookV.Orthodox.NoKnobsInTau