structure
definition
def or abbrev
SecondOrderTransition
show as:
view Lean formalization →
formal statement (Lean)
105structure SecondOrderTransition where
106 critical_exponents : List ℝ -- α, β, γ, ν, etc.
107 universality_class : String -- Ising, XY, Heisenberg, etc.
108
109/-- In RS, second-order transitions involve:
110 1. J-cost minima merge smoothly
111 2. Single minimum flattens at Tc
112 3. Fluctuations diverge (critical opalescence)
113 4. Universal behavior from J-cost geometry -/