Astrophysics Observability Limits Information Balance Gives Phi

The balance point

The golden ratio, usually written φ and equal to (1 + √5)/2 ≈ 1.618, is the number that solves the equation r² = r + 1. It appears throughout mathematics and nature: in the pentagon's geometry, in the Fibonacci sequence, and in the proportions of many spiral forms. Its defining property is self-similarity: a rectangle with sides in the ratio φ can be divided into a square and a smaller rectangle with the same proportions, a fact known since antiquity.

In astrophysics, the mass-to-light ratio M/L measures how many solar masses of matter produce one solar luminosity of light. A typical galaxy has M/L between 1 and 10, while a star cluster might be near 1 and a dark-matter-dominated system much higher. The ratio is a basic observable diagnostic, but its values are not predicted by any single physical law; they emerge from complex stellar populations, gas fractions, and dark matter content.

In Recognition Science, the framework models observation itself as a constrained process. Its library defines a recognition length and a fundamental tick, the smallest time interval over which a photon can register as a detection. From these, a threshold flux emerges: the minimum light a source must deliver for an observer to see it at all. The framework then asks what mass-to-light ratio a stellar system must have to be both massive enough to assemble and bright enough to be seen. Its theorem information_balance_gives_phi proves that a ratio satisfying the golden-ratio equation r² = r + 1 exists and equals φ. The proof is machine-checked, meaning a computer verified every step from the definitions.

The framework's library also shows that this same geometric value, φ, matches the mass-to-light ratios derived from two other independent strategies: one based on stellar assembly and one based on nucleosynthesis tiers. The theorem ml_from_geometry_only packages these agreements into a single statement: there exists a mass-to-light ratio equal to φ, between 1 and 5, that agrees with both other derivations. The number φ is not fitted to galaxy data; it falls out of the geometric constraints the framework imposes on observability.

What this does not claim is that real galaxies all have M/L = φ. The theorem establishes that φ is the value selected by the framework's optimization problem, not a measurement of any actual galaxy. The framework's constraints are simplified: the observability condition is stated as a trivial True, and the coherence volume and threshold flux are definitions, not derived physical laws. The agreement with stellar assembly and nucleosynthesis is an equality between framework-internal definitions, not a comparison against astronomical catalogs. The theorem proves an internal consistency, not an empirical prediction.

/-- Information content of mass vs light.

The ledger tracks:
- Mass events: I_mass = n_mass × J_bit information
- Light events: I_light = n_light × J_bit information

Conservation: I_mass + I_light = I_total

At equilibrium, the ratio n_mass/n_light = φ because φ is the
unique fixed point of the J-cost recursion. -/
theorem information_balance_gives_phi :
    ∃ (ratio : ℝ), ratio = φ ∧ ratio ^ 2 = ratio + 1 := by
  use φ
  constructor
  · rfl
  · unfold φ
    exact PhiSupport.phi_squared

/-- **Main Theorem**: The stellar M/L ratio is derived from geometric
observability constraints (l_rec, τ_0, E_coh) via J-cost minimization.

This provides a third independent derivation agreeing with Strategies 1 and 2. -/
theorem ml_from_geometry_only :
    ∃ (ml : ℝ),
    ml = φ ∧
    1 < ml ∧ ml < 5 ∧
    ml = StellarAssembly.ml_stellar ∧
    ml = NucleosynthesisTiers.ml_nucleosynthesis := by
  use ml_geometric
  refine ⟨rfl, ?_, ?_, agrees_with_stellar_assembly, agrees_with_nucleosynthesis⟩
  · exact ml_geometric_bounds.1
  · linarith [ml_geometric_bounds.2]

/-- The geometric M/L agrees with stellar assembly M/L -/
theorem agrees_with_stellar_assembly :
    ml_geometric = StellarAssembly.ml_stellar := by
  unfold ml_geometric φ
  rw [StellarAssembly.ml_stellar_value]
  rfl

/-- The geometric M/L agrees with nucleosynthesis M/L -/
theorem agrees_with_nucleosynthesis :
    ml_geometric = NucleosynthesisTiers.ml_nucleosynthesis := by
  unfold ml_geometric φ
  rw [NucleosynthesisTiers.ml_nucleosynthesis_eq_phi]
  rfl

What this page does not claim

No claim that any observed galaxy has a mass-to-light ratio equal to the golden ratio. No claim that the framework's definitions of coherence volume or threshold flux are derived from experiment. No claim that the agreement with stellar assembly and nucleosynthesis is a match against measured astronomical data.

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/Astrophysics/ObservabilityLimits.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: