IndisputableMonolith.Cosmology.MatterAntimatter
The module defines the baryon-to-photon ratio η and assembles the mathematical objects needed to express matter-antimatter asymmetry in Recognition Science cosmology. It collects the observed value, the baryonic contribution, the Sakharov conditions, and the CP-violation and dilution parameters that determine the final ratio. The module serves as the central repository for these quantities so that downstream cosmology statements can reference a single, consistent set of definitions.
claimThe baryon-to-photon ratio is denoted $η = n_B / n_γ$. The module also introduces the observed value $η_observed$, the baryon-specific ratio $η_B$, the Sakharov conditions, the CP-violation parameter $ε_{CP}$, the dilution factor, and the relation $η = f(ε_{CP}, dilution)$ that follows from them.
background
Recognition Science begins from the fundamental time quantum $τ_0 = 1$ tick supplied by the imported Constants module. The present module extends that foundation into cosmology by defining the baryon-to-photon ratio $η$ together with the minimal set of conditions required to generate a nonzero value from an initially symmetric state. All definitions sit inside the Recognition framework whose forcing chain already fixes the spatial dimension $D=3$ and the self-similar fixed point $φ$.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the eta definitions and SakharovCondition objects that the cosmology domain relies upon. It directly implements the baryon-asymmetry interface required by the Recognition Science forcing chain after the constants module has fixed $τ_0$. No downstream theorems are recorded in the current graph, yet the declarations close the gap between the abstract J-cost and concrete cosmological observables.
scope and limits
- Does not derive the numerical value of η from the phi-ladder.
- Does not simulate the time evolution of the asymmetry.
- Does not incorporate specific particle-physics Lagrangians.
- Does not address lepton asymmetry or sphaleron processes.
depends on (1)
declarations in this module (25)
-
def
eta_observed -
def
eta_B -
theorem
eta_is_small -
def
matterAntimatterRatio -
inductive
SakharovCondition -
def
allConditionsNeeded -
theorem
sakharov_necessary -
def
cpTransformTick -
theorem
cp_not_symmetry -
def
epsilon_CP -
def
dilutionFactor -
theorem
eta_from_epsilon -
theorem
eta_from_phi -
def
eta_phi_prediction -
lemma
phi_sq -
lemma
phi_pow_fib_succ -
lemma
phi_pow_44_gt_1pt5e9 -
lemma
phi_pow_44_lt_1pt6e9 -
theorem
phi_power_matches_eta -
def
baryogenesisMechanisms -
theorem
rs_baryogenesis -
def
predictions -
def
eta_exponent -
structure
EtaFalsifier -
def
experimentalStatus