def
definition
V_ud
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.StandardModel.CKMMatrix on GitHub at line 73.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
formal source
70V = ⎜ -λ 1 - λ²/2 Aλ² ⎟
71 ⎝ Aλ³(1-ρ-iη) -Aλ² 1 ⎠
72-/
73noncomputable def V_ud : ℂ := 1 - wolfenstein_lambda^2 / 2
74noncomputable def V_us : ℂ := wolfenstein_lambda
75noncomputable def V_ub : ℂ := wolfenstein_A * wolfenstein_lambda^3 *
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