`qptExamples`

definition

show as: view math explainer →

module: IndisputableMonolith.Thermodynamics.PhaseTransitions
domain: Thermodynamics
line: 212 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Thermodynamics.PhaseTransitions on GitHub at line 212.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

 209    - Mott insulator transition
 210    - Quantum Hall transitions
 211    - Heavy fermion criticality -/
 212def qptExamples : List String := [
 213  "Mott insulator-metal",
 214  "Quantum Hall plateau transitions",
 215  "Heavy fermion systems",
 216  "Superconductor-insulator"
 217]
 218
 219/-! ## Topological Phase Transitions -/
 220
 221/-- Topological transitions change the topology, not symmetry:
 222    - Kosterlitz-Thouless (2D XY model)
 223    - Topological insulator transitions
 224
 225    In RS: Topology of J-cost landscape changes. -/
 226structure TopologicalTransition where
 227  winding_number_before : ℤ
 228  winding_number_after : ℤ
 229  is_continuous : Bool
 230
 231/-! ## Summary -/
 232
 233/-- RS picture of phase transitions:
 234
 235    1. **J-cost landscape**: Multi-dimensional surface
 236    2. **Minima**: Phases are local minima
 237    3. **First order**: Jump between separated minima
 238    4. **Second order**: Minima merge, fluctuations diverge
 239    5. **Critical point**: Topology change
 240    6. **Nucleation**: Thermal crossing of barriers -/
 241def summary : List String := [
 242  "Phases = J-cost minima",

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.