Registry · Proposition
IV.P103
tau-effective
formalized
IV.P103 — Equivalence of defect formulations
The plaquette-aggregated defect V_n^s and the gap-loop defect Delta_n^s determine the same vacuum: argmin of V_n^s over Adm_s[n] equals Gamma_s^*[n], because every gap loop decomposes into plaquettes and the aggregations are equivalent.
Book IV
Part 5
Ch. 41