Chemistry Vapor Pressure From Phi Ladder

The vapor pressure ladder

Vapor pressure is the pressure exerted by a vapor in equilibrium with its liquid or solid form at a given temperature. At 20°C, the values for common substances span a wide range: mercury sits at 0.0016 mbar, water at 23 mbar, and acetone at 233 mbar. The ratio of acetone to water vapor pressure is about 10, which is close to φ^5 (where φ is the golden ratio, approximately 1.618). This observation suggests that vapor pressures might increase in discrete steps, each step multiplying the previous value by roughly φ.

The golden ratio, φ, is the number that satisfies the equation r² = r + 1, approximately 1.618. It appears throughout mathematics, from the pentagon's geometry to the Fibonacci sequence. In the context of vapor pressure, the claim is that each rung of a ladder, corresponding to a factor of φ in pressure, represents a recognition event. The framework's ledger, a discrete record of events, tracks these steps. The idea is that moving from one rung to the next costs a fixed amount of recognition, and that cost is forced by the framework's core theorem.

In Recognition Science, the framework models this ladder using its cost function, J(x) = (x + 1/x)/2 - 1. The module defines a domain cost as J(m/e), where m and e are real numbers representing masses or energies. The machine-checked library of formal theorems proves three general facts about this cost: it vanishes when m equals e, it is nonnegative for positive inputs, and the canonical threshold (φ - 3/2) is positive. These are general properties of the cost function, not specific to vapor pressure, because the module does not define m and e in chemical terms.

The library proves that the cost function is zero when the two inputs are equal, meaning no recognition is needed when there is no difference. It also proves the cost is never negative, so the ledger never records a negative cost. The canonical threshold being positive means there is a meaningful gap between the golden ratio and 1.5, which the framework associates with a minimum step size. These results are general, applying to any pair of positive real numbers.

The module does not prove that vapor pressures actually follow this ladder; that remains a research note. The measured values at 20°C show acetone/water ≈ 10 ≈ φ^5, which is an empirical check, not a theorem. The framework's contribution is the structure: if vapor pressure steps follow the golden ratio, then the cost of moving between rungs is forced by the same mathematical law that governs the framework's ledger. This gives a potential explanation for why the ratio appears, rather than just noting it as a coincidence.

theorem domainCost_at_eq (r : ℝ) (h : r ≠ 0) : domainCost r r = 0 := by
  unfold domainCost; rw [div_self h]; exact Jcost_unit0

theorem domainCost_nonneg (m e : ℝ) (hm : 0 < m) (he : 0 < e) : 0 ≤ domainCost m e := by
  unfold domainCost; exact Jcost_nonneg (div_pos hm he)

theorem canonicalThreshold_pos : 0 < canonicalThreshold := by
  unfold canonicalThreshold; linarith [phi_gt_onePointFive]

What this page does not claim

The module does not prove that vapor pressures follow the phi ladder. The measured ratio of acetone to water vapor pressure is an empirical observation, not a theorem. The framework does not derive the specific vapor pressure values for mercury, water, or acetone.

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/VaporPressureFromPhiLadder.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: