Cosmology Ptastochastic Gwstructural Rs Pta Distinct Inflation Prop Holds

A structural discriminator

Pulsar timing arrays like NANOGrav and EPTA have reported a persistent signal, a stochastic gravitational-wave background, a faint hiss of ripples in spacetime arriving from all directions. A central question is what produced it. The standard answer, cosmic inflation, predicts a specific pattern: the tensor tilt, a number describing how the signal's strength varies with frequency, is nearly zero, typically with absolute value below 0.01 for canonical models. Recognition Science (RS), a framework that derives physical constants from a forced cost function, offers a different structural signature: a per-rung phase delay equal to the natural logarithm of the golden ratio, approximately 0.481. This number is strictly positive and orders of magnitude larger than the inflationary baseline.

The declaration rs_pta_distinct_inflation_prop_holds is a statement in the framework's machine-checked library. It proves that this RS signature is strictly greater than zero, a fact that follows from the golden ratio being greater than one. This single inequality is the entire content of the proposition: it establishes a structural difference between the two predictions. The statement does not derive the exact spectral shape of the RS background, nor does it compare the signature against any specific pulsar timing array dataset. Those tasks are explicitly marked as future work and as a separate empirical obligation, respectively.

The proof also serves a bookkeeping role within the framework's larger project. It provides a formal witness, a certificate, that satisfies one of the hypothesis inputs in a conditional master statement about quantum gravity. This retires that particular hypothesis from the list of open assumptions. Four other hypothesis inputs remain, so the discovery is not claimed as complete. The statement's value is narrow and precise: it shows that a proposed discriminator is mathematically valid, not that the RS model matches the observed universe.

What this means for a reader is a clear separation of concerns. The algebraic claim, that the RS signature is positive, is proved. The physical claim, that this signature appears in pulsar timing data, is not. The declaration is a structural statement, not an empirical discovery. It sharpens the question for future work: whether the predicted 0.481 signature, rather than a near-zero tilt, actually shows up in the NANOGrav and EPTA measurements remains open.

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

theorem rs_pta_distinct_inflation_prop_holds :
    rs_pta_distinct_inflation_prop :=
  rs_pta_phi_signature_pos

What this page does not claim

The statement does not claim any empirical match with NANOGrav or EPTA data. The statement does not derive the specific RS spectral tilt from the phi-rung primordial structure. The statement does not prove that the inflationary prediction is wrong, only that it is structurally distinct from the RS signature.

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: