theory of the n = 2 levels in muonic helium-3 ions...[3], deuterium [5], and helium-4 ions [27], we...

22
Eur. Phys. J. D (2017) 71: 341 DOI: 10.1140/epjd/e2017-80296-1 THE E UROPEAN PHYSICAL J OURNAL D Topical Review Theory of the n = 2 levels in muonic helium-3 ions Beatrice Franke 1, 2, a , Julian J. Krauth 1, 3, b , Aldo Antognini 4, 5 , Marc Diepold 1 , Franz Kottmann 4 , and Randolf Pohl 3, 1, c 1 Max–Planck–Institut f¨ ur Quantenoptik, 85748 Garching, Germany 2 TRIUMF, 4004 Wesbrook Mall, Vancouver, BC V6T 2A3, Canada 3 Johannes Gutenberg-Universit¨ at Mainz, QUANTUM, Institut ur Physik & Exzellenzcluster PRISMA, 55099 Mainz, Germany 4 Institute for Particle Physics and Astrophysics, ETH Zurich, 8093 Zurich, Switzerland 5 Paul Scherrer Institute, 5232 Villigen, Switzerland Received 30 April 2017 / Received in final form 13 July 2017 Published online 21 December 2017 c The Author(s) 2017. This article is published with open access at Springerlink.com Abstract. The present knowledge of Lamb shift, fine-, and hyperfine structure of the 2S and 2P states in muonic helium-3 ions is reviewed in anticipation of the results of a first measurement of several 2S 2P transition frequencies in the muonic helium-3 ion, μ 3 He + . This ion is the bound state of a single negative muon μ - and a bare helium-3 nucleus (helion), 3 He ++ . A term-by-term comparison of all available sources, including new, updated, and so far unpublished calculations, reveals reliable values and uncertainties of the QED and nuclear structure-dependent contri- butions to the Lamb shift and the hyperfine splitting. These values are essential for the determination of the helion rms charge radius and the nuclear structure effects to the hyperfine splitting in μ 3 He + . With this review we continue our series of theory summaries in light muonic atoms [see A. Antognini et al., Ann. Phys. 331, 127 (2013); J.J. Krauth et al., Ann. Phys. 366, 168 (2016); and M. Diepold et al. arXiv:1606.05231 (2016)]. 1 Introduction Laser spectroscopy of light muonic atoms and ions, where a single negative muon orbits a bare nucleus, holds the promise for a vastly improved determination of nuclear parameters, compared to the more traditional methods of elastic electron scattering and precision laser spectroscopy of regular electronic atoms. The CREMA collaboration has so far determined the charge radii of the proton and the deuteron, by mea- suring several transitions in muonic hydrogen (μp) [13] and muonic deuterium (μd) [4,5]. Interestingly, both val- ues differ by as much as six standard deviations from the respective CODATA-2014 values [6], which contain data from laser spectroscopy in atomic hydrogen/deuterium and electron scattering. This discrepancy has been coined “proton radius puzzle” [79]. However, the discrepancy exists for the deuteron, too. Interestingly, for the proton and the deuteron, the muonic isotope shift is compatible with the electronic one from the 1S–2S transition in H and D[10,11]. The respective radii are r p (μp) = 0.84087(26) exp (29) th =0.84087(39) fm [1,2] (1) a e-mail: [email protected] b e-mail: [email protected] c e-mail: [email protected] r p (CODATA 0 14) = 0.87510(610) fm [6] (2) r d (μd) = 2.12562(13) exp (77) th =2.12562(78) fm [4] (3) r d (CODATA 0 14) = 2.14130(250) fm. [6] (4) Very recently, the CREMA collaboration has measured a total of five transitions in muonic helium-3 and -4 ions [12], which have been analyzed now. These measurements will help to improve our under- standing of nuclear model theories [13,14] and shed more light on the proton radius puzzle. Several ideas exist to solve the puzzle [15], some within the standard model [16,17] and others proposing muon specific forces beyond the standard model [1821]. These ideas lead to pre- dictions which can be tested with precise charge radius determinations in muonic helium ions. The measurement of the charge radius in both, helium- 3 and helium-4 ions will in addition help understand the discrepancy between several measurements of the helium isotope shift in electronic helium [2226] which yield the difference of the squared charge radii (see Fig. 1). Several other experiments are on the way to contribute to the puzzle in the future [15] by precision spectroscopy measurements in electronic hydrogen [2830] and He + [31,32], as well as by electron scattering at very low Q 2

Upload: others

Post on 09-Feb-2021

3 views

Category:

Documents


0 download

