Chemistry Ionization Energy Normalized Ionization

The normalized ionization measure

Ionization energy is the energy needed to remove one electron from a neutral atom. For a given element, it is a measured quantity, and it is not a smooth function of atomic number. Instead, it rises and falls in a sawtooth pattern: it is low for alkali metals, high for noble gases, and resets at each new period. The periodic table itself, with its rows and columns, is the classical map of this behavior.

The Recognition Science framework models this pattern with a dimensionless proxy. The proxy is simply the number of valence electrons, the electrons in the outermost shell. The normalized ionization measure divides that proxy by the period length, the number of elements in the row. For a noble gas, the valence count equals the period length, so the normalized value is 1.0. For an alkali metal, with one valence electron, the value is 1 divided by the period length. This is a definitional choice, a model, not a measurement or a derived law.

Within the framework, this normalized measure is the position factor in a larger prediction. The framework multiplies it by a scale factor based on the golden ratio raised to a power of the period, and then by a universal energy anchor, to produce a predicted ionization energy in electronvolts. The framework's library of formal theorems proves ordering statements about the proxy: that within a period, the proxy increases with atomic number, that alkali metals have the minimum value, and that noble gases have the maximum. These are proved as theorems about the definition.

What the framework does not claim is numerical accuracy. The docstring is explicit: the numerical values are not predicted without an anchor, and only the ordering is fit-free. The falsification criteria are equally explicit. If any element in the same period has a higher measured ionization energy than a later element, beyond experimental error, the ordering claim fails. If any alkali metal is not the minimum in its period, or any noble gas is not the maximum, the model is falsified. The sawtooth reset, where an alkali metal has lower ionization than the preceding noble gas, is also a testable prediction.

This is a modest but concrete claim. It does not derive the periodic table from first principles. It takes the period lengths and valence counts as given, and it defines a measure that captures the qualitative shape of the ionization energy curve. The value of the measure is not a prediction of a physical quantity; it is a structural description. The framework's contribution is to show that this simple ratio, combined with a scaling rule, produces the right ordering of ionization energies across the table, and to state the conditions under which that ordering could be shown wrong.

/-- Period-normalized ionization: proxy / period length.
    Noble gases have value 1.0, alkali metals have value 1/n. -/
def normalizedIonization (Z : ℕ) : ℝ :=
  if periodLength Z = 0 then 0
  else (ionizationProxy Z : ℝ) / (periodLength Z : ℝ)

/-- Period-normalized ionization: proxy / period length.
    Noble gases have value 1.0, alkali metals have value 1/n. -/
def normalizedIonization (Z : ℕ) : ℝ :=
  if periodLength Z = 0 then 0
  else (ionizationProxy Z : ℝ) / (periodLength Z : ℝ)

/-- 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

/-- 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 does not claim that the normalized ionization measure is a measured physical quantity. This does not claim that the framework derives the numerical values of ionization energies without an anchor. This does not claim that the framework derives the periodic table itself from first principles.

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: