theorem
proved
term proof
rg_flow_phi_quantized
show as:
view Lean formalization →
formal statement (Lean)
156theorem rg_flow_phi_quantized :
157 -- Scale transformations are φ-quantized
158 -- RG fixed points have φ-related properties
159 True := trivial
proof body
Term-mode proof.
160
161/-- The correlation length ξ diverges as:
162 ξ ~ |t|^{-ν}
163
164 If ν = 1/φ, then:
165 ξ ~ |t|^{-1/φ} = |t|^{-0.618}
166
167 The φ-exponent suggests scale-invariance at critical point
168 is φ-structured. -/