Chemistry Polymer Chain Length From Phi Ladder

Polymer chain lengths and the phi ladder

Polymer chains are long molecules whose shape depends on stiffness and solvent. A stiff chain holds a straight rod; a flexible one in a good solvent swells; a collapsed one balls up. Polymer physics groups these behaviors into five canonical regimes: rigid rod, worm-like chain, ideal chain, excluded-volume, and collapsed. Each has its own length scale, from the persistence length (how far the chain keeps its direction) to the distance between the two ends (how far apart the two ends sit on average).

The classical result for the distance between the two ends is the Flory scaling law: R ∝ N^ν, where N is the number of segments and ν is the Flory exponent. For a self-avoiding chain in three dimensions, ν ≈ 0.588. The framework's value, ν = 1/φ^(1/3) ≈ 0.603, sits close to that. The match is not exact, but it is a notable coincidence that a number derived from the golden ratio lands within a few percent of a measured polymer physics constant.

In Recognition Science, the framework models polymer regimes with a discrete structure. Its machine-checked library of formal theorems defines an inductive type with exactly five constructors, one per regime, and proves that there are exactly five. The same library defines a persistence length that scales by the golden ratio φ at each step: persistenceLength (k + 1) / persistenceLength k = φ. This is a proved theorem, not a numerical guess.

The framework's claim is that these two facts, the count of five regimes and the golden-ratio scaling, are not accidents. They are forced by the same cost function that produces other constants in the framework. The library packages both results into a single certificate, a structure that carries the proof of five regimes and the proof of the phi ratio together. The certificate is built from the two theorems, with no unproved assumptions.

What this establishes in plain language is modest but precise: within the framework, the five polymer regimes are not an arbitrary list, and the persistence length steps by φ exactly. The Flory exponent match is an empirical check, not a theorem. The framework does not derive the full statistics of polymer chains; it pins down two structural facts and leaves the rest to conventional polymer science.

theorem polymerRegimeCount : Fintype.card PolymerRegime = 5 := by decide

theorem persistenceLengthRatio (k : ℕ) :
    persistenceLength (k + 1) / persistenceLength k = phi := by
  unfold persistenceLength
  have hpos := pow_pos phi_pos k
  rw [pow_succ, div_eq_iff hpos.ne']
  ring

noncomputable def persistenceLength (k : ℕ) : ℝ := phi ^ k

What this page does not claim

The Flory exponent match is not a theorem, only an empirical coincidence. The framework does not derive the full distance-between-ends distribution. No claim is made that real polymer persistence lengths exactly follow a phi-power ladder.

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