Registry · Proposition IV.P143 tau-effective formalized

IV.P143 — Melting sequence monotone mobility

The six non-topological regimes are ordered by monotonically increasing macroscopic mobility: mu_crystal <= mu_quasi <= mu_glass < mu_Euler < mu_NS < mu_plasma; the topological regimes (superfluid, superconductor) are reached orthogonally by lowering the gradient.

Book IV Part 7 Ch. 54

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter

Symbol: Tau.BookIV.ManyBody.MeltingSequenceMonotoneMobility