e_2P_eV
plain-language theorem explainer
The declaration supplies the approximate 2P binding energy in hydrogen as the rational 3.4 eV. Researchers modeling the Lamb shift via J-cost fluctuations in Recognition Science cite this constant to set the Dirac baseline before applying vacuum corrections. It is introduced by direct assignment with no computation or derivation steps.
Claim. $E_{2P} = 3.4$ eV (magnitude of the binding energy for the hydrogen 2P state)
background
The QFT.LambShift module derives the Lamb shift from vacuum J-cost fluctuations, where J-cost tracks ledger discrepancies in the recognition functional. Vacuum fluctuations induce electron position uncertainty, which modifies orbital J-cost and lifts the degeneracy between 2S and 2P levels. The module states that without QED the levels remain degenerate, while the observed 1057 MHz splitting tests the RS mechanism of J-cost-driven shifts.
proof idea
Direct definition that assigns the rational 34/10 to represent the numerical value 3.4 eV.
why it matters
This constant is referenced by dirac_degeneracy, which asserts equality of the 2S and 2P energies in the absence of QED corrections and thereby isolates the J-cost contribution to the Lamb shift. It fills the baseline slot in the QFT-012 derivation of the splitting from vacuum ledger fluctuations, consistent with the module's target of recovering the 1057 MHz shift as a precision test. The entry touches the open question of obtaining the exact magnitude from the phi-ladder without external numerical anchors.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.