Registry · Definition IV.D143 tau-effective formalized

IV.D143 — τ-Yukawa Coupling (Overlap Integral)

τ-Yukawa coupling y_f^(τ) = ⟨ψ_f|Ω*[ω]|ψ_f⟩/⟨ψ_n|Ω*[ω]|ψ_n⟩: ratio of fermion f breathing-mode overlap with coherence-fixing vacuum to neutron ground-mode overlap. Determined by fibre winding numbers, crossing proximity, solenoidal count.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.YukawaCouplingOverlapIntegral