arxiv: 2605.12444 · v1 · submitted 2026-05-12 · ⚛️ physics.atom-ph

Recognition: 2 theorem links

· Lean Theorem

Axion-Exchange Contribution to the Energy of Lithium-Like Ions

A. D. Moshkin, A. V. Volotka, D. A. Glazov, D. V. Chubukov, M. G. Kozlov, R. R. Abdullin

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

classification ⚛️ physics.atom-ph

keywords axion exchangelithium-like ionsrelativistic QEDenergy shiftsaxion-electron interactionhighly charged ionsnew physicsdark matter

0 comments

The pith

Axion exchange between electrons shifts the energy levels of lithium-like ions, with the effect strengthening as nuclear charge rises.

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

The paper develops a formalism to treat axion exchange as an interelectronic interaction in relativistic bound-state quantum electrodynamics for lithium-like ions, including finite nuclear size effects. Energy shifts are computed across a range of nuclear charges Z and axion masses, revealing that the axion contribution grows larger with higher Z for all considered states. Using this, the authors derive constraints on axion-electron interaction parameters from lithium-like bismuth in the high-mass regime. A sympathetic reader would care because this shows how precision measurements in atomic systems could probe dark matter candidates or other new physics without needing particle accelerators.

Core claim

Within the Furry picture of relativistic bound-state QED, the axion-mediated interelectronic interaction is incorporated as a perturbative correction with finite nuclear size accounted for. Energy shifts arising from axion exchange are evaluated for lithium-like ions over a wide range of Z and axion masses. The magnitude of these shifts increases with increasing Z. Analysis of lithium-like bismuth provides constraints on the axion-electron coupling in the high-mass region, indicating that precision spectroscopy of highly charged ions can search for pseudoscalar boson exchange.

What carries the argument

The axion-exchange potential that mediates the interelectronic interaction, treated perturbatively in the Furry picture of relativistic bound-state QED with finite nuclear size.

If this is right

The axion-induced energy contribution increases with nuclear charge Z for lithium-like ions in all states examined.
Constraints on axion-electron interaction parameters in the high-mass region follow from the lithium-like bismuth analysis.
Precision spectroscopy of highly charged ions can serve as a probe for new physics from pseudoscalar boson exchange.

Where Pith is reading between the lines

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

Similar calculations could be performed for other charge states or ion species to expand the range of testable axion masses.
Discrepancies between measured and QED-predicted energies in high-Z ions might warrant re-examination for possible axion contributions.
The perturbative approach might be adapted to search for other light bosons, such as scalars, in atomic systems.

Load-bearing premise

The axion-mediated interaction between electrons can be added as a small perturbative correction to standard QED energies, with no other new-physics contributions present.

What would settle it

A precision measurement of transition energies in lithium-like bismuth that matches pure QED predictions to better than the calculated axion-induced shift would falsify or tighten the reported constraints on axion-electron parameters.

read the original abstract

Axions and axion-like particles are among the most promising candidates for dark matter and for manifestations of new physics beyond the Standard Model. In the present work, the contribution of axion exchange to the energy of lithium-like ions is investigated within the framework of relativistic bound-state quantum electrodynamics. A formalism for the interelectronic interaction mediated by axion exchange is developed in the Furry picture with finite nuclear size taken into account. Energy shifts are calculated for a wide range of nuclear charge numbers \(Z\) and axion masses. The magnitude of the axion-induced contribution is shown to increase with increasing \(Z\) for all states considered. Based on the analysis of lithium-like bismuth, constraints on the axion-electron interaction parameters are obtained in the high-mass region. The results indicate that precision spectroscopy of highly charged ions is a promising tool for searches for new physics associated with the exchange of pseudoscalar bosons.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note private letter to a colleague

The paper gives the first Z-dependent calculations of axion-exchange energy shifts in lithium-like ions and turns the bismuth case into limits on the coupling, but those limits rest on how cleanly the standard QED background is subtracted.

read the letter

The main point is that this work sets up a perturbative axion-exchange term inside the Furry-picture treatment of lithium-like ions, computes the resulting energy shifts across a range of Z and axion masses, and extracts constraints from existing bismuth data. The shifts grow with Z as expected from tighter electron wave functions in stronger fields. They include finite nuclear size from the start, which is the right way to do it for high-Z ions. This is new: earlier axion-in-atom papers did not cover lithium-like systems with this level of systematic Z and mass dependence. The underlying QED machinery is standard, so the extension itself is not a big conceptual leap, but the concrete numbers and the bismuth limits fill a specific gap. The paper does well by delivering a usable survey rather than just a formal setup. The Z-scaling is shown explicitly and the constraints are presented as outputs, not inputs. Soft spots are present but not fatal. The abstract supplies no equations or error budgets, so the full text has to be checked for how they validate the numerics against known QED limits and how they propagate experimental uncertainties from bismuth spectroscopy. The perturbative assumption is reasonable for the small couplings being bounded, yet any claim that these limits are competitive still needs direct comparison with other searches. No internal contradiction shows up in the argument structure. This paper is aimed at atomic theorists who already work on precision spectroscopy of highly charged ions and at particle physicists who want lab-based probes for axions in the high-mass window. A reader comfortable with bound-state QED will extract the most value from the numbers and the scaling. It deserves a serious referee because the calculations are specific enough to be checked and the proposed application to new-physics searches is worth external scrutiny. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper develops a perturbative formalism for axion-mediated interelectronic interactions in lithium-like ions within the Furry picture of relativistic bound-state QED, incorporating finite nuclear size. Energy shifts are computed for a range of nuclear charges Z and axion masses, with the magnitude shown to increase with Z. Constraints on axion-electron coupling parameters are extracted in the high-mass regime from an analysis of lithium-like bismuth.

Significance. If the numerical results hold, the work establishes precision spectroscopy of highly charged ions as a viable probe for axion-like particles, with the demonstrated Z-scaling providing a clear rationale for focusing on heavy ions. The approach is grounded in established QED methods and yields falsifiable predictions for energy shifts that could be tested against future measurements.

major comments (2)

[Formalism] Formalism section: the perturbative treatment of axion exchange as a correction to the interelectronic interaction is presented without an explicit expression for the effective potential or the matrix elements used in the energy-shift calculation, which is load-bearing for reproducing the Z-dependence and bismuth constraints.
[Results] Results and constraints for bismuth: the derivation of limits on the axion-electron coupling does not specify the reference QED energy values subtracted, the experimental uncertainty assumed, or any validation against the massless or zero-coupling limit, undermining the quantitative bounds presented.

minor comments (2)

[Abstract] The abstract states that shifts were calculated 'for a wide range of nuclear charge numbers Z' but does not list the specific Z values or states considered beyond the bismuth example.
[Introduction] Notation for the axion mass and coupling constant is introduced without a dedicated table or equation summarizing the parameter space explored.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment point by point below and have revised the manuscript accordingly to improve clarity and reproducibility.

read point-by-point responses

Referee: [Formalism] Formalism section: the perturbative treatment of axion exchange as a correction to the interelectronic interaction is presented without an explicit expression for the effective potential or the matrix elements used in the energy-shift calculation, which is load-bearing for reproducing the Z-dependence and bismuth constraints.

Authors: We agree that the absence of explicit expressions for the effective axion-exchange potential and the matrix elements limits independent verification of the results. In the revised manuscript, we have added the explicit form of the effective potential derived from the axion-mediated interaction within the Furry picture (including finite nuclear size corrections) and the first-order energy-shift matrix elements. These additions are placed in the Formalism section to enable reproduction of the Z-scaling and the bismuth constraints. revision: yes
Referee: [Results] Results and constraints for bismuth: the derivation of limits on the axion-electron coupling does not specify the reference QED energy values subtracted, the experimental uncertainty assumed, or any validation against the massless or zero-coupling limit, undermining the quantitative bounds presented.

Authors: The referee correctly identifies that these supporting details were not explicitly provided. We have revised the Results section to specify the reference QED energy values (drawn from established high-precision calculations in the literature), the experimental uncertainty adopted from lithium-like bismuth spectroscopy data, and a validation demonstrating that the axion contribution vanishes in the massless and zero-coupling limits. These changes strengthen the quantitative constraints presented. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained theoretical calculation

full rationale

The paper constructs a perturbative formalism for axion exchange within the Furry picture of bound-state QED (including finite nuclear size) and computes energy shifts for lithium-like ions as direct outputs of the extended interaction Hamiltonian. These shifts are shown to increase with Z via explicit evaluation over a range of nuclear charges and axion masses. Constraints on axion-electron coupling parameters are then extracted from the lithium-like bismuth case by comparing the computed shifts against experimental precision limits; the axion contribution is not fitted to the data used for the limits. No steps reduce by construction to the inputs, no fitted parameters are relabeled as predictions, and no load-bearing self-citations or uniqueness theorems imported from prior author work are invoked. The central results follow from the first-principles QED extension without circular reduction.

Axiom & Free-Parameter Ledger

2 free parameters · 2 axioms · 1 invented entities

The calculation rests on standard relativistic QED axioms plus the hypothesis that axions exist and mediate an additional interaction; axion mass and coupling strength are varied as external parameters rather than derived.

free parameters (2)

axion mass
Scanned over a range to produce energy shifts and constraints; not derived from the theory.
axion-electron coupling constant
Treated as a free parameter whose value is bounded by the bismuth analysis.

axioms (2)

standard math Relativistic bound-state QED in the Furry picture
Framework invoked for the interelectronic interaction mediated by axion exchange.
domain assumption Finite nuclear size must be included
Explicitly taken into account in the energy-shift calculations.

invented entities (1)

Axion (or axion-like particle) no independent evidence
purpose: Mediator of a new pseudoscalar interaction between electrons
Postulated particle whose exchange produces the additional energy shift; no independent evidence supplied within the paper.

pith-pipeline@v0.9.0 · 5490 in / 1477 out tokens · 54561 ms · 2026-05-13T02:13:08.891863+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
A formalism for the interelectronic interaction mediated by axion exchange is developed in the Furry picture... Energy shifts are calculated for a wide range of nuclear charge numbers Z and axion masses.
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
The magnitude of the axion-induced contribution is shown to increase with increasing Z for all states considered.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