TRANSCRIPT

  • Eur. Phys. J. D (2017) 71: 341DOI: 10.1140/epjd/e2017-80296-1 THE EUROPEAN

    PHYSICAL JOURNAL DTopical Review

    Theory of the n = 2 levels in muonic helium-3 ions

    Beatrice Franke1,2,a, Julian J. Krauth1,3,b, Aldo Antognini4,5, Marc Diepold1, Franz Kottmann4,and Randolf Pohl3,1,c

    1 Max–Planck–Institut für Quantenoptik, 85748 Garching, Germany2 TRIUMF, 4004 Wesbrook Mall, Vancouver, BC V6T 2A3, Canada3 Johannes Gutenberg-Universität Mainz, QUANTUM, Institut für Physik & Exzellenzcluster PRISMA,

    55099 Mainz, Germany4 Institute for Particle Physics and Astrophysics, ETH Zurich, 8093 Zurich, Switzerland5 Paul Scherrer Institute, 5232 Villigen, Switzerland

    Received 30 April 2017 / Received in final form 13 July 2017Published online 21 December 2017c© The Author(s) 2017. This article is published with open access at Springerlink.com

    Abstract. The present knowledge of Lamb shift, fine-, and hyperfine structure of the 2S and 2P states inmuonic helium-3 ions is reviewed in anticipation of the results of a first measurement of several 2S→ 2Ptransition frequencies in the muonic helium-3 ion, µ3He+. This ion is the bound state of a single negativemuon µ− and a bare helium-3 nucleus (helion), 3He++.

    A term-by-term comparison of all available sources, including new, updated, and so far unpublishedcalculations, reveals reliable values and uncertainties of the QED and nuclear structure-dependent contri-butions to the Lamb shift and the hyperfine splitting. These values are essential for the determination ofthe helion rms charge radius and the nuclear structure effects to the hyperfine splitting in µ3He+. With thisreview we continue our series of theory summaries in light muonic atoms [see A. Antognini et al., Ann. Phys.331, 127 (2013); J.J. Krauth et al., Ann. Phys. 366, 168 (2016); and M. Diepold et al. arXiv:1606.05231(2016)].

    1 Introduction

    Laser spectroscopy of light muonic atoms and ions, wherea single negative muon orbits a bare nucleus, holds thepromise for a vastly improved determination of nuclearparameters, compared to the more traditional methods ofelastic electron scattering and precision laser spectroscopyof regular electronic atoms.

    The CREMA collaboration has so far determined thecharge radii of the proton and the deuteron, by mea-suring several transitions in muonic hydrogen (µp) [1–3]and muonic deuterium (µd) [4,5]. Interestingly, both val-ues differ by as much as six standard deviations from therespective CODATA-2014 values [6], which contain datafrom laser spectroscopy in atomic hydrogen/deuteriumand electron scattering. This discrepancy has been coined“proton radius puzzle” [7–9]. However, the discrepancyexists for the deuteron, too. Interestingly, for the protonand the deuteron, the muonic isotope shift is compatiblewith the electronic one from the 1S–2S transition in H andD [10,11]. The respective radii are

    rp(µp) = 0.84087(26)exp(29)th

    = 0.84087(39) fm [1,2] (1)

    a e-mail: [email protected] e-mail: [email protected] e-mail: [email protected]

    rp(CODATA′14) = 0.87510(610) fm [6] (2)

    rd(µd) = 2.12562(13)exp(77)th

    = 2.12562(78) fm [4] (3)

    rd(CODATA′14) = 2.14130(250) fm. [6] (4)

    Very recently, the CREMA collaboration has measureda total of five transitions in muonic helium-3 and -4 ions[12], which have been analyzed now.

    These measurements will help to improve our under-standing of nuclear model theories [13,14] and shed morelight on the proton radius puzzle. Several ideas exist tosolve the puzzle [15], some within the standard model[16,17] and others proposing muon specific forces beyondthe standard model [18–21]. These ideas lead to pre-dictions which can be tested with precise charge radiusdeterminations in muonic helium ions.

    The measurement of the charge radius in both, helium-3 and helium-4 ions will in addition help understand thediscrepancy between several measurements of the heliumisotope shift in electronic helium [22–26] which yield thedifference of the squared charge radii (see Fig. 1).

    Several other experiments are on the way to contributeto the puzzle in the future [15] by precision spectroscopymeasurements in electronic hydrogen [28–30] and He+

    [31,32], as well as by electron scattering at very low Q2

    https://epjd.epj.org/https://doi.org/10.1140/epjd/e2017-80296-1http://www.springerlink.comhttps://arxiv.org/pdf/1606.05231mailto:[email protected]:[email protected]:[email protected]

  • Page 2 of 22 Eur. Phys. J. D (2017) 71: 341

    ]2 [fm2α - r2hr

    1.02 1.03 1.04 1.05 1.06 1.07 1.08 1.09

    Cancio Pastor**

    Shiner**van Rooij*

    theory+He3µ theory+He4µ

    prelim. experimental

    Fig. 1. Difference of squared helion-to-alpha particle charge radii as obtained from laser spectroscopy of transitions in regular,electronic helium-3 and helium-4 atoms [22–24] when combined with accurate theory (*[26], **[25]). A 4σ discrepancy persists.Also shown are the individual theory uncertainties which enter r2h − r2α (µ4He+: [27], µ3He+: this work), as well as the expecteduncertainty from our laser spectroscopy of the Lamb shift in muonic helium ions. Note that the combination of the two theoreticaluncertainties should contain correlations which will partly cancel in the total uncertainty.

    [33,34] and muon-scattering [35]. The He+ spectroscopy,in combination with our measurement in muonic heliumions, will be able to determine the Rydberg constantindependently from hydrogen and deuterium. This is par-ticularly interesting as the proton charge radius and theRydberg constant are highly correlated which means thata change in the Rydberg constant could also resolve thepuzzle [29].

    The determination of the helion charge radius frommuonic helium spectroscopy requires accurate knowledgeof the corresponding theory. Similar to muonic hydrogen[3], deuterium [5], and helium-4 ions [27], we feel there-fore obliged to summarize the current knowledge on thestate of theory contributions to the Lamb shift, fine-, andhyperfine structure in muonic helium-3 ions.

    The accuracy to be expected from the experiment willbe on the order of 20 GHz, which corresponds to ∼0.08 meV.1 In order to exploit the experimental precision,theory should, ideally, be accurate to a level of

    σtheory ∼ O(0.01 meV). (5)

    This would result in a nearly hundred-fold better accuracyin the helion rms charge radius rh compared to the valuefrom electron scattering of

    rh = 1.973(14) fm, (6)

    deduced by Sick [36].A more precise value has been given by Angeli et al. [37],

    which should be discarded. Their value is based on acharge radius extraction from µ4He+ by Carboni et al. [38]and on the isotope shift measurement from Shiner etal. [22]. The Carboni measurement has however shownto be wrong [39], and the more recent measurement of theelectronic isotope shift by van Rooij et al. [23] disagreesby 4σ from the Shiner one [22], see Figure 1.

    We anticipate here that the total uncertainty in the the-oretical calculation of the Lamb shift transition amountsto 0.52 meV (corresponding to a relative uncertainty of∼0.03%), neglecting the charge radius contribution to be

    1 1 meV =̂ 241.799 GHz.

    extracted from the µ3He+ measurement. This value iscompletely dominated by the two-photon exchange con-tributions which are difficult to calculate but have seenwonderful progress in recent years [14,40,41]. The totaluncertainty of the pure QED contributions (without thetwo-photon exchange) amounts to 0.04 meV and is thus inthe desired order of magnitude. Note that while the theoryuncertainty from the two-photon exchange in rp is of sim-ilar size as the experimental uncertainty (Eq. (1)), alreadyfor µd the theory uncertainty is vastly dominant (Eq. (3)).Experiments with muonic atoms are thus a sensitive toolto determine the two-photon exchange contributions.

    2 Overview

    The n = 2 energy levels of the muonic helium-3 ion aresketched in Figure 2. The helion has nuclear spin I = 1/2,just as the proton. Hence the level scheme is very similar tothe one of muonic hydrogen. However, the helion magneticmoment g = −2.127 625 308(25) [6] (here given in unitsof the nuclear magneton) is negative, which swaps theordering of the hyperfine levels.

    A note on the sign convention of the Lamb shift contri-butions used in this article: The 2S level is shifted belowthe 2P levels due to the Lamb shift. This means that, fun-damentally, the 2S Lamb shift should be given a negativesign.

    However, following long-established conventions weassign the measured 2S1/2 → 2P1/2 energy difference apositive sign, i.e. E(2P) – E(2S) > 0. This is in accord withalmost all publications we review here and we will men-tion explicitly when we have inverted the sign with respectto the original publications where the authors calculatedlevel shifts.

    Moreover, we obey the traditional definition of theLamb shift as the terms beyond the Dirac equation andthe leading order recoil corrections, i.e. excluding effects ofthe hyperfine structure. In particular, this means that themixing of the hyperfine levels (Sect. 5) does not influencethe Lamb shift.

    The Lamb shift is dependent on the rms charge radius ofthe nucleus and is treated in Section 3. We split the Lamb

    https://epjd.epj.org/

  • Eur. Phys. J. D (2017) 71: 341 Page 3 of 22

    Fig. 2. The 2S and 2P energy levels in the muonic helium-3 ion. The inset on the right displays the shift ∆ of the 2P levelsdue to the mixing of levels with same quantum number F , as described in Section 5. The figure is not to scale.

    shift contributions into nuclear structure-independent con-tributions and nuclear structure-dependent ones. Thelatter are composed out of one-photon exchange dia-grams which represent the finite size effect and two-photonexchange diagrams which contain the polarizability con-tributions.

    In Section 4, we treat the 2S hyperfine structure, whichdepends on the Zemach radius. It also has two-photonexchange contributions. However, these have not beencalculated yet and can only be estimated with a largeuncertainty.

    In Section 5, we compile the 2P level structure whichincludes fine- and hyperfine splitting, and the mixing ofthe hyperfine levels [42].

    For the theory compilation presented here, we use thecalculations from many sources mentioned in the follow-ing. The names of the authors of the respective groups areordered alphabetically.

    The first source is E. Borie who was one of the first topublish detailed calculations of many terms involved inthe Lamb shift of muonic atoms. Her most recent calcula-tions for µp, µd, µ4He+, and µ3He+ are all found in herreference [43]. Several updated versions of this paper areavailable on the arXiv. In this work we always refer to [44]which is version-7, the most recent one at the time of thiswriting.

    The second source is the group of Elekina, Faustov, Kru-tov, and Martynenko et al. (termed “Martynenko group”in here for simplicity). The calculations we use in here arefound in Krutov et al. [45] for the Lamb shift, in Mar-tynenko et al. [46,47] and Faustov et al. [48] for the 2Shyperfine structure, and Elekina et al. [49] for the 2P fine-and hyperfine structure.

    Jentschura and Wundt calculated some Lamb shift con-tributions in their references [50,51]. They are referred toas “Jentschura” for simplicity.

    The group of Ivanov, Karshenboim, Korzinin, and She-lyuto is referred to “Karshenboim group” for simplicity.Their calculations are found in Korzinin et al. [52] and inKarshenboim et al. [53] for Lamb shift and fine structurecontributions.

    The group of Bacca, Barnea, Hernandez, Ji, and NevoDinur, situated at TRIUMF and Hebrew University, hasperformed ab initio calculations on two-photon exchangecontributions of the Lamb shift. Their calculations arefound in Nevo Dinur et al. [14] and Hernandez et al. [40].For simplicity we refer to them as “TRIUMF-Hebrewgroup”.

    A recent calculation of the two-photon exchange usingscattering data and dispersion relations has been per-formed by Carlson, Gorchtein, and Vanderhaeghen [41].

    Item numbers # in our tables follow the nomenclaturein references [3,5]. In the tables, we usually identify the“source” of all values entering “our choice” by the firstletter of the (group of) authors given in adjacent columns(e.g. “B” for Borie). We denote as average “avg.” in thetables the center of the band covered by all values vi underconsideration, with an uncertainty of half the spread, i.e.

    avg. =1

    2

    [MAX(vi) + MIN(vi)

    ]± 1

    2

    [MAX(vi)−MIN(vi)

    ]. (7)

    If individual uncertainties are provided by the authors weadd these in quadrature. We would like to point out thatuncertainties due to uncalculated higher order terms areoften not indicated explicitly by the authors. In the casesome number is given, we include it in our sum. But in gen-eral our method cannot account for uncertainty estimatesof uncalculated higher order terms.

    Throughout the paper, Z denotes the nuclear chargewith Z = 2 for the helion and alpha particle, α isthe fine structure constant, mr = 199me is the reducedmass of the muon-nucleon system. “VP” is short for“vacuum polarization”, “SE” is “self-energy”, “RC” is“recoil correction”. “Perturbation theory” is abbreviatedas “PT”, and SOPT and TOPT denote 2nd and 3rd orderperturbation theory, respectively.

    https://epjd.epj.org/

  • Page 4 of 22 Eur. Phys. J. D (2017) 71: 341

    µ

    h

    e

    Fig. 3. Item #1, the leading order 1-loop electron vacuumpolarization (eVP), also called Uehling term.

    3 Lamb shift in muonic helium-3

    3.1 Nuclear structure-independent contributions

    Nuclear structure-independent contributions have beencalculated by Borie, Martynenko group, Karshenboimgroup, and Jentschura. The contributions are listed inTable 1, labeled with #i. The leading contribution isthe one-loop electron vacuum polarization (eVP) oforder α(Zα)2, the so-called Uehling term (see Fig. 3). Itaccounts for 99.5% of the radius-independent part of theLamb shift, so it is very important that this contributionis well understood. There are two different approaches tocalculate this term.

    Borie [44] (p. 4, Tab.) and the Karshenboim group [52](Tab. I) use relativistic Dirac wavefunctions to calculatea relativistic Uehling term (item #3). A relativistic recoilcorrection (item #19) has to be added to allow comparisonto nonrelativistic calculations (see below). Borie providesthe value of this correction explicitly in [44] Table 6,whereas the Karshenboim group only gives the totalvalue which includes the correction, thus correspondingto (#3 + #19).

    Nonrelativistic calculations of the Uehling term (item#1) exist from the Martynenko group [45] (No. 1, Tab. 1)and Jentschura [51], which are in very good agreement.Additionally, a relativistic correction (item #2) has tobe applied. This relativistic correction already accountsfor relativistic recoil effects (item #19). Item #2 hasbeen calculated by the Martynenko group [45] (No. 7+10,Tab. 1), Borie [44] (Tab. 1), Jentschura [50,51] (Eq. 17),and Karshenboim et al. [53], which agree well within allfour groups, however do not have to be included in Borie’sand Korzinin et al.’s value because their relativistic Diracwavefunction approach already accounts for relativisticrecoil effects.

    Both approaches agree well within the required uncer-tainty. As our choice for the Uehling term with relativisticcorrection (#1 + #2) or (#3 + #19) we take the average

    ∆E(Uehling + rel. corr.) = 1642.3962± 0.0018 meV.(8)

    Item #4, the second largest contribution in this sec-tion, is the two-loop eVP of order α2(Zα)2, the so-calledKällén-Sabry term [54] (see Fig. 4). It has been calculatedby Borie [44] (p. 4, Tab.) and the Martynenko group [45](No. 2, Tab. 1) which agree within 0.0037 meV. As ourchoice we take the average.

    (a)

    µ

    h

    e

    e

    (b)

    µ

    h

    e

    (c)

    µ

    h

    e

    Fig. 4. Item #4, the two-loop eVP (Källen-Sabry) contribu-tion. This is Figures 1b–1d from the Martynenko group [45].

    µ

    h

    e e

    Fig. 5. Item #5, the one-loop eVP in 2-Coulomb lines.

    Item #5 is the one-loop eVP in two Coulomb lines oforder α2(Zα)2 (see Fig. 5). It has been calculated by Borie[44] (Tab. 6), the Martynenko group [45] (No. 9, Tab. 1),and Jentschura [50] (Eq. 13) of whom the latter two obtainthe same result, which differs from Borie by 0.0033 meV.As our choice we adopt the average.

    The Karshenboim group [52] (Tab. I) has calculated thesum of item #4 and #5, the two-loop eVP (Källén-Sabry)and one-loop eVP in two Coulomb lines (Figs. 4 and 5).Good agreement between all groups is observed.

    Item #6+7 is the third order eVP of order α3(Zα)2. Ithas been calculated by the Martynenko group [45] (No. 4+11 + 12, Tab. 1) and the Karshenboim group [52] (Tab. I).Borie [44] (p. 4) adopts the value from Karshenboim etal., Martynenko et al. and Karshenboim et al. differ by0.004 meV, which is in agreement considering the uncer-tainty of 0.003 meV given by the Martynenko group. Asour choice we adopt the average and obtain an uncertaintyof 0.0036 meV via Gaussian propagation of uncertainty.

    Item #29 is the second order eVP of order α2(Zα)4. Ithas been calculated by the Martynenko group [45] (No. 8+13, Tab. 1) and the Karshenboim group [52] (Tab. VIII).Their values did agree in the case of µd, however for µ3He+

    they differ by 0.004 meV. This difference is twice as largeas the value from Martynenko et al. but this contribu-tion is small, so the uncertainty is not at all dominating.We reflect the difference by adopting the average as ourchoice.

    Items #9, #10, and #9a are the terms of the Light-by-light (LbL) scattering contribution (see Fig. 6). The sumof the LbL terms is calculated by the Karshenboim group[52] (Tab. I). Borie [44] also lists the value from Karshen-boim et al. Item #9 is the Wichmann-Kroll term, or “1:3”LbL, which is of order α(Zα)4. This item has also been cal-culated by Borie [44] (p. 4) and the Martynenko group [45](No. 5, Tab. 1) who obtain the same result. Item #10 is thevirtual Delbrück or “2:2” LbL, which is of order α2(Zα)3.

    https://epjd.epj.org/

  • Eur. Phys. J. D (2017) 71: 341 Page 5 of 22

    (a)

    µ

    h

    e

    (b)

    µ

    h

    e

    (c)

    µ

    h

    e

    Fig. 6. The three contributions to Light-by-light scatter-ing: (a) Wichmann-Kroll or “1:3” term, item #9, (b) VirtualDelbrück or “2:2” term, item #10, and (c) inverted Wichmann-Kroll or “3:1” term, item #9a†.

    )b()a(

    µ

    h

    µ

    h

    µ

    Fig. 7. Item #20, the muon-self energy (a) and the muonvacuum polarization (b), α(Zα)4.

    Item #9a is the inverted Wichmann-Kroll term, or “3:1”LbL, which is of order α3(Zα)2. The sum of the lattertwo is also given by the Martynenko group [45] (No. 6,Tab. 1). As our choice we use the one from Karshenboim etal., who are the first and only group to calculate all threeLbL contributions. The groups are in agreement when tak-ing into account the uncertainty of 0.0006 meV given byKarshenboim et al.

    Item #20 is the contribution from muon self-energy(µSE) and muon vacuum polarization (µVP) of orderα(Zα)4 (see Fig. 7). This item constitutes the third largestterm in this section.2 This item has been calculated byBorie [44] (Tabs. 2 and 6) and the Martynenko group [45](No. 24, Tab. 1). They differ by 0.001 meV. As our choicewe adopt the average.

    Items #11, #12, #30, #13, and #31 are all correctionsto VP or µSE and of order α2(Zα)4.

    Item #11 is the µSE correction to eVP (see Fig. 8).It has been calculated by all four groups. Martynenko etal. calculate this term (Eq. 99) in [45], however in theirtable (No. 28) they use the more exact calculation fromJentschura. Jentschura [50] (Eq. 29), and the Karshenboimgroup [52] (Tab. VIII a) are in excellent agreement. Borie[44] (Tab. 16) differs significantly because she only calcu-lates a part of this contribution in her App. C. This valuedoes not enter her sum and thus is also not considered inhere. On p. 12 of [44] she states that this value should beconsidered as an uncertainty. As our choice we adopt thenumber from Jentschura and Karshenboim et al.

    2 In ordinary hydrogen-like atoms this term is the leading orderLamb shift contribution: The leptons in the loop are the same asthe orbiting lepton. This term can thus be rescaled from well-knownresults in hydrogen.

    (a)

    µ

    h

    e

    (b)

    µ

    h

    e

    (c)

    µ

    h

    e

    Fig. 8. Item #11, muon self-energy corrections to the elec-tron vacuum polarization α2(Zα)4. This figure is Figure 2from Jentschura [55]. It corresponds to Figure 6(a) fromKarshenboim [52].

    h

    µ

    e

    Fig. 9. Item #12, eVP loop in SE are radiative correctionswith VP effects. This is Figure 11(b) from a publication bythe Martynenko group [45] which is the same as Figure 4 inPachucki [56]. It is Karshenboim’s Figure 6(d) in reference [52].

    h

    µ

    h

    Fig. 10. Item #30, hadronic VP in SE contribution, corre-sponds to Figure 6(e) in Karshenboim et al.’s [52].

    Item #12 is the eVP in µSE (see Fig. 9). This item hasbeen calculated by the Martynenko group [45] (No. 27,Tab. 1) and the Karshenboim group [52] (Tab. VIII d),which are in perfect agreement. On p. 10 of [44] Borie men-tions that she included the “fourth order electron loops”in “muon Lamb shift, higher order” term, which is ouritem #21. As we include item #21 from Borie, we willnot on top include item #12.

    Item #30 is the hadronic vacuum polarization (hVP) inµSE (see Fig. 10). This item has only been calculated bythe Karshenboim group [52] (Tab. VIII e) which we adoptas our choice.

    Item #13 is the mixed eVP + µVP (see Fig. 11).The calculations from Borie [44] (p. 4) and the Marty-nenko group [45] (No. 3, Tab. 1) roughly agree, whereasthe value from the Karshenboim group [52] (Tab. VIII b)is 0.002 meV larger. As our choice we take the average.

    https://epjd.epj.org/

  • Page 6 of 22 Eur. Phys. J. D (2017) 71: 341

    (a)

    µ

    h

    e

    µ

    (b)

    µ

    h

    e µ

    Fig. 11. Item #13, the mixed eVP-µVP contribution.

    (a)

    µ

    h

    e

    h

    (b)

    µ

    h

    e h

    Fig. 12. Item #31, the mixed eVP- and hadronic VP contri-bution, comes from the Uehling correction to the hadronic VPcorrection. See Figure 6(c) in Karshenboim et al.’s [52].

    h

    µ

    µ

    Fig. 13. Item #32, muon VP in SE contribution, is auto-matically included in a rescaled electronic 3He+ QED value ofhigher order SE contributions (see text).

    Item #31 is the mixed eVP + hVP (see Fig. 12) whichhas only been calculated by the Karshenboim group [52](Tab. VIII c). We adopt their value as our choice.

    Item #32, the muon VP in SE correction shown in Fig-ure 13 is not included as a separate item in our Table 1.It should already be automatically included in the QEDcontribution which has been rescaled from the QED ofelectronic 3He+ by a simple mass replacement me → mµ[57]. This is the case only for QED contributions wherethe particle in the loop is the same as the bound particle -like in this case, a muon VP correction in a muonic atom.The size of this item #32 can be estimated from the rela-tionship found by Borie [58], that the ratio of hadronic tomuonic VP is 0.66. With the Karshenboim group’s valueof item #30 [52] one would obtain a value for item #32 of−0.0004/0.66 meV = −0.0006 meV. This contribution iscontained in our item #21, together with the dominatingitem #12 (see also p. 10 of Ref. [44]).

    Item #21 is a higher-order correction to µSE and µVPof order α2(Zα)4 and α2(Zα)6. This item has only beencalculated by Borie [44] (Tabs. 2 and 6). On p. 10 she

    points out that this contribution includes the “fourthorder electron loops”, which is our item #12. It alsocontains our item #32. We adopt her value as our choice.

    Item #14 is the hadronic VP of order α(Zα)4. It hasbeen calculated by Borie [44] (Tab. 6) and the Martynenkogroup [45] (No. 29, Tab. 1). Borie assigns a 5% uncertaintyto their value. However, in her reference [44] there are twodifferent values of item #14, the first on p. 5 (0.219 meV)and the second in Table 6 on p. 16 (0.221 meV). Regardingthe given uncertainty this difference is not of interest. Inour Table 1, we report the larger value which is furtherfrom that of the Martynenko group in order to conserva-tively reflect the scatter. Martynenko et al. did not assignan uncertainty to their value. However, for µd [59] theyestimated an uncertainty of 5%. As our choice we takethe average of their values and adopt the uncertainty of5% (0.011 meV).

    Item #17 is the Barker-Glover correction [60]. It is arecoil correction of order (Zα)4m3r/M

    2 and includes thenuclear Darwin-Foldy term that arises due to the Zitter-bewegung of the nucleus. As already discussed in App. Aof [5], we follow the atomic physics convention [61], whichis also adopted by CODATA in their report from 2010[62] and 2014 [6]. This convention implies that item #17is considered as a recoil correction to the energy levelsand not as a part of the rms charge radius. This term hasbeen calculated by Borie [44] (Tab. 6), the Martynenkogroup [45] (No. 21, Tab. 1), and Jentschura [51] and [50](Eq. A.3). As our choice we use the number given by Borieand Jentschura as they give one more digit.

    Item #18 is the term called “recoil, finite size” by Borie.It is of order (Zα)5〈r〉(2)/M and is linear in the firstZemach moment. It has first been calculated by Friar [63](see Eq. F5 in App. F) for hydrogen and has later beengiven by Borie [44] for µd, µ4He+, and µ3He+. We dis-card item #18 because it is considered to be included inthe elastic TPE [64,65]. It has also been discarded in µp[3], µd [5], and µ4He+ [27]. For the muonic helium-3 ion,item #18 in [44] (Tab. 6) amounts to 0.4040 meV, whichis five times larger than the experimental uncertainty ofabout 0.08 meV (see Eq. 5), so it is important that thetreatment of this contribution is well understood.

    Item #22 and #23 are relativistic recoil corrections oforder (Zα)5 and (Zα)6, respectively. Item #22 has beencalculated by Borie [44] (Tab. 6), the Martynenko group[45] (No. 22, Tab. 1), and Jentschura [50] (Eq. 32). Theyagree perfectly. Item #23 has only been calculated by theMartynenko group [45] (No. 23, Tab. 1) whose value weadopt as our choice.

    Item #24 are higher order radiative recoil correctionsof order α(Zα)5 and (Z2α)(Zα)4. This item has been cal-culated by Borie [44] (Tab. 6) and the Martynenko group[45] (No. 25, Tab. 1). Their values differ by 0.015 meV. Asour choice we adopt the average.

    Item #28 is the radiative (only eVP) recoil of orderα(Zα)5. It consists of three terms which have been calcu-lated by Jentschura and Wundt [50] (Eq. 46). We adopttheir value as our choice. Note that a second value(0.0072 meV) is found in [51]. However, this value is justone of the three terms, namely the seagull term, and isalready included in #28 (see [50], Eq. 46).

    https://epjd.epj.org/

  • Eur. Phys. J. D (2017) 71: 341 Page 7 of 22

    The total sum of the QED contributions withoutexplicit nuclear structure dependence is summarized inTable 1 and amounts to

    ∆ELSr−indep. = 1644.3466± 0.0146 meV. (9)

    Note that Borie, on p. 15 in reference [44] attributes anuncertainty of 0.6 meV to her total sum. The origin ofthis number remains unclear [66]. Its order of magnitudeis neither congruent with the other uncertainties given inreference [44] nor with other uncertainties collected in oursummary. Thus it will not be taken into account.

    3.2 Nuclear structure contributions

    Terms that depend on the nuclear structure are separatedinto one-photon exchange (OPE) contributions and two-photon exchange (TPE) contributions.

    The OPE terms (also called radius-dependent contri-butions) represent the finite size effect which is by farthe largest part of the nuclear structure contributions andare discussed in Section 3.2.1. They are parameterizablewith a coefficient times the rms charge radius squared.These contributions are QED interactions with nuclearform factor insertions.

    The TPE terms can be written as a sum of elastic andinelastic terms, where the latter describe the polarizabilityof the nucleus. These involve contributions from stronginteraction and therefore are much more complicated toevaluate, which explains why the dominant uncertaintyoriginates from the TPE part. The TPE contributions arediscussed in more detail in Section 3.2.2.

    The main nuclear structure corrections to the nS stateshave been given up to order (Zα)6 by Friar [63] (seeEq. (43a) therein)

    ∆Efin.size =2πZα

    3|Ψ(0)|2

    ×(〈r2〉 − Zαmr

    2〈r3〉(2) + (Zα)2(FREL +m2rFNREL)

    ),

    (10)

    where Ψ(0) is the muon wave function at the origin, 〈r2〉is the second moment of the charge distribution of thenucleus, i.e. the square of the rms charge radius, r2E .〈r3〉(2) is the Friar moment,3 and FREL and FNREL con-tain various moments of the nuclear charge distribution(see Eq. (43b) and (43c) in Ref. [63]). Analytic expressionsfor some simple model charge distributions are listed inApp. E of reference [63].

    As the Schrödinger wavefunction at the origin Ψ(0) isnonzero only for S states, it is in leading order only the Sstates which are affected by the finite size. However, usingthe Dirac wavefunction a nonzero contribution appears forthe 2P1/2 level [68]. This contribution affects the values

    3 〈r3〉(2) has been called “third Zemach moment” in [63]. To avoidconfusion with the Zemach radius rZ in the 2S hyperfine struc-ture we adopt the term “Friar moment”, as recently suggested byKarshenboim et al. [67].

    µ

    h

    Fig. 14. Item #r1, the leading nuclear finite size correctionstems from a one-photon interaction with a helion form factorinsertion, indicated by the thick dot.

    for the Lamb shift and the fine structure and is taken intoaccount in the section below.

    The Friar moment 〈r3〉(2) has not been included inµd [5] because of a cancellation [69–71] with a partof the inelastic nuclear polarizability contributions. TheTRIUMF-Hebrew group pointed out [14,40], that in thecase of µ3He+ however, a smaller uncertainty might beachieved treating each term separately. This discussion isnot finished yet and we will therefore continue with themore conservative treatment as before. See Section 3.2.2.

    3.2.1 One-photon exchange contributions (finite sizeeffect)

    Finite size contributions have been calculated by Borie([44] Tab. 14), the Martynenko group ([45] Tab. 1), andthe Karshenboim group ([53] Tab. III). All of these con-tributions are listed in Table 2, labeled with #ri.

    Most of the terms, given in Table 2, can be parameter-ized as c · rE2 with coefficients c in units of meV fm−2.Borie and Karshenboim et al. have provided the contri-butions in this parameterization, whereas Martynenko etal. provide the total value in units of energy. However,the value of their coefficients can be obtained by dividingtheir numbers by rE

    2 . The value they used for the chargeradius rE is 1.9660 fm

    4 [73]. In this way the numbers fromMartynenko et al. can be compared with the ones fromthe other groups.

    Item #r1, the leading term of equation (10), is the one-photon exchange with a helion form factor (FF) insertion(see Fig. 14). Item #r1 is of order (Zα)4m3r and accountsfor 99% of the OPE contributions. Borie ([44] Tab. 14,ba), the Martynenko group ([45] No. 14), and the Karshen-

    boim group ([53] Tab. III, ∆(0)FNS) obtain the same result

    which we adopt as our choice. This contribution is muchlarger than the following terms, but its absolute precisionis worse, which we indicate by introducing an uncertainty.For that we take the value from Borie which is given withone more digit than the values of the other authors andattribute an uncertainty of 0.0005 meV, which may arisefrom rounding.

    Item #r2 and #r2’ are the radiative correction of orderα(Zα)5. The equation used for the calculation of item #r2is given in equation (10) of [74]. It has been calculated byBorie [44] (Tab. 14, bb) and the Martynenko group [45](No. 26, only Eq. (92)). Note that the value from the Mar-tynenko group was published with a wrong sign.

    4 This value has been introduced by Borie [44] as an average ofseveral previous measurements [23,24,72].

    https://epjd.epj.org/

  • Page 8 of 22 Eur. Phys. J. D (2017) 71: 341

    Tab

    le1.

    All

    kn

    own

    nu

    cle

    ar

    stru

    ctu

    re-i

    nd

    ep

    en

    dent

    contr

    ibu

    tion

    sto

    the

    Lam

    bsh

    ift

    inµ

    3H

    e+.

    Val

    ues

    are

    inm

    eV.

    Item

    nu

    mb

    ers

    “#”

    inth

    e1st

    colu

    mn

    foll

    owth

    enom

    encl

    atu

    reof

    refe

    ren

    ces

    [3,5

    ],w

    hic

    hin

    turn

    foll

    owth

    esu

    pp

    lem

    ent

    ofre

    fere

    nce

    [1].

    Item

    s“#

    “w

    ith

    ad

    agge

    r†

    wer

    ela

    bel

    ed“N

    ew”

    inre

    fere

    nce

    [3],

    bu

    tw

    ein

    trod

    uce

    dnu

    mb

    ers

    inre

    fere

    nce

    [5]

    for

    defi

    nit

    enes

    s.F

    orB

    orie

    [44]

    we

    refe

    rto

    the

    mos

    tre

    cent

    arX

    ivver

    sion

    -7w

    hic

    hco

    nta

    ins

    seve

    ral

    corr

    ecti

    ons

    toth

    ep

    ub

    lish

    edp

    ap

    er[4

    3](a

    vail

    able

    onli

    ne

    6D

    ec.

    2011

    ).F

    orth

    eM

    arty

    nen

    kogr

    oup

    ,nu

    mb

    ers

    #1

    to#

    29re

    fer

    toro

    ws

    inT

    ab

    leI

    of

    refe

    ren

    ce[4

    5].

    Nu

    mb

    ers

    inp

    aren

    thes

    esre

    fer

    toeq

    uat

    ions

    inth

    ere

    spec

    tive

    pap

    er.

    #C

    ontr

    ibuti

    on

    Bori

    e(B

    )M

    art

    ynenko

    gro

    up

    (M)

    Jents

    chura

    (J)

    Kars

    henb

    oim

    gro

    up

    (K)

    Our

    choic

    e

    [44]

    Kru

    tov

    et

    al.

    [45]

    Jents

    chura

    ,W

    undt

    [50]

    Kars

    henb

    oim

    et

    al.

    [53]

    Valu

    eSourc

    eF

    ig.

    Jents

    chura

    [51]

    Korz

    inin

    et

    al.

    [52]

    1N

    Rone-l

    oop

    ele

    ctr

    on

    VP

    (eV

    P)

    1641.8

    862

    #1

    1641.8

    85

    [51]

    2R

    el.

    corr

    .(B

    reit

    -Pauli

    )(0.5

    0934)a

    Tab.1

    0.5

    093

    #7+

    #10

    0.5

    09344

    [50](

    17),

    [51]

    (0.5

    09340)

    [53]

    Tab.IV

    3R

    el.

    one-l

    oop

    eV

    P1642.4

    12

    Tab.

    p.4

    19

    Rel.

    RC

    toeV

    P,α

    (Zα

    )4−

    0.0

    140

    Tab.1+

    6

    Sum

    of

    the

    ab

    ove

    1642.3

    980

    3+

    19

    1642.3

    955

    1+

    21642.3

    943

    1+

    21642.3

    954

    [52]

    Tab.I

    1642.3

    962±

    0.0

    018

    avg

    3

    4T

    wo-l

    oop

    eV

    P(K

    äll

    én-S

    abry

    )11.4

    107

    Tab.

    p.4

    11.4

    070

    #2

    11.4

    089±

    0.0

    019

    avg.

    4

    5O

    ne-l

    oop

    eV

    Pin

    2-C

    oulo

    mb

    linesα2(Zα

    )21.6

    74

    Tab.6

    1.6

    773

    #9

    1.6

    77290

    [50](

    13)

    1.6

    757±

    0.0

    017

    avg.

    5

    Sum

    of

    4and

    513.0

    847

    4+

    513.0

    843

    4+

    513.0

    843

    [52]

    Tab.I

    (13.0

    846)b

    6+

    7T

    hir

    dord

    er

    VP

    0.0

    73(3

    )p.4

    0.0

    689

    #4+

    #12+

    #11

    0.0

    73(3

    )[5

    2]

    Tab.I

    0.0

    710±

    0.0

    036

    avg.

    29

    Second-o

    rder

    eV

    Pcontr

    ibuti

    onα2(Zα

    )4m

    0.0

    018

    #8+

    #13

    0.0

    0558

    [52]

    Tab.V

    III

    “eV

    P2”

    0.0

    037±

    0.0

    019

    avg

    9L

    ight-

    by-l

    ight

    “1:3

    ”:

    Wic

    hm

    ann-K

    roll

    −0.0

    1969

    p.4

    −0.0

    197

    #5

    6a

    10

    Vir

    tual

    Delb

    rück,

    “2:2

    ”L

    bL

    } 0.0064

    #6

    6b

    9a†

    “3:1

    ”L

    bL

    6c

    Sum

    :T

    ota

    lli

    ght-

    by-l

    ight

    scatt

    .−

    0.0

    134(6

    )p.

    5+

    Tab.

    6−

    0.0

    133

    9+

    10+

    9a

    −0.0

    134(6

    )[5

    2]

    Tab.I

    −0.0

    134±

    0.0

    006

    K

    20

    µSE

    andµ

    VP

    −10.8

    27368

    Tab.2+

    6−

    10.8

    286

    #24

    −10.8

    280±

    0.0

    006

    avg.

    7

    11

    Muon

    SE

    corr

    .to

    eV

    Pα2(Zα

    )4(−

    0.1

    277)c

    Tab.16

    −0.0

    627

    #28

    −0.0

    6269

    [50](

    29)

    −0.0

    6269

    [52]

    Tab.V

    III

    (a)

    −0.0

    6269

    J,

    K8

    12

    eV

    Plo

    op

    inse

    lf-e

    nerg

    yα2(Zα

    )4in

    cl.

    in21

    −0.0

    299

    #27

    −0.0

    2992

    [52]

    Tab.V

    III

    (d)

    incl.

    in21

    B9

    30

    Hadro

    nic

    VP

    loop

    inse

    lf-e

    nerg

    yα2(Zα

    )4m

    −0.0

    0040(4

    )[5

    2]

    Tab.V

    III

    (e)

    −0.0

    0040±

    0.0

    0004

    K10

    13

    Mix

    ed

    eV

    P+µ

    VP

    0.0

    0200

    p.4

    0.0

    022

    #3

    0.0

    0383

    [52]

    Tab.V

    III

    (b)

    0.0

    029±

    0.0

    009

    avg

    11

    31

    Mix

    ed

    eV

    P+

    hadro

    nic

    VP

    0.0

    024(2

    )[5

    2]

    Tab.V

    III

    (c)

    0.0

    024±

    0.0

    002

    K12

    21

    Hig

    her-

    ord

    er

    corr

    .toµ

    SE

    andµ

    VP

    −0.0

    33749

    Tab.2+

    6−

    0.0

    33749

    B

    Sum

    of

    12,

    30,

    13,

    31,

    and

    21

    −0.0

    31749

    13+

    21

    −0.0

    277

    12+

    13

    −0.0

    241(2

    )12+

    30+

    13+

    31

    −0.0

    288

    sum

    14

    Hadro

    nic

    VP

    0.2

    21(1

    1)

    Tab.6

    0.2

    170

    #29

    0.2

    19±

    0.0

    11

    avg.

    17

    Recoil

    corr

    .(Zα

    )4m

    3 r/M

    2(B

    ark

    er-

    Glo

    ver)

    0.1

    2654

    Tab.6

    0.1

    265

    #21

    0.1

    2654

    [50](

    A.3

    )[5

    1](

    15)

    0.1

    2654

    B,

    J

    18

    Recoil

    ,fi

    nit

    esi

    ze

    (0.4

    040(1

    0))

    d

    22

    Rel.

    RC

    (Zα

    )5−

    0.5

    5811

    p.9

    +T

    ab.6

    −0.5

    581

    #22

    −0.5

    58107

    [50](

    32)

    −0.5

    58107

    J

    23

    Rel.

    RC

    (Zα

    )60.0

    051

    #23

    0.0

    051

    M

    24

    Hig

    her

    ord

    er

    radia

    tive

    recoil

    corr

    .−

    0.0

    8102

    p.9

    +T

    ab.6

    −0.0

    656

    #25

    −0.0

    733±

    0.0

    077

    avg.

    28†

    Rad.

    (only

    eV

    P)

    RCα

    (Zα

    )50.0

    04941

    0.0

    04941

    J

    Sum

    1644.3

    916e

    1644.3

    431

    1644.3

    466±

    0.0

    146

    aD

    oes

    not

    contr

    ibute

    toth

    esu

    min

    Bori

    e’s

    appro

    ach

    .b

    Sum

    ofourchoice

    of

    item

    #4

    and

    #5,

    wri

    tten

    dow

    nfo

    rco

    mpari

    son

    wit

    hth

    eK

    ars

    hen

    boim

    gro

    up.

    cIn

    App.C

    of

    [44],

    inco

    mple

    te.

    Does

    not

    contr

    ibute

    toth

    esu

    min

    Bori

    e’s

    appro

    ach

    ,se

    ete

    xt.

    dIs

    not

    incl

    uded

    ,b

    ecause

    itis

    apart

    of

    the

    TP

    E,

    see

    text.

    eIn

    cludin

    git

    em#

    18

    and

    #r3

    ’yie

    lds

    1644.9

    169

    meV

    ,w

    hic

    his

    Bori

    e’s

    valu

    efr

    om

    refe

    rence

    [44]

    page

    15.

    On

    that

    page

    she

    att

    ribute

    san

    unce

    rtain

    tyof

    0.6

    meV

    toth

    at

    valu

    e.T

    his

    num

    ber

    isfa

    rto

    ola

    rge

    tob

    eco

    rrec

    t,so

    we

    ignore

    it.

    https://epjd.epj.org/

  • Eur. Phys. J. D (2017) 71: 341 Page 9 of 22

    Very recently the Martynenko group updated their cal-culation of higher-order finite size corrections [75] usingmore realistic, measured nuclear form factors. The resultscontain a coefficient (in our work termed item #r2) whichagrees with the old value, and an additional, previouslyunkown term which cannot be parametrized with r2h andtherefore is given as a constant. This constant is found inour Table 2 as item #r2’. In reference [75] the values aregiven for the 1S state but can easily be transferred to the2S state via the 1/n3 scaling. For the 2S state this resultsin

    1/8× (− 0.6109) meV= 1/8× (−0.1946 r2h − 0.1412) meV= − 0.0243 meV/ fm2r2h − 0.0177 meV.

    (11)

    Borie and Martynenko get the same result for item #r2,which we adopt as our choice. Additionally we adopt theconstant term from Martynenko as item #r2’.

    Item #r3 and #r3’ are the finite size corrections of order(Zα)6. They have first been calculated in reference [63].Item #r3 and #r3’ consider third-order perturbation the-ory in the finite size potential correction and relativisticcorrections of the Schrödinger wave functions. There arealso corrections in the TPE of the same order (Zα)6,but these are of different origin. Borie [44] (Tab. 14, bcand Tab. 6) and the Martynenko group [45] (Eq. (91)) fol-low the procedure in reference [63] and then separate theirterms into a part with an explicit rE

    2 dependence (item#r3) and another one which is usually evaluated with anexponential charge distribution, since a model indepen-dent calculation of this term is prohibitively difficult [44].Differences in sorting the single terms have already beennoticed in the µd case [5], where we mentioned that e.g.the term 〈r2〉〈ln(µr)〉 in FREL of equation 10 is attributedto #r3 and #r3’ by Martynenko et al. and Borie, respec-tively. The difference in this case amounts to 0.007 meVfor #r3’. Note that in equation (91) from the Martynenkogroup [45], the charge radius has to be inserted in unitsof GeV−1, with rE = 1.966 fm =̂ 9.963 GeV

    −1.Item #r4 is the one-loop eVP correction (Uehling) of

    order α(Zα)4. It has been calculated by all three groups,Borie [44] (Tab. 14, bd), Martynenko et al. [45] (No. 16,

    Eq. (69)), and Karshenboim et al. [53] (Tab. III, ∆E(2)FNS).

    On p. 31 of [44], Borie notes that she included the correc-tion arising from the Källén-Sabry potential in her bd. Thismeans that her value already contains item #r6, whichis the two-loop eVP correction of order α2(Zα)4. Item#r6 has been given explicitly only by the Martynenkogroup [45] (No. 18, Eq. 73). The sum of Martynenko etal.’s #r4 and #r6 differs by 0.016 meV/fm2 from Borie’sresult. Using a charge radius of 1.9660 fm this correspondsto roughly 0.06 meV and, hence, causes the largest uncer-tainty in the radius-dependent OPE part. The origin ofthis difference is not clear [66,76]. A clarification of thisdifference is desired but does not limit the extraction ofthe charge radius. As our choice we take the average ofthe sum (#r4+#r6) of these two groups. The resultingaverage does also reflect the value for #r4 provided byKarshenboim et al. [53].

    Item #r5 is the one-loop eVP correction (Uehling)in second order perturbation theory (SOPT) of orderα(Zα)4. It has been calculated by all three groups, Borie[44] (Tab. 14, be), the Martynenko group [45] (No. 17,Eq. 70), and the Karshenboim group [53] (Tab. III,

    ∆E(1)FNS). On p. 31 of [44], Borie notes that she included

    the two-loop corrections to �V P2 in her be. This meansthat her value already contains item #r7, which is thetwo-loop eVP in SOPT of order α2(Zα)4. Item #r7 hasonly been given explicitly by the Martynenko group [45](No. 19). The sum of Martynenko et al.’s #r5+#r7 differsby 0.003 meV from Borie’s result. As our choice we takethe average of the sum (#r5+#r7) of these two groups.Again here, our choice reflects the value for #r5 providedby Karshenboim et al. [53], too.

    Item #r8 is the finite size correction to the 2P1/2 level

    of order (Zα)6. It has only been calculated by Borie [44](Tab. 14, b(2p1/2). This correction is the smallest in thissection and is the only term which affects the 2P1/2 level.In consequence, the effect on the Lamb shift is inverse,i.e. if the 2P level is lifted “upwards”, the Lamb shift getslarger. Thus, in contrast to Borie, we include this cor-rection with a positive sign. At the same time this termdecreases the fine structure (2P3/2 − 2P1/2 energy differ-ence) and is hence listed in Table 4 as item #f10 with anegative sign.

    The total sum of the QED contributions with an explicitdependence of rE

    2 is summarized in Table 2 and amountsto

    ∆ELSr−dep.(rE2)

    = −103.5184(98) meV fm−2 rE2

    +0.1354(33) meV. (12)

    3.2.2 Two-photon exchange contributions to the Lambshift

    Historically, the two-photon exchange (TPE) contributionto the Lamb shift (LS) in muonic atoms has been consid-ered the sum of the two parts displayed in Figures 15a,band 15c,d, respectively:

    ∆ELSTPE = ∆ELSFriar +∆E

    LSinelastic (13)

    with the elastic “Friar moment” contribution ∆ELSFriar5

    and the inelastic part ∆ELSinelastic, frequently termed“polarizability”.

    The elastic part, ∆ELSFriar is shown in Figures 15a and15b. It is sensitive to the shape of the nuclear charge dis-tribution, beyond the leading 〈r2〉 dependence discussedin Section 3.2.1. This part is traditionally parameterizedas being proportional to the third power of the rms chargeradius and it already appeared in equation (10) as the sec-ond term proportional to 〈r3〉(2). The coefficient dependson the assumed radial charge distribution.

    5 formerly known as “third Zemach moment”, see footnote3 onp. 7 for disambiguation.

    https://epjd.epj.org/

  • Page 10 of 22 Eur. Phys. J. D (2017) 71: 341

    Tab

    le2.

    Coeffi

    cien

    tsof

    the

    nu

    cle

    ar

    stru

    ctu

    re-d

    ep

    en

    dent

    one-

    ph

    oton

    exch

    ange

    (OP

    E)

    contr

    ibu

    tion

    sto

    the

    Lam

    bsh

    ift

    ofµ

    3H

    e+.

    Th

    eva

    lues

    from

    the

    Mar

    tyn

    enko

    grou

    psh

    own

    her

    ear

    eth

    ep

    ubli

    shed

    ones

    div

    ided

    by

    (1.9

    660

    fm)2

    ,w

    hic

    his

    the

    rad

    ius

    they

    use

    d.

    The

    nu

    mb

    ers

    #i

    from

    the

    Mar

    tyn

    enko

    gro

    up

    refe

    rto

    row

    sin

    Tab

    le1

    ofre

    fere

    nce

    [45]

    and

    nu

    mb

    ers

    inp

    aren

    thes

    isto

    equ

    atio

    ns

    ther

    ein

    .K

    S:

    Käl

    lén-S

    abry

    ,V

    P:

    vacu

    um

    pol

    ariz

    atio

    n,

    SO

    PT

    :se

    con

    d-o

    rder

    per

    turb

    atio

    nth

    eory

    .V

    alu

    esar

    ein

    meV

    /fm

    2,

    exce

    pt

    for

    #r2

    ’an

    d#

    r3’.

    #C

    ontr

    ibu

    tion

    Bori

    e(B

    )M

    art

    yn

    enko

    gro

    up

    (M)

    Kars

    hen

    boim

    gro

    up

    (K)

    Ou

    rch

    oic

    e

    Bori

    e[4

    4]

    Tab

    .14

    Kru

    tov

    etal.

    [45]

    Kars

    hen

    boim

    etal.

    [53]

    Fau

    stov

    etal.

    [75]

    Valu

    eS

    ou

    rce

    r1L

    ead

    ing

    fin

    .si

    zeco

    rr.,

    (Zα

    )4−

    102.5

    20

    b a−

    102.5

    2#

    14,

    (61)

    −102.5

    2∆E

    (0)

    FNS

    −102.5

    20

    ±0.0

    010

    B,M

    ,K

    r2R

    ad

    iati

    ve

    corr

    .,α

    (Zα

    )5−

    0.0

    243

    ab b

    −0.0

    243

    b#

    26,

    (92)

    −0.0

    243

    B,M

    r3F

    init

    esi

    zeco

    rr.

    ord

    er(Zα

    )6−

    0.1

    275

    b c−

    0.1

    301

    #26,

    (91)

    −0.1

    288

    ±0.0

    013

    avg.

    r4U

    ehli

    ng

    corr

    .(+

    KS

    ),α

    (Zα

    )4−

    0.3

    310

    #16,

    (69)

    −0.3

    23

    ∆E

    (2)

    FNS

    r6T

    wo-l

    oop

    VP

    corr

    .,α

    2(Zα

    )4−

    0.0

    026

    #18,

    (73)

    sum

    r4+

    r6−

    0.3

    176

    b d−

    0.3

    336

    −0.3

    256

    ±0.0

    080

    avg.

    r5O

    ne-

    loop

    VP

    inS

    OP

    T,α

    (Zα

    )4−

    0.5

    196

    #17,

    (70)

    −0.5

    20

    ∆E

    (1)

    FNS

    r7T

    wo-l

    oop

    VP

    inS

    OP

    T,α

    2(Zα

    )4−

    0.0

    063

    #19

    c

    sum

    r5+

    r7−

    0.5

    217

    b e−

    0.5

    259

    −0.5

    238

    ±0.0

    021

    avg.

    r8C

    orr

    .to

    the

    2P

    1/2

    level

    0.0

    0409

    db(

    2p

    1/2)

    0.0

    0409

    B

    Su

    mof

    coeffi

    cien

    ts−

    103.5

    07(5

    )e−

    103.5

    339

    −103.3

    7∆EFNS

    −103.5

    184

    ±0.0

    098

    f

    r2’

    Rad

    .co

    rr.α

    (Zα

    )5[m

    eV]g

    0.0

    177

    meV

    [75]

    0.0

    177

    meV

    M

    r3’

    Rem

    ain

    ing

    ord

    er(Zα

    )6[m

    eV]h

    0.1

    21

    meV

    Tab

    .6

    0.1

    1445

    meV

    (91)

    0.1

    177

    meV±

    0.0

    033

    avg.

    Sum

    −103.5

    07r h

    2+

    0.1

    21

    meV

    −103.5

    339r h

    2+

    0.1

    322

    meV

    −103.3

    7r h

    2–103.5184(9

    8)r2 h

    +0.1354(3

    3)m

    eV

    aB

    ori

    euse

    seq

    uati

    on

    (10)

    of

    [74]

    toca

    lcula

    teth

    iste

    rm.

    For

    furt

    her

    expla

    nati

    ons,

    see

    text.

    bT

    he

    valu

    ein

    equati

    on

    92

    of

    [45]

    was

    publish

    edw

    ith

    aw

    rong

    sign.

    cT

    his

    term

    isre

    pre

    sente

    dby

    Fig

    ure

    9(a

    ,b,c

    ,d)

    from

    the

    Mart

    ynen

    ko

    gro

    up

    [45].

    This

    figure

    incl

    udes

    equati

    on

    (76)

    ther

    ein.

    dT

    he

    sign

    isex

    pla

    ined

    inth

    ete

    xt.

    eT

    he

    sum

    med

    coeffi

    cien

    tis

    giv

    enin

    refe

    rence

    [44]

    on

    p.1

    5,

    wher

    eB

    ori

    ein

    dic

    ate

    sth

    eunce

    rtain

    tyof

    0.0

    05

    meV

    .fT

    his

    unce

    rtain

    tyis

    the

    one

    obta

    ined

    from

    aver

    agin

    gth

    eab

    ove

    valu

    es(0

    .0084

    meV

    )and

    the

    one

    giv

    enby

    Bori

    ein

    her

    sum

    of

    (0.0

    05

    meV

    )added

    inquadra

    ture

    .g

    Bel

    ongs

    to#

    r2.

    Not

    para

    met

    riza

    ble

    wit

    hr2 h

    .h

    Bel

    ongs

    to#

    r3.

    Dep

    ends

    on

    the

    charg

    edis

    trib

    uti

    on

    ina

    non-t

    rivia

    lw

    ay,

    see

    text.

    https://epjd.epj.org/

  • Eur. Phys. J. D (2017) 71: 341 Page 11 of 22

    (a)

    µ

    h

    (c)

    µ

    h

    (b)

    µ

    h

    (d)

    µ

    h

    Fig. 15. (a)+(b) Elastic ∆ELSFriar, and (c)+(d) inelastic∆ELSinelastic two-photon exchange (TPE) contribution. Thethick dots in (a) indicate helion form factor insertions. Theblob in (c) and (d) represents all possible excitations of thenucleus.

    The inelastic part, ∆ELSinelastic is shown in Figures 15cand 15d. It stems from virtual excitations of the nucleus.The inelastic contributions are notoriously the least well-known theory contributions and limit the extraction of thecharge radius from laser spectroscopy of the Lamb shift.

    Equation (13) is valid for the nuclear contributions aswell as for the nucleon contributions. This means thatelastic and inelastic parts have to be evaluated for both,respectively.

    The nuclear parts of ∆ELSTPE are then given as δEAFriar

    and δEAinelastic for a nucleus with A nucleons, and thenucleon parts as δENFriar and δE

    Ninelastic.

    With that, the total (nuclear and nucleon) TPE is givenas6

    ∆ELSTPE = δEAFriar + δE

    NFriar + δE

    Ainelastic + δE

    Ninelastic. (14)

    We refer here to two calculations of the TPE contribu-tions. The first stems from the TRIUMF-Hebrew group,who perform ab initio calculations using two differentnuclear potentials. They have published two papers onthe TPE in muonic helium-3 ions: Detailed calculationsare given in Nevo Dinur et al. [14], and updated resultsare found in Hernandez et al. [40]. The second calculationhas been performed by Carlson et al. [41], who obtainthe TPE from inelastic structure functions via dispersionrelations.

    The two calculations are very different, so that com-parisons of any but the total value may be inexact [41].An attempt to compare the different approaches is givenin Table II of reference [41]. Here, we want to refer to thistable only and later compare the total values as suggested.Note that we proceed differently to our previous compila-tion for µd [5] (Tab. 3), where we listed and compared 16

    6 Compared to the notation of the TRIUMF-Hebrew group [14],the terms in equation (14) correspond to δAZem, δ

    NZem, δ

    Apol, and δ

    Npol,

    respectively.

    individual terms (labeled #p1...16) which together yieldthe sum of the four terms of equation (14).

    The nuclear Friar moment contribution is calcu-lated by the TRIUMF-Hebrew group to be δEAFriar =10.49(24) meV [14,40]. Previous values have been givenby Borie [44] (10.258(305) meV) and Krutov et al.,[45](10.50(10) meV)7 using a Gaussian charge distributionand assuming an rms radius of 1.966(10) fm. These uncer-tainties do not include the (rather large) dependence of thecalculation on the charge distribution [36,45]. This type ofuncertainty is gauged within the ab-initio calculation of[14] by using two different state-of-the-art nuclear poten-tials. We therefore use the more recent value provided bythe TRIUMF-Hebrew group. Their value also agrees witha value of 10.87(27) meV which is obtained in [14] from thethird Zemach moment 〈r3〉(2) = 28.15(70) fm3 that wasextracted from electrons scattering off 3He by Sick [36].

    The nuclear polarizability contribution from theTRIUMF-Hebrew group is δEAinelastic = 4.16(17) meV [14,40]. The first calculation of the nuclear polarizability con-tribution in µ3He+ has been published in 1961 [77]. Therecent value from the TRIUMF-Hebrew group replaces aformer one of 4.9 meV from Rinker [78] which has beenused for more than 40 years now.

    As mentioned before, the total TPE contribution hasa nuclear part and a nucleon part. The nucleon Friarmoment contribution from the TRIUMF-Hebrew groupamounts to δENFriar = 0.52(3) meV. They obtain thisvalue using δENFriar(µp) = 0.0247(13) meV from µp andscale it according to equation (17) in reference [14]. Thisprocedure has also been done in [5] for µd.8 δENFriar(µp)is a sum of the elastic term (0.0295(13) meV) and thenon-pole term (−0.0048 meV) which have been obtainedby Carlson et al. in reference [79].The nucleon polarizability contribution from theTRIUMF-Hebrew group amounts to δENinelastic =0.28(12) meV. It is obtained using the proton polar-izability contribution from µp and scaling it with thenumber of protons and neutrons,9 as well as with thewavefunction overlap, according to equation (19) ofreference [14]. Furthermore it is corrected for estimatedmedium effects and possible nucleon-nucleon interfer-ences. The proton polarizability contribution used hereamounts to 0.0093(11) meV and is the sum of an inelasticterm (0.00135 meV [81]) and the proton subtraction termδpsubtraction = −0.0042(10) meV which has been calculatedfor muonic hydrogen in reference [82].

    7 Sum of 10.28(10) meV and 0.2214(22) meV, which correspondto line 15 and 20 from Table 1 in reference [45], respectively.

    8 In equation (12) of reference [5], we used a scaling of the nucleonTPE contribution by the reduced mass ratio to the third power,which is only correct for δENinelastic. δE

    NFriar should be scaled with

    the fourth power [14,71]. This is due to an additional mr scalingfactor compared to the proton polarizability term. This mistake hasno consequences for µd yet, as the nuclear uncertainty is much larger,but the correct scaling is relevant for µ3He+ and µ4He+.

    9 Assuming isospin symmetry, the value of the neutron polariz-ability contribution used in [14] is the same as the one of the proton,but an additional uncertainty of 20% is added, motivated by studiesof the nucleon polarizabilities [80].

    https://epjd.epj.org/

  • Page 12 of 22 Eur. Phys. J. D (2017) 71: 341

    Summing up all nuclear and nucleon contributions eval-uated by the TRIUMF-Hebrew group [14,40] yields a totalvalue of the ∆ELSTPE of [14,40]

    ∆ELSTPE(nuclear potentials)

    = δEAFriar + δENFriar + δE

    Ainelastic + δE

    Ninelastic

    (15)

    = 15.46(39) meV.10

    Recently, Carlson et al. [41] have also calculated theTPE in µ3He+. Their result of

    ∆ELSTPE(dispersion relations) = 15.14(49) meV (16)

    is in agreement with the one from the TRIUMF-Hebrewgroup. As our choice we take the average of equations (15)and (16) and remain with

    ∆ELSTPE = 15.30(52) meV. (17)

    As conservative uncertainty we use the larger one (fromEq. (16)) and add in quadrature half the spread. Aweighted average of the two values (Eqs. (15) and (16))which would reduce the total uncertainty is not adequateas certain contributions are effectively fixed by the samedata [83].

    3.3 Total Lamb shift in µ3He+

    Collecting the radius-independent (mostly) QED contri-butions listed in Table 1 and summarized in equation (9),the radius-dependent contributions listed in Table 2 andsummarized in equation (12), and the complete TPE con-tribution ∆ELSTPE from equation (17), we obtain for the2S→ 2P energy difference in µ3He+

    ∆E(2S1/2 → 2P1/2) = 1644.3466(146) meV+ 0.1354(33) meV − 103.5184(98)r2h meV/fm2

    + 15.3000(5200) meV

    = 1659.78(52) meV − 103.518(10)r2h meV/fm2, (18)

    where in the last step we have rounded the values toreasonable accuracies.

    One should note that the uncertainty of 0.52 meV fromthe nuclear structure corrections ∆ELSTPE, equation (17),is about 30 times larger than the combined uncertainty ofall radius-independent terms summarized in Table 1, and13 times larger than the uncertainty in the coefficient ofthe r2h-dependent term (which amounts to 0.038 meV forrh = 1.966 fm). A further improvement of the two-photonexchange contributions in light muonic atoms is thereforestrongly desirable.

    4 2S hyperfine splitting

    The 2S hyperfine splitting (HFS) in muonic helium-3 ionshas been calculated by Borie [44] and Martynenko [47].

    10 As explained in the introduction, we use a different signconvention, which explains the minus sign in references [14,40].

    (There is also the more recent paper [46] from Martynenkoet al., but it is less detailed and reproduces all numbersfrom [47], with one exception to be discussed for #h27.)The values are summarized in Table 3 and labeled with#hi.

    We also adapted the ordering according to increasingorder/complexity of the terms and grouped them themat-ically as: Fermi energy with anomalous magnetic momentand relativistic corrections discussed in Section 4.1, vac-uum polarization and vertex corrections in Section 4.2,nuclear structure contributions and corrections listed inSection 4.3, and the weak interaction contribution inSection 4.4.

    4.1 Fermi energy with muon anomalous magneticmoment and Breit corrections

    4.1.1 h1 and h4 Fermi energy and muon AMM correction

    Item #h1 is the Fermi energy ∆EFermi which definesthe main splitting of the 2S hyperfine levels. Borie andthe Martynenko group have both calculated the Fermienergy, however, their values disagree by 0.055 meV (seeTab. 3). For the calculation Borie uses equation (13) inher reference [44]. Martynenko uses equation (6) in hisreference [47]. The Fermi energy is calculated using funda-mental constants only. Thus we repeated the calculationfor both equations, the one from Borie and the onefrom Martynenko which resulted to be the same: Bothequations yield the same result, as they should, which is

    ∆EFermi =8(α4Z3)m3r3n3mµmp

    µh = −171.3508 meV, (19)

    where mµ is the muon mass, mp is the proton mass, mr isthe reduced mass, and µh is the helion magnetic momentto nuclear magneton ratio of µh = −2.127 625 308(25) [6].We use the value in equation (19) as our choice. This valueagrees neither with Borie’s value (−171.3964 meV) norwith the one from the Martynenko group (−171.341 meV).

    The value for the Fermi energy corrected for the muonanomalous magnetic moment (AMM) aµ is then alsoupdated to

    ∆EFermi,AMM = ∆EFermi · (1 + aµ) = −171.5506 meV(20)

    with a correction of −0.1998 meV.All further corrections from Borie given as coefficients

    �, are applied to this value analogous to

    ∆EFermi,AMM · (1 + �). (21)

    Note, that in Table 3, for the contributions given by Borie,we use her coefficients but apply them to our value of theFermi Energy given in equation (20). The value for theFermi Energy in equation (20) is evaluated to a precisionof 0.0001 meV. If the number of significant digits fromBorie’s coefficients is too small to yield this precision weattribute a corresponding uncertainty. For example item#h28* has the coefficient �2γ = 0.0013; here the coefficientis only precise up to a level of 0.00005, which we include

    https://epjd.epj.org/

  • Eur. Phys. J. D (2017) 71: 341 Page 13 of 22

    as uncertainty. This uncertainty is propagated upon multi-plication with the Fermi energy (Eq. (20)) and then yields0.0086 meV.

    4.1.2 h2 Relativistic Breit correction

    Item #h2 is the relativistic Breit correction of order(Zα)6. It is given congruently by both authors as∆EBF,rel = −0.0775 meV and ∆EMF,rel = −0.078 meV,respectively. We take the number from Borie as our choice,which is given with one more digit and attribute anuncertainty of 0.0001 meV due to the precision in hercoefficient.

    4.2 Vacuum polarization and vertex corrections

    4.2.1 h8 and h9: Electron vacuum polarization in aone-photon one-loop interaction (h8) and in a one-photontwo-loop interaction (h9)

    The Feynman diagrams corresponding to #h8 and #h9are analogous to those shown in Figures 3 and 4, respec-tively, and constitute the analogs to the Uehling- andKällén-Sabry contributions in the Lamb shift. #h8 is oforder α(Zα)4, #h9 is of order α2(Zα)4.

    Borie calculates the main electron VP contribution (“bymodification of the magnetic interaction between muonand nucleus”), which is a one-photon one-loop interac-tion. It amounts to a correction �V P1 = 0.00315, whichresults in an energy shift of −0.5405 meV (#h8). She alsogives �V P1 = 2.511 · 10−5 for one-photon two-loop inter-actions, resulting in −0.0043 meV (#h9). These termsare evaluated on p. 21 of her document [44], using herequation (16).

    Martynenko calculates these contributions to be−0.540 meV and −0.004 meV, respectively. These valuesare found in the table in reference [47].

    Martynenko mentions that his value for our item #h9consists of his equations (15,16). The numerical resultfrom equation (15) corresponds to two separate loops (seeour Fig. 4a) and is given as −0.002 meV, whereas equa-tion (16) describes the two nested two-loop processeswhere an additional photon is exchanged within the elec-tron VP loop (see our Figs. 4b and 4c). One can concludethat its numerical value is also −0.002 meV.

    Both authors give congruent results within their preci-sions, as our choice we write down the numbers by Boriewhich are given with one more digit. We attribute anuncertainty to item #h8 due to the precision in Borie’scoefficient.

    4.2.2 h5 and h7: Electron vacuum polarization in SOPT inone loop (h5) and two loops (h7)

    Items #h5 and #h7 are the SOPT contributions to items#h8 and #h9, respectively.

    Borie’s value for our item #h5 is given by the coefficient�V P2 = 0.00506 and her value for our item #h7 by�V P2 = 3.928 · 10−5. This results in energy shifts of−0.8680(9) meV and −0.0067 meV, respectively (thosevalues are for point nuclei; the finite size correction is

    taken into account in our #h25 and #h26). The uncer-tainty in item #h5 originates from the precision of�V P2.

    The corresponding values from Martynenko are−0.869 meV (#h5) and −0.010 meV (#h7).

    Due to slight differences between the two authors, asour choice we take the average of items #h5 and #h7,respectively. The uncertainty of item #h5 is the aboveuncertainty and half the spread between both authorsadded in quadrature.

    4.2.3 h13 and h14: Vertex correction (=̂ self energyhappening at the muon-photon vertex)

    Item #h13 is the muon self-energy contribution of orderα(Zα)5 (it is the analogue to a part of item #20 in theLamb shift, see Fig. 7a). It has only been calculated byBorie as

    �vertex = α(Zα)

    (ln 2− 5

    2

    )= −0.9622 · 10−4 · Z. (22)

    Its numerical value is thus 0.0330 meV, however thisincludes a muon VP contribution of −0.0069 meV (#h12,see Sect. 4.2.4). For our item #h13, we use the value fromBorie as our choice. We therefore should not include #h12,which is discussed later.

    Borie also cites a higher order correction of Brod-sky and Erickson [84] which results in a correction of−0.211 · 10−4 =̂− 0.0036 meV (#h14). Very probably thesign of the energy shift is not correct because the coeffi-cient is negative, but the Fermi energy of helium-3 alsohas a negative sign, thus the energy shift should be pos-itive. (The analogous contributions in muonic hydrogenand deuterium are negative, which is a further hint to awrong sign since the helium-3 Fermi energy is negative,contrary to hydrogen and deuterium.)

    4.2.4 h12: Muon VP and muon VP SOPT

    Item #h12 is the one-loop muon vacuum polarization.Borie on p. 19 (below the equation of �vertex) of refer-ence [44] gives the coefficient as 0.3994 · 10−4 · Z. In com-bination with the Fermi energy this yields −0.0069 meV.Martynenko obtains a value of −0.007 meV which is con-gruent to Borie’s value. However, Borie’s value of thiscontribution is already included in our item #h13, whichhas been discussed in the previous section. Hence, we donot include it separately in ‘our choice’.

    4.2.5 h18 Hadronic vacuum polarization

    Item #h18 is the hadronic vacuum polarization. Boriegives this contribution as �hVP = 0.2666 · 10−4 · Z, whichamounts to −0.0091 meV on p. 19 of her paper. This con-tribution is analogous to our Figure 3, but with a hadronicloop in the photon line. Since Martynenko does not pro-vide a value for hadronic VP in muonic helium-3 ions, weuse Borie’s value as ‘our choice’.

    https://epjd.epj.org/

  • Page 14 of 22 Eur. Phys. J. D (2017) 71: 341

    4.3 Nuclear structure and finite size corrections

    Analogously to Section 3.2, we categorize the nuclearstructure contributions to the 2S HFS as one-photonexchange (OPE) and two-photon exchange (TPE) pro-cesses, respectively. We list first the by far dominantcontribution to nuclear structure: the Zemach term,which is an elastic TPE process. The following subsec-tions describe the known elastic TPE corrections in the2S HFS. So far, to our knowledge there are yet no calcu-lations with respect to the inelastic TPE contribution tothe 2S HFS. Thus we only give a simplified estimate witha large uncertainty. Later the section is concluded withthe one-photon exchange (OPE) corrections to nuclearstructure in the 2S HFS.

    4.3.1 h20 Zemach term and h23, h23b*, h28* nuclearrecoil

    Item #h20 is the elastic TPE and the main finite size cor-rection to the 2S HFS. This correction arises due to theextension of the magnetization density (Bohr-Weisskopfeffect) and is also called the Zemach term [85]. TheZemach term is usually parameterized as [86]

    ∆EHFSZemach = −∆EFermi,AMM 2(Zα)mr rZ (23)

    with mr being the reduced mass and rZ the Zemach radiusof the nucleus [36]

    rZ = −4

    π

    ∫ ∞0

    [GE(q)GM (q)− 1]dq

    q2. (24)

    Here,GE(q) andGM (q) are the electric and magnetic formfactors of the nucleus, respectively.

    The corresponding coefficient to the Fermi energy inequation (23) is given by Borie on p. 23 of [44] as

    �Zem = −2(Zα)mr rZ = −0.01506 fm−1 rZ . (25)

    With our Fermi energy from equation (20), item #h20 is

    ∆EHFSZemach = 2.5836 rZ meV/fm = 6.5312(413) meV,(26)

    where, in the second step, we inserted the most recentZemach radius from Sick [36] (rZ = 2.528(16) fm).

    Note that Borie’s published value of ∆EHFSZemach differsfrom the one given here, because she uses a differentZemach radius of rZ = 2.562 fm, assuming a Gaussiancharge distribution.

    Martynenko, in his reference [47], gives a value of∆EHFSstr = 6.047 meV. This value contains a recoil con-tribution and is thus not directly comparable with ouritem #h20. However, this value has been updated [73]and is now available as two separate values of ∆EHFSstr =6.4435 meV = (6.4085 + 0.0350recoil) meV. The first canbe compared to equation (26). The second is the recoilcorrection and listed in our table as item #h23. Marty-nenko notes [47] that changing from a Gaussian to a dipoleparameterization results in a change of the final numberof 2%.

    (a)

    µ

    h

    (b)

    µ

    h

    (c)

    µ

    h

    Fig. 16. (a) Item #h15, µSE contribution to the elastic two-photon exchange; (b) item #h16 the vertex correction to theelastic two-photon exchange, which results in two terms (thevertex correction can take place either at one or the otherphoton); and (c) item #h17, spanning photon contribution tothe elastic two-photon exchange, also referred to as jellyfishdiagram.

    Regarding our item #h20, we do not consider therespective value from Martynenko because it is model-dependent and therefore carries a large uncertainty. Thisuncertainty can be avoided using the model-independentZemach radius from Sick and the coefficient given by Borieas stated above.

    A new contribution which hasn’t been calculated forµp and µd is our item #h23b*. It is an additional recoilcontribution which amounts to 0.038 meV. It has onlybeen calculated by Martynenko and we adopt his valueas our choice. In order to account for the precision givenby Martynenko, we write 0.0380(5) meV.

    Another contribution which has not been calculated forµp and µd is item #h28*. It is a two-photon recoil cor-rection, calculated by Borie in 1980 [87], who followed theprocedure of Grotch and Yennie [88]. This contributionis not listed in Borie’s recent reference [44], but shouldbe included [89]. It is given by �2γ = 0.0013 and there-fore results in −0.2230(86) meV, using our Fermi energyfrom equation (20). The attributed uncertainty originatesfrom the number of significant digits in �2γ (the valueof the coefficient is considered to be accurate only to±0.00005). Regarding the contributions given by Marty-nenko, no overlap is found, which is why we list this itemseparately.

    4.3.2 h24 electron VP contribution to two-photonexchange

    Item #h24, the electron VP contribution to the 2S HFSelastic two-photon exchange in muonic helium-3 ions isonly calculated by Martynenko [47]. The correspondingFeynman diagrams are shown in Figure 4 of his helium2S HFS paper [47]. These are analogous to our Figure 15,but with a VP loop in one of the exchange photons. Anumerical value of the contribution is given in his equa-tion (38) of 0.095 meV and thus enters our choice, wherewe write 0.0950(5) meV and therefore account for theprecision given by Martynenko.

    4.3.3 h15, h16, h17 radiative corrections to the elastictwo-photon exchange

    Items #h15, #h16, and #h17 are radiative corrections tothe elastic two-photon exchange in the 2S hyperfine struc-ture and represented in Figure 16. They are partially given

    https://epjd.epj.org/

  • Eur. Phys. J. D (2017) 71: 341 Page 15 of 22

    in Martynenko’s reference [47], but have been updated[76] and result to be −0.0101 meV (#h15), 0.0333 meV(#h16), and 0.0074 meV (#h17). These numbers includerecoil corrections and are based on equations (24)–(27)from the Martynenko group [48] and use a dipole param-eterization of the helion form factor, as well as rh =1.966 fm. For the moment, we will adapt these preliminarynumbers including recoil considerations into our choice.

    4.3.4 h22 inelastic two-photon exchange in the hyperfinestructure

    In contrast to the Lamb shift, no calculations are avail-able for the inelastic two-photon exchange (polarizabilitycontribution) in the 2S HFS. We give an estimate of thisvalue by calculating the ratio between the polarizabilitycontribution and the Zemach term in the 1S ground stateof (electronic) 3He+ and assume the ratio to be similar forthe 2S state in µ3He+.

    The 1S Zemach term for electronic 3He+ is found byusing equation (23), but with the muon mass replaced bythe electron mass and n = 1. Using the Zemach radiusrZ from Friar and Payne [90] a value of 1717 kHz isobtained. In order to obtain the total sum (polarizabil-ity + Zemach) of 1442 kHz [90], a polarizability termof order −300 kHz is missing. The ratio is then roughly−1/6. The Zemach term for muonic helium-3 ions (ouritem h20), obtained above, yields ∆EZem ≈ 6.5 meV. Theestimate for the polarizability contribution consequentlyfollows with ∆EHFSpol. ≈ −1.0 ± 1.0 meV, which includes aconservative 100% uncertainty.

    4.3.5 h25 and h26 finite size correction to electron VP

    Borie gives the electron VP contributions #h8 and #h5(eVP processes in OPE, see Section 4.2) which are basedon a point nucleus. Additionally, she provides modifiedcontributions which include the finite size effect on elec-tron VP. These are �′V P1 = 0.00295 and �

    ′V P2 = 0.00486,

    respectively. The difference between those values and#h8 and #h5 constitute finite size corrections. Multi-plied with the Fermi energy (including the AMM), theseyield 0.0343(9) meV each and we attribute them to #h25and #h26, analogous to the previous CREMA summaries.The uncertainty originates from the precision in Borie’scoefficients. Note that these are OPE processes.

    4.3.6 h27 and h27b nuclear structure correction in leadingorder and SOPT

    This correction is only given by Martynenko. The twoterms are found in Figure 5a,b of reference [47], forleading and second order, respectively. This correction isalso an OPE process. Care has to be taken here becausethis contribution is given as 0.272 meV in [47], but as0.245 meV in a 2010 follow up paper [46] (however, thisis the only term that changed between [47] and [46]). Ascompared to muonic deuterium, Martynenko only givesthe sum (h27 + h27b) and not the single contributions.In [47] the formulas he uses to calculate h27 and h27b

    are explicitly given as

    ∆EHFS1γ,str = −4

    3(Zα)2m2rr

    2M · EFermi ·

    1− n2

    4n2(27)

    ∆EHFSstr,SOPT(2S)

    =4

    3(Zα)2m21r

    2E · EFermi(2S) · (ln(Zα)− ln 2), [−5pt]

    (28)

    where mr is the reduced mass of the muon, m1 is themuon mass, and rE and rM are the charge and magneticradii, respectively. Martynenko states to use rE ≈ rM =1.844± 0.045 fm which is known to be outdated.

    However, inserting Martynenko’s Fermi energy, theradius he used, and fundamental constants into equa-tions (27) and (28) yields a sum of 0.2251± 0.0001 meVwhich is neither congruent with [47] nor [46].

    Using Sick’s 2014 values [36] for the charge and mag-netic radii yields 0.2577± 0.0001 meV.

    In the course of some private communications withMartynenko, he provided us his most current value of0.2421 meV for the sum of h27 + h27b, and we use thispreliminarily as our choice.

    4.4 h19 weak interaction

    The contribution of the weak interaction to the 2S HFSof helium-3 is only given by Borie. She cites Eides [91]and provides �weak = 1.5 · 10−5=̂− 0.0026 meV, which weadopt as our choice.

    4.5 Total 2S HFS contribution

    In total, the 2S HFS contributions are given by

    ∆EHFS(2SF=11/2 − 2SF=01/2 ) = −172.7457(89) meV

    + 2.5836 meV/fm rZ +∆EHFSpol.

    = −166.2145(423)− 1.0(1.0) meV= −167.2(1.0) meV. (29)

    Here, in the first line, we separated out the Zemach contri-bution and the estimate of the polarizability contribution.In the second line, the Zemach radius rZ = 2.528(16) fm[36] is inserted and the estimated value of ∆EHFSpol. isshown. The polarizability is the dominant source of uncer-tainty in the hyperfine structure and prevents a precisedetermination of the helion Zemach radius from the mea-sured transitions in the muonic helium-3 ion [92]. A calcu-lation of the polarizability contribution is therefore highlydesirable. Until then a precise measurement of the 1S or2S HFS in muonic helium-3 ions can be used to experimen-tally determine a value of the polarizability contribution∆EHFSpol. . In essence, the measurement of the 2S HFS by theCREMA collaboration can be used to give the total TPEcontribution to the HFS, ∆EHFSTPE = 2.5836 meV/fm rZ +∆EHFSpol. with an expected uncertainty of 0.1 meV.

    https://epjd.epj.org/

  • Page 16 of 22 Eur. Phys. J. D (2017) 71: 341T

    ab

    le3.

    All

    contr

    ibuti

    ons

    toth

    e2S

    hyp

    erfi

    ne

    spli

    ttin

    g(H

    FS

    ).T

    he

    item

    num

    ber

    shi

    inth

    efi

    rst

    colu

    mn

    foll

    owth

    een

    trie

    sin

    Tab

    le3

    ofre

    fere

    nce

    [3].

    How

    ever

    ,th

    ete

    rms

    are

    now

    sort

    edby

    incr

    easi

    ng

    com

    ple

    xit

    y,an

    alog

    ous

    toth

    eir

    ord

    erin

    the

    text.

    For

    Mar

    tyn

    enko

    ,nu

    mb

    ers

    #1

    to#

    13re

    fer

    toro

    ws

    inT

    able

    Iof

    his

    refe

    ren

    ce[4

    7],

    wh

    erea

    snu

    mb

    ers

    inpar

    enth

    eses

    refe

    rto

    equ

    atio

    ns

    ther

    ein

    .B

    orie

    [44]

    give

    sth

    eva

    lues

    asco

    effici

    ents�

    tob

    em

    ult

    ipli

    edw

    ith

    the

    sum

    of(h

    1+h

    4)of

    ’ou

    rch

    oice

    ’va

    lues

    .W

    eli

    stth

    ere

    sult

    ing

    valu

    esin

    meV

    .A

    MM

    :an

    omal

    ous

    mag

    net

    icm

    omen

    t,P

    T:

    per

    turb

    atio

    nth

    eory

    ,V

    P:

    vacu

    um

    pol

    ariz

    atio

    n,

    SO

    PT

    :se

    con

    dor

    der

    per

    turb

    atio

    nth

    eory

    ,T

    OP

    T:

    thir

    dor

    der

    per

    turb

    atio

    nth

    eory

    .A

    llva

    lues

    are

    inm

    eV.

    Val

    ues

    inb

    rack

    ets

    do

    not

    contr

    ibu

    teto

    the

    tota

    lsu

    m.

    Contr

    ibuti

    on

    Bori

    e(B

    )M

    art

    ynenko

    gro

    up

    (M)

    Our

    choic

    e

    Bori

    e[4

    4]

    Mart

    ynenko

    [47]

    Valu

    eSourc

    e

    h1

    Ferm

    isp

    litt

    ing,

    (Zα

    )4(−

    171.3

    964)

    p.19

    −171.3

    41

    #1,

    (6)

    −171.3

    508a

    h4

    µA

    MM

    corr

    .,α

    (Zα

    )4(−

    0.1

    999)

    −0.2

    00

    #2,

    (7)

    −0.1

    998

    sum

    (h1+

    h4)

    −171.5

    963

    p.19

    (−171.5

    41)

    h2

    Bre

    itcorr

    .,(Zα

    )6−

    0.0

    775±

    0.0

    001

    p.19

    −0.0

    78

    #3,

    (8)

    −0.0

    775±

    0.0

    001

    B

    h8

    One-l

    oop

    eV

    Pin

    OP

    E,α

    (Zα

    )4(�

    VP1)

    −0.5

    404±

    0.0

    009

    p.21

    −0.5

    40

    #4,

    (12)

    −0.5

    404±

    0.0

    009

    B

    h9

    Tw

    o-l

    oop

    eV

    Pin

    OP

    E,α

    2(Zα

    )4(�

    VP1)

    −0.0

    043

    p.21

    −0.0

    04

    #5,

    (15,1

    6)

    −0.0

    043

    B

    h5

    One-l

    oop

    eV

    Pin

    OP

    E,

    SO

    PT

    (Zα

    )4(�

    VP2)

    −0.8

    680±

    0.0

    009

    p.21

    −0.8

    69

    #7,

    (24)

    −0.8

    685±

    0.0

    010

    avg.

    h7

    Tw

    o-l

    oop

    eV

    Pin

    OP

    E,

    SO

    PT

    2(Zα

    )4(�

    VP2)

    −0.0

    067

    p.21

    −0.0

    10

    #8,

    (29,3

    0)

    −0.0

    084±

    0.0

    017

    avg.

    h13

    Vert

    ex,α

    (Zα

    )50.0

    330

    p.19

    0.0

    330

    B

    h14

    Hig

    her

    ord

    er

    corr

    .of

    (h13),

    part

    wit

    hln

    (α)

    0.0

    036b

    p.19

    0.0

    036

    B

    h12

    one-l

    oopµ

    VP

    in1γ

    int.

    6(−

    0.0

    069)

    incl.

    inh13

    p.19

    &p.21

    −0.0

    07

    #6,

    (12)

    incl.

    inh13

    B

    h18

    Hadro

    nic

    VP

    6−

    0.0

    091

    p.19

    −0.0

    091

    B

    h20

    Fin

    .si

    ze

    (Zem

    ach

    )corr

    .to∆E

    Ferm

    i,

    (Zα

    )56.5

    312c

    (=2.5

    836rZ

    /fm

    )p.23

    6.4

    085

    (±0.1

    )dpri

    v.c

    om

    m.

    2.5

    836rZ

    /fm

    B

    h23

    Recoil

    of

    ord

    er

    (Zα

    )(m

    1/m

    2)l

    n(m

    1/m

    2)E

    F0.0

    350

    pri

    v.c

    om

    m.

    0.0

    350

    M

    h23b*

    Recoil

    of

    ord

    er

    (Zα

    )2(m

    1/m

    2)E

    F0.0

    38

    #13,

    (48)

    0.0

    380±

    0.0

    005

    M

    h28*

    Tw

    o-p

    hoto

    nre

    coil

    −0.2

    230±

    0.0

    086

    [87]

    −0.2

    230±

    0.0

    086

    B

    h24

    eV

    Pin

    two-p

    hoto

    n-e

    xch

    ange,α

    60.0

    95

    #10,

    (38)

    0.0

    950±

    0.0

    005

    M

    h15

    muon

    self

    energ

    ycontr

    ibuti

    on

    inT

    PE

    ,w

    /re

    coil

    −0.0

    101

    pri

    v.c

    om

    m.

    −0.0

    101

    M

    h16

    vert

    ex

    corr

    ecti

    on

    contr

    ibuti

    on

    inT

    PE

    ,w

    /re

    coil

    0.0

    333

    pri

    v.c

    om

    m.

    0.0

    333

    M

    h17

    jelly

    fish

    corr

    ecti

    on

    contr

    ibuti

    on

    inT

    PE

    ,w

    /re

    coil

    0.0

    074

    pri

    v.c

    om

    m.

    0.0

    074

    M

    h22a

    Helion

    pola

    rizabilit

    y,

    (Zα

    )5

    h22b

    Helion

    inte

    rnal

    pola

    rizabilit

    y,

    (Zα

    )5

    sum

    (h22a+

    h22b)

    (−1.0

    ±1.0

    )e

    h25

    eV

    Pcorr

    .to

    fin.

    size

    inO

    PE

    (sim

    .to� V

    P2)

    0.0

    343±

    0.0

    009

    p.21

    0.0

    343f±

    0.0

    009

    B

    h26

    eV

    Pcorr

    .to

    fin.

    size

    inO

    PE

    (sim

    .to� V

    P1)

    0.0

    343±

    0.0

    009

    p.21

    0.0

    343±

    0.0

    009

    B

    h27+

    h27b

    Nucl.

    stru

    ct.

    corr

    .in

    SO

    PT

    (Zα

    )50.2

    421

    pri

    v.c

    om

    m.

    0.2

    421

    M

    h19

    Weak

    inte

    ract.

    contr

    .−

    0.0

    026±

    0.0

    001

    p.21

    −0.0

    026±

    0.0

    001

    B

    Sum

    −166.6

    988g

    −165.1

    998h

    −172.7457±

    0.0

    089

    2.5836

    rZ/fm