Registry · Theorem V.T276 tau-effective not_formalized

V.T276 — Tensor-to-Scalar Ratio from Fiber Dimensional Suppression

r = iota_tau^(2*dim(T^2)) = iota_tau^4 ~ 0.01357. Exponent 4 = 2x2: fiber dimension times power-spectrum order. Detectable at ~14 sigma by CMB-S4.

Book V Part 6 Ch. 47

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module:

Symbol: