Recognition: 2 theorem links
· Lean TheoremAxion-Like Electrophilic Portal for Pion Dark Matter
Pith reviewed 2026-05-16 07:59 UTC · model grok-4.3
The pith
An axion-like particle coupling only to electrons can serve as a viable portal for pion-like dark matter around 10 MeV.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
An ALP that couples exclusively to electrons provides the necessary interactions to keep SIMP dark matter in thermal equilibrium with the visible sector throughout the early universe. Cosmological evolution calculations combined with bounds from annihilation rates, laboratory searches, and astrophysical data show that this setup permits a wider parameter space than previous models. ALP masses near 10 MeV remain consistent with all constraints and coincide with the mass window indicated by the X17 anomaly. Introducing a non-vanishing theta angle in the dark sector relaxes restrictions and allows viable solutions at higher ALP masses.
What carries the argument
The electrophilic ALP portal, whose electron-only coupling generates the scattering and annihilation processes that enforce thermal equilibrium between the dark and visible sectors.
If this is right
- ALP masses of order 10 MeV remain allowed after applying all cosmological and observational constraints.
- A non-zero dark-sector theta angle opens additional parameter space for heavier ALP masses.
- The model predicts specific dark matter annihilation channels and ALP decay modes that experiments can test directly.
- The 10 MeV window overlaps the parameter space favored by the X17 anomaly, linking the two phenomena.
Where Pith is reading between the lines
- Confirmation of an ALP-electron coupling in this mass range would connect dark matter phenomenology to nuclear anomalies reported in light nuclei experiments.
- The same portal mechanism could be adapted to other strongly interacting dark matter candidates without changing the core equilibrium requirement.
- Future beam-dump or collider searches targeting electron-ALP interactions could directly probe the lower end of the allowed mass window.
- If the theta angle is non-zero, the model predicts additional signatures in late-time cosmology or rare decays not explored in the baseline analysis.
Load-bearing premise
The ALP couples exclusively to electrons at a strength sufficient to maintain thermal equilibrium without extra hidden-sector interactions or late-time effects changing the cosmology.
What would settle it
A laboratory bound or cosmological measurement showing that an ALP near 10 MeV cannot produce the required electron coupling strength while still satisfying the observed dark matter relic density.
Figures
read the original abstract
We investigate a scenario where Strongly Interacting Massive Particle (SIMP) dark matter interacts with an axion-like particle (ALP) that couples exclusively to electrons. This minimal setup provides interactions which enforce thermal equilibrium between dark matter and the SM in the early Universe. We analyze the cosmological evolution of the dark sector and the constraints arising from dark matter annihilations, ALP laboratory searches and astrophysical observations. Our results show that the allowed parameter space is wider than previous studies and an ALP with mass $m_a \sim {\cal O}(10)~\text{MeV}$ can act as a viable portal between the visible and dark sectors. Interestingly, this mass range overlaps with the parameter space suggested by the reported $X_{17}$ anomaly. Furthermore, the introduction of non-vanishing $\theta$ angle in the dark sector of the model opens up the parameter space to heavy ALP masses.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes an electrophilic ALP portal for pion SIMP dark matter in which the ALP couples exclusively to electrons. This setup enforces thermal equilibrium between the dark sector and the SM. Using Boltzmann-equation solutions and relic-density contours, the authors show that the viable parameter space widens relative to prior SIMP studies, allowing ALP masses m_a ∼ O(10) MeV that overlap with the X17 anomaly region. A non-vanishing dark-sector θ angle further extends the space to heavier ALP masses while satisfying laboratory and astrophysical bounds.
Significance. If the calculations hold, the result is significant because it supplies a minimal, parameter-count-efficient portal that reconciles SIMP dark matter with thermal equilibrium requirements and widens the allowed mass range without introducing new hidden-sector degrees of freedom. The explicit Boltzmann solutions, relic-density contours, and direct comparison to existing constraints constitute a concrete, falsifiable advance over earlier SIMP analyses. The X17 overlap is presented as an observational coincidence rather than a prediction, which keeps the claim proportionate.
major comments (2)
- [§3] §3 (Lagrangian and interaction terms): the assumption that the ALP couples exclusively to electrons is load-bearing for the thermal-equilibrium claim; the text should explicitly derive the interaction rate Γ_a-e and demonstrate that it remains above the Hubble rate down to T ∼ m_π for m_a ∼ 10 MeV, rather than stating equilibrium by construction.
- [§4.2] §4.2 (θ-angle extension): the statement that non-zero θ opens heavy-ALP masses is central to the widened parameter space, yet the relic-density contours are shown only for selected θ values; a systematic scan or analytic dependence of ⟨σv⟩ on θ must be added to confirm that the heavy-mass region remains cosmologically viable without fine-tuning.
minor comments (3)
- [Figure 3] Figure 3 (relic-density contours): axis labels and color-bar units are missing; the caption should state whether the contours correspond to the observed Ωh² = 0.12 or to a 2σ band.
- [§5] §5 (constraints): the laboratory bounds from NA64 and BABAR are cited but not overlaid on the same (m_a, g_ae) plane as the cosmological contours; a combined plot would improve clarity.
- [Abstract] Abstract and §1: the phrase 'wider than previous studies' should be quantified by citing the specific prior SIMP parameter-space boundaries being compared.
Simulated Author's Rebuttal
We thank the referee for the positive assessment and constructive comments. We address each major comment below.
read point-by-point responses
-
Referee: [§3] §3 (Lagrangian and interaction terms): the assumption that the ALP couples exclusively to electrons is load-bearing for the thermal-equilibrium claim; the text should explicitly derive the interaction rate Γ_a-e and demonstrate that it remains above the Hubble rate down to T ∼ m_π for m_a ∼ 10 MeV, rather than stating equilibrium by construction.
Authors: We agree that an explicit derivation of the interaction rate strengthens the thermal-equilibrium argument. In the revised manuscript we will add the calculation of Γ_{a-e} in §3, explicitly showing that for m_a ∼ 10 MeV the rate remains above the Hubble rate down to T ∼ m_π, consistent with the Boltzmann solutions already presented. revision: yes
-
Referee: [§4.2] §4.2 (θ-angle extension): the statement that non-zero θ opens heavy-ALP masses is central to the widened parameter space, yet the relic-density contours are shown only for selected θ values; a systematic scan or analytic dependence of ⟨σv⟩ on θ must be added to confirm that the heavy-mass region remains cosmologically viable without fine-tuning.
Authors: We thank the referee for this suggestion. While representative θ values were shown, we will add both an analytic expression for the θ dependence of ⟨σv⟩ and a systematic scan over a range of θ in the revised §4.2 to confirm viability of the heavy-ALP region without fine-tuning. revision: yes
Circularity Check
No significant circularity in derivation chain
full rationale
The manuscript derives viable parameter space for pion SIMP dark matter coupled to an electrophilic ALP by numerically solving Boltzmann equations for the dark sector's thermal evolution and relic density, then overlaying external constraints from DM annihilations, laboratory ALP searches, and astrophysical observations. These steps are independent of internal redefinitions or self-citation chains; the widening of allowed space for m_a ~ O(10) MeV and the theta-angle extension to heavier masses emerge directly from the model dynamics and imposed bounds rather than from fitted inputs renamed as predictions or uniqueness theorems imported from prior self-work. No load-bearing reduction of outputs to inputs by construction is present.
Axiom & Free-Parameter Ledger
free parameters (2)
- ALP-electron coupling strength
- Dark sector theta angle
axioms (2)
- domain assumption ALP interactions enforce thermal equilibrium between dark matter and SM in the early universe
- domain assumption Constraints from DM annihilations, ALP lab searches, and astrophysics are independent and correctly applied
invented entities (1)
-
Electrophilic ALP portal
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We solve the Boltzmann equation numerically for several values of Nc. The observed dark matter relic abundance is obtained for dark pion masses in the range mπ ∼ 100 MeV−1 GeV
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The ALP couples exclusively to electrons … La = ½ ∂μa∂μa − ½ m²a a² − gae a ē iγ5 e
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Forward citations
Cited by 1 Pith paper
-
ALP production in Lepton Flavour Violating meson, tau and gauge boson decays
ALPs with LFV couplings above the muon mass threshold can be produced in LFV meson, tau, and gauge boson decays, yielding clean eμ signatures that enable new searches at future experiments.
Reference graph
Works this paper leans on
-
[1]
These occur via the interaction in Eq
Thermalization The relevant processes for dark matter thermalization are the elastic scatterings of dark matter with electrons and positrons. These occur via the interaction in Eq. (20) and thet-channel exchange of the ALP. This is similar to what happens in models where SIMP dark matter in- teracts with the SM via a dark photon portal [2, 21, 31]. The am...
-
[2]
Constraints The operator in Eq. (20) also provides a new annihila- tion channel for dark matter particles, namely the process 9 Indirect detection ππ -> ee fa=ma Thermalization Ce=0.1 Ce=1 fa =2πf π 0.2 0.5 1 210-1 100 101 ma[GeV] fa -1[GeV-1] mπ =0.1GeV,g ae=10-4,θ=1 Indirect detection ππ -> ee fa=ma Thermalization 2 5 10 2010-4 10-3 10-2 10-1 ma[GeV] fa...
work page 2010
-
[3]
Y. Hochberg, E. Kuflik, H. Murayama, T. Volansky, and J. G. Wacker, Phys. Rev. Lett.115, 021301 (2015), 1411.3727
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[4]
Y. Hochberg, E. Kuflik, and H. Murayama, JHEP05, 090 (2016), 1512.07917
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[5]
Elastically Decoupling Dark Matter
E. Kuflik, M. Perelstein, N. R.-L. Lorier, and Y.-D. Tsai, Phys. Rev. Lett.116, 221302 (2016), 1512.04545
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[6]
WIMP and SIMP Dark Matter from the Spontaneous Breaking of a Global Group
N. Bernal, C. Garcia-Cely, and R. Rosenfeld, JCAP04, 012 (2015), 1501.01973
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[7]
N. Bernal and X. Chu, JCAP01, 006 (2016), 1510.08527
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[8]
Production Regimes for Self-Interacting Dark Matter
N. Bernal, X. Chu, C. Garcia-Cely, T. Hambye, and B. Zaldivar, JCAP03, 018 (2016), 1510.08063
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[9]
SIMP dark matter with gauged $Z_3$ symmetry
S.-M. Choi and H. M. Lee, JHEP09, 063 (2015), 1505.00960
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[10]
S.-M. Choi and H. M. Lee, Phys. Lett. B758, 47 (2016), 1601.03566
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[11]
Hidden SU(N) Glueball Dark Matter
A. Soni and Y. Zhang, Phys. Rev. D93, 115025 (2016), 1602.00714
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[12]
SIMP from a strong U(1) gauge theory with a monopole condensation
A. Kamada, M. Yamada, T. T. Yanagida, and K. Yonekura, Phys. Rev. D94, 055035 (2016), 1606.01628
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[13]
Axion-like particle assisted strongly interacting massive particle
A. Kamada, H. Kim, and T. Sekiguchi, Phys. Rev. D 96, 016007 (2017), 1704.04505
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[14]
N. Bernal, X. Chu, and J. Pradler, Phys. Rev. D95, 115023 (2017), 1702.04906
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[15]
J. M. Cline, H. Liu, T. Slatyer, and W. Xue, Phys. Rev. D96, 083521 (2017), 1702.07716
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[16]
S.-M. Choi, H. M. Lee, and M.-S. Seo, JHEP04, 154 (2017), 1702.07860
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[17]
Phenomenology of ELDER Dark Matter
E. Kuflik, M. Perelstein, N. R.-L. Lorier, and Y.-D. Tsai, JHEP08, 078 (2017), 1706.05381
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[18]
Hidden strongly interacting massive particles
M. Heikinheimo, K. Tuominen, and K. Langæble, Phys. Rev. D97, 095040 (2018), 1803.07518
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[19]
S.-M. Choi, H. M. Lee, P. Ko, and A. Natale, Phys. Rev. D98, 015034 (2018), 1801.07726
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[20]
SIMPs through the axion portal
Y. Hochberg, E. Kuflik, R. Mcgehee, H. Murayama, and K. Schutz, Phys. Rev. D98, 115031 (2018), 1806.10139
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [21]
- [22]
- [23]
-
[24]
J. Smirnov and J. F. Beacom, Phys. Rev. Lett.125, 131301 (2020), 2002.04038
-
[25]
C.-Y. Xing and S.-H. Zhu, Phys. Rev. Lett.127, 061101 (2021), 2102.02447
- [26]
- [27]
-
[28]
U. K. Dey, T. N. Maity, and T. S. Ray, JCAP03, 045 (2017), 1612.09074
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[29]
E. Bernreuther, N. Hemme, F. Kahlhoefer, and S. Kulkarni (2023), 2311.17157
- [30]
- [31]
-
[32]
C. Garc´ ıa-Cely, G. Landini, and O. Zapata, Phys. Rev. D111, 063044 (2025), 2405.10367
-
[33]
C. Garc´ ıa-Cely, G. Landini, L. Marsili, and ´O. Zapata (2025), 2508.21121
-
[34]
J. Davighi, A. Greljo, and N. Selimovic, Phys. Rev. Lett. 134, 111804 (2025), 2401.09528
-
[35]
J. Davighi, S. Moldovsky, H. Murayama, C. Scherb, and N. Selimovic (2025), 2506.05468
- [36]
-
[37]
J. F. Navarro, C. S. Frenk, and S. D. M. White, Astro- phys. J.462, 563 (1996), astro-ph/9508025
work page internal anchor Pith review Pith/arXiv arXiv 1996
-
[38]
J. F. Navarro, C. S. Frenk, and S. D. M. White, Astro- phys. J.490, 493 (1997), astro-ph/9611107
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[39]
R. Dave, D. N. Spergel, P. J. Steinhardt, and B. D. Wan- delt, Astrophys. J.547, 574 (2001), astro-ph/0006218
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[40]
Subhaloes in Self-Interacting Galactic Dark Matter Haloes
M. Vogelsberger, J. Zavala, and A. Loeb, Mon. Not. Roy. Astron. Soc.423, 3740 (2012), 1201.5892
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[41]
M. Rocha, A. H. G. Peter, J. S. Bullock, M. Kaplinghat, S. Garrison-Kimmel, J. Onorbe, and L. A. Moustakas, Mon. Not. Roy. Astron. Soc.430, 81 (2013), 1208.3025
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[42]
A. H. G. Peter, M. Rocha, J. S. Bullock, and M. Kaplinghat, Mon. Not. Roy. Astron. Soc.430, 105 (2013), 1208.3026
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[43]
O. D. Elbert, J. S. Bullock, S. Garrison-Kimmel, M. Rocha, J. O˜ norbe, and A. H. G. Peter, Mon. Not. Roy. Astron. Soc.453, 29 (2015), 1412.1477
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[44]
A. B. Fry, F. Governato, A. Pontzen, T. Quinn, M. Tremmel, L. Anderson, H. Menon, A. M. Brooks, and J. Wadsley, Mon. Not. Roy. Astron. Soc.452, 1468 (2015), 1501.00497
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[45]
Dark Matter Self-interactions and Small Scale Structure
S. Tulin and H.-B. Yu, Phys. Rept.730, 1 (2018), 1705.02358
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[46]
A. Eberhart, M. Fedele, F. Kahlhoefer, E. Ravensburg, and R. Ziegler (2025), 2504.05873
-
[47]
L. Darm´ e, F. Giacchino, E. Nardi, and M. Raggi, JHEP 06, 009 (2021), 2012.07894
-
[48]
W. Altmannshofer, J. A. Dror, and S. Gori, Phys. Rev. Lett.130, 241801 (2023), 2209.00665
- [49]
- [50]
-
[51]
F. Arias-Arag´ on, G. G. di Cortona, E. Nardi, and L. Veissi` ere, JHEP06, 199 (2025), 2504.00100
-
[52]
Collider Probes of Axion-Like Particles
M. Bauer, M. Neubert, and A. Thamm, JHEP12, 044 (2017), 1708.00443
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[53]
C. Cornella, P. Paradisi, and O. Sumensari, JHEP01, 158 (2020), 1911.06279
-
[54]
L. Calibbi, D. Redigolo, R. Ziegler, and J. Zupan, JHEP 09, 173 (2021), 2006.04795
- [55]
-
[56]
E. Bertuzzo, A. L. Foguel, G. M. Salla, and R. Z. Fun- chal, Phys. Rev. Lett.130, 171801 (2023), 2202.12317
-
[57]
G. Armando, P. Panci, J. Weiss, and R. Ziegler, Phys. Rev. D109, 055029 (2024), 2310.05827
- [58]
- [59]
- [60]
-
[61]
W. Altmannshofer, J. A. Dror, P. Giffin, S. Gori, O. Jackson, K. Luong, P. Schwendimann, and S. R. Seo (2026), 2601.06254
- [62]
-
[63]
A. J. Krasznahorkay et al., Phys. Rev. Lett.116, 042501 (2016), 1504.01527
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[64]
A. J. Krasznahorkay et al., inJournal of Physics: Con- ference Series(2018), vol. 1056, p. 012028
work page 2018
-
[65]
A. J. Krasznahorkay et al., Acta Phys. Polon. B50, 675 (2019)
work page 2019
- [66]
- [67]
- [68]
- [69]
- [70]
-
[71]
F. Arias-Arag´ on, G. G. di Cortona, E. Nardi, and C. Toni (2025), 2504.11439
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[72]
D. Barducci, D. Germani, M. Nardecchia, S. Scacco, and C. Toni, JHEP04, 035 (2025), 2501.05507
-
[73]
W. Abdallah, R. Gandhi, T. Ghosh, N. Khan, S. Roy, and S. Roy, JHEP10, 086 (2024), 2406.07643
-
[74]
D. S. M. Alves et al., Eur. Phys. J. C83, 230 (2023)
work page 2023
- [75]
-
[76]
D. Barducci and C. Toni, JHEP02, 154 (2023), [Erra- tum: JHEP 07, 168 (2023)], 2212.06453
- [77]
-
[78]
X. Zhang and G. A. Miller, Phys. Lett. B813, 136061 (2021), 2008.11288
-
[79]
J. L. Feng, B. Fornal, I. Galon, S. Gardner, J. Smolin- sky, T. M. P. Tait, and P. Tanedo, Phys. Rev. Lett.117, 071803 (2016), 1604.07411
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[80]
J. L. Feng, B. Fornal, I. Galon, S. Gardner, J. Smolin- sky, T. M. P. Tait, and P. Tanedo, Phys. Rev. D95, 035017 (2017), 1608.03591
work page internal anchor Pith review Pith/arXiv arXiv 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.