`susyViability`

definition

show as: view math explainer →

module: IndisputableMonolith.StandardModel.SupersymmetryBreaking
domain: StandardModel
line: 177 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.StandardModel.SupersymmetryBreaking on GitHub at line 177.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

formal source

 174    - "Stealth" SUSY (compressed spectra) is hard to detect
 175
 176    RS doesn't require SUSY, but explains why it would be broken if present. -/
 177def susyViability : String :=
 178  "Constrained but not excluded; RS explains breaking regardless"
 179
 180/-! ## The LSP and Dark Matter -/
 181
 182/-- If SUSY exists, the Lightest Superpartner (LSP) is stable:
 183
 184    R-parity conservation → LSP can't decay
 185    LSP is a dark matter candidate!
 186
 187    Candidates:
 188    - Neutralino (mix of photino, zino, higgsino)
 189    - Gravitino (superpartner of graviton)
 190    - Sneutrino (ruled out by direct detection)
 191
 192    In RS: LSP would be in the dark (odd-phase) sector. -/
 193def lspCandidates : List String := [
 194  "Neutralino (best candidate)",
 195  "Gravitino (from supergravity)",
 196  "Axino (from SUSY axion)"
 197]
 198
 199/-! ## RS Without SUSY -/
 200
 201/-- RS doesn't REQUIRE supersymmetry:
 202
 203    - Hierarchy problem: Addressed by φ-ladder structure
 204    - Dark matter: Explained by ledger shadows
 205    - Gauge unification: May still occur without SUSY
 206
 207    SUSY is compatible with RS, but not necessary. -/

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.