`QuantumPhaseTransition`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Thermodynamics.PhaseTransitions on GitHub at line 203.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 200    Controlled by a non-thermal parameter (pressure, field, etc.).
 201
 202    In RS: These are pure J-cost transitions, no thermal noise. -/
 203structure QuantumPhaseTransition where
 204  control_parameter : ℝ
 205  critical_value : ℝ
 206  is_T_zero : Bool
 207
 208/-- Examples:
 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:

papers checked against this theorem

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