Registry · Remark IV.R30 tau-effective not_applicable

IV.R30 — Oscillation as Tau^1 Geometry

Neutrino oscillation is a geometric effect on tau^1: three mass eigenstates propagate at slightly different speeds, phase difference accumulates linearly with distance. Analogy with optical polychromatic interference.

Book IV Part 4 Ch. 32

Dependency Graph

Depends on (1)

Lean Formalization

Module: