Spontaneous X-rays Exclude Gaussian Covariant Classical–Quantum Gravity

1 Introduction

Is gravity quantized? Entanglement witnesses aim to answer through the entanglement a gravitational interaction can create [1, 2]. Classical–quantum (CQ) gravity answers the other way: it keeps the metric classical and couples it to quantum matter by a linear, completely positive (CP) dynamics [3]. The price is fixed by positivity. A classical field that responds to quantum matter must diffuse, and the matter must decohere, with the product of the two bounded below: the decoherence–diffusion trade-off [4]. In the Newtonian limit the least decoherence allowed is the Diósi–Penrose rate [5, 6, 7], whose spontaneous X-ray emission is bounded by underground detectors [8, 9, 10].

A covariant version exists. Its diffusion kernel is quadratic in curvature, of DeWitt form \(\alpha R_{\mu\nu}R^{\mu\nu}-\beta R^2\) [11]; it is power-counting renormalisable with a positive scalar sector [12], and its scalar–vector–tensor decomposition shows a dynamical, stochastic conformal mode beside the spin-2 mode [13]. Its authors find it viable against matter-wave coherence, LISA Pathfinder and gravitational-wave data [13]. They find that with scale-independent couplings the integrated energy density of the stochastic gravitational waves would rule the theory out, and that asymptotic freedom [12] makes the coupling run [13]. Oppenheim and Panella expected anomalous heating bounds to be the most stringent [14], but did not compute them. They also noted that the tensor trade-off decoheres the strain components of the stress tensor, for example through \(T_{ij}T^{ij}\), so that it is unclear whether heating constrains the tensor coupling [14]. Diósi showed that the heating of Lorentz-invariant Markovian decoherence and diffusion diverges [17, 18].

This paper computes the keV matter noise of covariant CQ gravity and confronts it with the XENONnT spectrum [10]. The idea fits in one line. Lorentz invariance maps the laboratory band on which Newton’s law is tested, invariant lengths from 1 mm to 1 m, onto a thin strip next to the light cone at every X-ray energy; the trade-off forces noise on that strip; slow matter feels it through its rest mass and radiates it as keV photons. The number is \[\begin{equation} \frac{\int s\,du}{\text{XENONnT limit}}\;\geq\;\frac{\tfrac23\ln10^{6}}{7.7\times10^{-8}} \;=\;1.2\times10^{8}, \label{eq:headline} \end{equation}\] with \(s\) the matter noise in units of the Diósi–Penrose kernel and \(u=p^2\) the invariant momentum squared (Section 2). After a bound-electron envelope we quote the exclusion as \(\geq1.1\times10^{8}\). It holds for every DeWitt coupling, every regulator and every running coupling that depends on \(p^2\) alone, and it needs Lorentz invariance of the scalar sector only up to boosts \(\gamma=1.1\times10^{7}\).

The scalar exclusion has a precise escape: a frame acting on the scalar sector. One of the authors’ completions, which puts a unit timelike vector into the scalar weight [13], survives it; so does a preferred foliation of the Hořava type [24, 25]. Section 5 closes that escape with a second argument. General relativity’s response to a conserved near-null source is a pure tensor with a light-cone pole. The response-squared form of the trade-off holds for every positive diffusion weight, so no frame in the weight removes it. It assumes general relativity’s tensor propagator at keV momenta, but it needs no transfer of static tests through Lorentz boosts. The atom’s Coulomb field gives the tensor source an order-one share. Its margin, \(1.7\times10^{9}\), is an estimate, because the tensor conversion uses the elastic structure factor of an isolated atom. The two exclusions share several steps, which Section 5.5 lists; they are independent in the sense that different escapes defeat each.

What is not new.

The dynamical scalar is Oppenheim and Sajjad’s; its positivity is from [12]. So is the static scalar floor, a factor \(25/9\) above the tensor channel’s in their product of diffusion and decoherence; Remark 3.1(iii) gives its square root, \(5/3\), in our units [13]. That the tensor channel decoheres the transverse-traceless anisotropic stress is stated in [14] and [13]. The trade-off, and the remark that heating bounds on decoherence bound diffusion through it, are from [4]. The divergence of Lorentz-invariant Markovian heating is Diósi’s [17, 18]. The X-ray route was named in [14], and X-ray bounds on Newtonian CQ gravity follow from Tilloy and Diósi’s identification of its least-decoherence limit with the Diósi–Penrose model [6]. Gravitational-wave strain noise [19] and classical–quantum scattering [20] have been used against covariant CQ models by other routes. The conversion of noise into photons is Manti et al.’s [21]. What we add is the near-cone face of the conformal mode, the \(\alpha\)-independent floor that survives every \(p^2\)-only regulator, the tensor floor that survives every positive weight, the observation that an atom’s Coulomb field makes the tensor channel of order one at keV, and the quantitative XENONnT bounds. We found no earlier X-ray bound on covariant CQ gravity.

Section 2 sets up the Gaussian CQ dynamics and derives the trade-off at fixed momentum. Section 3 gives the scalar floor, Section 4 its conversion and the XENONnT exclusion, Section 5 the tensor exclusion, Section 6 the objections and the scope, and Section 7 what remains.

2 Gaussian classical–quantum dynamics and the trade-off

2.1 Conventions

Signature \((-,+,+,+)\); \(c=1\) in formulas, SI in numbers. For a four-momentum \(p=(\omega,\mathbf{k})\), \[\begin{equation} u\equiv p^2=k^2-\omega^2 , \label{eq:u} \end{equation}\] so \(u>0\) is spacelike and the light cone is \(u=0\). Matter noise acts on the rest-mass density \(\rho_{m}=-T^{\mu}{}_{\mu}\) and enters a branch pair through the decoherence exponent \(-\tfrac12\int d^4p\,(2\pi)^{-4}|\Delta\rho_{m}(p)|^2S(p)\). We quote it in units of the Diósi–Penrose kernel, \[\begin{equation} s\equiv\frac{\hbar S}{4\pi G},\qquad s_{\rm DP}=\frac{1}{k^2}\ \text{at }C=1,\qquad s=\frac{N}{4\pi\lP^2},\quad 4\pi\lP^2=\frac{4\pi\hbar G}{c^3}=3.28\times10^{-69}~\mathrm{m^2}, \label{eq:s} \end{equation}\] with \(N\) (m\(^4\)) a kernel per unit \(\rho_{m}^2\). The Newton form factor \(f(u)\) is the classically carried response relative to Newton’s, \(|f|=1\) where Newton’s law is tested. A margin is the lower bound on \(\int s\,du\) divided by the XENONnT upper limit on \(C\int s\,du\); a margin above one excludes.

2.2 The trade-off

In continuous (Gaussian) CQ dynamics [15, 4, 11] a classical record \(A\) couples to quantum matter branches \(m^\pm\) through three kernels: the decoherence kernel \(D_0\), the diffusion \(D_2\) of the record, and the drift \(D_1\) that carries the mean field. The weight on a branch pair is \[\begin{equation} W=\exp\Big\{-\tfrac12\Delta m\,D_0\,\Delta m -\tfrac12(A-D_1\bar m)\,D_2^{-1}(A-D_1\bar m) -\tfrac{i}{\hbar}\!\int\!\varphi\,\Delta m\Big\},\qquad \varphi=4\pi G\,G_{\rm ret}*A . \label{eq:weight} \end{equation}\] For a fixed record, \(W\) is a positive-definite kernel on path pairs on a region if and only if \[\begin{equation} K\equiv D_0-\tfrac14D_1^{\sf T}D_2^{-1}D_1\succeq0 \label{eq:tradeoff} \end{equation}\] on that region: the decoherence–diffusion trade-off [4, 11]. At \(\omega=0\) it states that a classical mediator’s noise is at least its full response, \(D\geq|\chi|/\hbar\), the static form of Tilloy and Diósi [6].

2.3 From regions to momenta

The trade-off \(\eqref{eq:tradeoff}\) is a statement about regions. The floors below need it momentum by momentum.

Lemma 2.1. Let \(D_0,D_1,D_2\) be translation invariant on Minkowski space, with locally integrable, polynomially bounded symbols on the physical record space, and let the dynamics be CP on every past region \(R=\{t_i<t<T\}\), with kernels on \(R\) the restrictions of the global ones. Then, for almost every \(p\), near-null \(p\) included, \[\begin{equation} \tilde D_0(p)\;\succeq\;\tfrac14\,\tilde D_1(p)^\dagger\,\tilde D_2(p)^{-1}\,\tilde D_1(p). \label{eq:tradeoff-p} \end{equation}\]

Proof. For \(A\succ0\), \(\langle\chi,A^{-1}\chi\rangle=\sup_\psi\,[2\langle\chi,\psi\rangle-\langle\psi,A\psi\rangle]\). CP on \(R\) therefore gives \(\langle f,D_0f\rangle\geq\tfrac14(2\langle D_1f,\psi\rangle-\langle\psi,D_2\psi\rangle)\) for every \(\psi\in C_c^\infty(R)\) and every \(f\) supported in \(R\); only \(D_1f\) on \(\operatorname{supp}\psi\) enters. For fixed \(f\), translation invariance lets \(R\) be shifted and enlarged to contain any compact set, so the inequality holds for every \(\psi\in C_c^\infty(\mathbb{R}^4)\). \(C_c^\infty\) is dense in the form domain of a tempered, locally integrable symbol and Plancherel holds in any signature, so the supremum is \(\tfrac14\int|\tilde D_1\tilde f|^2/\tilde D_2\,d^4p/(2\pi)^4\). Wave packets concentrated at \(p\) give \(\eqref{eq:tradeoff-p}\). ◻

Remark 2.1. On any fixed region the compressed kernel satisfies \((D_2|_R)^{-1}\prec(D_2^{-1})|_R\), and near the cone the gap is large; CP on one region does not imply \(\eqref{eq:tradeoff-p}\). CP on every region does. A packet at \(u=1~\mathrm{m^{-2}}\) on the 140 keV shell needs a null extent \(k/u=7.1\times10^{11}\) m, far below the Hubble length, so the finite age of the universe does not reopen the gap. A kernel that is CP region by region but not translation invariant carries an origin or a frame; it belongs to the shielded class of Section 6.

The same steps at one momentum give the response form of the trade-off. With \(S(J)=\langle J,D_0J\rangle+c^2\langle GJ,D_2GJ\rangle\) the total noise on a source \(J\), \(c=4\pi G/\hbar\) and \(G\) the propagator of the mean field, Cauchy–Schwarz in the \(D_2\) inner product and the arithmetic–geometric mean inequality give \[\begin{equation} S(J)\;\geq\;c\,\big|\langle D_1J,GJ\rangle\big| , \label{eq:response-form} \end{equation}\] whatever the form of \(D_2\). In units \(\eqref{eq:s}\) this reads \(s\geq|f|/u\) for a scalar source with a retarded drift (retarded and advanced agree at spacelike \(p\)). Static Newton fixes \(|f(u)|=1\) on \(u\in[1,10^{6}]~\mathrm{m^{-2}}\).

3 The scalar strip

3.1 The covariant diffusion and the conformal mode

Linearised about Minkowski space, covariant CQ gravity gives the metric perturbation \(h\) the weight [11, 12, 13] \[\begin{equation} \exp\Big\{-\tfrac12\!\int\!\big(\alpha R_{\mu\nu}R^{\mu\nu}-\beta R^2\big)\Big\},\qquad b\equiv\beta/\alpha<\tfrac13 , \label{eq:dewitt} \end{equation}\] a diffusion with DeWitt form \(D_2^{-1}=\alpha I-\beta\eta\eta\). The explicit decoherence term is \(\tfrac18\Delta T\,D_0\,\Delta T\) with \(D_0\succeq64\pi^2G^2D_2^{-1}\), saturated by the authors. Matter couples through \(\tfrac12h_{\mu\nu}T^{\mu\nu}\). In the scalar–vector–tensor split \(\psi\) and \(h^{\mathrm{TT}}\) are dynamical and the Bardeen potential \(\Phi\) and the vector \(V_i\) are constraints [13]. The scalar correlator is [13] \[\begin{equation} \langle\Phi\Phi\rangle=\frac{3}{2\alpha k^4} +\frac{1}{\alpha p^4}\Big[\frac{\omega^2}{k^2}+\frac{-3\alpha+10\beta}{4(\alpha-3\beta)}\Big]. \label{eq:phiphi} \end{equation}\] We rederived \(\eqref{eq:phiphi}\) from the quadratic form of \(\eqref{eq:dewitt}\), with the four gauge modes removed and the Bardeen functionals \(\Phi=\tfrac12h_{00}+\tfrac{\omega}{k}\hat k\cdot h_0+\tfrac{3\omega^2}{4k^2}(\hat k\hat k-\tfrac13\delta){:}h\), \(\psi=\tfrac14(\delta-\hat k\hat k){:}h\).

Proposition 3.1. On the strip \(u\ll k^2\), \[\begin{equation} \langle\Phi\Phi\rangle=\frac{c_d(b)}{\alpha u^2}-\frac{1}{\alpha k^2u}+O(1),\qquad c_d(b)=\frac{1-2b}{4(1-3b)}, \label{eq:cd} \end{equation}\] with \(c_d\in[\tfrac16,\tfrac12]\) for \(b\leq\tfrac14\). At every \(p\), \(\langle(\Phi+\psi)^2\rangle=3/(2\alpha k^4)\), so that \[\begin{equation} \frac{\langle(\Phi+\psi)^2\rangle}{\langle\Phi^2\rangle}=\frac{3}{2c_d}\Big(\frac{u}{k^2}\Big)^2\big[1+O(u/k^2)\big] \leq9\Big(\frac{u}{k^2}\Big)^2\big[1+O(u/k^2)\big]. \label{eq:conformal} \end{equation}\] Near the cone \(h_{\mu\nu}\approx2\psi\eta_{\mu\nu}\): a conformal mode.

Proof. At \(p^4=u^2\) and \(\omega^2/k^2=1-u/k^2\) the bracket of \(\eqref{eq:phiphi}\) is \(1+\frac{-3+10b}{4(1-3b)}-\frac{u}{k^2}=\frac{1-2b}{4(1-3b)}-\frac{u}{k^2}\), which gives \(\eqref{eq:cd}\). For \(\Phi+\psi\): on \(h=2\sigma\eta\) the functionals give \(\Phi=-\sigma\), \(\psi=\sigma\), so \(\Phi+\psi\) is gauge and Weyl invariant. At quadratic order \(R_{\mu\nu}R^{\mu\nu}=\tfrac12C_{\mu\nu\rho\sigma}C^{\mu\nu\rho\sigma}+\tfrac13R^2\) up to a total derivative, so the weight is \(\tfrac\alpha2C^2+\alpha(\tfrac13-b)R^2\) with both coefficients positive for \(b<\tfrac13\). On the scalar sector, where \(\Phi+\psi\) lives and the weight is positive, the variance of a linear functional \(L\) is \(\sup_h(Lh)^2/(\text{weight})\); over all \(h\) the supremum would be infinite, since the vector weight is negative at spacelike \(p\) (Section 6.2). Since \(R(2\sigma\eta)\propto p^2\sigma\neq0\) off the cone, every \(h\) can be shifted along the conformal direction to \(R=0\) without changing \(L=\Phi+\psi\) or \(C\); the supremum is therefore attained at \(R=0\), and it does not depend on \(b\). Evaluating the quadratic form gives \(3/(2\alpha k^4)\) (checked numerically to \(2\times10^{-9}\) over \(b\in[-100,0.33]\) and \(\omega/k\in[0,3]\)). Dividing by \(\eqref{eq:cd}\) and using \(c_d\geq\tfrac16\) for every \(b<\tfrac13\) gives \(\eqref{eq:conformal}\). ◻

