Physics Meson Spectrum From Phi Ladder

The phi ladder and meson families

In particle physics, mesons are unstable particles made of one quark and one antiquark. They group into families that share quantum numbers but differ in mass. The standard families, in order of increasing mass, are the pseudoscalar (π, K, η), the vector (ρ, ω, K*, φ), the scalar (a₀, f₀), the axial vector (a₁, b₁), and the tensor (a₂, f₂). This five-family organization is a classical fact, taught in any meson spectroscopy course.

The interesting structural claim, from the Recognition Science framework, is that these five families sit on a simple mass ladder. The framework defines a base mass unit as a power of the golden ratio, φ ≈ 1.618, and assigns each family a successive integer exponent. The ratio of masses between adjacent families is exactly φ. In symbols: if m(k) = φ^k, then m(k+1)/m(k) = φ. This is a proved theorem in the framework's machine-checked library of formal theorems, with no axioms beyond the standard logical ones.

The five families correspond to the five possible values of a discrete index, and the framework proves there are exactly five such families. The mass is always positive, and the ratio between neighbors is constant. The certificate structure packages these three facts: five families, phi ratio, positive masses. In plain language, the framework models the meson spectrum as a geometric sequence with ratio φ, and it proves the internal consistency of that model.

This is a model, not a measurement. The framework does not predict the absolute masses of pions or rho mesons; it predicts the ratio between adjacent families. The measured PDG values are not part of the theorem. The framework's contribution is a clean, testable prediction: the mass ratio between successive meson families should be φ. That is a concrete statement an experimentalist could check, and it is the kind of claim that separates a useful framework from a purely formal exercise.

What this changes for a reader is the expectation. Instead of a random-looking list of meson masses, you can now ask whether the five-family structure is a coincidence or a clue. The framework bets on the ladder. The next step, which remains open, is to connect this ladder to the measured masses of individual mesons, and to explain why the pseudoscalar and vector families sit where they do.

theorem mass_ratio (k : ℕ) : mesonMass (k + 1) / mesonMass k = phi := by
  unfold mesonMass
  have hpos : (0 : ℝ) < phi ^ k := pow_pos phi_pos k
  rw [div_eq_iff hpos.ne', pow_succ]
  ring

theorem mesonFamily_count : Fintype.card MesonFamily = 5 := by decide

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

What this page does not claim

The absolute masses of mesons are not predicted by this module. The measured PDG values are not part of the theorem. The framework does not explain why there are five families; it only proves the count is five.

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/Physics/MesonSpectrumFromPhiLadder.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: