V_cb

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