Registry · Definition IV.D300 tau-effective formalized

IV.D300 — Coupling Ledger and Observable Ledger

The coupling ledger L_tau is the complete symmetric matrix {kappa(X,Y)} of ten inter-sector couplings. For each energy scale mu, the observable ledger L_obs(mu) is the set of experimentally accessible coupling parameters {alpha_X(mu)} at scale mu.

Book IV Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookIV.Calibration.RunningRegime

Symbol: Tau.BookIV.Calibration.CouplingLedgerAndObservableLedger