Registry · Remark IV.R348 tau-effective formalized

IV.R348 — Experimental limits on photon mass

Current experimental upper bound on photon mass is m_gamma < 10^{-18} eV/c^2, sixty-two orders of magnitude below m_e; constraints come from galactic-scale observations where any nonzero mass would modify Maxwell to Proca equations with finite-range fields.

Book IV Part 4 Ch. 26

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.ExperimentalLimitsOnPhotonMass