Registry · Definition IV.D221 tau-effective formalized

IV.D221 — Glass regime

The glass regime is the subset of D where mu < epsilon, |nu| < epsilon, |kappa| >= epsilon, and theta = theta_0; mobility and vorticity are frozen like a crystal, but compression remains unfrozen, allowing local density variations to persist.

Book IV Part 7 Ch. 52

Lean Formalization

Module: TauLib.BookIV.ManyBody.DefectFunctionalExt

Symbol: Tau.BookIV.ManyBody.GlassRegime