Registry · Proposition
V.P86
tau-effective
formalized
V.P86 — Coupling Budget Completeness
At depth n=1, the five self-couplings are: kappa(D;1) = 1-iota_tau, kappa(A;1) = iota_tau, kappa(B;2) = iota_tau^2, kappa(C;3) = iota_tau^3/(1-iota_tau), kappa(omega) = iota_tau^3/(1+iota_tau), exhausting the total coupling budget.
Book V
Part 5
Ch. 44