{"id":"9485a5d8-2549-4cee-b86d-1a40b3cd1e18","arxiv_id":"2506.08879","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The author derives all missing α(Zα)^5 m radiative corrections to finite nuclear size, recoil, and nuclear polarizability effects, finding them negligible for current isotope shift measurements.","lead":"This paper completes a set of tiny quantum electrodynamics corrections to how the size and shape of atomic nuclei shift atomic energy levels, including new recoil and polarizability pieces. The new terms turn out to be far below current experimental uncertainty, so they do not disturb the measured deuteron-proton charge radius difference.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 'complete' claim omits inelastic nuclear contributions: Sec. III's elastic-approximation caveat applies directly to the new radiative recoil and fns integrals, and no numerical bound on the missing piece is given.","rationale":"The reader's weakest_assumption identifies the same load-bearing gap: the paper's central claim of a complete alpha(Z alpha)^5 m calculation depends on the elastic approximation for the nuclear charge distribution, and the paper itself warns that this approximation can fail for muonic atoms. My reading of Secs. III, IV, and IX confirms that the new radiative recoil fns integrals and Table I are built entirely from the elastic form factor, while no inelastic contribution is estimated. This is not an internal inconsistency, but it is a genuine scope limitation: the abstract promises completeness, and the text delivers completeness only modulo an acknowledged approximation whose numerical error is unquantified. I would not harden the verdict to REJECT because the derivations are careful, the leading term is checked against Eides et al., and the numerical quadrature is reported to be highly convergent. A reasonable conditional acceptance requires either a demonstration that the relevant loop momenta lie below the inelastic thresholds or a quantitative estimate of the inelastic contribution. The concrete test I propose would settle this directly for deuterium, which is the system used to support the headline agreement in r_d^2 - r_p^2.","tokens_in":14484,"tokens_out":18168,"duration_ms":190825,"concrete_test":"Take the deuteron, the case central to the r_d^2 - r_p^2 claim, and recompute the q-integrals in Eqs. (43)-(45) for E^(6,1)_sefns and E^(6,1)_vpfns with the elastic rho(q^2) replaced by the full inelastic nuclear response, for example by evaluating the same two-photon operator with the measured deuteron elastic and breakup structure functions or with a deuteron wave function that includes explicit breakup channels. Compare the resulting shift with the corresponding Table I entries and with delta E_exp. If the shift is below the smallest relevant entry, the elastic approximation is sufficient for the stated claim; if it is comparable or larger, the 'complete' claim fails for muonic atoms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Sec. III states 'In this work we assume the elastic approximation' and notes that for muonic atoms, where m r_C is of order 1, inelastic effects can be significant. Sec. IV repeats the caveat for the nonradiative recoil fns and notes that for muonic hydrogen one uses dispersion relations with inelastic structure functions. The new alpha (Z alpha)^5 m results inherit this limitation: Table I and Eqs. (43)-(45), (67), and (71)-(75) are all evaluated with the elastic charge form factor rho(q^2) only. The inelastic two-photon amplitude, with nuclear excitation and breakup, is of the same order in alpha and Z alpha for muonic atoms and is not included. The paper does not quantify the momentum region that dominates these integrals, so the assertion that the radiative fns part is 'dominated by low momenta' is not demonstrated for the new recoil integrals. Thus the abstract's 'complete calculation' is not established for muonic systems; at best it is complete within the elastic approximation. The electronic-atom results are much less affected because m r_C is tiny, but the central claim as stated covers both.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents a comprehensive derivation of α(Zα)^5 m radiative corrections to the finite-nuclear-size (fns) effect, including nonrecoil and recoil terms, and to the nuclear polarizability effect. The author verifies the leading nonrecoil radiative fns term against Eides et al., corrects a previous value, and presents new numerical results for the radiative recoil fns corrections in muonic atoms (µH, µD, µ3He, µ4He) and closed formulas for electronic atoms. The radiative correction to the nuclear polarizability is derived for electronic atoms and evaluated for deuterium, where it is found to be small (about 5 Hz).","tokens_in":14605,"tokens_out":9481,"duration_ms":102724,"significance":"If the results are correct, they fill an important gap in QED calculations for light atoms and muonic atoms, providing the missing α(Zα)^5 m pieces. The paper reports 16-digit numerical convergence for the recoil integrals, which is a strength. The new polarizability radiative correction is relevant for the H-D isotope shift and the r_d^2 - r_p^2 comparison. However, the central claim of completeness is limited by the elastic approximation and by the absence of a muonic-atom calculation for the polarizability radiative correction.","major_comments":[{"comment":"The abstract states that a 'complete calculation' of α(Zα)^5 m radiative corrections is performed, but all new results are obtained within the elastic approximation, as the author explicitly notes in Sec. III ('In this work we assume the elastic approximation'). This approximation is inadequate for muonic atoms, where m r_C ~ 1 and inelastic nuclear excitation contributes at the same order. Since Eqs. (43)-(45), (67), and (71)-(75) are all evaluated with the elastic charge form factor ρ(q^2), the numerical values in Table I omit the inelastic two-photon contributions. The statement in Sec. IX that the nonrecoil radiative fns is 'dominated by low momenta' is not justified for the new recoil integrals, and no estimate of the missing inelastic piece is given. The completeness claim should therefore be qualified, or a quantitative bound on the inelastic corrections should be provided.","section":"Secs. III, IX, Table I"},{"comment":"The numerical results for muonic atoms depend on the model for the nuclear charge form factor, but the manuscript does not specify which form factor was used in the calculation of E(6,1)_vpfns, E(6,1)_sefns, E(6,1)_evpfns, and α/π η_evp E(5,1)_fns. The dipole parametrization in Eq. (21) is used for the analytic expansions, but it is not stated whether the numerical integrals in Table I use this or a more realistic form factor. For 3He and 4He, the dipole form is known to be inadequate, so the sensitivity of the results to the form-factor shape must be addressed for the results to be reproducible.","section":"Table I and Eqs. (43)-(45)"},{"comment":"The radiative correction to the nuclear polarizability effect is derived and evaluated only for electronic atoms. For muonic atoms, the text only states that the electron-vacuum-polarization correction dominates and has been accounted for in Ref. [3], and that muon self-energy and vacuum-polarization corrections 'should be negligible,' without providing a calculation or estimate. Thus the claim of a complete calculation for the nuclear polarizability part is not supported for muonic systems.","section":"Sec. VIII and Eq. (77)"}],"minor_comments":[{"comment":"In the sentence defining the quantities in Eqs. (71)-(75), the text says 'T in Eqs. (48,49)', but the function T(q) is defined in Eq. (43); the cross-reference is incorrect.","section":"Sec. IX"},{"comment":"There are several typographical errors, including 'forelectronic' in Sec. IV, 'bothelectronic' in Sec. IX, and a double comma in reference [1].","section":"Throughout"},{"comment":"The numerical evaluation in Eq. (78) is written in a way that is hard to follow; introducing a separate line for the ratio after the substitution η = 3.330 would improve readability.","section":"Sec. IX, Eq. (78)"}],"recommendation":"major_revision","confidential_remarks":"The paper is of high technical quality and the derivations appear sound within the stated elastic approximation. The main issue is the overstatement of completeness for muonic atoms; a careful revision that qualifies the claim or adds estimates of the inelastic contributions would bring it to the standard of the journal. The paper is within the scope of the journal and the central derivations are a useful contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague, the thing to know is that this paper does three real things: it collects and rederives the α(Zα)^5 radiative finite-size corrections, it derives the radiative recoil finite-size term E(6,1) that was formula-only before, and it gives the first closed expression for the electron self-energy plus vacuum polarization correction to nuclear polarizability. The leading nonrecoil radiative fns result is checked against Eides et al., and the author explicitly corrects his own earlier 1993 number, which is the right way to handle that. The numerics are careful; the recoil integrals converge to sixteen digits with a stated method. So this is a serious calculation, not a hand-wave.\n\nThe soft spot is the elastic approximation. The paper says in Sec. III that it assumes the nucleus is described by the elastic charge form factor, and in muonic atoms that approximation can fail because m r_C is of order 1. The new radiative recoil and fns integrals in Secs. VI and VII are built on that form factor, so the 'complete calculation' in the abstract is too strong. For muonic atoms the missing inelastic two-photon contribution is not obviously small. The stress-test note is right: there is no numerical bound on that piece. For electronic atoms the issue is much less serious; the corrections are tiny anyway. It is a stated limitation, not a hidden one, but it should be made part of the summary.\n\nThe deuterium polarizability application rests on a single mean excitation energy from the author's prior work, and the cancellation that makes the 2S-1S correction about 5 Hz is numerical rather than structural. That is fine if flagged, and it is flagged in passing, though an error bar on the 5 Hz would be better.\n\nBottom line: the central derivations look plausible and the checks pass; the headline claim needs qualification, but the paper is worth serious referee time. I would ask the author to either estimate the inelastic contribution for muonic atoms or explicitly rescope the abstract to the elastic approximation. The paper is for atomic-physics specialists; a reading group on precision QED would get something out of it. I'd accept for review and push for a revision that fixes the scope statement.","headline":"A technically solid elastic-approximation calculation of the α(Zα)^5 radiative corrections, with a real but stated inelastic caveat that should fix the 'complete' claim in revision.","tokens_in":15209,"tokens_out":1571,"would_cite":true,"duration_ms":18034,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper completes the calculation of alpha (Z alpha)^5 m radiative corrections to finite nuclear size, recoil finite size, and nuclear polarizability effects, giving closed formulas and confirming the consistency of electronic and…","keywords":["radiative corrections","finite nuclear size","nuclear recoil","nuclear polarizability","muonic atoms","QED","charge radii","isotope shifts"],"falsifier":"A deuterium 1S-2S measurement with theoretical uncertainties below about 5 Hz would test the predicted radiative polarizability shift directly; likewise, an independent numerical evaluation of the two-dimensional integral defining T in Eq. (43) that fails to reproduce the reported convergence would signal an error in the derivation.","tokens_in":14183,"feed_emoji":"⚛️","tokens_out":5896,"duration_ms":67048,"temperature":0.7,"pith_summary":"This paper completes a previously unfinished piece of atomic QED: the radiative corrections of order $\\alpha$ (Z $\\alpha$)^5 m to the finite-nuclear-size effect, to the recoil correction to that effect, and to the nuclear-polarizability effect. The author derives closed analytical formulas for all three, including Eq. (77) for the radiative polarizability correction, and supplies numerical values for muonic hydrogen, deuterium, helium-3, and helium-4. The computed muonic corrections are well below current experimental uncertainties, and the deuterium radiative polarizability correction comes out near 5 Hz because of cancellations. The paper reads this as confirming that the agreement between electronic and muonic determinations of $r_d^{2}$ - $r_p^{2}$ is not accidental. If the calculations are right, the remaining unknown at this order in light atoms is not radiative but inelastic nuclear structure.","feed_headline":"Radiative nuclear-size corrections now fully derived","feed_subtitle":"Closed formulas cover size, recoil, and polarizability; all muonic numbers sit below current error bars.","key_machinery":"The central object is the two-photon exchange amplitude $T^{{mu nu}}$ between the lepton and the nucleus, evaluated with the nuclear charge form factor rho($q^{2}$) inserted at each photon-nucleus vertex. Radiative corrections are incorporated by replacing the bare amplitude with self-energy-corrected (T_se) and vacuum-polarization-corrected amplitudes; Wick rotation and the master integral J (the Euclidean form of the three-point one-loop amplitude) reduce the four-dimensional loop integrals to one-dimensional integrals over the exchanged momentum q. This reduction is what makes closed formulas such as Eq. (77) possible.","core_discovery":"The central claim is that, under the elastic approximation for the nuclear charge distribution, every radiative correction of order $\\alpha$ (Z $\\alpha$)^5 m to the finite-size, recoil-size, and polarizability effects can be expressed through integrals of the nuclear charge form factor rho($q^{2}$). The paper obtains the radiative recoil finite-size correction by splitting it into vacuum-polarization and lepton self-energy pieces whose quadratic logarithms cancel, leaving a small correction. It gives the closed formula Eq. (77) for the radiative nuclear-polarizability shift, and it corrects a previous numerical coefficient in the leading radiative finite-size term. The muonic results in Table I are all smaller than current experimental errors.","pith_inferences":["The paper's elastic-approximation caveat suggests the next limiting uncertainty is inelastic nuclear structure; re-expressing the same radiative integrals with measured inelastic structure functions would test how much the muonic numbers move.","Equation (77) can be evaluated for any nucleus with a known mean excitation energy, turning it into a general tool for isotope-shift analyses beyond deuterium.","The Table I numbers predict that improved muonic spectroscopy, especially of the 1S hyperfine splitting, is the first place these radiative recoil corrections could become visible.","The cancellation that makes the deuterium polarizability correction small depends on the specific value eta ~ 3.33; other nuclei with different eta will not be as favorable, so the same formula may matter there."],"forward_implications":["The order alpha (Z alpha)^5 m QED bookkeeping for finite size, recoil, and polarizability is closed; no further radiative calculation at this order is needed for light hydrogenic systems.","In electronic atoms the radiative recoil finite-size correction is below 1 Hz for hydrogen, so it can be safely omitted from charge-radius extractions.","In deuterium the radiative polarizability correction is only about 5 Hz, so the agreement of r_d^2-r_p^2 from electronic and muonic measurements does not require a new correction.","In muonic atoms all newly computed numbers in Table I fall below current experimental uncertainties, leaving existing radius determinations unchanged.","Because all corrections scale with phi^2(0), the formulas transfer directly to few-electron light atoms and ions without additional calculation."],"supporting_citations":[{"why":"Provides the comprehensive muonic-atom theory, the eta_evp values, and the muonic comparison data used in Table I.","marker":"[3]"},{"why":"Supplies the QED recoil-with-finite-size formalism from which the radiative recoil derivation starts.","marker":"[6]"},{"why":"Original analytic treatment of the leading radiative finite-size correction, whose coefficient this paper corrects.","marker":"[10]"},{"why":"Earlier result for the leading radiative finite-size term that the paper verifies.","marker":"[11]"},{"why":"Previous alpha (Z alpha)^5 m finite-size calculation for muonic atoms used for comparison in Sec. VII.","marker":"[12]"},{"why":"Heavy-particle QED formulation that underlies the recoil amplitudes.","marker":"[13]"},{"why":"Defines the r_F^3 moment and the leading (Z alpha)^5 finite-size formula used throughout.","marker":"[17]"},{"why":"Gives the leading electric-dipole nuclear polarizability shift in deuterium that Eq. (77) corrects radiatively.","marker":"[23]"},{"why":"Source of the self-energy two-photon amplitudes T_se used in the radiative recoil and polarizability integrals.","marker":"[28]"}],"fun_headline_variants":["Radiative nuclear-size corrections now complete","Closed formulas for radiative nuclear-size effects","Radiative finite-size corrections unified and corrected","Radiative nuclear-size corrections fit muonic shifts","Full radiative corrections to nuclear size derived"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The calculation assumes the nucleus can be represented by an elastic charge form factor rho($q^{2}$), with all inelastic excitations ignored; the paper states this and notes it may fail for muonic atoms where m r_C is order one.","fun_headline_variants_meta":{"raw":{"variants":["Radiative nuclear-size corrections now complete","Closed formulas for radiative nuclear-size effects","Radiative finite-size corrections unified and corrected","Radiative nuclear-size corrections fit muonic shifts","Full radiative corrections to nuclear size derived"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000149,"raw_usage":{"total_tokens":1089,"prompt_tokens":735,"completion_tokens":354,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":351,"completion_tokens_details":{"reasoning_tokens":287}},"tokens_in":351,"tokens_out":354,"duration_ms":4698,"temperature":1.0,"reasoning_tokens":287,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T04:58:36.247576+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A deuterium 1S-2S measurement with theoretical uncertainties below about 5 Hz would test the predicted radiative polarizability shift directly; likewise, an independent numerical evaluation of the two-dimensional integral defining T in Eq. (43) that fails to reproduce the reported convergence would signal an error in the derivation.","supporting_citations":[{"cited_title":"Pachucki, V","cited_arxiv_id":null,"evidence_quote":"Provides the comprehensive muonic-atom theory, the eta_evp values, and the muonic comparison data used in Table I."},{"cited_title":"Pachucki and V","cited_arxiv_id":null,"evidence_quote":"Supplies the QED recoil-with-finite-size formalism from which the radiative recoil derivation starts."},{"cited_title":"Pachucki, Radiative correction to the electron charge density in the hydrogen atom, Phys","cited_arxiv_id":null,"evidence_quote":"Original analytic treatment of the leading radiative finite-size correction, whose coefficient this paper corrects."},{"cited_title":"Eides, H","cited_arxiv_id":null,"evidence_quote":"Earlier result for the leading radiative finite-size term that the paper verifies."},{"cited_title":"Karshenboim, E","cited_arxiv_id":null,"evidence_quote":"Previous alpha (Z alpha)^5 m finite-size calculation for muonic atoms used for comparison in Sec. VII."},{"cited_title":"Pachucki and V","cited_arxiv_id":null,"evidence_quote":"Heavy-particle QED formulation that underlies the recoil amplitudes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the r_F^3 moment and the leading (Z alpha)^5 finite-size formula used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the leading electric-dipole nuclear polarizability shift in deuterium that Eq. (77) corrects radiatively."},{"cited_title":"Pachucki, Radiative recoil correction to the Lamb shift, Phys","cited_arxiv_id":null,"evidence_quote":"Source of the self-energy two-photon amplitudes T_se used in the radiative recoil and polarizability integrals."}],"review_version":1}