Cosmology Ptastochastic Gwstructural

A structural fingerprint

Pulsar timing arrays are galactic-scale detectors. By timing the radio pulses from many millisecond pulsars, astronomers can sense the faint ripples in spacetime called the stochastic gravitational-wave background, the combined hiss of many distant sources. The most sensitive of these arrays, NANOGrav and EPTA, have reported evidence for such a background in recent years. The standard cosmological explanation is that this hiss comes from gravitational waves generated during an early period of accelerated expansion called inflation.

Inflation makes a specific prediction for the spectrum of these waves: the tilt, a measure of how the wave strength changes with frequency, is nearly zero. The framework of Recognition Science (RS) makes a different prediction. Its structural signature is a per-rung phase delay of log φ ≈ 0.481, where φ is the golden ratio, about 1.618. This number is strictly positive and much larger than the near-zero tilt expected from inflation. The PTAStochasticGWStructural result proves, in a machine-checked library of formal theorems, that this signature is indeed strictly positive, formally distinguishing the RS prediction from the inflationary baseline.

In Recognition Science, the framework models the universe's history as a discrete record of recognition events, and the golden ratio emerges as the unique self-similar scaling of that record. This result applies that idea to the primordial gravitational-wave spectrum. The claim is structural, not physical: it establishes that the RS signature is a positive number, not zero, and therefore different in kind from the inflationary prediction. The specific spectral shape that would match the pulsar timing data is not derived here; that remains future work.

This positive-signature theorem also retires one of five hypothesis inputs in the framework's conditional master theorem for quantum gravity. The master theorem, a large conditional statement, now has one fewer unproven assumption. The empirical match against NANOGrav or EPTA data is a separate obligation, not settled by this result. The outcome is a clean algebraic discriminator: a single positive number that, if confirmed by data, would point away from inflation and toward the framework's golden-ratio structure.

/-- The structural RS PTA spectral signature: the per-rung phase delay
`log φ ≈ 0.481`. This is the same φ-rational invariant that appears in
`Gravity.BlackHoleEchoesFromBounce.rungPhaseDelay`, transposed to the
primordial GW spectrum sector. The specific RS PTA spectral shape is
future work; this module ships the **structural** positivity that
discriminates from the inflationary slow-roll baseline. -/
noncomputable def rs_pta_phi_signature : ℝ := Real.log Constants.phi

theorem rs_pta_phi_signature_pos : 0 < rs_pta_phi_signature := by
  unfold rs_pta_phi_signature
  exact Real.log_pos one_lt_phi

/-- **Inhabitant for the master theorem hypothesis input**
`PTAStochasticGWDistinctFromInflation` (from `Gravity.MasterTheorem`,
Session 97). This witness retires the PTA hypothesis from the conditional
master theorem `rs_quantum_gravity_master_conditional`. -/
def ptaDistinctFromInflationWitness :
    Gravity.MasterTheorem.PTAStochasticGWDistinctFromInflation where
  rs_pta_distinct_inflation := rs_pta_distinct_inflation_prop
  holds := rs_pta_distinct_inflation_prop_holds

What this page does not claim

The empirical match against NANOGrav or EPTA data is established. The specific RS spectral shape is derived. The framework's prediction is confirmed by observation.

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/Cosmology/PTAStochasticGWStructural.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: