Registry · Definition IV.D159 tau-effective formalized

IV.D159 — Color-confined mode

A mode chi_{m,n} on T^2 is color-confined if n is not equiv 0 mod 3 (fractional eta-holonomy) and the associated boundary character fails to converge in H_partial[omega] as refinement stage N tends to infinity.

Book IV Part 5 Ch. 39

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.ColorconfinedMode