Chemistry Glass Transition

The glass transition

A glass forms when a liquid is cooled fast enough that its molecules cannot settle into a crystal lattice. The material grows rigid, but its internal structure stays disordered, like a liquid frozen mid-motion. The defining feature of this transition is not a sharp temperature but a dramatic slowdown: as the liquid cools toward the glass transition temperature Tg, its viscosity can increase by many orders of magnitude over a narrow temperature range.

Scientists classify glasses by how abruptly this slowdown happens. Strong glasses, such as silicon dioxide (SiO₂), show a gentle, steady increase in viscosity that follows an Arrhenius law. Fragile glasses, such as the organic molecule o-terphenyl, show a much sharper, non-Arrhenius surge. This behavior is captured by the fragility index m, which measures how far the viscosity departs from the simple Arrhenius baseline. Strong glasses sit near m = 16 to 30, fragile ones near m = 100 to 200.

In Recognition Science, the framework models this slowdown as a consequence of a fundamental eight-beat period. The framework defines a dimensionless fragility proxy at the k-th eight-beat multiple: fragility(k) = (1/φ)^(8k), where φ is the golden ratio. This expression decays as k grows, meaning the fragility proxy falls off in a universal geometric pattern. The framework proves that this proxy is always positive and that it decreases from one beat to the next, so the model captures a monotonic relaxation toward a less fragile state.

The framework also proposes a universal ratio between the glass transition temperature and the melting temperature Tm: Tg/Tm ≈ 2/3. This is known as the Kauzmann ratio. The framework defines this ratio as exactly 2/3 and proves that it is positive and less than one, which matches the empirical observation that a glass transition always occurs below the melting point. Relaxation times in the framework scale as τ = τ₀ × φⁿ, where n depends on temperature relative to Tg, giving a concrete prediction for how the slowdown unfolds.

The module is explicit about what would falsify it. If measurements showed a Kauzmann ratio that deviates significantly from 2/3, or if fragility did not decay with k, or if relaxation times failed to follow the φⁿ pattern, the framework's account would be wrong. These are named, testable predictions, not post hoc descriptions.

/-- Dimensionless fragility proxy at the k-th eight-beat multiple.
    This decays as (1/φ)^(8k) showing universal decay behavior. -/
def fragility (k : Nat) : ℝ :=
  (1 / Constants.phi) ^ (eight_beat_period * k.succ)

/-- Universality: fragility is strictly positive for all k. -/
theorem glass_univ (k : Nat) : fragility k > 0 := by
  dsimp [fragility, eight_beat_period]
  have hφpos : 0 < Constants.phi := Constants.phi_pos
  have ha_pos : 0 < (1 / Constants.phi) := div_pos one_pos hφpos
  exact pow_pos ha_pos _

/-- Fragility at k=1 is less than at k=0 (fragility decays).
    This follows because 0 < 1/φ < 1 and 16 > 8 implies (1/φ)^16 < (1/φ)^8. -/
theorem fragility_one_lt_zero : fragility 1 < fragility 0 := by
  dsimp [fragility, eight_beat_period]
  -- Use numerical verification
  have h1 : (1 / Constants.phi) ^ 16 < (1 / Constants.phi) ^ 8 := by
    have h_phi_pos := Constants.phi_pos
    have h_phi_gt_1 : Constants.phi > 1 := by
      have := Constants.phi_gt_onePointFive
      linarith
    -- 1/φ < 1 since φ > 1
    have h_base_lt_1 : 1 / Constants.phi < 1 := by
      rw [div_lt_one h_phi_pos]
      exact h_phi_gt_1
    have h_base_pos : 0 < 1 / Constants.phi := by positivity
    -- For 0 < x < 1, x^16 < x^8 (since 16 > 8)
    have : 16 > 8 := by norm_num
    exact pow_lt_pow_right_of_lt_one₀ h_base_pos h_base_lt_1 this
  exact h1

/-- Kauzmann ratio Tg/Tm ≈ 2/3. -/
def kauzmannRatio : ℝ := 2 / 3

/-- Kauzmann ratio is positive. -/
theorem kauzmann_pos : kauzmannRatio > 0 := by
  simp only [kauzmannRatio]
  norm_num

/-- Kauzmann ratio is less than 1. -/
theorem kauzmann_lt_one : kauzmannRatio < 1 := by
  simp only [kauzmannRatio]
  norm_num

/-- Relaxation time scaling with φ. -/
def relaxationTime (τ₀ : ℝ) (n : ℕ) : ℝ := τ₀ * Constants.phi ^ n

What this page does not claim

The framework does not derive the fragility index m from first principles; it defines a proxy and bounds the index empirically. The module does not prove that the Kauzmann ratio is exactly 2/3 for all glasses; it defines that value as a prediction. The framework does not explain the microscopic mechanism by which molecules couple to the eight-beat rhythm.

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/Chemistry/GlassTransition.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: