Registry · Corollary
V.C06
tau-effective
formalized
V.C06 — Defect entropy reaches zero
Defect entropy reaches zero: lim_{n->inf} S_def(n) = 0 with exponentially fast convergence S_def(n) <= (1 - iota_tau)^n S_def(0). The defect entropy is driven to zero by the geometric contraction at rate (1 - iota_tau) per orbit step.
Book V
Part 3
Ch. 22