Materials Thermal Conductivity Regimes From Phi Ladder Kappa Ratio

The conductivity ladder

Thermal conductivity measures how easily heat flows through a material. Real materials conduct heat by different physical mechanisms, and the dominant one can change with temperature, purity, or sample size. Five such regimes are commonly named: ballistic, where heat carriers travel without scattering; diffusive, where they scatter frequently; phonon-dominated, where lattice vibrations carry the heat; electron-dominated, where free electrons do; and interface-limited, where boundaries between materials control the flow.

In Recognition Science (RS), the framework's library of machine-checked formal theorems defines a ledger, a discrete record of recognition events, and derives from it a cost function that forces the golden ratio φ = (1 + √5)/2 ≈ 1.618 as a fundamental scaling constant. The declaration kappa_ratio applies that scaling to thermal conductivity. It defines a quantity κ(k) = φ^k for each natural number k, and proves that the ratio of conductivity from one regime to the next is exactly φ: κ(k + 1) / κ(k) = φ. The proof is a short algebraic identity, verified with no gaps and no extra axioms.

The theorem also certifies that there are exactly five regimes and that every κ(k) is positive. These three facts are bundled into a single certificate object, thermalConductivityCert, which packages the count, the ratio, and the positivity as one machine-checked unit. The certificate is a formal statement of structure: it says that if you label the five regimes in a fixed order, the conductivities form a geometric progression with ratio φ.

What kappa_ratio does not claim is any empirical connection. It does not assert that any measured material's thermal conductivity actually follows this ladder, nor that the five regimes are ordered in any particular way by real-world magnitude. It does not predict a specific value for any material's conductivity in watts per meter per kelvin. The declaration is a pure structural result: within the RS framework, if the five regimes are assigned to the rungs of the φ-ladder, then adjacent rungs differ by the golden ratio. Whether nature honors that assignment is a separate question, not settled by this theorem.

theorem kappa_ratio (k : ℕ) : kappa (k + 1) / kappa k = phi := by
  unfold kappa
  have hpos : (0 : ℝ) < phi ^ k := pow_pos phi_pos k
  rw [div_eq_iff hpos.ne', pow_succ]
  ring

theorem thermalConductivityRegime_count :
    Fintype.card ThermalConductivityRegime = 5 := by decide

theorem kappa_pos (k : ℕ) : 0 < kappa k := pow_pos phi_pos k

What this page does not claim

No measured material's thermal conductivity is asserted to follow the φ-ladder. No claim is made about the ordering of the five regimes by real-world conductivity magnitude. No specific value in watts per meter per kelvin is predicted for any material.

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/Materials/ThermalConductivityRegimesFromPhiLadder.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: