lamb_shift_ueV
plain-language theorem explainer
The definition supplies the numerical value of the Lamb shift energy difference as 4.4 microelectronvolts for Recognition Science QFT calculations. Physicists comparing vacuum fluctuation models to hydrogen level splittings would cite it when checking consistency with the 1057 MHz experimental shift. It is introduced as a direct rational constant assignment.
Claim. The Lamb shift energy difference equals $4.4$ μeV.
background
The module QFT.LambShift targets derivation of the Lamb shift from vacuum J-cost fluctuations. The Lamb shift is the small energy difference between the 2S₁/₂ and 2P₁/₂ levels of hydrogen; without QED these levels are degenerate, while vacuum fluctuations raise the 2S level. In Recognition Science these fluctuations are ledger J-cost variations that modify orbital J-cost and produce the observed shift.
proof idea
Direct constant definition that assigns the rational value 44/10.
why it matters
This definition supplies the numerical input for the downstream theorem s_higher_than_p_by_lamb_shift that proves the 2S level lies above the 2P level. It fills the QFT-012 target of obtaining the Lamb shift from J-cost fluctuations and connects to the Recognition Science framework where vacuum J-cost drives level shifts. The value is chosen to match the experimental scale once converted to frequency units.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.