pith. sign in

arxiv: 1906.11105 · v1 · pith:PZHE3L5Jnew · submitted 2019-06-26 · ⚛️ physics.atom-ph · hep-ph

The Lamb shift of the 1s state in hydrogen: two-loop and three-loop contributions

Savely G. Karshenboim , Akira Ozawa , Valery A. Shelyuto , Robert Szafron , Vladimir G. Ivanov This is my paper

Pith reviewed 2026-05-25 15:02 UTC · model grok-4.3

classification ⚛️ physics.atom-ph hep-ph
keywords Lamb shifthydrogenQED correctionstwo-loopthree-loopalpha^8 mself-energyRydberg constant
0
0 comments X

The pith

Two- and three-loop QED calculations complete the logarithmic contributions to the 1s Lamb shift at order α^8 m.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper evaluates missing or incomplete higher-order QED corrections to the 1s Lamb shift in hydrogen and helium ions. These terms dominate the uncertainty in using spectroscopy to extract the Rydberg constant and proton charge radius. The authors locate a previously missing logarithmic piece of order α²(Zα)⁶ m, derive leading self-energy logarithms at α²(Zα)⁸ m and α²(Zα)⁹ m, estimate subleading pieces, and approximate the three-loop next-to-leading coefficient C50 via asymptotic integrand behavior. The combined results reduce the α^8 m uncertainty by roughly a factor of three for H, D, and He+ relative to the latest CODATA values.

Core claim

We have completed the evaluation of the logarithmic contributions to the 1s Lamb shift of order α^8 m. A missing logarithmic contribution of order α²(Zα)⁶ m was identified. Leading pure self-energy logarithmic contributions of order α²(Zα)⁸ m and α²(Zα)⁹ m were obtained, and subleading terms at α²(Zα)⁷ m, α²(Zα)⁸ m, and α²(Zα)⁹ m were estimated. The next-to-leading three-loop term (C50) is (-3.3 ± 10.5)(α³/π³)(Zα)⁵ m from asymptotic integration over loop momentum. These steps also improve the overall accuracy of the two-loop self-energy.

What carries the argument

The expansion coefficients B61, B60 (two-loop) and C50 (three-loop) in the Lamb shift, evaluated through identification of missing logs and asymptotic approximation of the three-loop integrand.

If this is right

  • The α^8 m uncertainty in the 1s Lamb shift is reduced by a factor of approximately three for hydrogen, deuterium, and He+.
  • The two-loop self-energy evaluation gains improved accuracy from the new logarithmic terms.
  • Hydrogen spectroscopy can now determine the Rydberg constant and proton charge radius with smaller QED-theory error bars.
  • Precision tests of bound-state QED benefit from the completed set of α^8 m logarithms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A complete numerical integration of the three-loop diagrams could shrink the C50 uncertainty below the present ±10.5 range.
  • The same asymptotic technique may be applied to estimate other unevaluated higher-order coefficients in the Lamb shift expansion.
  • Revised values could shift the CODATA adjustments for the Rydberg constant and proton radius when combined with existing data.

Load-bearing premise

The asymptotic behavior of the integrand for the next-to-leading three-loop term can be used to approximate the full integration over loop momentum with an uncertainty of ±10.5 in units of (α³/π³)(Zα)⁵ m.

What would settle it

A full numerical evaluation of the three-loop integral for C50 that lies outside the interval from -13.8 to 7.2 would show the asymptotic approximation is inaccurate.

Figures

Figures reproduced from arXiv: 1906.11105 by Akira Ozawa, Robert Szafron, Savely G. Karshenboim, Valery A. Shelyuto, Vladimir G. Ivanov.

Figure 1
Figure 1. Figure 1: FIG. 1: Example diagrams for the LbL contributions: an [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3: An example diagram for the three-loop contribution [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
read the original abstract

We consider the $1s$ Lamb shift in hydrogen and helium ions, a quantity, required for an accurate determination of the Rydberg constant and the proton charge radius by means of hydrogen spectroscopy, as well as for precision tests of the bound-state QED. The dominant QED contribution to the uncertainty originates from $\alpha^8m$ external-field contributions (i.e., the contributions at the non-recoil limit). We discuss the two- and three-loop cases and in particular, we revisit calculations of the coefficients $B_{61}, B_{60}, C_{50}$ in standard notation. We have found a missing logarithmic contribution of order $\alpha^2(Z\alpha)^6m$. We have also obtained leading pure self-energy logarithmic contributions of order $\alpha^2(Z\alpha)^8m$ and $\alpha^2(Z\alpha)^9m$ and estimated the subleading terms of order $\alpha^2(Z\alpha)^7m$, $\alpha^2(Z\alpha)^8m$, and $\alpha^2(Z\alpha)^9m$. The determination of those higher-order contributions enabled us to improve the overall accuracy of the evaluation of the two-loop self-energy of the electron. We investigated the asymptotic behavior of the integrand related to the next-to-leading three-loop term (order $\alpha^3(Z\alpha)^5m$, coefficient $C_{50}$ in standard notation) and applied it to approximate integration over the loop momentum. Our result for contributions to the $1s$ Lamb shift for the total three loop next-to-leading term is $(-3.3\pm10.5)(\alpha^3/\pi^3)(Z\alpha)^5m$. Altogether, we have completed the evaluation of the logarithmic contributions to the $1s$ Lamb shift of order $\alpha^8m$ and reduced the overall $\alpha^8m$ uncertainty by approximately a factor of three for H, D, and He$^+$ as compared with the most recent CODATA compilation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper evaluates two- and three-loop QED contributions to the 1s Lamb shift in hydrogen-like atoms. It identifies a previously missing logarithmic term of order α²(Zα)^6 m, computes leading logarithmic self-energy contributions at α²(Zα)^8 m and α²(Zα)^9 m, estimates subleading terms, and approximates the three-loop next-to-leading coefficient C50 as (-3.3 ± 10.5) (α³/π³)(Zα)^5 m by using the asymptotic behavior of the integrand. The authors claim this completes the logarithmic α^8 m contributions and reduces the overall α^8 m uncertainty by a factor of approximately three for H, D, and He+ relative to the latest CODATA values.

Significance. If the numerical results and uncertainty estimates are reliable, this work would provide a significant improvement in the theoretical precision of the Lamb shift, directly benefiting extractions of the Rydberg constant and proton radius from spectroscopy data. The completion of logarithmic terms at this order is a notable technical achievement in bound-state QED calculations.

major comments (2)
  1. [Abstract and three-loop discussion] Abstract (three-loop next-to-leading term): the result C50 = (-3.3 ± 10.5)(α³/π³)(Zα)^5 m is obtained by approximating the full loop-momentum integral from the asymptotic behavior of the integrand alone. No cross-check (e.g., alternative regulator, partial numerical quadrature, or analytic continuation) is described, so both the central value and the ±10.5 uncertainty remain uncontrolled; this directly enters the claimed factor-of-three reduction in α^8 m uncertainty and is therefore load-bearing.
  2. [Two-loop contributions] Two-loop logarithmic terms: the newly identified missing contribution of order α²(Zα)^6 m is stated without an explicit derivation, comparison table to prior literature values of B61/B60, or error budget, leaving the improvement to the two-loop self-energy accuracy unverified in detail.
minor comments (2)
  1. [Introduction] Notation for the coefficients B61, B60, C50 should be introduced with explicit definitions or references to standard literature at first use.
  2. [Abstract] The abstract states the uncertainty reduction 'by approximately a factor of three'; a quantitative table comparing the new α^8 m error budget to the CODATA one would strengthen the claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive feedback on our manuscript. Below we address each major comment point by point, indicating where revisions will be incorporated.

read point-by-point responses

  1. Referee: [Abstract and three-loop discussion] Abstract (three-loop next-to-leading term): the result C50 = (-3.3 ± 10.5)(α³/π³)(Zα)^5 m is obtained by approximating the full loop-momentum integral from the asymptotic behavior of the integrand alone. No cross-check (e.g., alternative regulator, partial numerical quadrature, or analytic continuation) is described, so both the central value and the ±10.5 uncertainty remain uncontrolled; this directly enters the claimed factor-of-three reduction in α^8 m uncertainty and is therefore load-bearing.

    Authors: We agree that the C50 approximation relies on the asymptotic behavior of the integrand without additional cross-checks (such as numerical quadrature or alternative regulators) being described in the manuscript. This is a valid observation; the full three-loop integration is technically demanding, and the asymptotic method was used to extract the leading term. The quoted uncertainty reflects the observed variation in the asymptotic regime. We will revise the text to expand the discussion of the method, its limitations, and the rationale for the uncertainty estimate, making these aspects more transparent. We maintain that the result is a reasonable estimate consistent with the approach, but acknowledge the referee's point on verification. revision: partial

  2. Referee: [Two-loop contributions] Two-loop logarithmic terms: the newly identified missing contribution of order α²(Zα)^6 m is stated without an explicit derivation, comparison table to prior literature values of B61/B60, or error budget, leaving the improvement to the two-loop self-energy accuracy unverified in detail.

    Authors: The missing α²(Zα)^6 m logarithmic term was identified via re-examination of the infrared structure in the two-loop self-energy diagrams within bound-state perturbation theory. While the manuscript reports the result, we concur that an explicit derivation, a comparison table for the updated B61 and B60 coefficients against prior literature, and a clearer error budget would improve verifiability. We will add these elements in the revised version, including the relevant steps and updated numerical impact on the two-loop accuracy. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is direct perturbative QED evaluation

full rationale

The paper performs explicit calculations of two- and three-loop QED contributions to the 1s Lamb shift, identifying missing logarithmic terms of order α²(Zα)⁶m and estimating higher-order self-energy pieces, then approximates the C₅₀ integrand via its asymptotic behavior to obtain (-3.3±10.5)(α³/π³)(Zα)⁵m. None of these steps reduce by construction to a parameter or result defined inside the paper itself; the final uncertainty reduction relative to CODATA follows from completing the listed logarithmic contributions rather than from any self-definitional fit, renamed known result, or load-bearing self-citation chain. The supplied text contains no equations or claims that equate an output to its own input via redefinition or statistical forcing.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard perturbative QED in the external-field approximation and on the validity of an asymptotic expansion used to approximate a three-loop integral; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Standard perturbative expansion of bound-state QED in powers of α and Zα is valid at the orders considered.
    Invoked throughout the discussion of two- and three-loop contributions.
  • ad hoc to paper The asymptotic behavior of the integrand for the C50 term permits a controlled approximation of the full loop integral.
    Explicitly stated as the method used to obtain the numerical result for the three-loop next-to-leading term.

pith-pipeline@v0.9.0 · 5928 in / 1483 out tokens · 29323 ms · 2026-05-25T15:02:01.567456+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · 1 internal anchor

  1. [1]

    A number of the two-loop ( B...) and three-loop ( C...) coefficients have been known with a sufficient accuracy

    and we discuss it also below. A number of the two-loop ( B...) and three-loop ( C...) coefficients have been known with a sufficient accuracy. These include B40, B50, B63, B62, B61, and C40. Estima- tions with a credible uncertainty have also been available for B60, C50, and C63. A concise summary concerning all these coefficients can be found in [2]. Some of t...

    work page

  2. [2]

    Pohl et al., Nature (London) 466, 213 (2010)

    R. Pohl et al., Nature (London) 466, 213 (2010)

    work page 2010

  3. [3]

    Mohr, D.B

    P.J. Mohr, D.B. Newell, and B.N. Taylor, Rev. Mod. Phys. 88, 035009 (2016)

    work page 2016

  4. [4]

    Marsman, M

    A. Marsman, M. Horbatsch, Z.A. Corriveau, and E.A. Hessels, Phys. Rev. A 98, 012509 (2018)

    work page 2018

  5. [5]

    Fleurbaey et al., Phys

    H. Fleurbaey et al., Phys. Rev. Lett. 120, 183001 (2018)

    work page 2018

  6. [6]

    Beyer et al., Science 358, 79 (2017)

    A. Beyer et al., Science 358, 79 (2017)

    work page 2017

  7. [7]

    Pachucki, Phys

    K. Pachucki, Phys. Rev. Lett. 72, 3154 (1994); M.I. Eides and V.A. Shelyuto, Phys. Rev. A 52, 954 (1995); JETP Letters 61, 478 (1995)

    work page 1994

  8. [8]

    Pachucki, Phys

    K. Pachucki, Phys. Rev. A 48, 2609 (1993); M. I. Eides, H. Grotch, and P. Pebler, Phys. Lett. B 326, 197 (1994); Phys. Rev. A 50, 144 (1994)

    work page 1993

  9. [9]

    Czarnecki and R

    A. Czarnecki and R. Szafron, Phys. Rev. A 94, 060501 (2016)

    work page 2016

  10. [10]

    Pachucki and U.D

    K. Pachucki and U.D. Jentschura, Phys. Rev. Lett. 91, 113005 (2003)

    work page 2003

  11. [11]

    Yerokhin, Phys

    V.A. Yerokhin, Phys. Rev. A 80, 040501(R) (2009); Eur. Phys. J. D 58, 57 (2010)

    work page 2009

  12. [12]

    Karshenboim, Phys

    S.G. Karshenboim, Phys. Rev. Lett. 104, 220406 (2010). 7

    work page 2010

  13. [13]

    Herrmann et al., Phys

    M. Herrmann et al., Phys. Rev. A 79, 052505 (2009)

    work page 2009

  14. [14]

    Altmann, S

    R.K. Altmann, S. Galtier, L.S. Dreissen, and K.S.E. Eikema, Phys. Rev. Lett. 117, 173201 (2016)

    work page 2016

  15. [15]

    Parthey et al., Phys

    C.G. Parthey et al., Phys. Rev. Lett. 107, 203001, (2011); A. Matveev et al., Phys. Rev. Lett. 110, 230801, (2013)

    work page 2011

  16. [16]

    Eides, H

    M.I. Eides, H. Grotch, and V.A. Shelyuto, Theory of Light Hydrogenic Bound States (Springer, Berlin- Heidelberg-New York, 2007)

    work page 2007

  17. [17]

    Jentschura, P.J

    U.D. Jentschura, P.J. Mohr, and G. Soff, Phys. Rev. Lett. 82, 53 (1999); Phys. Rev. A 63, 042512 (2001)

    work page 1999

  18. [18]

    Karshenboim and V.G

    S.G. Karshenboim and V.G. Ivanov, Phys. Rev. A 98, 022522 (2018)

    work page 2018

  19. [19]

    Pachucki, Phys

    K. Pachucki, Phys. Rev. A 63, 042503 (2001)

    work page 2001

  20. [20]

    Jentschura, A

    U.D. Jentschura, A. Czarnecki, and K. Pachucki, Phys. Rev. A 72, 062102 (2005)

    work page 2005

  21. [21]

    Milstein, M

    A.I. Milstein, M. Schumacher, Phys. Rep. 243 (1994) 183

    work page 1994

  22. [22]

    Karshenboim and A.I

    S.G. Karshenboim and A.I. Milstein, Phys. Lett. B 549, 321 (2002)

    work page 2002

  23. [23]

    Karshenboim, E.Yu

    S.G. Karshenboim, E.Yu. Korzinin, V.G. Ivanov and V.A. Shelyuto, JETP Lett. 92, 8 (2010); S.G. Karshenboim, V.G. Ivanov, E.Yu. Korzinin, and V.A. Shelyuto, Phys. Rev. A 81, 060501 (2010)

    work page 2010

  24. [24]

    Korzinin, V.A

    E.Yu. Korzinin, V.A. Shelyuto, V.G. Ivanov, R. Szafron , and S.G. Karshenboim, Phys. Rev. A 98, 062519 (2018)

    work page 2018

  25. [25]

    Yerokhin, P

    V.A. Yerokhin, P. Indelicato, and V.M. Shabaev, Phys. Rev. A 77, 062510 (2008)

    work page 2008

  26. [26]

    Yerokhin, P

    V.A. Yerokhin, P. Indelicato, and V.M. Shabaev, Phys. Rev. A 71, 040101 (2005)

    work page 2005

  27. [27]

    Karshenboim, JETP 76, 541 (1993)

    S.G. Karshenboim, JETP 76, 541 (1993)

    work page 1993

  28. [28]

    Karshenboim, JETP 82, 403 (1996)

    S.G. Karshenboim, JETP 82, 403 (1996)

    work page 1996

  29. [29]

    Melnikov and T

    K. Melnikov and T. van Ritbergen, Phys. Rev. Lett. 84, 1673 (2000)

    work page 2000

  30. [30]

    Cvitanovi´ c and T

    P. Cvitanovi´ c and T. Kinoshita, Phys. Rev. D 10, 4007 (1974); S. Laporta and E. Remiddi, Phys. Lett. B 379, 283 (1996)

    work page 1974

  31. [31]

    Three-loop QED Vacuum Polarization and the Four--loop Muon Anomalous Magnetic Moment

    P.A. Baikov and D.J. Broadhurst, in New Com- puting Technique in Physics Research IV , ed. B. Denby and D. Perret-Gallix, World Scien- tific, 1995 (https://doi.org/10.1142/2908); e-print: arXiv:hep-ph/9504398; M.I. Eides and H. Grotch, Phys. Rev. A 52, 3360 (1995)

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1142/2908 1995

  32. [32]

    Eides and V.A

    M.I. Eides and V.A. Shelyuto, Phys. Rev A 68, 042106 (2003)

    work page 2003

  33. [33]

    Karplus, A

    R. Karplus, A. Klein, and J. Schwinger, Phys. Rev. 84, 597 (1951), Phys. Rev. 86, 288 (1952); M. Baranger, Phys. Rev. 84, 866 (1951); M. Baranger, H.A. Bethe, and R. Feynman, Phys. Rev. 92, 482 (1953)

    work page 1951

  34. [34]

    Melnikov and A

    K. Melnikov and A. Yelkhovsky, Phys. Lett. B 458, 143 (1999)

    work page 1999

  35. [35]

    Pachucki and S.G

    K. Pachucki and S.G. Karshenboim, Phys. Rev. A 60, 2792 (1999)

    work page 1999

  36. [36]

    Yerokhin and V.M

    V.A. Yerokhin and V.M. Shabaev, Phys. Rev. Lett. 115, 233002 (2015); Phys. Rev. A 93, 062514 (2016)

    work page 2015

  37. [37]

    Parthey et al., Phys

    C.G. Parthey et al., Phys. Rev. Lett. 104, 233001 (2010)

    work page 2010

  38. [38]

    Yerokhin, K

    V.A. Yerokhin, K. Pachucki, and V. Patk´ oˇ s, Ann. Phys. (Berlin), 1800324 (2018)

    work page 2018