Physics Neutron Star Crustal Regimes From Rs

The five-regime ladder

A neutron star is the collapsed core of a massive star, packing more than the Sun's mass into a sphere about twenty kilometers across. Astrophysicists divide its interior into five canonical layers: the outer crust, the inner crust, the nuclear pasta region, the outer core, and the inner core. These regimes differ in density, pressure, and the behavior of nuclear matter, and they appear in that order as one moves from the surface toward the center.

The standard picture has a long history. The crust was recognized as a distinct solid region in the 1960s, and the nuclear pasta phase, where nuclei stretch into rods and sheets, was proposed in the 1980s by D. G. Ravenhall, C. J. Pethick, and J. R. Wilson. The outer core is thought to be a fluid of neutrons, protons, and electrons, while the inner core remains uncertain, possibly containing exotic states such as hyperons or quark matter.

In Recognition Science, the same five regimes appear as a formal object. The framework defines a type with exactly five constructors, one for each layer, and proves that the number of regimes is five. It also defines a density function on the natural numbers, setting density(k) = phi^k, where phi is the golden ratio, approximately 1.618. The key theorem states that the ratio of densities of adjacent regimes is phi: density(k+1)/density(k) = phi.

This means the framework models the density ladder as a geometric progression with a fixed ratio. Each layer is denser than the previous one by a factor of the golden ratio, not by an arbitrary or fitted amount. The result is packed into a certificate structure that bundles three facts: the count of regimes is exactly five, the adjacent-regime density ratio is phi, and all densities are positive.

What this framework establishes is a clean, machine-checked statement of a structural regularity. It does not derive the five regimes from first principles, nor does it predict the physical densities of real neutron stars. It takes the five-layer picture as given and shows that, within the framework, the density spacing follows a golden-ratio ladder. This is a definitional model, not an empirical measurement or a uniqueness theorem.

theorem nsRegime_count : Fintype.card NSRegime = 5 := by decide

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

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

What this page does not claim

This framework does not derive the five regimes from the forcing chain; it takes them as a definitional starting point. The golden-ratio spacing is a model choice, not a measured property of real neutron stars. No claim is made about the physical composition of the inner core or the existence of quark matter.

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