IV.D165 — Finite-difference quadratic form

The finite-difference quadratic form Q_n(p,q) := V_n(Omega^* oplus p oplus q) - V_n(Omega^* oplus p) - V_n(Omega^* oplus q) + V_n(Omega^*) measures the second-order excitation cost around the canonical vacuum.