3.2 Coupling: rest mass, not Maxwell

On a conserved near-null source (Section 3.4) \[\begin{equation} \tfrac12h_{\mu\nu}J^{\mu\nu}=(\Phi+\psi)\rho-\psi\rho_{m}\;\approx\;\Phi\,\rho_{m}, \label{eq:coupling} \end{equation}\] so the mode couples to the rest-mass density \(\rho_{m}=-T^\mu{}_\mu\); the traceless electromagnetic binding fields drop out. A slow particle has geodesic acceleration \(\mathbf a=-\nabla\Phi\). Maxwell’s equations are conformally invariant in four dimensions, so the photon field does not see the mode: in conformal variables Maxwell is flat and the rest mass varies, a slow charge has coordinate acceleration \(-\nabla\Phi\) and radiates by Larmor, with no Coulomb-scattering term to cancel it. The non-conformal remainder is \(O(u/k^2)\), \(3.9\times10^{-16}\) at 10 keV at the top of the band, \(u=10^6~\mathrm{m^{-2}}\). Near the cone the scalar sector of covariant CQ gravity acts on slow matter as a stochastic Nordström field.

3.3 The mean field is shielded; the noise is not

General relativity’s retarded response of \(\Phi\) to any conserved source \((\rho,\tau_{ij})\) is \[\begin{equation} \frac{\Phi_{\rm resp}}{16\pi G}=\frac{1}{k^2}\Big[-\frac{\rho-\operatorname{tr}\tau}{4}+\frac{\rho u}{2k^2}\Big], \label{eq:shield} \end{equation}\] with no pole at \(u=0\): the instantaneous Poisson constraint at every \(\omega\). The \(1/u\) response sits in the tensor channel (Section 5). The response form \(\eqref{eq:response-form}\) therefore gives slow matter no near-cone floor. The floor comes from the diffusion structure \(\eqref{eq:dewitt}\), through both channels at once.

3.4 The conserved near-null source

At near-null \(p\) every conserved source has the form \[\begin{equation} J=A\,ll+B\,(le+el)+C_{ab}\,e_ae_b,\qquad l=\big(1,\tfrac{\omega}{k}\hat k\big),\quad l\cdot l=-\frac{u}{k^2},\quad e_a\perp\hat k , \label{eq:source} \end{equation}\] and conservation forces \(T^{0z}\approx T^{00}\). For a slow atom the relevant source is the transition element \(\langle f\gamma|T^{\mu\nu}(p)|0\rangle\) of the full emission process. It includes the photon and the Maxwell stress of the atom’s Coulomb field and is conserved because the total \(T\) is, so \(\eqref{eq:source}\) is a property of the amplitude, not of the kinetic stress of the atom. The trace sits in the transverse block, \(\operatorname{tr}C=T+Au/k^2\approx-\rho_{m}\). Write \(\kappa\equiv C{:}C/\rho_{m}^2\geq\tfrac12\), with equality when the traceless part \(C^{\mathrm{TT}}\) vanishes. The saturated explicit kernel per \(\alpha\) splits as \[\begin{equation} \frac{N}{\alpha}=J{:}J-bT^2=\big(\tfrac12-b\big)(\operatorname{tr}C)^2+C^{\mathrm{TT}}{:}C^{\mathrm{TT}} -2B^2\frac{u}{k^2}+(1-b)A^2\frac{u^2}{k^4}+2bA\operatorname{tr}C\,\frac{u}{k^2}. \label{eq:split} \end{equation}\] The \(ll\) part, which carries \(T^{00}\), \(T^{0z}\) and \(T^{zz}\) together, has weight \((1-b)u^2/k^4\leq(1-b)\,1.5\times10^{-27}\) for \(u\leq10^6~\mathrm{m^{-2}}\) and \(k\geq k(1~\mathrm{keV})=5.07\times10^{9}~\mathrm{m^{-1}}\): the energy density carries none of the floor. The trace enters with weight \(\tfrac12-b>0\), the anisotropic stress with weight one, and the \(B\) term, the non-positive direction of the DeWitt form, at \(O(u/k^2)\).

3.5 The floor

Theorem 3.2. Let the CQ dynamics be Gaussian, translation invariant and CP on every past region, with matter coupled through \(\tfrac12h_{\mu\nu}T^{\mu\nu}\) and Newton’s force carried by the classical field. Let the diffusion weight on physical modes be \(D_2^{-1}=a_2(p^2)P^{(2)}+a_0(p^2)P^{(0s)}\) with \(a_2,a_0>0\), the DeWitt form \(\eqref{eq:dewitt}\) included. Then on the conserved near-null source \(\eqref{eq:source}\) \[\begin{equation} s(u)\;\geq\;\frac23\,\frac{|f(u)|}{u}\,\big[1+O(u/k^2)\big] \label{eq:floor} \end{equation}\] for every \(\alpha\), every \(b<\tfrac13\) and every \(p^2\)-dependent regulator or running of \(a_2,a_0\).

Proof. For the DeWitt weight the two channels on the same source are \[\begin{equation} s_{\rm exp}=4\pi\lP^2\,\alpha(\kappa-b)\,|f|^2,\qquad s_{\rm dyn}=\frac{\kappa-\frac{1-4b}{4(1-3b)}}{4\pi\lP^2\,\alpha\,u^2}, \label{eq:channels} \end{equation}\] the first from \(\eqref{eq:split}\) with \(D_0\) saturating \(\eqref{eq:tradeoff-p}\) (Lemma 2.1), the second from \(\eqref{eq:cd}\) on the source. Both increase with \(\kappa\), so their product is least at \(\kappa=\tfrac12\): \[\begin{equation} s_{\rm exp}\,s_{\rm dyn}\geq\big(\tfrac12-b\big)c_d\,\frac{|f|^2}{u^2} =\frac{\tilde g^2|f|^2}{4u^2},\qquad \tilde g^2=\frac{(1-2b)^2}{2(1-3b)}\geq\frac49 , \label{eq:product} \end{equation}\] with the minimum at \(b=\tfrac16\). The product does not contain \(\alpha\), and \(s\geq2\sqrt{s_{\rm exp}s_{\rm dyn}}=\tilde g|f|/u\geq\tfrac23|f|/u\). For general positive \((a_2,a_0)\) the invariant form on conserved sources is \(\tfrac14J\langle hh\rangle J=(x_2/a_2+x_0/4a_0)/p^4\) with \(x_2=J\cdot P^{(2)}\cdot J\) and \(x_0=T^2/3\), and Cauchy–Schwarz gives \[\begin{equation} (a_2x_2+a_0x_0)\Big(\frac{x_2}{a_2}+\frac{x_0}{4a_0}\Big)\geq\big(x_2+\tfrac12x_0\big)^2\geq\frac{\rho_{m}^4}{9}, \label{eq:cs} \end{equation}\] since at \(\kappa\geq\tfrac12\), \(x_0=\rho_{m}^2/3\) and \(x_2\geq\rho_{m}^2/6\). The DeWitt weight at \(b=\tfrac16\) attains the bound. ◻

Remark 3.1. (i) The floor \(\eqref{eq:floor}\) is not the square of a response: the scalar response is shielded \(\eqref{eq:shield}\). It needs a weight diagonal in the Lorentz-invariant projectors. A frame in the scalar weight breaks this structure; Section 6.5 lists what that costs. (ii) At \(b\to\tfrac13^-\) the factor \(\tilde g^2\) rises monotonically from its minimum and diverges; at \(b=\tfrac13\) the scalar is Weyl-degenerate and unweighted, and \(b>\tfrac13\) is not positive. Nothing opens at the edge. Hirotani and Matsumura report that a strain-noise term vanishes at \(\beta=\tfrac13\) [19]; that factor comes from a non-conserved stochastic source in harmonic gauge, and on the conserved source \(\eqref{eq:source}\) the physical scalar weight is \(a_0=\alpha-3\beta\). (iii) At \(\omega=0\) conservation gives \(\kappa=1\) and the floor is \(\sqrt{(1-b)(3-8b)/(1-3b)}/k^2\geq\tfrac53/k^2\), above the static mediator value \(1/k^2\). This static floor is Oppenheim and Sajjad’s [13]. With \(x=1-3b\), \((1-b)(3-8b)/(1-3b)=(1+8x)(2+x)/(9x)\) is their ratio of the scalar channel’s product of diffusion and decoherence to the tensor channel’s, whose minimum \(25/9\) at \(b=\tfrac16\) they give. The noise floor is its square root, because the least noise is twice the geometric mean of the two channels.

3.6 The integrated floor

Newton’s law is tested with \(|f|=1\) from 1 mm to 1 m, that is \(u\in[1,10^6]~\mathrm{m^{-2}}\). By Lorentz invariance of the scalar weights this band is a near-cone strip at every photon energy, and \[\begin{equation} \int s\,du\;\geq\;\frac23\ln10^{6}=9.21 . \label{eq:int-floor} \end{equation}\] For a theory whose classical field couples to the trace alone (Nordström-type CQ gravity [16]) the response form \(\eqref{eq:response-form}\) applies directly, \(s\geq|f|/u\), and \(\int s\,du\geq\ln10^6=13.8\).

4 X-ray conversion and the XENONnT exclusion

4.1 The emission rate

For Gaussian noise on the mass density with \(\langle\varphi\varphi\rangle(\mathbf q)=\hbar^2D(\mathbf q)\), every particle receives the mass-independent acceleration \(-\nabla\varphi\). Closure over atomic final states gives the photon spectrum per atom \[\begin{equation} \frac{d\Gamma}{dE}=\frac{e^2\hbar}{4\pi^2\varepsilon_0c^3E}\int\!\frac{d^3q}{(2\pi)^3}\, D(\mathbf q)\,q^2\,\big\langle\sin^2\!\angle(\mathbf q,\mathbf k)\;S(|\mathbf q-\mathbf k|)\big\rangle_{\hat k}, \qquad k=\frac{E}{\hbar c}, \label{eq:rate} \end{equation}\] with \(S(Q)=|Z-F(Q)|^2+\sum_an_a(1-f_a^2)\) the charge structure factor of the atom. This is Manti et al.’s rate for a stationary correlation [21] evaluated on the near-cone correlation; for smooth noise it reduces to the Diósi–Penrose pair formula used in the published bounds [8, 10]. There is no atomic cancellation at keV: a shaken neutral atom radiates through \(Z-F(Q)\), which vanishes only as \(Q\to0\).

Near-cone noise has \(|\mathbf q|=k\) and is isotropic, so the structure factor is sampled at the Thomson momentum transfer \(Q=2k\sin(\theta/2)\). Relative to the uncorrelated value \(Z^2+Z\), \[\begin{equation} A_{\rm cone}(E)=\frac{\big\langle\tfrac32\sin^2\theta\;S(2k\sin\tfrac\theta2)\big\rangle}{Z^2+Z}. \label{eq:acone} \end{equation}\] For an isolated local-density xenon atom:

\(E\) (keV) 1 10 30 50 140
\(A_{\rm cone}\) 0.002 0.258 0.633 0.786 0.955

The emission integral \(I(E)=2\pi\int(u+E^2)^{3/2}s\,du\geq2\pi E^3\int s\,du\) makes the \(E^2A_{\rm cone}\) template a lower bound on the signal.

4.2 The trace converts like the conformal mode

The floor of Theorem 3.2 sits on the explicit channel’s coupling to \(\operatorname{tr}C=-\rho_{m}\). Noise on that trace is the transverse-trace metric \(h_{ab}=\chi\delta_{ab}\) (\(a,b\perp\hat q\)), whose Bardeen potentials are \[\begin{equation} \Phi=-\frac{\chi\omega^2}{2q^2},\qquad\psi=\frac{\chi}{2},\qquad\Phi+\psi=\frac{\chi u}{2q^2}, \label{eq:trace-mode} \end{equation}\] the conformal mode near the cone. For a metric mode acting on charges at rest with charge form factor \(R(Q)\), linearised geodesics and the linearised constitutive relations of the Coulomb field give a radiated field \(\propto\hat k\times\mathbf J\) with \[\begin{equation} \mathbf J=R(Q)\Big[\mathbf v+\omega\,\frac{\Delta\varepsilon\cdot\mathbf Q}{Q^2} -\frac{\mathbf k\times(\mathbf g\times\mathbf Q)}{Q^2}\Big],\qquad \Delta\varepsilon=\big(\tfrac12h_{00}+\tfrac12\operatorname{tr}h\big)\mathbb 1-h_{ij},\quad g_i=h_{0i}, \label{eq:amplitude} \end{equation}\] \(\mathbf v\) the geodesic velocity. The last two terms are the Maxwell stress of the atom’s own Coulomb field. \(\mathbf J\) is invariant under \(h\to h+i(p\zeta+\zeta p)\) for any \(\zeta\) and off-shell \(\mathbf q\). For the trace mode \(\eqref{eq:trace-mode}\) it equals the Larmor amplitude of the conformal kick up to a relative remainder \(\leq3u/Q^2\). In the gauge where the noise couples only to stresses, the photon comes from the Coulomb field’s Maxwell stress, which is of order one, not from the particles’ kinetic stress, which is of order \(v^2/c^2\). Because the Maxwell stress tensor is traceless, the trace the floor uses is the rest-mass trace whether or not the noise couples to the Coulomb field. The floor and the field noise share one conversion, \(A_{\rm cone}\).

4.3 The limit

We use a profile likelihood of the XENONnT SR0 spectrum [10]: 84 bins from 1 to 140 keV, 8 profiled background components, an efficiency nuisance, 1.16 t y, one-sided 95% CL. Without calibration it reproduces the published Diósi–Penrose limit at \(C=1\) as \(R_0>4.483\) Å against the published 4.5 Å. The margins below use the uncalibrated likelihood; the calibration factor 1.0115 that closes the gap would raise every margin by that factor. For the \(E^2A_{\rm cone}\) template, with \(A_{\rm cone}\) interpolated through the five tabulated points, \[\begin{equation} C\int s\,du\;<\;7.7\times10^{-8}\qquad(\text{without the atomic factor: }7.4\times10^{-8}). \label{eq:limit} \end{equation}\]

4.4 The margins

XENONnT margins: lower bound on \(\int s\,du\) divided by the limit \(\eqref{eq:limit}\). Rows 1 and 4 need neither \(\alpha\) nor any coherence bound; row 2 needs neither the trade-off nor the explicit-channel vertex.
Row, applies to \(\int s\,du\geq\) Margin
1 Floor \(\eqref{eq:floor}\) on \(u\in[1,10^6]~\mathrm{m^{-2}}\): every \(\alpha\), \(b<\tfrac13\), every invariant \((a_2,a_0)\) 9.21 \(1.19\times10^{8}\)
2 Field noise alone, constant couplings at the coherence edge \(D_{2,\rm scalar}\geq10^{-71}\) \(1.9\times10^{-4}\) \(2.5\times10^{3}\)
3 Invariant \(\varepsilon\) prescription, \(\langle\Phi\Phi\rangle=D_G/(p^4+\varepsilon^2)\), \(D_G\geq10^{-71}\) \(3.05\times10^{-3}\) \(3.9\times10^{4}\)
4 Trace-coupled (Nordström-type) CQ, \(s\geq|f|/u\) 13.8 \(1.79\times10^{8}\)

Table 1 collects the margins. Row 1 is \(\eqref{eq:int-floor}\). Row 2 integrates the field noise \(c_d/(\alpha u^2)\) from \(u=1~\mathrm{m^{-2}}\): \(\int s\,du=(c_d/\alpha)/(4\pi\lP^2\cdot1~\mathrm{m^{-2}})\). At fixed scalar diffusion constant \(D_{2,\rm scalar}=(3\alpha-8\beta)/(\alpha(\alpha-3\beta))\), bounded below by matter-wave coherence [14, 13], \(\min_b(c_d/\alpha)/D_{2,\rm scalar}=\tfrac1{16}\), reached as \(b\to-\infty\); at \(b=0\) the margin is larger. Row 3 is the regulated form of [12] at the same coherence edge. Row 4 is the response form \(\eqref{eq:response-form}\) for a scalar source.

Varying the inputs: the elastic structure factor alone gives \(1.18\times10^{8}\) for row 1. An envelope for the order-\(v^2/c^2\) correction of bound electrons to the coherent amplitude, \(c_v\in[-3,3]\) times the kinetic form factor, spans \(1.11\)–\(1.27\times10^{8}\). We quote row 1 as \(\geq1.1\times10^{8}\).

4.5 The boost the exclusion needs

The full margins use the strip up to 140 keV, which maps \(u=1~\mathrm{m^{-2}}\) onto the photon shell with a boost \(k/\sqrt u=7.1\times10^{11}\). Exclusion needs far less. If the scalar sector is Lorentz invariant only up to \(\gamma_{\max}\), the usable strip at energy \(E\) is \(u\geq(k/\gamma_{\max})^2\), and the refit gives:

\(\gamma_{\max}\) \(10^{9}\) \(10^{8}\) \(1.2\times10^{7}\) \(10^{7}\)
floor margin \(8.3\times10^{6}\) \(1.6\times10^{4}\) 2.1 0.68

The floor margin reaches one at \(\gamma_{\max}=1.1\times10^{7}\); the constant-coupling window (row 2) at \(\gamma_{\max}=1.6\times10^{10}\).

5 The tensor strip: a second exclusion

The scalar floor needs a diffusion weight that is diagonal in the Lorentz-invariant projectors, and it needs Lorentz invariance to carry Newton’s tested band to the light cone. A frame in the scalar weight removes it (Section 6.5). This section shows that the tensor sector gives an exclusion that uses neither step.

5.1 The response is a tensor

Normalised so that a static density gives Newton’s response, \(\chi=\rho^2/k^2\), the response of general relativity to a conserved source is \[\begin{equation} \chi(J)=\frac{2\,(J{:}J-\tfrac12T^2)}{u}. \label{eq:gr-response} \end{equation}\] On the near-null source \(\eqref{eq:source}\), the split \(\eqref{eq:split}\) at \(b=\tfrac12\) gives \[\begin{equation} J{:}J-\tfrac12T^2=C^{\mathrm{TT}}{:}C^{\mathrm{TT}}-2B^2\frac{u}{k^2}+\frac12A^2\frac{u^2}{k^4}+A\operatorname{tr}C\,\frac{u}{k^2}, \qquad \chi(J)=\frac{2\,C^{\mathrm{TT}}{:}C^{\mathrm{TT}}}{u}+O\big(k^{-2}\big). \label{eq:tt-response} \end{equation}\] The light-cone pole that the scalar response lacks \(\eqref{eq:shield}\) is entirely in the transverse-traceless block. It is the propagator of the theory’s own mean field: in the covariant theory the classical Einstein equation; in a theory with a preferred foliation, \(1/(c_T^2k^2-\omega^2)\) with \(|c_T-1|\lesssim10^{-15}\) [26]. For \(c_T\neq1\) the strip sits on the spacelike side of the tensor cone, where the response is real, and the near-null relations \(\eqref{eq:source}\) hold to \(O(|c_T-1|)\).

5.2 The floor holds for every weight

Theorem 5.1. Assume

  1. Gaussian CQ dynamics, translation invariant and CP on every past region;

  2. a drift whose response on conserved sources at the near-null momentum \(p\) is the tensor response \(\eqref{eq:tt-response}\);

  3. matter coupled through \(\tfrac12h_{\mu\nu}T^{\mu\nu}\) to the total conserved \(T^{\mu\nu}\), the atom’s Coulomb field included.

Then for every positive diffusion kernel \(D_2\), Lorentz invariant or carrying any frame, the matter noise on every unit transverse-traceless polarisation \(e\) obeys, in units \(\eqref{eq:s}\), \[\begin{equation} s_e(u)\;\geq\;\frac{2}{u}. \label{eq:tt-floor} \end{equation}\]

Proof. Lemma 2.1 uses only (T1) and gives \(\eqref{eq:tradeoff-p}\) at \(p\). The response form \(\eqref{eq:response-form}\) follows from it by Cauchy–Schwarz in the \(D_2\) inner product and needs only \(D_2\succ0\). For \(J=e\), \(e{:}e=1\), it gives \(s_e\geq|\chi(e)|=2/u\) by \(\eqref{eq:tt-response}\). ◻

Remark 5.1. Theorem 3.2 and Theorem 5.1 differ in what they square. The scalar floor is not the square of a response, because the scalar response is shielded; it is the product of two channels whose weights must be diagonal in the invariant projectors. The tensor floor is the square of a response, and Cauchy–Schwarz holds in any positive inner product. A frame in the weight changes which inner product is used, not the bound.

5.3 Conversion of tensor noise

The tensor noise is a random metric field on the transverse block, \(h_{ab}=\sum_e\xi_ee_{ab}\), with orthonormal polarisations \(e\) and variances \(N_e\). Through the amplitude \(\eqref{eq:amplitude}\), a tensor mode acts on an atom at rest through the Maxwell stress of its Coulomb field; the particles’ kinetic stress gives only order \(v^2/c^2\). Per unit variance on orthonormal components the angular weights of \(|\hat k\times\mathbf J|^2\) are \(\sin^2\theta/8\) for the trace and, for the two tensor polarisations summed and averaged over azimuth, \(\sin^2\theta\,(1-\tfrac12\sin^2\theta)/\big(4(1-\cos\theta)^2\big)\); after the azimuthal average there are no trace–tensor cross terms. With the elastic structure factor the ratio of tensor to trace emission is \[\begin{equation} X_{\rm TT}(E)=\frac{2\big\langle\sin^2\theta\,(1-\tfrac12\sin^2\theta)\,S_{\rm el}(Q)/(1-\cos\theta)^2\big\rangle} {\big\langle\sin^2\theta\,S_{\rm el}(Q)\big\rangle},\qquad Q=2k\sin\tfrac\theta2 , \label{eq:xtt} \end{equation}\]

\(E\) (keV) 5 10 30 140
\(X_{\rm TT}\) 1.62 2.29 4.27 9.60

\(S_{\rm el}=|Z-F|^2\) is the exact ground-to-ground factor of the atom, so the elastic conversion needs no closure; the inelastic channels only add to it, so the elastic value is the lower side. The conversion is forward peaked. In liquid xenon inter-atomic interference acts at \(Q<2\) Å\(^{-1}\), which holds 23%, 7%, 1.6% and 0.5% of the numerator of \(\eqref{eq:xtt}\) at 5, 10, 30 and 140 keV; it is immaterial at the energies that set the limit.

Proposition 5.2. Under Theorem 5.1 the photon rate from tensor noise is at least the rate of trace noise with \[\begin{equation} s_{\rm eq}(u)=\frac{X_{\rm TT}(E)}{u}=\frac32\,X_{\rm TT}(E)\times\frac{2/3}{u}. \label{eq:s-eq} \end{equation}\]

Proof. Let \(N_{ee'}\) be the noise covariance on orthonormal polarisations, of any form. The coupling \(\tfrac12h{:}J\) gives the decoherence \(\lambda\sum_{ee'}N_{ee'}J_eJ_{e'}\) with \(J_e=e{:}J\) and \(\lambda=\tfrac14\). The trace polarisation is \(e_{\rm tr}=\delta_{ab}/\sqrt2\), so \(J_{\rm tr}=\operatorname{tr}C/\sqrt2=-\rho_{m}/\sqrt2\) and \(s=\lambda N_{\rm tr}/2\): trace noise of strength \(s\) has variance \(2s/\lambda\). In the emission, the azimuthal integral over photon directions removes every cross conversion identically, whatever the azimuthal structure of \(N\): the trace–tensor term is \(\propto\cos\theta\sin\theta\cos2\phi\) and the \(+\times\) term \(\propto\sin^2\theta\cos2\phi\sin2\phi\), as the helicities \(0\) and \(\pm2\) about \(\hat q\) require. Only the diagonal \(N_{ee}\) enter, and by \(\eqref{eq:tt-floor}\) \(\lambda N_{ee}\geq2/u\) for each tensor polarisation. The tensor emission is therefore at least \((2/\lambda u)\) times the summed tensor conversion, which is \(X_{\rm TT}\) times the trace conversion per unit variance. That equals the emission of trace noise with \(s=X_{\rm TT}/u\). ◻

5.4 The margin

The template is the one of Section 4 with \(A_{\rm cone}\) restricted to its elastic part and multiplied by \(X_{\rm TT}(E)\), refitted to the same likelihood. The product \(A_{\rm cone}^{\rm el}X_{\rm TT}=3\langle\sin^2\theta(1-\tfrac12\sin^2\theta)S_{\rm el}/(1-\cos\theta)^2\rangle/(Z^2+Z)\) cancels the trace conversion, so the tensor template uses no conformal-mode input. Two bands:

  1. Newton’s band, \(u\in[1,10^6]~\mathrm{m^{-2}}\), the band of the scalar floor. The margin is \(1.7\times10^{9}\) (median expected \(9.8\times10^{8}\)). Divided by the elastic scalar margin \(1.18\times10^{8}\) and by \(\tfrac32\), it gives a template-weighted \(X_{\rm TT}=9.4\); that number is an output of the refit, not an input.

  2. The tensor’s own band. The tensor response is the theory’s propagator, not a static test carried to the cone, so the band need not stop at \(10^6~\mathrm{m^{-2}}\). On \(u\in[1~\mathrm{m^{-2}},10^{-2}k^2]\), where the near-null relations hold to 1%, the margin is \(6.0\times10^{9}\); at 140 keV the logarithm is 50.0 instead of 13.8. We keep the lower end at \(1~\mathrm{m^{-2}}\). Below it the wave packets of Lemma 2.1 approach the Hubble length; at the cosmological friction scale \(u_\eta=2kH_0/c=1.0\times10^{-14}~\mathrm{m^{-2}}\) (140 keV) they reach it.

Both bands use the spacelike side of the pole only. On the timelike side \(|\chi|=2/|u|\) as well, so including it would double every tensor margin; we leave that factor out to keep the same one-sided band as the scalar strip. Setting the normalisation \(\tfrac32\) to one and freezing \(X_{\rm TT}\) at its 5 keV value gives \(1.9\times10^{8}\). That number tests sensitivity to those two inputs only; it is not a floor against the real uncertainties, which are the atom model and (T3).

Remark 5.2. Theorem 5.1 is exact under (T1)–(T3), and the normalisation of Proposition 5.2 follows from the coupling. The margin is an estimate for two reasons. (i) \(X_{\rm TT}\) uses the elastic structure factor of an isolated local-density atom and the near-cone kinematics. The elastic factor is exact for that atom and needs no closure, and the inelastic part only adds; a full calculation would raise the margin, not lower it. (ii) Assumption (T3) is about how classical gravity couples to field energy. The equivalence principle fixes the coupling to the Coulomb field’s energy, which is part of every atom’s mass. Spatial diffeomorphisms, which a preferred foliation keeps, give only \(\partial_0T^{0j}+\partial_iT^{ij}=0\); for a static atom \(T^{0j}=0\), so the total stress it couples must be divergence-free. Kinetic and Coulomb stress separately have divergence \(\mp\) the Lorentz force density, so keeping one without the other breaks the symmetry a foliation keeps. A model could still drop the Coulomb stress. The tensor mode then reaches the atom only through the particles’ kinetic stress. In the gauge where the noise is \(h_{ab}\) alone, it changes an electron’s velocity by \(\delta\mathbf v=-h\cdot\mathbf v\), an incoherent current whose elastic part vanishes. With closure over final states and isotropic orbitals, the two polarisations give \(|\hat k\times\mathbf J|^2=\tfrac23\sum\langle v^2/c^2\rangle(1-\tfrac12\sin^2\theta)\) per unit variance, with \(\sum\langle v^2/c^2\rangle=0.77\) for the local-density xenon atom. The tensor template becomes the constant \(\tfrac{16}3\sum\langle v^2/c^2\rangle/(Z^2+Z)=1.4\times10^{-3}\) in place of \(A_{\rm cone}^{\rm el}X_{\rm TT}\), and the Newton-band margin is \(2.6\times10^{5}\). The estimate keeps the floor \(\lambda N_{ee}\geq2/u\), which was derived for conserved sources. This is a rough estimate: without (T3) the source is not conserved and the result depends on the gauge in which the coupling is written. On this estimate, dropping the Coulomb field alone does not escape; a coupling blind to the atom’s stress altogether would.

5.5 What the two exclusions share

The two exclusions share Lemma 2.1, the emission rate \(\eqref{eq:rate}\), the local-density xenon atom, the coupling \(\tfrac12h_{\mu\nu}T^{\mu\nu}\), linearisation, the Gaussian class, translation invariance, and the XENONnT likelihood. Each also assumes that the mean field of its own sector is that of general relativity. The tensor exclusion does not use the projector-diagonal weight of Theorem 3.2, the Lorentz transfer of Newton’s band (no boost \(\gamma\) appears), or the conformal-mode conversion. In exchange it assumes that general relativity’s tensor propagator holds at keV momenta. Gravitational-wave observations test that propagator only at photon-equivalent energies more than fifteen orders of magnitude lower, so this is an assumption, not a measured fact. The exclusions are independent in this sense: different escapes defeat each.

Escape Scalar exclusion Tensor exclusion
A frame in the scalar weight removed survives
A non-perturbative scalar mass removed survives
A tensor sector off the light cone at keV survives removed
A coupling blind to the atom’s stress survives removed
Lemma 2.1, the atom model or the Gaussian class removed removed

5.6 What it excludes, and what escapes

Under (T1)–(T3) and a tensor sector that is that of general relativity at keV momenta, the tensor floor excludes the published covariant theory, both completions proposed by its authors (a unit timelike vector in the scalar and vector weights, and in the vector weight only [13]), and classical CQ gravity with a dynamical preferred foliation. In the last case the foliation removes the scalar strip, because the Bardeen potential’s response in the preferred frame has no light-cone pole, but the tensor propagator keeps its pole with \(c_T=1\) to \(10^{-15}\).

The tensor floor is escaped only by leaving (T2) or (T3):

A scalar mass, which Section 6 leaves open for the scalar strip, does not act on the tensor sector and does not escape the tensor floor.

6 Objections and scope

6.1 X-ray bounds constrain white noise only

Curceanu et al. stress that X-ray bounds constrain Markovian, effectively white noise, and that suppressing the spectrum at high frequency can weaken them [22]; Vinante and Ulbricht make the same point for heating [23]. The caveat concerns spectra suppressed at high frequency. The near-cone spectrum is fixed by the theory: at frequency \(\omega\) the force-noise density is \(\int d^3q\,q^2S\propto\omega^3\int s\,du\), which is blue, and Lorentz invariance places its support at keV. The emission rate \(\eqref{eq:rate}\) uses the spectral density at \(\omega=E/\hbar\), which is what Section 4 computes. In Oppenheim and Sajjad’s analysis the matter decoherence obtained after integrating out \(\psi\) is non-Markovian [13]. That does not enter: \(s(u)\) is the field noise of \(\psi\) with its own propagator, and the golden-rule rate needs only its spectral density.

6.2 Is the published theory completely positive?

The gravitational action is a positive weight on the scalar and tensor modes [11, 12, 13], but its vector weight \(-\tfrac{\alpha}4p^2k^2|V|^2\) is negative on spacelike \(p\), the strip itself. With matter added, Oppenheim and Sajjad find that the vector sector favours recoherence of the momentum density, so that “even if the gravitational vector sector is somehow fixed, the evolution would no longer be positive”, and that “it is not fully clear to us how the vectorial sector is to be handled” [13]. They name remedies: (i) restricting the path integral to exclude tachyonic \(V\), at the price of a non-Markovian noise kernel; (ii) a preferred frame, worked out as a unit timelike vector \(n^\mu\) in the diffusion matrix, either in the vector and scalar sectors (their case A) or in the vector sector only (case C); (iii) an additional field; and (iv) restricting the kernel to timelike \(p\) [13]. The result does not depend on which, if any, is adopted. Define “the scalar sector stays Lorentz invariant” operationally: on the physical record space \(D_2^{-1}=a_2(p^2)P^{(2)}+a_0(p^2)P^{(0s)}+\Delta\) with \(\Delta\succeq0\) vanishing, to \(O(u/k^2)\), on the \(B=0\) source \(\eqref{eq:source}\), and likewise for \(D_0\). Then:

The remedies fall on one side or the other. Remedy (i) and case C act on the vector sector only. With a positive vector sector the sectors are orthogonal, \(\langle\Phi V\rangle=0\), so the scalar floor on the \(B=0\) source is untouched and the scalar noise is a lower bound on the force noise; case C adds a non-negative term to the explicit channel. A non-Markovian kernel keeps the hypotheses of Lemma 2.1, which needs translation invariance and positivity on every past region, not Markovianity. Remedy (iv) sets the kernel to zero at spacelike \(p\). If that is the decoherence kernel, Lemma 2.1 forces \(D_1=0\) there, that is, no static Newtonian force. If it is the weight \(D_2^{-1}\), the diffusion is infinite at spacelike \(p\), as the authors note for \(V\), and static Newton is lost in noise. If it is the noise kernel itself, the natural reading of a restriction on correlations, then \(D_2=0\) at spacelike \(p\) and \(\eqref{eq:tradeoff-p}\) forces \(D_0=\infty\) wherever \(D_1\neq0\), which is also excluded. Static Newton, a drift with bounded noise at spacelike \(p\), therefore excludes (iv) on the full kernel. Case A puts \(n^\mu\) into the scalar weight and survives the scalar strip; it does not survive the tensor strip (Section 5). Remedy (iii) is not specified; one realisation, a relational clock field [28], is open (Table 2).

6.3 Regulators, running couplings and the mean field

Every Lorentz-invariant regulator and every running of the couplings acts on \(u\), and Theorem 3.2 holds for arbitrary \(a_2(p^2)\), \(a_0(p^2)\); the invariant \(\varepsilon\) and modulus-squared prescriptions of [12] are covered by rows 1 and 3 of Table 1. A cut-off on \(D_0\) alone violates the trade-off unless the Newton coupling is cut as well; the floor holds wherever \(|f|\) is tested, which is why the band is 1 mm–1 m. An invariant modification of the mean-field operator, \((1+\ell^2\Box)G_{\mu\nu}=8\pi GT_{\mu\nu}\), multiplies the product \(\eqref{eq:product}\) by \((1-\ell^2u)^2\), which is one on the band for \(\ell\) well below a millimetre.

6.4 A mass for the scalar

A mass acts on \(u\), and the scalar floor becomes \(\tfrac23\int_1^{10^6}du/(u+m^2)\). At \(m^2=10^6~\mathrm{m^{-2}}\) the margin is still \(6.0\times10^{6}\); it reaches one at \(m^2=8.6\times10^{12}~\mathrm{m^{-2}}\), a Compton length of \(0.34~\mu\)m. Masses induced by matter are far smaller: \(8\pi G\rho/c^2=5.5\times10^{-23}~\mathrm{m^{-2}}\) in liquid xenon. The DeWitt family has no gauge-invariant quadratic mass term at linear order. A non-perturbative scalar mass above \((0.34~\mu\mathrm{m})^{-1}\) is the one Lorentz-invariant escape from the scalar strip within the Gaussian class at linear order. It does not touch the tensor floor.

6.5 What shields the scalar strip

Structures and the two strips. “Frame in the law” means a frame written into the dynamics; the other carriers are the classical record, the matter, and the state of an extra field. The tensor column assumes a tensor sector that is that of general relativity at keV momenta and assumptions (T1)–(T3).
Structure Scalar strip Tensor strip
Conservation \(k_\mu T^{\mu\nu}=0\) response floor only no
Constraint as a weight (covariant DeWitt) no no
Constraint as a frame law [7] removed no
Unit timelike vector in the scalar and vector weights (case A) removed no
Unit timelike vector in the vector weight only (case C) no no
Excluding tachyonic \(V\), non-Markovian kernel no no
Kernel restricted to timelike \(p\) excluded by static Newton
Preferred foliation with a light-cone tensor removed no
Any \(p^2\)-only regulator or running no no
Finite age, cosmological friction no no
Perturbative or matter-induced scalar mass no no
Frame cut-off on \(k\) or \(\omega\) below 1 keV in the full drift removed removed
Form factor in the matter four-velocity removed removed
Tensor dispersion off the cone below \(\sim10\) eV (\(z=3\)) — removed
Matter coupling blind to the atom’s stress no removed
Relational clock field [28] open open

Table 2 lists what removes each strip. Every structure that removes the scalar strip is a frame on the scalar sector near the light cone: in the law, carried by the record, carried by the matter’s own four-momentum, or carried by the state of an extra field. A matter-frame form factor \(\exp(-[p^2+2(p\cdot U)^2]R_0^2/2)\), with \(U\) the four-velocity of the matter, depends on \(U\) only through the change of invariant mass at a vertex, so it acts only on inelastic vertices; the floor becomes \(\tfrac23|F|^2/u\) and needs only \(R_0\geq1.68\) Å. A relational clock field [28] regulates the vacuum heating of a covariant master equation through \(n_\mu\propto\partial_\mu T\), a frame carried by the state; whether the X-ray data bound its resolution is open.

6.6 Other inputs

7 Discussion

7.1 Where this disagrees with the authors

Oppenheim and Sajjad conclude that covariant CQ gravity is viable given current bounds, with care needed over non-linearities, non-Markovianity and scale invariance [13]. Their assessment rests on the static and low-frequency scalar sector (matter-wave coherence, LISA Pathfinder) and on the tensor sector at gravitational-wave frequencies. They already find that constant couplings would be ruled out by the integrated energy of the stochastic gravitational waves, and they escape that bound through running couplings [13]. Their assessment does not evaluate the matter noise at keV. That channel excludes the constant-coupling window again, by \(2.5\times10^{3}\) from the field noise alone. The sharper disagreement is with the escape: running couplings act on \(u\), and the floor (row 1 of Table 1) holds for every running in \(p^2\). The disagreement is one channel, and it is testable.

