wolfenstein_lambda
plain-language theorem explainer
The Wolfenstein parameter λ is defined as equal to the Cabibbo angle with value approximately 0.227. Researchers parametrizing quark flavor mixing in the Standard Model under Recognition Science principles cite this when assembling the CKM matrix from φ-quantized angles. The declaration is realized as a one-line alias to the Cabibbo angle definition.
Claim. The Wolfenstein parameter $λ$ is defined by $λ = sin(θ_C) ≈ 0.227$, where $θ_C$ is the Cabibbo mixing angle between the first and second quark generations.
background
The module derives CKM matrix elements from φ-quantized mixing angles tied to the eight-tick phase structure. The CKM matrix is the 3×3 unitary matrix governing quark flavor changes in weak interactions, with approximate magnitudes given for its nine entries and four physical parameters including three angles plus one phase.
proof idea
This is a one-line wrapper that directly assigns the Wolfenstein lambda parameter to the Cabibbo angle definition.
why it matters
The definition supplies the λ parameter used in the expressions for V_ud, V_us, V_ub, V_cd, V_cs, V_cb, V_td and V_ts. It fills the SM-012 target of deriving the CKM matrix from golden ratio geometry, linking to the eight-tick octave and D = 3 in the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.