dirac_prediction
plain-language theorem explainer
Dirac theory equates the energies of the 2S and 2P states in hydrogen. Researchers deriving the Lamb shift from vacuum fluctuations cite this as the no-QED baseline. The proof reduces immediately to reflexivity on the degeneracy proposition.
Claim. In the absence of quantum electrodynamic corrections, the energy of the hydrogen 2S level equals that of the 2P level: $E_{2S} = E_{2P}$.
background
The module QFT.LambShift derives the Lamb shift from vacuum J-cost fluctuations in Recognition Science. The Lamb shift is the small energy difference between 2S_{1/2} and 2P_{1/2} levels of hydrogen. Without QED these levels are degenerate. dirac_degeneracy asserts that the Dirac theory predicts equal energies for these states, expressed as e_2S_eV = e_2P_eV. This serves as the starting point before introducing J-cost modifications from vacuum fluctuations.
proof idea
The proof is a one-line reflexivity that directly instantiates the definition of dirac_degeneracy.
why it matters
This theorem establishes the degeneracy baseline required for the Lamb shift calculation in the Recognition Science framework. It precedes the introduction of vacuum J-cost fluctuations that lift the degeneracy. The module targets QFT-012, linking to the broader forcing chain where J-uniqueness governs energy levels.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.