Registry · Definition IV.D174 tau-effective formalized

IV.D174 — Strong quadratic form

The strong quadratic form Q_n^s(p,q) is the finite-difference second variation of V_n^s around the strong vacuum Gamma_s^*[n], analogous to the Hessian of the Yang-Mills action evaluated at the vacuum, whose eigenvalues determine the excitation spectrum.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.StrongQuadraticForm