Chemistry Periodic Blocks

Periodic blocks as a phi-packing model

In chemistry, the periodic table's blocks (s, p, d, f) reflect which atomic orbital type the outermost electrons occupy. The table's familiar shape, with its two-element wide s-block, six-element p-block, and so on, comes from the angular momentum quantum numbers of electron orbitals. This structure is well established in quantum mechanics, where the Pauli exclusion principle limits each orbital to two electrons.

The Recognition Science framework offers a different lens. It models each atomic shell's capacity as a power of the golden ratio φ ≈ 1.618, specifically φ^(2n) for the n-th shell. This dimensionless capacity, called block_capacity, is a definitional choice, not a derived theorem. The framework pairs this with an energy-like shell scale, defined as a coherence energy E_coh multiplied by the same capacity. The key identity, proved by direct computation in the framework's machine-checked library, states that this shell scale equals E_coh times the capacity at every shell number n.

This is a modeling exercise, not a derivation of the periodic table from first principles. The framework defines these quantities and proves the tautological identity connecting them. It does not predict electron configurations or explain why the blocks have their observed widths. The model's value lies in its simplicity: a single scaling parameter φ connects shell capacities and energy scales across the periodic table, offering a compact mathematical proxy that certificates and reports can use.

The practical takeaway is modest but concrete. The framework provides a clean, dimensionless description of shell capacities that is consistent with the idea of shells growing geometrically. Whether this φ-packing reflects a deeper physical principle or is merely a convenient parametrization remains an open question. The identity itself is trivially true by definition; the interesting question is whether the golden ratio carries explanatory weight beyond the model's internal consistency.

noncomputable def block_capacity (n : Nat) : ℝ := Constants.phi ^ (2 * n)

/-- Identity: shell scale equals `E_coh` times capacity at each n. -/
@[simp] theorem blocks_holds (n : Nat) : shell n = Constants.E_coh * block_capacity n := by
  rfl

What this page does not claim

This model does not derive the periodic table's block structure from quantum mechanics. The golden-ratio capacity is a definitional choice, not a proved consequence of the framework's axioms. No claim is made that φ-packing predicts electron configurations or chemical properties.

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