Yunjia Bao, Dhong Yeon Cheong, Nicholas L. Rodd, Joey Takach, Lian-Tao Wang, Kevin Zhou
Rigorous, timely unifying theory that refutes ~two dozen recent proposals and clarifies a foundational question spanning DM, GW, and quantum optics communities.
Precision experiments increasingly target weakly coupled waves, including axion dark matter and gravitational radiation. Such waves are commonly described as classical fields, yet they could exist in quantum states with no classical counterpart. We exhibit two severe obstructions to detecting nonclassical effects, both independent of the mode occupancy. First, realistic detectors cannot resolve the fundamental modes of a field; instead they couple to coarse-grained "effective" modes, which often washes out nonclassical effects. Second, all nonclassical effects are suppressed by extra powers of the weak coupling, making them much harder to detect than the waves themselves. We prove this in general, and explicitly show how the suppression arises for quadrature and number statistics, entanglement, and decoherence. The suppression can in principle be overcome given suitable quantum resources, such as highly squeezed detector states, but the required parameters are far beyond current experimental capabilities. We use the axion cavity haloscope as an explicit example, although our conclusions apply to many ultralight dark matter searches, and rule out proposals to establish the quantization of gravity from observations of gravitational waves.
This paper addresses a live and contentious question at the intersection of particle physics, quantum optics, and gravitation: can precision detectors (axion haloscopes, gravitational-wave detectors) establish that weakly coupled waves — axion dark matter, gravitational radiation — are genuinely quantized, versus admitting a semiclassical explanation? The authors identify two general, occupancy-independent obstructions to detecting intrinsically nonclassical effects. First, realistic detectors couple only to a coarse-grained "effective mode" built from many fundamental plane-wave modes; the quantum central limit theorem (CLT) then drives this effective mode to a thermal Gaussian state with nonnegative P-function, erasing nonclassicality. Second, and more fundamentally, all intrinsically nonclassical signatures are suppressed by extra powers of the tiny conversion efficiency η (∼10⁻²¹ for a haloscope, ∼10⁻³³ for graviton conversion), without the compensating factor of large occupancy N_eff that renders the wave itself detectable. They prove this generally (Sec. 4.3, via a smearing/trace-distance argument) and demonstrate it explicitly for number statistics (Mandel Q), quadrature squeezing, entanglement witnesses, and decoherence. The upshot: detecting quantization is *parametrically harder* than detecting the wave, and a large body of recent high-profile proposals claiming otherwise are refuted or shown to require unphysical resources.
The work is methodologically strong. The analysis builds systematically from an exactly solvable toy model, to a realistic cavity haloscope with explicit cylindrical-mode form factors, to general theorems. The Glauber–Sudarshan P-function framework is the correct and standard tool, applied carefully (including handling of singular distributions). The quantum CLT derivation mirrors the classical proof but correctly accounts for nonclassical and singular P_k, with a clean Fock-to-Gaussian convergence demonstration (Fig. 4). The general suppression argument in Sec. 4.3 is elegant: bounding pO − pO^cl via trace distance and a Lindbladian smearing, showing the penalty is O(η) unless the *cavity* is prepared with quantum resources scaling as 1/η. The decoherence calculation is done both perturbatively and exactly. Importantly, the authors close alternative explanations by carefully distinguishing what *any* classical ensemble can reproduce, rather than comparing to a single fixed classical state — precisely the error they diagnose in prior work. The appendices (exact multimode solution, cavity mode construction, Cramér's theorem for coherent-state uniqueness) reflect careful, complete scholarship.
The impact is likely to be substantial within the DM-detection and quantum-gravity-phenomenology communities. The paper directly and specifically engages roughly two dozen recent proposals (Parikh–Wilczek–Zahariade, Tobar et al.'s "single graviton detection," Kanno–Soda, Manikandan–Wilczek, and others), and argues they cannot establish field quantization. This is a corrective, agenda-setting intervention in a fast-growing subfield where enthusiasm has outpaced careful power-counting. If accepted, it reshapes how the community frames the goals of quantum-enhanced detectors: away from "proving gravity/axions are quantum" and toward distinguishing classical states and optimizing detection. It also lends theoretical weight to the alternative program of gravity-mediated entanglement tests. The unifying insight — classicality of ultralight DM arises from coarse-graining and weak coupling, not high occupancy — corrects a widely repeated justification in the most-cited axion reviews.
Highly timely. Squeezing and qubit-based readout are now deployed in HAYSTAC, ADMX-adjacent experiments, and LIGO; the "can we see gravitons/quantum axions" literature has exploded in the last five years. This paper arrives precisely as that literature needs a rigorous, unifying critique. The breadth of recent references (2024–2026) it addresses underscores its engagement with an active debate.
Strengths: Generality of the two obstructions; explicit, pedagogically clear derivations spanning quantum optics and particle physics; direct refutation of numerous specific claims with diagnosis of *where* each goes wrong; careful treatment of singular P-functions; honest cataloguing of loopholes (axion stars, monochromatic late-time sources, squeezed effective modes evading the CLT). The companion paper on continuous measurement extends robustness.
Limitations: The results are theoretical with no new experimental data; claims rest on the definition of nonclassicality as negative P-function, which the authors acknowledge is a choice (Sec. 6.3 discusses alternatives but does not fully resolve their equivalence). Some loophole scenarios (condensates, self-interactions) are treated heuristically rather than rigorously. The connection to the ℏ→0 / amplitudes definition of classicality (Britto–Gonzo, Cristofoli et al.) is flagged as unresolved. The "in principle overcome with 1/η quantum resources" caveat means the conclusion is a practical, not fundamental, impossibility — a nuance that could be contested. Finally, the framing as a refutation means part of its citation impact will be contested/adversarial rather than purely constructive.
Other observations: The paper is essentially a foundational reference for a subfield's methodology — future proposals will need to address its power-counting argument to be credible. It functions as a "building block" in the sense that its P-function suppression argument becomes a required check. Reproducibility is high for a theory paper: derivations are complete and self-contained. Resource intensity to engage is low (analytical). Interdisciplinarity is genuine: axion/DM phenomenology, gravitational-wave physics, quantum optics/information, and quantum-gravity foundations all intersect.
Overall, this is a rigorous, timely, and unusually consequential theoretical paper that both corrects a body of literature and clarifies foundational conceptual questions. Its main risk to impact is that it delivers a negative result, which may generate rebuttals; but even that dynamic guarantees engagement.
Generated Jul 31, 2026
Rigorous, timely unifying theory that refutes ~two dozen recent proposals and clarifies a foundational question spanning DM, GW, and quantum optics communities.