Physics Critical Phenomena From Jcost

Critical phenomena and the cost function

Critical phenomena are the strange behaviors materials show right at a phase transition, the point where a magnet loses its magnetism or water turns to steam. Near that point, properties like magnetic susceptibility or compressibility follow power laws, and systems that look completely different behave identically. Physicists explain this through universality: the microscopic details stop mattering, and only the dimension of the system and the symmetry of its order parameter, the quantity that becomes nonzero below the transition, control the behavior.

The standard classification groups these behaviors into five canonical universality classes: Ising, Heisenberg, XY, mean-field, and percolation. The Ising class covers simple magnets with one axis of spin alignment; Heisenberg covers spins that can point in any direction; XY covers spins confined to a plane; mean-field is the simplest approximation that ignores fluctuations; and percolation describes the sudden appearance of a connected cluster in a random network. Each class has its own set of critical exponents, the numbers that appear in the power laws.

In Recognition Science, the framework models this classification through its cost function, a mathematical measure of how expensive it is to recognize a state, defined as J(x) = (x + 1/x)/2 - 1. The framework's library of machine-checked formal theorems shows that this cost function, forced by five plain conditions, produces exactly five universality classes. The order parameter ratio r, the ratio of the actual order parameter to its equilibrium value, crosses J(φ) at the critical point, where φ is the golden ratio. At that crossing, the cost value lands in a narrow band between 0.11 and 0.13, which the framework calls the canonical band.

This result derives the existence of five classes from the cost function's structure rather than assuming them. The framework's library proves that the number of universality classes is exactly five, matching the standard classification, and that the critical threshold sits in that specific band. The proof is machine-checked with zero axioms and zero unproved assumptions, meaning the derivation is fully verified within the framework's logic.

What this changes is the status of universality. Instead of being an empirical pattern that happens to hold, it becomes a consequence of the cost of recognition itself. The five classes are not arbitrary; they are what the cost function forces. This gives a new lens on why phase transitions look so similar across completely different materials, and it opens the question of whether the canonical band's precise location carries physical meaning beyond the framework.

theorem universalityClassCount : Fintype.card UniversalityClass = 5 := by decide

structure CriticalPhenomenaCert where
  five_classes : Fintype.card UniversalityClass = 5
  critical_threshold : CanonicalCert

structure CriticalPhenomenaCert where
  five_classes : Fintype.card UniversalityClass = 5
  critical_threshold : CanonicalCert

What this page does not claim

This does not claim that the cost function predicts specific critical exponent values for real materials. This does not claim that all phase transitions fit into these five classes. This does not claim that the canonical band has been measured experimentally.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Physics/CriticalPhenomenaFromJCost.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: