Registry · Definition IV.D177 tau-effective formalized

IV.D177 — Gap quantum

The omega-gap quantum g[omega] := varprojlim_{n>=3} g_n is the projective limit of finite-stage gap modes; its spectral weight lambda_omega^s(g[omega]) := lim delta_n^s is the mass gap of the strong sector.

Book IV Part 5 Ch. 41

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.GapQuantum