IV.D172 — Plaquette-aggregated strong defect

The plaquette-aggregated strong defect V_n^s(Gamma_n) = Agg({F_n^s(Box) | Box in P_n^s}) is the canonical aggregation of strong curvatures over all plaquettes, the plaquette reformulation of the gap-loop defect functional suited to spectral analysis.