Registry · Theorem IV.T106 tau-effective formalized

IV.T106 — Power Hierarchy

The sector couplings satisfy power relations: kappa(B; 2) = kappa(A; 1)^2 = iota_tau^2 and kappa(A,C) = iota_tau^4 / (1 - iota_tau). All spatial self-couplings and depth-crossing cross-couplings are powers of the temporal weak coupling iota_tau.

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessCouplings2

Symbol: Tau.BookIV.Calibration.PowerHierarchy