[1]

А.Д. Сахаров. Письма в ЖЭТФ,5, 32 (1967). [JETP Letters.,5, 27 (1967)]

work page 1967
[2]

Peccei and H.R

R.D. Peccei and H.R. Quinn. Phys. Rev. Lett.,38, 1440 (1977)

work page 1977
[3]

Peccei and H.R

R.D. Peccei and H.R. Quinn. Phys. Rev. D,16, 1791 (1977)

work page 1977
[4]

Weinberg

S. Weinberg. Phys. Rev. Lett.,40, 223 (1978)

work page 1978
[5]

F. Wilczek. Phys. Rev. Lett.,40, 279 (1978)

work page 1978
[6]

Preskill, M.B

J. Preskill, M.B. Wise, and F. Wilczek. Phys. Lett. B,120, 127 (1983)

work page 1983
[7]

Abbott and P

L.F. Abbott and P. Sikivie. Phys. Lett. B,120, 133 (1983)

work page 1983
[8]

Dine and W

M. Dine and W. Fischler. Phys. Lett. B,120, 137 (1983)

work page 1983
[9]

Svrcek and E

P. Svrcek and E. Witten. J. High Energy Phys.,2006, 051 (2006)

work page 2006
[10]

Arvanitaki, S

A. Arvanitaki, S. Dimopoulos, S. Dubovsky, N. Kaloper, and J. March-Russell. Phys. Rev. D,81, 123530 (2010)

work page 2010
[11]

O’Hare and E

C.A.J. O’Hare and E. Vitagliano. Phys. Rev. D,102, 115026 (2020)

work page 2020
[12]

Bertone, D

G. Bertone, D. Hooper, and J. Silk. Phys. Rep.,405, 279 (2005)

work page 2005
[13]

F.D. Steffen. Eur. Phys. J. C,59, 557 (2009)

work page 2009
[14]

Komatsuet al.Astrophys

E. Komatsuet al.Astrophys. J. Suppl. Ser.,180, 330 (2009)

work page 2009
[15]

L. Cong, W. Ji, P. Fadeev, F. Ficek, M. Jiang, V.V. Flambaum, H. Guan, D.F. Jackson Kimball, M.G. Kozlov, Y.V. Stadnik, and D. Budker. Rev. Mod. Phys.,97, 025005 (2025)

work page 2025
[16]

Safronova, D

M.S. Safronova, D. Budker, D. DeMille, D.F.J. Kimball, A. Derevianko, and C.W. Clark. Rev. Mod. Phys.,90, 025008 (2018)

work page 2018
[17]

Akulov, R.R

D.S. Akulov, R.R. Abdullin, D.V. Chubukov, D.A. Glazov, and A.V. Volotka. Atoms,13, 52 (2025)

work page 2025
[18]

Kimball, D

D.F.J. Kimball, D. Budker, T.E. Chupp, A.A. Geraci, S. Kolkowitz, J.T. Singh, and A.O. Sushkov. Phys. Rev. A,108, 010101 (2023). 12

work page 2023
[19]

Agrawal, N.R

P. Agrawal, N.R. Hutzler, D.E. Kaplan, S. Rajendran, and M. Reig. J. High Energy Phys.,2024, 133 (2024)

work page 2024
[20]

Stadnik, V.A

Y.V. Stadnik, V.A. Dzuba, and V.V. Flambaum. Phys. Rev. Lett.,120, 013202 (2018). [see also https://arxiv.org/abs/1708.00486v3 (2020)]

work page arXiv 2018
[21]

Maison, V.V

D.E. Maison, V.V. Flambaum, N.R. Hutzler, and L.V. Skripnikov. Phys. Rev. A,103, 022813 (2021)

work page 2021
[22]

Maison, L.V

D.E. Maison, L.V. Skripnikov, A.V. Oleynichenko, and A.V. Zaitsevskii. J. Chem. Phys.154, 224303 (2021)

work page 2021
[23]

Maison and L.V

D.E. Maison and L.V. Skripnikov. Phys. Rev. A,105, 032813 (2022)

work page 2022
[24]

Prosnyak, D.E

S.D. Prosnyak, D.E. Maison, and L.V. Skripnikov. Symmetry15, 1043 (2023)

work page 2023
[25]

Prosnyak and L.V

S.D. Prosnyak and L.V. Skripnikov. Phys. Rev. A,109, 042821 (2024)

work page 2024
[26]

P.J. Mohr. Phys. Rev. A,32, 1949 (1985)

work page 1949
[27]

Yerokhin, Z

V.A. Yerokhin, Z. Harman, and C.H. Keitel. Phys. Rev. A,112, 042801 (2025)

work page 2025
[28]

Fadeev, F

P. Fadeev, F. Ficek, M.G. Kozlov, D. Budker, and V.V. Flambaum. Phys. Rev. A,105, 022812 (2022)

work page 2022
[29]

L. Cong, F. Ficek, R.R. Abdullin, M.G. Kozlov, and D. Budker. arXiv:2602.09743 (2026). 13

work page arXiv 2026