pith. sign in
module module high

IndisputableMonolith.StandardModel.StrongCP

show as:
view Lean formalization →

This module introduces the QCD theta parameter in the Recognition Science treatment of the Standard Model strong sector. Physicists studying the strong CP problem and axion resolutions would cite it when linking discrete tick structures to particle parameters. The module organizes definitions, bounds, and solution sketches around the imported constants and eight-tick cycle.

claimThe QCD theta parameter $θ_{QCD}$ is introduced as the phase in the strong interaction sector, expressed relative to the discrete 8-tick phases and the RS time quantum $τ_0 = 1$.

background

The module sits in the StandardModel domain and imports the fundamental RS time quantum $τ_0 = 1$ tick together with the eight-tick discrete clock whose phases are 0, $π/4$, $π/2$, $3π/4$, $π$, $5π/4$, $3π/2$, $7π/4$. These supply the discrete temporal scaffolding for all subsequent Standard Model constructions in Recognition Science.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the theta interface required by the strong CP problem and its axion-based resolutions inside the Recognition framework. It rests on the eight-tick octave (T7) and prepares the ground for theta finetuning arguments and neutron EDM bounds that appear among its sibling declarations.

scope and limits

depends on (2)

Lean names referenced from this declaration's body.

declarations in this module (26)