IV.D175 — Spectral gap at stage~n

The spectral gap delta_n^s := lambda_1^(n) = min{lambda in Spec(Q_n^s) | lambda > 0} is the smallest nonzero eigenvalue of the strong quadratic form at stage n; the corresponding eigenmode g_n is the lightest excitation above the strong vacuum.