pith. sign in
module module moderate

IndisputableMonolith.Physics.SymmetryBreakingFromRS

show as:
view Lean formalization →

The module introduces spontaneous symmetry breaking in Recognition Science by defining the ground state as the J=0 vacuum. Researchers deriving particle spectra from the RS functional equation would cite these objects. The module consists of definitions that extend the imported Cost module without new proofs.

claimThe ground state satisfies $J=0$, identified as the spontaneous symmetry breaking vacuum.

background

Recognition Science builds all physics from a single functional equation whose cost function J measures deviation from the self-similar fixed point. The Cost module supplies the basic algebraic properties of J and the associated defect distance. This module applies those tools to symmetry breaking, introducing the SSB mechanism, its ground-state condition, and certification objects that sit on the phi-ladder.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the SSB vacuum that initiates the physics derivations in the monolith, linking directly to the unified forcing chain steps T5-T8 and the mass formula on the phi-ladder. It provides the starting point for subsequent excitation and certification results.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)