Results Glossary Entry Canonical physics The weak mixing angle sin²θ_W (Weinberg angle) is, in the τ-framework, the τ-effective dimensionless coupling of the electroweak crossing — derived as sin²θ_W = ι_τ (1 − ι_τ). It is a Layer-1 dimensionless readout of the master constant; th…
Results · Physics Glossary · Constant PG-C16-weinberg-angle sin²θ_W Canonical Lean · formalized

Weak mixing angle sin²θ_W

The weak mixing angle sin²θ_W (Weinberg angle) is, in the τ-framework, the τ-effective dimensionless coupling of the electroweak crossing — derived as sin²θ_W = ι_τ (1 − ι_τ). It is a Layer-1 dimensionless readout of the master constant; the τ-prediction agrees with PDG to ∼2.7%.

Physics Glossary Primary: IV.D130 fundamental constant dimensionless coupling electroweak sector tier 2 tau effective iota tau derived weinberg angle

τ-Definition

The weak mixing angle sin²θ_W (Weinberg angle) is, in the τ-framework, the τ-effective dimensionless coupling of the electroweak crossing — derived as sin²θ_W = ι_τ (1 − ι_τ). It is a Layer-1 dimensionless readout of the master constant; the τ-prediction agrees with PDG to ∼2.7%.

Categorical invariant. sin²θ_W = ι_τ (1 − ι_τ) — the EW-crossing readout, the product of the κ(A) and κ(D) sector couplings.

Primary registry anchor: IV.D130

Supporting items: IV.D255, V.T142

τ-Derivation Chain

  1. I.K0 — Universe Postulate
  2. IV.D255 — Master constant ι_τ
  3. IV.D130 — Weinberg Angle — sin²θ_W as electroweak crossing readout
  4. V.T142 — E₁ Completeness — sin²θ_W = ι_τ(1−ι_τ) ≈ 0.2249 (∼2.7%)

Lean modules referenced: TauLib.BookIV.Calibration.DimensionlessCouplings, TauLib.BookV.Coda.ConstantsLedger

SI Translation

Numerical value: 0.22489 ± 0.00060 dimensionless

Calibration anchor: PG-P01-neutron

Calibration chain:

  1. Layer 0: ι_τ = 2/(π + e_math) ≈ 0.341
  2. Layer 1: sin²θ_W = ι_τ (1 − ι_τ) = κ(A) · κ(D) ≈ 0.2249
  3. PDG value: sin²θ_W ≈ 0.23121(4) (on-shell scheme); deviation ∼2.7%
  4. Conjectural sector — refinement expected at higher cascade depth

Manuscript reference: manuscript-sources/book-05/part07-closure/ch-closure-constants.tex

Lean Coverage

Status: Formalized

Module: TauLib.BookIV.Calibration.DimensionlessCouplings

Lean kind: def

Cross-domain bridges

This glossary term sits on the boundary between domains. The τ-framework's cross-domain pivots are the structural junctions where physics, life, and metaphysics readouts meet.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert