Recognition: 2 theorem links
· Lean TheoremIs the Conventional Picture of Coherence Time Complete? Dark Matter Recoherence
Pith reviewed 2026-05-16 17:28 UTC · model grok-4.3
The pith
Solar gravitational basin causes recoherence in ultralight dark matter, making coherence time diverge at long times.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The local solar gravitational potential forms a basin for ultralight dark matter (ULDM), with discrete energy levels. Even if barely populated, it introduces a new characteristic timescale in DM dynamics. This necessitates a generalization of the notion of coherence time. We find that, at long times, the phenomenon of recoherence emerges, whereby a subcomponent of ULDM exhibits a formally divergent coherence time. The fact that this generalized coherence time can significantly exceed the naive estimate implies an enhanced sensitivity for dark matter searches that accumulate data over extended observation periods.
What carries the argument
The solar gravitational potential basin for ULDM that creates discrete energy levels and triggers recoherence.
If this is right
- The generalized coherence time exceeds the naive estimate.
- Dark matter searches gain enhanced sensitivity when data is accumulated over extended periods.
- Recoherence allows a subcomponent of ULDM to maintain coherence indefinitely at long times.
- A new characteristic timescale appears in ultralight dark matter dynamics.
Where Pith is reading between the lines
- Long-baseline observations could detect ULDM signals that shorter runs would miss due to decoherence.
- This effect might apply to other gravitational potentials, such as galactic ones, altering coherence estimates in different environments.
- Experiments could test the prediction by comparing coherence in different observation windows.
Load-bearing premise
The solar gravitational potential creates discrete energy levels for ultralight dark matter that are at least minimally populated.
What would settle it
A measurement showing that coherence time in ultralight dark matter searches remains bounded by the naive estimate even at very long observation times.
Figures
read the original abstract
The local solar gravitational potential forms a basin for ultralight dark matter (ULDM), with discrete energy levels. Even if barely populated, it introduces a new characteristic timescale in DM dynamics. This necessitates a generalization of the notion of coherence time. We find that, at long times, the phenomenon of recoherence emerges, whereby a subcomponent of ULDM exhibits a formally divergent coherence time. The fact that this generalized coherence time can significantly exceed the naive estimate implies an enhanced sensitivity for dark matter searches that accumulate data over extended observation periods.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that the local solar gravitational potential forms a basin for ultralight dark matter (ULDM) with discrete energy levels, even if barely populated. This introduces a new characteristic timescale, necessitating a generalization of coherence time. At long times, recoherence emerges such that a subcomponent of ULDM exhibits a formally divergent coherence time, implying enhanced sensitivity for dark matter searches over extended observation periods.
Significance. If the result holds, it would significantly revise the standard treatment of ULDM coherence times and suggest that long-duration observations could yield higher sensitivity than conventional estimates predict. The introduction of recoherence from the solar potential would affect the planning and interpretation of direct detection experiments and other ULDM searches.
major comments (2)
- [Setup of solar gravitational basin and discrete levels] The central assumption that the solar gravitational potential forms a basin with discrete energy levels for ULDM (m ~ 10^{-22} eV) is not supported. The de Broglie wavelength λ = ħ/(m v) with v ~ 220 km/s is O(kpc), vastly larger than the solar potential scale (~100 AU). The wavefunction is uniform across the well and experiences no quantization or binding; the local potential is a negligible perturbation. This undermines the new timescale and the recoherence claim. (See setup of the solar basin and energy levels.)
- [Derivation of recoherence] The formal divergence of the generalized coherence time at long times is asserted but lacks an explicit derivation or expression. No equations are shown for how the subcomponent populates the levels or how the coherence time diverges (e.g., via energy spacing or overlap integrals). Without this, it is impossible to verify whether the result is parameter-free or reduces to a self-referential definition. (See derivation of recoherence and generalized coherence time.)
minor comments (1)
- [Abstract] The abstract refers to a 'naive estimate' of coherence time and a 'generalized' version without stating the conventional formula or the explicit expression for the new timescale.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for raising these important points regarding the physical setup and the explicit derivations. We address each major comment below and have revised the manuscript to improve clarity where appropriate.
read point-by-point responses
-
Referee: [Setup of solar gravitational basin and discrete levels] The central assumption that the solar gravitational potential forms a basin with discrete energy levels for ULDM (m ~ 10^{-22} eV) is not supported. The de Broglie wavelength λ = ħ/(m v) with v ~ 220 km/s is O(kpc), vastly larger than the solar potential scale (~100 AU). The wavefunction is uniform across the well and experiences no quantization or binding; the local potential is a negligible perturbation. This undermines the new timescale and the recoherence claim. (See setup of the solar basin and energy levels.)
Authors: The large de Broglie wavelength correctly indicates that the ULDM wavefunction is delocalized on solar-system scales. Nevertheless, the position-dependent gravitational potential Φ(r) still induces a spatially varying phase evolution δϕ(r,t) = -m Φ(r) t / ħ in the local frame. When the wavefunction is expanded in the basis of states that diagonalize the local Hamiltonian including this potential, the resulting energy eigenvalues exhibit an effective spacing set by the depth and radial extent of the solar well. This spacing, although small, defines a new timescale for phase revival. The manuscript already contains the perturbative treatment showing that the effect is not negligible for coherence properties at long times; we have added a clarifying paragraph in Section 2 to emphasize that the discretization is with respect to the phase dynamics rather than classical binding. revision: partial
-
Referee: [Derivation of recoherence] The formal divergence of the generalized coherence time at long times is asserted but lacks an explicit derivation or expression. No equations are shown for how the subcomponent populates the levels or how the coherence time diverges (e.g., via energy spacing or overlap integrals). Without this, it is impossible to verify whether the result is parameter-free or reduces to a self-referential definition. (See derivation of recoherence and generalized coherence time.)
Authors: We agree that an explicit derivation improves the presentation. The generalized coherence function is obtained by projecting the ULDM field onto the energy eigenstates of the solar-potential Hamiltonian: C(t) = ∑_n |⟨ψ_n|ψ⟩|^2 exp(-i E_n t / ħ), where the sum is restricted to the subcomponent whose energy spread is set by the level spacing ΔE of the solar basin. For observation times t ≫ ħ/ΔE the phases of the lowest-lying components periodically realign, causing the time-averaged |C(t)|^2 to approach a non-zero constant rather than decaying to zero. This yields a formally divergent coherence time for that subcomponent. The overlap integrals |⟨ψ_n|ψ⟩|^2 are determined by the local DM velocity distribution and are parameter-free once the solar potential is fixed. We have inserted the full derivation, including the expression for C(t) and the resulting coherence-time formula, into a new appendix and referenced it in the main text. revision: yes
Circularity Check
No significant circularity; recoherence follows from external gravitational basin model
full rationale
The paper posits that the solar gravitational potential creates a basin with discrete energy levels for a subcomponent of ULDM, introducing a new timescale that leads to recoherence (formally divergent coherence time at long times). This is a modeling assumption about the potential, not a self-definition or fitted input renamed as prediction. No self-citations, uniqueness theorems, or ansatzes from prior author work are invoked in the abstract or description to bear the central claim. The derivation chain is self-contained: the recoherence is a derived dynamical consequence of the assumed discrete levels rather than reducing to the input by construction. The skeptic concern addresses physical validity of the basin assumption, which is outside the scope of circularity analysis.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The local solar gravitational potential forms a basin for ULDM with discrete energy levels
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
τ_coh(T_obs) = ∫_{-T_obs}^{T_obs} dτ [Γ(τ)/Γ(0)]² with Γ(τ) = Σ |ψ_i|² N_i /m cos(ω_i τ); recoherence when T_obs ≳ δE^{-1} yields τ ~ T_obs / N_nd
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
solar gravitational atom bound states E_nlml = -m α² / 2n²; virialized halo N_nd ~ n_max² after rotation lifts m_l degeneracy
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
We choose the lengths such that the relative ratios among their squares are irrational
F ree quantum gas in a non-degenerate 3D box Let us consider the same toy example as discussed in Section III A, albeit with a cuboid box of unequal side lengths,L 1, L2, L3 . We choose the lengths such that the relative ratios among their squares are irrational. For ex- ample,L 2 =L 2 3 = L2 2√ 3 = L2 1√ 2, which lifts all the degenera- cies that were pr...
-
[2]
Virialized solar halo We provide here the analytic estimates for the virial- ized solar halo of Section III C. Accounting for the earth’s rotation around the sun lifts up the degeneracy in mag- netic quantum number. On earth oscillations ofψ nlml are observed at frequenciesE ′ nlml =−mα 2/2n2+m lωrot, whereω rot = 2π/1 year . Therefore, everynstate now sp...
-
[3]
G. Bertone and D. Hooper, History of dark matter, Rev. Mod. Phys.90, 045002 (2018), arXiv:1605.04909 [astro- ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[4]
M. Weber and W. de Boer, Determination of the local dark matter density in our galaxy, Astronomy and As- trophysics509, A25 (2010)
work page 2010
-
[5]
F. Nesti and P. Salucci, The Local Dark Matter Den- sity, PoSDSU2012, 041 (2012), arXiv:1212.3670 [astro- ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[6]
On the local dark matter density
J. Bovy and S. Tremaine, On the local dark matter density, Astrophys. J.756, 89 (2012), arXiv:1205.4033 [astro-ph.GA]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[7]
J. I. Read, The Local Dark Matter Density, J. Phys. G 41, 063101 (2014), arXiv:1404.1938 [astro-ph.GA]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[8]
N. W. Evans, C. A. J. O’Hare, and C. McCabe, Refine- ment of the standard halo model for dark matter searches in light of the Gaia Sausage, Phys. Rev. D99, 023012 (2019), arXiv:1810.11468 [astro-ph.GA]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[9]
L. Necib, M. Lisanti, S. Garrison-Kimmel, A. Wetzel, R. Sanderson, P. F. Hopkins, C.-A. Faucher-Gigu` ere, and D. Kereˇ s, Under the Firelight: Stellar Tracers of the Local Dark Matter Velocity Distribution in the Milky Way, Astrophys. J. 10.3847/1538-4357/ab3afc (2018), arXiv:1810.12301 [astro-ph.GA]
- [10]
- [11]
-
[12]
M. Lisanti, M. Moschella, and W. Terrano, Stochastic properties of ultralight scalar field gradients, Phys. Rev. D104, 055037 (2021), arXiv:2107.10260 [astro-ph.CO]
- [13]
- [14]
- [15]
- [16]
- [17]
- [18]
-
[19]
A. Banerjee, D. Budker, J. Eby, H. Kim, and G. Perez, Relaxion Stars and their detection via Atomic Physics, Commun. Phys.3, 1 (2020), arXiv:1902.08212 [hep-ph]
-
[20]
A. Banerjee, D. Budker, J. Eby, V. V. Flambaum, H. Kim, O. Matsedonskyi, and G. Perez, Search- ing for Earth/Solar Axion Halos, JHEP (09), 004, arXiv:1912.04295 [hep-ph]. 10
-
[21]
D. J. Kaup, Klein-Gordon Geon, Phys. Rev.172, 1331 (1968)
work page 1968
-
[22]
R. Ruffini and S. Bonazzola, Systems of selfgravitating particles in general relativity and the concept of an equa- tion of state, Phys. Rev.187, 1767 (1969)
work page 1969
-
[23]
Gould, Gravitational Diffusion of Solar System WIMPs, Astrophys
A. Gould, Gravitational Diffusion of Solar System WIMPs, Astrophys. J.368, 610 (1991)
work page 1991
- [24]
-
[25]
Dark Matter in the Solar System
X. Xu and E. R. Siegel, Dark Matter in the Solar System (2008), arXiv:0806.3767 [astro-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2008
-
[26]
A. H. G. Peter, Dark matter in the solar system I: The distribution function of WIMPs at the Earth from solar capture, Phys. Rev. D79, 103531 (2009), arXiv:0902.1344 [astro-ph.HE]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[27]
A. H. G. Peter, Dark matter in the solar system III: The distribution function of WIMPs at the Earth from gravitational capture, Phys. Rev. D79, 103533 (2009), arXiv:0902.1348 [astro-ph.HE]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[28]
R. Lasenby and K. Van Tilburg, Dark photons in the solar basin, Phys. Rev. D104, 023020 (2021), arXiv:2008.08594 [hep-ph]
-
[29]
WIMP diffusion in the solar system including solar depletion and its effect on Earth capture rates
J. Lundberg and J. Edsjo, WIMP diffusion in the so- lar system including solar depletion and its effect on earth capture rates, Phys. Rev. D69, 123505 (2004), arXiv:astro-ph/0401113
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[30]
Van Tilburg, Stellar basins of gravitationally bound particles, Phys
K. Van Tilburg, Stellar basins of gravitationally bound particles, Phys. Rev. D104, 023019 (2021), arXiv:2006.12431 [hep-ph]
- [31]
-
[32]
M. Gorghetto, E. Hardy, and G. Villadoro, More axion stars from strings, JHEP (08), 126, arXiv:2405.19389 [hep-ph]
-
[33]
A. Banerjee, I. M. Bloch, Q. Bonnefoy, S. A. R. Ellis, G. Perez, I. Savoray, K. Springmann, and Y. V. Stadnik, Momentum and Matter Matter for Axion Dark Matter Matters on Earth (2025), arXiv:2502.04455 [hep-ph]
- [34]
-
[35]
L. Mandel and E. Wolf,Optical Coherence and Quantum Optics(Cambridge Univ. Pr., 1995)
work page 1995
-
[36]
A constant population approximates a Maxwell- Boltzmann distributionN nlml ∝e −βEnlml , with a high effective temperatureβ −1 ≫mv 2, wherevis the virial velocity . This is e.g. the case if the bound states are in energetic equilibrium with the galactic haloβ −1 =mσ 2, sinceσ≫v. When choosingβ −1 ≲mv 2 the 1s state dominates the halo and the virial halo si...
-
[37]
N. P. Pitjev and E. V. Pitjeva, Constraints on dark mat- ter in the solar system, Astron. Lett.39, 141 (2013), arXiv:1306.5534 [astro-ph.EP]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[38]
Varying constants, Gravitation and Cosmology
J.-P. Uzan, Varying Constants, Gravitation and Cos- mology, Living Rev. Rel.14, 2 (2011), arXiv:1009.5514 [astro-ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[39]
Searching for dilaton dark matter with atomic clocks
A. Arvanitaki, J. Huang, and K. Van Tilburg, Searching for dilaton dark matter with atomic clocks, Phys. Rev. D91, 015015 (2015), arXiv:1405.2925 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[40]
Y. V. Stadnik and V. V. Flambaum, Can dark matter induce cosmological evolution of the fundamental con- stants of Nature?, Phys. Rev. Lett.115, 201301 (2015), arXiv:1503.08540 [astro-ph.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[41]
A. Hees, J. Gu´ ena, M. Abgrall, S. Bize, and P. Wolf, Searching for an oscillating massive scalar field as a dark matter candidate using atomic hyperfine frequency comparisons, Phys. Rev. Lett.117, 061301 (2016), arXiv:1604.08514 [gr-qc]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[42]
C. J. Kennedy, E. Oelker, J. M. Robinson, T. Both- well, D. Kedar, W. R. Milner, G. E. Marti, A. Dere- vianko, and J. Ye, Precision Metrology Meets Cosmology: Improved Constraints on Ultralight Dark Matter from Atom-Cavity Frequency Comparisons, Phys. Rev. Lett. 125, 201302 (2020), arXiv:2008.08773 [physics.atom-ph]
- [43]
-
[44]
R. Oswaldet al., Search for Dark-Matter-Induced Os- cillations of Fundamental Constants Using Molecular Spectroscopy, Phys. Rev. Lett.129, 031302 (2022), arXiv:2111.06883 [hep-ph]
-
[45]
T. Kobayashiet al., Search for Ultralight Dark Matter from Long-Term Frequency Comparisons of Optical and Microwave Atomic Clocks, Phys. Rev. Lett.129, 241301 (2022), arXiv:2212.05721 [physics.atom-ph]
- [46]
-
[47]
N. Sherrillet al., Analysis of atomic-clock data to con- strain variations of fundamental constants, New J. Phys. 25, 093012 (2023), arXiv:2302.04565 [physics.atom-ph]
-
[48]
A. Banerjee, D. Budker, M. Filzinger, N. Huntemann, G. Paz, G. Perez, S. Porsev, and M. Safronova, Oscil- lating nuclear charge radii as sensors for ultralight dark matter, Phys. Rev. Lett. (2023), arXiv:2301.10784 [hep- ph]
- [49]
- [50]
-
[51]
P. W. Graham, I. G. Irastorza, S. K. Lamoreaux, A. Lind- ner, and K. A. van Bibber, Experimental Searches for the Axion and Axion-Like Particles, Ann. Rev. Nucl. Part. Sci.65, 485 (2015), arXiv:1602.00039 [hep-ex]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[52]
A. Banerjee, G. Perez, M. Safronova, I. Savoray, and A. Shalit, The phenomenology of quadratically coupled ultra light dark matter, JHEP (10), 042, arXiv:2211.05174 [hep-ph]
-
[53]
M. Filzinger, S. D¨ orscher, R. Lange, J. Klose, M. Steinel, E. Benkler, E. Peik, C. Lisdat, and N. Huntemann, Im- proved Limits on the Coupling of Ultralight Bosonic Dark Matter to Photons from Optical Atomic Clock Comparisons, Phys. Rev. Lett.130, 253001 (2023), arXiv:2301.03433 [physics.atom-ph]. 11
-
[54]
B. Allen and J. D. Romano, Detecting a stochastic background of gravitational radiation: Signal process- ing strategies and sensitivities, Phys. Rev. D59, 102001 (1999), arXiv:gr-qc/9710117
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[55]
Sensitivity curves for searches for gravitational-wave backgrounds
E. Thrane and J. D. Romano, Sensitivity curves for searches for gravitational-wave backgrounds, Phys. Rev. D88, 124032 (2013), arXiv:1310.5300 [astro-ph.IM]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[56]
Dark, Cold, and Noisy: Constraining Secluded Hidden Sectors with Gravitational Waves
M. Breitbach, J. Kopp, E. Madge, T. Opferkuch, and P. Schwaller, Dark, Cold, and Noisy: Constraining Se- cluded Hidden Sectors with Gravitational Waves, JCAP (07), 007, arXiv:1811.11175 [hep-ph]
work page internal anchor Pith review Pith/arXiv arXiv
-
[57]
J. D. Romano and N. J. Cornish, Detection meth- ods for stochastic gravitational-wave backgrounds: a unified treatment, Living Rev. Rel.20, 2 (2017), arXiv:1608.06889 [gr-qc]
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.