Chemistry Ionization Energy

Ionization Energy and the Sawtooth

Ionization energy is the energy required to remove one electron from a neutral atom in the gas phase. It is a foundational property of the elements, rising and falling in a characteristic sawtooth pattern across the periodic table. Alkali metals, with a single outer electron, have the lowest first ionization energy in their period, while noble gases, with full outer shells, have the highest. This ordering is a textbook fact, taught in every introductory chemistry course and confirmed by decades of NIST measurements.

The pattern is usually explained by electron configuration and effective nuclear charge. Within a period, as protons are added, the increasing nuclear charge pulls the outer electrons tighter, so the energy to remove one rises. A new period begins after a noble gas, and the next alkali metal starts with a single electron in a new shell, far from the nucleus, so the energy drops sharply. The result is the familiar zigzag when ionization energy is plotted against atomic number.

In Recognition Science, the same sawtooth is not taken as an empirical rule but derived from a forced scaling law. The framework models an atom's outer shell as a discrete record of recognition events, and the cost of recognition is not free to vary. The framework's library proves that any cost function meeting five plain conditions must take a specific form, and from that form a chain of theorems forces a golden-ratio scaling factor, phi, which appears throughout the framework's constants. The ionization module applies this phi-rail scaling to the periodic table.

The module defines a dimensionless proxy for ionization energy: the number of valence electrons. It then scales this proxy by phi raised to twice the period number, and normalizes it by the period length. The key claim is not the numerical value of any ionization energy, but the ordering. The library proves that within any period, the proxy is strictly increasing with atomic number, that alkali metals have the minimum proxy, that noble gases have the maximum, and that the proxy resets at each period boundary. These ordering theorems are fit-free; they emerge from the definitions without tuning to measured data.

This is a prediction with a named falsifier. If any element within a period violates the monotone ordering in NIST data, or if any alkali metal is not the minimum or any noble gas not the maximum in its period, the model is falsified. The numerical values in electron volts are not predicted without an anchor; only the ordering is claimed. The framework thus offers a structural explanation for a pattern that chemistry textbooks describe but do not derive from first principles.

/-- Ionization proxy is monotone increasing within a period.
    If Z₁ < Z₂ are in the same period, then proxy(Z₁) < proxy(Z₂). -/
theorem ionization_monotone_within_period (Z1 Z2 : ℕ)
    (hZ1ge : Z1 ≥ prevClosure Z1)
    (hLt : Z1 < Z2) (hNotCross : prevClosure Z1 = prevClosure Z2) :
    ionizationProxy Z1 < ionizationProxy Z2 := by
  simp only [ionizationProxy, valenceElectrons]
  -- Z1 - prevClosure Z1 < Z2 - prevClosure Z2
  -- Since prevClosure Z1 = prevClosure Z2, this reduces to Z1 < Z2
  have hZ2ge : Z2 ≥ prevClosure Z2 := by omega
  omega

/-- Within any period, alkali metals have minimum ionization proxy. -/
theorem alkali_min_ionization (Z : ℕ) (hZ : valenceElectrons Z = 1) (hZ2 : Z > 2) :
    ionizationProxy Z = 1 := by
  simp only [ionizationProxy]
  exact hZ

/-- Noble gases have maximum ionization proxy (equal to period length). -/
theorem noble_max_ionization (Z : ℕ) (h : isNobleGas Z) :
    ionizationProxy Z = periodLength Z := by
  simp only [ionizationProxy]
  exact noble_gas_complete_shell Z h

/-- The sawtooth pattern: ionization resets at each period boundary.
    After a noble gas, the next element (alkali) has minimal ionization. -/
theorem sawtooth_reset (Znoble Zalkali : ℕ)
    (hNoble : isNobleGas Znoble)
    (hNext : Zalkali = Znoble + 1)
    (hValid : Zalkali ≤ 118) :
    ionizationProxy Zalkali < ionizationProxy Znoble := by
  -- Noble gas has maximum (= period length), alkali has 1
  -- Case by case on which noble gas
  unfold isNobleGas nobleGasZ at hNoble
  simp only [List.mem_cons, List.mem_nil_iff, or_false] at hNoble
  obtain rfl | rfl | rfl | rfl | rfl | rfl := hNoble <;>
    subst hNext <;>
    native_decide

/-- Predicted ionization energy in eV (display seam).
    Uses E_coh as the universal energy anchor. -/
def predictedI1_eV (Z : ℕ) : ℝ :=
  Constants.E_coh * scaledIonization Z * 1000  -- Scale factor for eV range

What this page does not claim

This module does not predict the numerical value of any ionization energy in electron volts. The framework does not derive the fine-structure constant or any other coupling constant. The ordering theorems do not apply to transition metals with anomalous electron configurations.

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