`V_cb`

definition

show as: view math explainer →

module: IndisputableMonolith.StandardModel.CKMMatrix
domain: StandardModel
line: 79 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.StandardModel.CKMMatrix on GitHub at line 79.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

used by

formal source

  76  (wolfenstein_rho - I * wolfenstein_eta)
  77noncomputable def V_cd : ℂ := -wolfenstein_lambda
  78noncomputable def V_cs : ℂ := 1 - wolfenstein_lambda^2 / 2
  79noncomputable def V_cb : ℂ := wolfenstein_A * wolfenstein_lambda^2
  80noncomputable def V_td : ℂ := wolfenstein_A * wolfenstein_lambda^3 *
  81  (1 - wolfenstein_rho - I * wolfenstein_eta)
  82noncomputable def V_ts : ℂ := -wolfenstein_A * wolfenstein_lambda^2
  83noncomputable def V_tb : ℂ := 1
  84
  85/-! ## φ-Connection Hypotheses -/
  86
  87/-- Hypothesis 1: λ = sin(θ_c) = 1/(2φ)
  88
  89    1/(2 × 1.618) = 1/3.236 = 0.309
  90
  91    Too large compared to observed 0.227. -/
  92noncomputable def hypothesis1 : ℝ := 1 / (2 * phi)
  93
  94/-- Hypothesis 2: λ = (φ - 1)/2
  95
  96    (1.618 - 1)/2 = 0.618/2 = 0.309
  97
  98    Same as above, too large. -/
  99noncomputable def hypothesis2 : ℝ := (phi - 1) / 2
 100
 101/-- Hypothesis 3: λ = 1/φ²
 102
 103    1/2.618 = 0.382
 104
 105    Even larger. -/
 106noncomputable def hypothesis3 : ℝ := 1 / phi^2
 107
 108/-- Hypothesis 4: λ = (3 - φ)/3
 109

papers checked against this theorem

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