Astrophysics Accretion Disk From Jcost

The five regimes

An accretion disk is a swirling ring of gas and dust falling onto a compact object such as a black hole or neutron star. As the material spirals inward, it heats up and radiates, often outshining the object it feeds. The rate at which mass falls in, compared with the object's Eddington limit, determines which of several physical states the disk takes. The Eddington limit is the maximum luminosity at which radiation pressure balances gravity; beyond it, infalling matter gets pushed away.

Astrophysicists recognize five main regimes. At low feeding rates, a thin disk emits efficiently. As the rate rises, the disk thickens, then becomes a slim disk, then enters a photon-trapping state where radiation cannot escape fast enough, and finally becomes super-critical. Each regime has distinct observational signatures, from X-ray spectra to jet activity. The transition from slim disk to photon-trapping is a key threshold for understanding how black holes grow and how quasars shine.

In Recognition Science, this astrophysical structure is derived from a single cost function, cost, which measures the price a system pays for each recognition event, a discrete record of a system confirming its own state. The framework proves that any cost function satisfying five plain conditions must equal J(x) = (x + 1/x)/2 - 1. From that function, the framework derives a chain of results, including a prediction for the accretion transition: it occurs when the mass accretion rate ratio crosses J(φ), where φ is the golden ratio, landing in the range (0.11, 0.13).

The framework's machine-checked library of formal theorems contains a module that encodes this prediction. It defines exactly five accretion regimes, proves there are exactly five, and packages the transition threshold as a certified result. The library checks the arithmetic with no gaps: the count of regimes and the threshold statement both hold as formal theorems. This is a derivation in the formal system, not yet a full physical model; the framework models the structure, while the empirical match to real disks remains a hypothesis to test against observations.

What this means for a reader: the five-regime structure of accretion disks, a hard-won empirical classification, emerges here as a consequence of a single mathematical principle. The framework does not start from accretion physics; it starts from a ledger of recognition events and finds the same five-way split that observers see. The transition threshold, a specific number, is a prediction that can be falsified by better observations of black hole feeding rates.

structure AccretionDiskCert where
  five_regimes : Fintype.card AccretionRegime = 5
  transition_threshold : CanonicalCert

theorem accretionRegimeCount : Fintype.card AccretionRegime = 5 := by decide

structure AccretionDiskCert where
  five_regimes : Fintype.card AccretionRegime = 5
  transition_threshold : CanonicalCert

What this page does not claim

The empirical match between the predicted transition range and real accretion disks is not established; it is a hypothesis. The framework does not derive the Eddington limit or any other astrophysical constant; it only predicts the transition threshold. The five-regime classification is a framework-internal model, not a claim that real disks always exhibit all five states.

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