Registry · Definition IV.D220 tau-effective formalized

IV.D220 — Crystal regime

The crystal regime is the subset of D where mu < epsilon, |nu| < epsilon, |kappa| < epsilon, and theta = theta_0 (fixed integer); all three continuous components are nearly frozen and the topological charge is locked to a fixed value.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.CrystalRegime