`superpartners`

definition

show as: view math explainer →

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

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.StandardModel.SupersymmetryBreaking on GitHub at line 66.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

depends on

used by

formal source

  63    - gluon → gluino
  64    - W/Z → wino/zino
  65    - Higgs → higgsino -/
  66def superpartners : List SuperPair := [
  67  ⟨"selectron", "electron", 1000⟩,  -- GeV
  68  ⟨"squark", "quark", 1500⟩,
  69  ⟨"gluino", "gluon", 2000⟩,
  70  ⟨"photino", "photon", 500⟩
  71]
  72
  73/-! ## Why SUSY is Attractive -/
  74
  75/-- Benefits of supersymmetry:
  76
  77    1. **Hierarchy problem**: Cancels quadratic divergences
  78    2. **Gauge coupling unification**: Couplings meet at ~10¹⁶ GeV
  79    3. **Dark matter candidate**: Lightest superpartner (LSP)
  80    4. **String theory**: Requires SUSY for consistency -/
  81def susyBenefits : List String := [
  82  "Solves hierarchy problem",
  83  "Gauge coupling unification",
  84  "Dark matter (LSP)",
  85  "Required by string theory"
  86]
  87
  88/-! ## SUSY Breaking Mechanisms -/
  89
  90/-- Standard SUSY breaking scenarios:
  91
  92    1. **Gravity-mediated**: Breaking in hidden sector, gravity transmits
  93    2. **Gauge-mediated**: Breaking transmitted by gauge interactions
  94    3. **Anomaly-mediated**: Breaking from conformal anomaly
  95
  96    All involve a "hidden sector" where SUSY breaks. -/

papers checked against this theorem

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