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

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.EquivalenceOfDefectFormulations