Registry · Proposition IV.P128 tau-effective formalized

IV.P128 — Nucleon mass decomposition

The nucleon mass decomposes as m_N = E_vac + E_kin + sum m_qi, where C-sector vacuum energy (~400 MeV), quark kinetic energy (~500 MeV), and bare quark rest masses (~12 MeV) contribute roughly 42%, 57%, and 1% respectively; the vacuum and kinetic terms account for ~99% of nucleon mass.

Book IV Part 6 Ch. 48

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Particles.HadronsNuclei

Symbol: Tau.BookIV.Particles.NucleonMassDecomposition