7.2 What it means for “is gravity classical?”

The result is narrower than the question. It does not show that gravity is quantized. It excludes Gaussian CQ dynamics in which Newton’s force is carried by the classical field and either the scalar sector is Lorentz invariant up to boosts of \(1.1\times10^{7}\), or the tensor sector is that of general relativity at keV momenta. Within that class the argument is short: positivity ties decoherence to diffusion; Lorentz invariance, or the tensor propagator itself, puts the diffusion next to the light cone at every X-ray energy; slow matter feels it through its rest mass or through the Maxwell stress of its own Coulomb field; xenon converts it to keV photons with an order-one atomic factor; XENONnT sees none.

A classical theory of gravity that survives both exclusions needs, at once,

  1. a frame or a mass in the scalar sector near the light cone (Table 2), and

  2. a tensor sector that leaves general relativity below about 10 eV (for a \(z=3\) Lifshitz dispersion), or a matter coupling that does not see the atom’s stress,

or its noise must be non-Gaussian and bunch the keV emission into multi-photon bursts (Section 6). Frame-fixed Newtonian CQ models, whose least decoherence is the Diósi–Penrose rate [6], remain subject to the published Diósi–Penrose X-ray bounds [8, 10] and are not excluded by this analysis.

7.3 Open

[1] S. Bose, A. Mazumdar, G. W. Morley, H. Ulbricht, M. Toroš, M. Paternostro, A. A. Geraci, P. F. Barker, M. S. Kim, and G. Milburn, Spin Entanglement Witness for Quantum Gravity, Phys. Rev. Lett. 119, 240401 (2017). doi:10.1103/PhysRevLett.119.240401

[2] C. Marletto and V. Vedral, Gravitationally Induced Entanglement between Two Massive Particles is Sufficient Evidence of Quantum Effects in Gravity, Phys. Rev. Lett. 119, 240402 (2017). doi:10.1103/PhysRevLett.119.240402

[3] J. Oppenheim, A Postquantum Theory of Classical Gravity?, Phys. Rev. X 13, 041040 (2023). doi:10.1103/PhysRevX.13.041040

[4] J. Oppenheim, C. Sparaciari, B. Šoda, and Z. Weller-Davies, Gravitationally induced decoherence vs space-time diffusion: testing the quantum nature of gravity, Nat. Commun. 14, 7910 (2023). doi:10.1038/s41467-023-43348-2

[5] A. Tilloy and L. Diósi, Sourcing semiclassical gravity from spontaneously localized quantum matter, Phys. Rev. D 93, 024026 (2016). doi:10.1103/PhysRevD.93.024026

[6] A. Tilloy and L. Diósi, Principle of least decoherence for Newtonian semiclassical gravity, Phys. Rev. D 96, 104045 (2017). doi:10.1103/PhysRevD.96.104045

[7] I. Layton, J. Oppenheim, A. Russo, and Z. Weller-Davies, The weak field limit of quantum matter back-reacting on classical spacetime, J. High Energy Phys. 2023(08), 163 (2023). doi:10.1007/JHEP08(2023)163

[8] S. Donadi et al., “Underground test of gravity-related wave function collapse,” Nature Phys. 17, 74 (2021). doi:10.1038/s41567-020-1008-4.

[9] I. J. Arnquist et al., Search for Spontaneous Radiation from Wave Function Collapse in the Majorana Demonstrator, Phys. Rev. Lett. 129, 080401 (2022). doi:10.1103/PhysRevLett.129.080401

[10] E. Aprile et al., Challenging Spontaneous Quantum Collapse with the XENONnT Dark Matter Detector, Phys. Rev. Lett. 136, 120201 (2026). doi:10.1103/2jm3-4976; arXiv:2506.05507

[11] J. Oppenheim and Z. Weller-Davies, Covariant path integrals for quantum fields back-reacting on classical space-time, arXiv:2302.07283 (2023). arXiv:2302.07283

[12] A. Grudka, T. R. Morris, J. Oppenheim, A. Russo, and M. Sajjad, Renormalisation of postquantum-classical gravity, arXiv:2402.17844 (2024). arXiv:2402.17844

[13] J. Oppenheim and M. Sajjad, Stochastic modes in postquantum classical gravity, arXiv:2605.05375 (2026). arXiv:2605.05375

[14] J. Oppenheim and E. Panella, Diffusion in the stochastic Klein-Gordon equation, arXiv:2511.10738 (2025). arXiv:2511.10738

[15] J. Oppenheim, C. Sparaciari, B. Šoda, and Z. Weller-Davies, The two classes of hybrid classical-quantum dynamics, arXiv:2203.01332 (2022). arXiv:2203.01332

[16] J. Oppenheim, A. Russo, and Z. Weller-Davies, Diffeomorphism invariant classical-quantum path integrals for Nordstrom gravity, arXiv:2401.05514 (2024). arXiv:2401.05514

[17] L. Diósi, Is there a relativistic Gorini-Kossakowski-Lindblad-Sudarshan master equation?, Phys. Rev. D 106, L051901 (2022). doi:10.1103/PhysRevD.106.L051901

[18] L. Diósi, Classical-quantum hybrid canonical dynamics and its difficulties with special and general relativity, Phys. Rev. D 110, 084052 (2024). doi:10.1103/PhysRevD.110.084052

[19] T. Hirotani and A. Matsumura, Testing classical-quantum gravity with geodesic deviation, Phys. Rev. D 114, 026014 (2026). doi:10.1103/fx1h-97sx; arXiv:2603.29230

[20] D. Carney and A. Matsumura, Classical-quantum scattering, Class. Quantum Grav. 42, 135010 (2025). doi:10.1088/1361-6382/ade589; arXiv:2412.04839

[21] S. Manti, N. Bortolotti, L. Diósi, K. Piscicchia, and C. Curceanu, Atomic correlation effects in collapse-induced spontaneous radiation, arXiv:2608.07205 (2026). arXiv:2608.07205

[22] C. Curceanu, N. Bortolotti, L. Diósi, S. Manti, and K. Piscicchia, Did the Gran Sasso Experiment Rule Out the Diósi-Penrose Theory? Musing on the 2021 Result and the Present Experimental Status, arXiv:2610.35608 (2026). arXiv:2610.35608

[23] A. Vinante and H. Ulbricht, Gravity-related collapse of the wave function and spontaneous heating: Revisiting the experimental bounds, AVS Quantum Sci. 3, 045602 (2021). doi:10.1116/5.0073450

[24] P. Hořava, Quantum Gravity at a Lifshitz Point, Phys. Rev. D 79, 084008 (2009). doi:10.1103/PhysRevD.79.084008

[25] D. Blas, O. Pujolàs, and S. Sibiryakov, Models of non-relativistic quantum gravity: the good, the bad and the healthy, J. High Energy Phys. 2011(04), 018 (2011). doi:10.1007/JHEP04(2011)018

[26] A. Emir Gümrükçüoğlu, M. Saravani, and T. P. Sotiriou, Hořava Gravity after GW170817, Phys. Rev. D 97, 024032 (2018). doi:10.1103/PhysRevD.97.024032

[27] N. Piccione and A. Bassi, Hybrid classical-quantum Newtonian gravity with stable vacuum, Class. Quantum Grav. 42, 225002 (2025). doi:10.1088/1361-6382/ae1540

[28] P. Vaidhyanathan and G. J. Milburn, Lorentz Invariant Master Equation for Quantum Systems, arXiv:2512.19346 (2025). arXiv:2512.19346