Would gravitationally-induced entanglement prove the gravitational field is quantum?

Status: Active investigation — logical scope clarified, experiment far from reach, key loopholes CONTESTED and live as of mid-2026 Last updated: 2026-06-08 Iteration: 2

This is a dated iteration-2 research note on the Bose–Marletto–Vedral (BMV) gravitationally-induced-entanglement (GIE) program — the QGEM tabletop test — and its true logical force. It is held in dialogue with GC-15 (semiclassical-gravity breakdown), OP-1 (quantum gravity), and OP-26 (objective collapse).

Question

Two masses, each placed in a spatial superposition, are allowed to interact only through their mutual gravity. The BMV/GIE claim is: if they become entangled, gravity cannot be classical. What is the true logical force of this inference? Specifically:

(a) Does the inference survive scrutiny of its load-bearing premise — that gravity acts as a local mediator (no direct mass–mass Hamiltonian term; the mediator carries its own classical observables)?
(b) Do classical-but-nonlocal channels and fundamentally semiclassical theories — Hall–Reginatto configuration-space ensembles, the Kafri–Taylor–Milburn (KTM) classical channel, Oppenheim post-quantum classical–quantum (CQ) gravity, and Aziz–Howl classical-gravity-with-QFT-matter — constitute genuine loopholes or violate independently-motivated axioms?
(c) What would a positive result actually establish, and could it bear decisively on GC-15 and on "must gravity be quantized"?

The slogan "BMV proves gravity is quantized" is the object under test. The honest answer is narrower and more interesting.

State of the art (rigorous)

1. The proposal and its canonical realization (QGEM)

Two back-to-back Phys. Rev. Lett. papers, 119, 240401 and 240402 (2017) — Bose, Mazumdar, Morley, Ulbricht, Toroš, Paternostro, Geraci, Barker, Kim, Milburn (Spin Entanglement Witness for Quantum Gravity, arXiv:1707.06050) and Marletto–Vedral (Gravitationally Induced Entanglement … is Sufficient Evidence of Quantum Effects in Gravity) — proposed that if two masses, each in a spatial superposition, become entangled solely through their mutual gravity, then gravity cannot be a classical mediator. ESTABLISHED that this is the proposal.

Mechanism / entangling phase. Each mass $i$ is split (via Stern–Gerlach on an embedded NV-center spin) into left/right branches $\mathrm{L},\mathrm{R}$ separated by $\Delta x$ . The Newtonian interaction energy depends on the branch-pair separation, so each of the four branch-pairs accumulates a distinct phase $\varphi_{ab} \approx \frac{G\,m^2\,\tau}{\hbar\, d_{ab}}$ over interaction time $\tau$ . The differential phase $\Delta\varphi = \varphi_{LR}-\varphi_{LL}$ (etc.), required to be of order $\sim 1$ rad, rotates an initially product spin–spatial state into an entangled one; recombination maps spatial entanglement onto spin–spin entanglement, read out by a witness (e.g. $\langle\sigma_x^1\sigma_y^2\rangle$ -type correlators, or PPT/concurrence on the two-spin density matrix). ESTABLISHED structure.

Required parameters (QGEM, current consensus). Masses $m \sim 10^{-14}$ – $10^{-15}\,\mathrm{kg}$ (mesoscopic nanodiamonds); superposition width $\Delta x \gtrsim 10\,\mu\mathrm{m}$ ; minimal mass–mass distance $d_{\min}\sim 35$ – $250\,\mu\mathrm{m}$ (set so Newtonian gravity dominates Casimir–Polder); interaction/coherence time $\tau\sim 1\,\mathrm{s}$ . Decoherence budget: total rate $\lesssim 10^{-3}\,\mathrm{s}^{-1}$ , requiring base pressure $P\lesssim 10^{-15}\,\mathrm{mbar}$ (residual-gas collisions) and a few-K internal/environment temperature (blackbody), with magnetic-gradient and Newtonian-noise isolation. [ESTABLISHED as the target window; numbers from the QGEM-protocol literature and 2024–2025 parameter-scan / screening papers, e.g. van de Kamp–Marshman–Bose–Mazumdar, arXiv:2006.06931; Phys. Rev. Research 6, 013199 (2024); arXiv:2502.12474 (2025).]

Status. Not performed at required sensitivity. The gap between achieved spatial superpositions (largest matter-wave: $\sim 2000$ -atom molecules, $\sim 10^{-23}\,\mathrm{kg}$ , $\sim 10^2$ – $10^3\,\mathrm{nm}$ ) and the required ( $\sim 10^{-14}\,\mathrm{kg}$ , $\sim 10\,\mu\mathrm{m}$ , $\sim 1\,\mathrm{s}$ ) spans many orders of magnitude. ESTABLISHED gap.

2. The logical skeleton and its load-bearing premises

The argument is a modus tollens:

(LOCC no-go, premise 1). Entanglement cannot be increased by local operations and classical communication (LOCC) — a standard quantum-information theorem (Bennett et al.). If the $A\leftrightarrow G$ and $B\leftrightarrow G$ interactions are local and $G$ is classical, the induced $A$ – $B$ channel is LOCC. ESTABLISHED as a theorem.
(Empirical premise 2). $A,B$ become entangled, through gravity only.
(Locality / mediation, premise 3). Gravity $G$ acts as a genuine local mediator: the joint dynamics decomposes into rounds coupling only $(A,G)$ or $(B,G)$ , never a direct $A$ – $B$ term, and $G$ carries its own local (classical) degrees of freedom.

$\therefore\ G$ is non-classical.

Marletto–Vedral's theory-independent version is the constructor-theoretic General Witness Theorem (npj Quantum Information, 2017, "Why we need to quantise everything…"), which generalizes LOCC: it requires only "locality of mediation" plus " $G$ has classical, i.e. perfectly-copyable / jointly-measurable / broadcastable observables." INFERENCE that this generalization is internally valid; its premises are exactly what is contested. Note the technical point that the bare LOCC monotonicity theorem only forbids classical-mediator entanglement once the mediator is already assumed quantum-mechanically describable; the framework-independent engine of BMV/QGEM is the General Witness Theorem, not bare LOCC. INFERENCE — a precision repair flagged by referee review.

The decisive interpretive point. The conclusion is " $G$ is non-classical / can carry quantum information," not "the graviton is a perturbatively quantized field." A positive result would establish that the gravitational interaction cannot be modeled as a classical channel / c-number field mediating locally — a statement about the information-carrying capacity of gravity. It would not establish: full perturbative quantization of $h_{\mu\nu}$ , gravitons as Fock quanta, renormalizability, or any UV structure. Only the static Newtonian $1/r$ potential is probed — the off-shell, non-relativistic, longitudinal (constraint) sector, not radiative gravitons. [INFERENCE, widely agreed — Anastopoulos–Hu, arXiv:1804.11315, 2205.09013; Marshman–Mazumdar–Bose; Danielson–Satishchandran–Wald-adjacent discussions.] (Renormalizability is in fact orthogonal: Oppenheim's CQ gravity claims renormalizability while being classical, so "would not establish renormalizability" is correct but a poor discriminator — better to say "would not establish graviton Fock/UV structure or perturbative quantization." INFERENCE — referee tightening.)

3. The loopholes — where the premises bend

The LOCC theorem (premise 1) is unimpeachable as mathematics. Every serious loophole attacks premise 3 (locality / mediation) or the definition of "classical."

(a) Mean-field semiclassical gravity (Møller–Rosenfeld, Schrödinger–Newton). $G_{\mu\nu}=8\pi G\langle T_{\mu\nu}\rangle$ sources a single mean geometry; it does not entangle (a nonlinear single-branch self-interaction) and is independently disfavored (Page–Geilker, Phys. Rev. Lett. 47, 979, 1981) and pathological with collapse (Gisin 1990; Polchinski 1991 — deterministic nonlinear QM permits superluminal signaling). So mean-field is consistent with "no entanglement," and a BMV positive would refute it. [ESTABLISHED — the clean target BMV can kill; ties directly to GC-15. Note Schrödinger–Newton (one-particle nonlinear) and Møller–Rosenfeld ( $G=\langle T\rangle$ ) are distinct constructions sharing the no-self-entanglement prediction; stochastic/CSL-augmented variants evade the simple exclusion.]

(b) Kafri–Taylor–Milburn (KTM) classical channel (New J. Phys. 16, 065020, 2014; arXiv:1401.0946). Gravity as a continuous-measurement-and-feedback classical channel between two oscillators reproduces the Newtonian normal-mode interaction at the master-equation level but is provably LOCC ⇒ cannot entangle; it predicts a minimal gravitational decoherence instead. KTM is the concrete realization that makes BMV falsifiable: observing entanglement excludes KTM-type local classical channels. KTM can still generate quantum discord (Krisnanda et al. 2017; Qureshi et al., Sci. Rep. 12, 2022, s41598-022-22212-1), so discord is not a witness; only distillable entanglement is. [ESTABLISHED.]

(c) Hall–Reginatto "ensembles on configuration space" (arXiv:1809.04989, 2018). Explicitly exhibits two quantum fields becoming entangled via a classical gravitational field, evolving from a product state. But the "classical" field is a configuration-space object coupled through a hybrid CQ ensemble known to permit nonlocal signaling (Reginatto–Hall, Phys. Rev. A 86, 054101, 2012; arXiv:1207.5305). It thus violates premise 3's local-mediator reading: classical-but-nonlocal, arguably not "local classical mediation." Marletto–Vedral–Bose ("Vindication…", arXiv:2102.10615, 2021) argue such models violate their locality / no-superobservables axioms; Hall (Comment, arXiv:2111.05033) disputes the framing. Verdict: a genuine loophole only if one accepts a nonlocal classical mediator; under locality + no-signaling it is closed. [CONTESTED.]

(d) Oppenheim post-quantum classical gravity (Phys. Rev. X 13, 041040, 2023, arXiv:1811.03116; Oppenheim–Sparaciari–Šoda–Weller-Davies, Nat. Commun. 2023, arXiv:2203.01982). A consistent, completely-positive, trace-preserving (CPTP) classical–quantum (CQ) hybrid in which the metric is fundamentally classical but stochastic — necessarily so, via a forced decoherence–diffusion trade-off. This evades the deterministic-nonlinearity no-go (Gisin/Polchinski) by being stochastic, and is the live fundamentally-semiclassical alternative. Its CQ dynamics is LOCC-like and is not expected to entangle (it decoheres); a BMV positive would constrain it — but via the decoherence–diffusion signature (metric diffusion / anomalous heating), and the theory is being tested on its own terms. [ESTABLISHED that the theory exists and is CPTP; INFERENCE that a BMV-positive constrains (not strictly excludes) it.]

(e) The 2025–2026 escalation — Aziz–Howl, "Classical theories of gravity produce entanglement," Nature 646, 813 (2025), s41586-025-09595-7. With classical (unquantized) gravity but matter as full QFT, $H_{\mathrm{int}}=-\tfrac12\int h_{\mu\nu}\hat T^{\mu\nu}$ with c-number $h_{\mu\nu}$ , they find entanglement at 4th order via virtual matter exchange (not gravitons), with a mass-scaling reported to differ from the genuine quantum-gravity GIE ( $\varphi\propto G m^2\tau$ ). The authors concede the effect is negligible in the BMV target window and that entanglement-as-witness is "fundamentally a phenomenological issue": where $\vartheta/\varphi\lesssim 0.1$ , GIE remains informative. Hotly contested. Di Biagio (arXiv:2511.02683, "The simple reason why classical gravity can entangle") reframes the issue as "circuit/mediation locality $\neq$ relativistic locality (no-signaling)" — gauge theories (Coulomb-gauge QED, the instantaneous Newtonian potential) have direct nonlocal-but-causal interactions that entangle without a quantized mediator, so the no-go's mediation premise is unnatural for gravity. Rebuttals (arXiv:2511.07348 Classical gravity cannot mediate entanglement; arXiv:2511.19242 Newton–Cartan demonstration; arXiv:2511.20717 Comment; arXiv:2503.19774 on collapse models; and arXiv:2512.13675) argue the relevant non-relativistic propagator is ultra-local ( $\delta(x-y)$ , vanishing for non-overlapping packets), that any residual effect is entanglement mediated by quantum matter (an evanescent/tunneling channel exponentially suppressed by binding potentials), merely triggered by classical gravity, and that under a properly local $H_{\mathrm{int}}$ the conclusion "classical ⇒ no entanglement" stands for realistic bound bodies. One critique reports the Aziz–Howl displacement as $\sim 10^{-13}\,d$ (cited as arXiv:2604.16276 — paper verified real in iteration 6 (R5 referee, 2026-06-10); the ~10^-13 d displacement figure itself remains unverified, not in its abstract), i.e. negligible. CONTESTED — genuinely open as of mid-2026.

4. Synthesis — what the BMV/GIE chain actually proves

The LOCC / General-Witness step is sound; the inference is only as strong as the locality / mediation premise, an additional physical assumption, not a logical necessity. [ESTABLISHED.]
Under {relativistic locality interpreted as circuit/Hamiltonian mediation (no direct $A$ – $B$ term) + $G$ has classical/copyable observables}, a BMV positive decisively excludes mean-field semiclassical gravity and KTM local classical channels, and constrains Oppenheim CQ gravity via decoherence–diffusion. INFERENCE, robust, scoped to those named classes.
The premise can be denied by (i) a classical-but-nonlocal mediator (Hall–Reginatto, at the price of nonlocal signaling), or (ii) declaring gravity a direct nonlocal-but-causal interaction (Di Biagio) — in which case entanglement is generated by the matter through an instantaneous Newtonian/longitudinal coupling and "the mediator is non-classical" does not follow. Whether (ii) is a loophole or a relabeling is the crux of the 2025–2026 dispute. [CONTESTED.]
Therefore a BMV positive proves "gravity cannot be a local classical channel / c-number-mediated interaction" — falsifying a well-defined, currently-respectable class (real, decisive progress on GC-15) — but does not prove "the graviton field is quantized" in the QFT sense, nor close the Di Biagio "direct-interaction" escape without an added no-direct-nonlocal-coupling postulate.

Key arguments

ESTABLISHED The LOCC step is mathematically airtight; the entire inferential weight rests on the locality/mediation premise, which is a physical assumption, not a theorem. Bennett-et-al LOCC monotonicity is proven, and the Marletto–Vedral General Witness Theorem is internally valid. But it applies only if the $A$ – $B$ coupling is a genuine two-round local channel through $G$ , with $G$ carrying classical observables. The modus tollens structure means denying the conclusion forces denying a premise — and the empirically-cheapest premise to deny is mediation/locality, not the LOCC monotone.

INFERENCE A BMV positive decisively kills mean-field semiclassical gravity and KTM-type local classical channels — concrete progress on GC-15. Mean-field $G_{\mu\nu}=8\pi G\langle T_{\mu\nu}\rangle$ yields a single geometry and cannot entangle; KTM is an explicit LOCC channel reproducing the Newtonian potential that cannot entangle. Both are well-defined and currently-defensible with no entanglement prediction. Observing GIE in the $m^2$ -scaling Newtonian regime falsifies them. This is exactly the "breakdown of semiclassical gravity for mass superpositions" that GC-15 flags — BMV converts inference toward empirical fact for that class. Scope caveat: "decisively" is justified only for the named local-LOCC subclass, conditional on a gravity-only-mediator and causality premise.

INFERENCE A BMV positive does NOT establish perturbative graviton quantization; it tests only the non-classicality of the Newtonian (off-shell, longitudinal) sector. The entangling phase is built from the static $1/r$ potential — the constraint/longitudinal part, with no on-shell radiative gravitons exchanged. Witnessing entanglement shows gravity can carry quantum information / be in superposition, but says nothing about UV behavior, Fock states, or whether the correct theory is string/LQG/asymptotic-safety. Overstating it as "gravity is quantized" conflates "non-classical mediator" with "perturbatively quantized field." (Analogous to longitudinal/scalar photons being gauge artifacts.)

CONTESTED Stochastic fundamentally-classical gravity (Oppenheim CQ) is a genuine survivor of the deterministic no-go, but is constrained by BMV via decoherence, not entanglement. Gisin/Polchinski kill deterministic nonlinear QM modifications via signaling; Oppenheim's CPTP CQ dynamics is stochastic and consistent, with a forced decoherence–diffusion trade-off. It does not entangle (it decoheres), so a BMV positive constrains it — but the theory makes its own falsifiable prediction (metric diffusion / anomalous heating). BMV and decoherence–diffusion bounds are therefore complementary, not redundant; a single GIE detection does not uniquely select "quantum gravity" over "decoherence-only" without quantitative modeling.

CONTESTED The Di Biagio / Aziz–Howl challenge is the sharpest live threat: "mediation" (no direct $A$ – $B$ term) $\neq$ relativistic locality (no-signaling), so a direct nonlocal-but-causal classical interaction can entangle. Coulomb-gauge QED has an instantaneous, nonlocal-but-causal Coulomb term that entangles charges without an on-shell mediator. By analogy the Newtonian potential is a constraint (instantaneous) interaction, so "gravity entangles" need not imply a quantized propagating mediator. The counter (arXiv:2511.07348, 2511.19242, 2512.13675) is that the relevant non-relativistic propagator is ultra-local ( $\delta(x-y)$ ) and vanishes for non-overlapping packets, so no entanglement actually arises; any residual effect is matter-mediated (evanescent tunneling), not gravity-mediated. The gauge-vs-ontology subtlety matters: the Coulomb-gauge instantaneous potential is gauge-dependent, while the gauge-invariant content is causal — so the genuine open question is which degrees of freedom carry the entangling phase, not the gauge choice itself. As of mid-2026 this is unresolved.

Sharpest obstructions

The "local classical mediator" premise conflates two inequivalent notions of locality. Circuit/mediation locality (Hamiltonian has no direct $A$ – $B$ term, only $A$ – $G$ and $B$ – $G$ ) vs. relativistic locality (no-signaling / microcausality). The no-go needs the former; gravity may satisfy only the latter. Gauge theories exhibit direct, instantaneous, nonlocal-but-causal interactions that entangle without an on-shell quantized mediator. If the static gravitational potential is such a constraint interaction, witnessing entanglement does not force a non-classical mediator. Closing this requires an extra, independently-motivated "no direct nonlocal coupling" postulate the BMV chain does not supply (Di Biagio 2025; rebutted but unresolved). CONTESTED
"Classical" is not uniquely defined across the candidate theories. The no-go holds only for specific definitions (no superposition + jointly-measurable/copyable observables + local mediation), and at least one consistent hybrid (Hall–Reginatto CQ ensembles) generates entanglement under a different definition — via a nonlocal configuration-space object admitting nonlocal signaling. Whether this counts as a loophole depends entirely on whether one adopts the Marletto–Vedral locality / no-superobservables axioms. The argument's force is premise-relative, not absolute. Note further that deterministic hybrid dynamics (Hall–Reginatto) is subject to the nonlinearity/signaling no-gos, whereas fundamentally-stochastic CPTP CQ (Oppenheim) is constructed to evade them — so the two must be adjudicated per-model, not lumped. CONTESTED
A positive result underdetermines "quantized metric" vs. "fundamentally stochastic classical metric (Oppenheim CQ)" without quantitative modeling. The latter predicts decoherence (not entanglement), is CPTP, evades the deterministic-nonlinearity signaling no-go, and reduces to GR classically. A single GIE detection excludes it; but interpreting GIE as evidence for quantum gravity (vs. merely against classical channels) requires ruling the CQ class out on its own diffusion signature too. The two experimental programs are complementary, not redundant. INFERENCE
Experimental: the required regime is far beyond the state of the art, and near-field backgrounds can mimic or mask the signal. Required: $m\sim 10^{-14}\,\mathrm{kg}$ , $\Delta x\sim 10\,\mu\mathrm{m}$ , $\tau\sim 1\,\mathrm{s}$ , decoherence $<10^{-3}\,\mathrm{s}^{-1}$ , $P<10^{-15}\,\mathrm{mbar}$ , few-K environment — vs. the largest matter-wave superposition $\sim 10^{-23}\,\mathrm{kg}$ , $\sim 10^2\,\mathrm{nm}$ . Casimir–Polder dipole–dipole vacuum interactions can produce EM-mediated entanglement contaminating the witness unless $d_{\min}$ is large enough (or screened), which simultaneously suppresses the $\sim 1$ -rad gravitational phase. The protocol lives in a narrow window where gravity dominates Casimir yet the phase remains observable within the coherence time — a severe simultaneous constraint, currently unmet by many orders of magnitude. ESTABLISHED gap

What would count as decisive progress

A theorem (or rigorous no-go) settling whether the static Newtonian potential is a genuine direct nonlocal-but-causal interaction (Di Biagio / Coulomb-gauge analogy) or a mediated local exchange — i.e. resolving "mediation vs. relativistic locality" for the longitudinal/constraint sector. The single highest-leverage conceptual result.
Resolution of the Aziz–Howl dispute: a clean computation, agreed by both camps, of whether classical-gravity-plus-QFT-matter generates entanglement via virtual matter or whether the ultra-local $\delta(x-y)$ propagator kills it — including whether any residual effect is correctly attributed to matter rather than gravity.
A sharpened, theory-independent statement of the exact minimal premise set under which "GIE ⇒ non-classical mediator" is valid, each premise tagged logically-necessary vs. physically-posited, adjudicating the Marletto–Vedral vs. Hall exchange.
Experimental demonstration of a single $\sim 10^{-14}\,\mathrm{kg}$ mass in a $\sim 10\,\mu\mathrm{m}$ , $\sim 1\,\mathrm{s}$ spatial superposition with decoherence $<10^{-3}\,\mathrm{s}^{-1}$ (a necessary milestone independent of the two-mass experiment), with quantification/screening of Casimir–Polder, patch-potential, and Newtonian-noise backgrounds below the gravitational signal.
A combined program reporting BOTH a GIE detection AND a bound on gravitationally-induced decoherence/diffusion, jointly excluding mean-field, KTM-classical-channel, and Oppenheim-stochastic-CQ classes simultaneously — what would let a positive result bear decisively on "must gravity be quantized."
A demonstration that, in the achievable window, the genuine quantum-gravity GIE is cleanly separable from any classical-gravity matter-exchange contribution and from EM/Casimir entanglement, by scaling tests in mass and distance (at fixed interferometer geometry $\Delta x$ ).

Proposed registry items

Each item below carries its referee verdict (keep / severity / refined statement). All four were judged keep, severity: minor.

OP-40 — Does GIE decisively establish the non-classicality of gravity? (new open problem)

Proposed statement. The LOCC no-go is a theorem, but "GIE ⇒ non-classical mediator" depends on an additional local mediation premise (no direct $A$ – $B$ term; $G$ carrying its own classical observables). Unresolved: (i) whether the static Newtonian potential is a mediated local exchange or a direct nonlocal-but-causal interaction; (ii) whether fundamentally semiclassical/CQ theories (Hall–Reginatto; Oppenheim stochastic CQ) are genuine loopholes or violate independently-motivated locality/no-signaling axioms. Tag OPEN/CONTESTED.
Referee verdict: KEEP, severity minor. Substantively correct and well-posed; corrections are precision repairs, not reversals. Refined statement: the framework-independent engine is the Marletto–Vedral General Witness Theorem (2017), not bare LOCC (bare LOCC forbids classical-mediator entanglement only once the mediator is assumed quantum). Recast premise (i) as "whether the entangling Newtonian phase is carried by a local mediating field DOF or by a direct, physically-causal action-at-a-distance term" — drop any implication that the gauge choice fixes the answer. Split the CQ-loophole question per-model: deterministic hybrid (Hall–Reginatto) faces nonlinearity/signaling no-gos; stochastic CPTP (Oppenheim) is built to evade them. A positive result would be strong evidence for, not proof of, non-classicality. Distinct from GC-15, OP-1, OP-2, OP-26.

AL-BMV-LOC — BMV/GIE mediation-locality premise (new assumption-ledger entry)

Proposed statement. The gravitational interaction acts as a local mediator in the circuit sense — joint dynamics decomposes into rounds coupling only (mass, gravity) pairs with no direct mass–mass term, and the mediator has classical (jointly-measurable, broadcastable) observables. This "circuit/mediation locality" is logically STRONGER than, and not implied by, relativistic locality (no-signaling / microcausality). Tag CONTESTED.
Referee verdict: KEEP, severity minor. The central separability claim — that the inference rests on a premise strictly stronger than no-signaling — is sound and is the right methodological point. Refined statement: state the premise as the conjunction of (i) locality of mediation (no direct mass–mass term) and (ii) classical = LOCC channel (entanglement-non-increase-under-LOCC is the actual engine), rather than as "jointly-measurable/broadcastable observables" alone (a sufficient but non-canonical characterization). Flag that the "genuine mediator vs. direct Newtonian potential" reading is itself CONTESTED (Hall–Reginatto; Anastopoulos–Hu): at leading order the interaction is computed as a direct $V\sim -Gm_1m_2/r$ potential with no propagating mediator DOF. Keep premise (locality) distinct from conclusion (non-classicality); the title should not blur them. Cross-link rather than duplicate the parent issue at GC-15. Belenchia et al. (2018) supply the relativistic-consistency refinement.

Proposed statement. A positive BMV/GIE result would DECISIVELY exclude (a) mean-field semiclassical gravity (Møller–Rosenfeld / Schrödinger–Newton) and (b) classical-channel models (KTM), and would CONSTRAIN (c) stochastic CQ gravity (Oppenheim) via the complementary decoherence–diffusion signature. It would establish that gravity can carry quantum information / be non-classical in the Newtonian (off-shell, longitudinal) sector, but would NOT establish perturbative graviton quantization, renormalizability, or any UV structure. As of 2026 it is CONTESTED whether classical-gravity-with-QFT-matter (Aziz–Howl) or direct nonlocal-but-causal interactions (Di Biagio) constitute a loophole. Tag INFERENCE.
Referee verdict: KEEP, severity minor. Core epistemic content is correct, but "DECISIVELY" must be qualified: it is justified only for the local-LOCC (KTM) subclass and the mean-field no-self-entanglement prediction, conditional on a gravity-only-mediator + causality premise — downgrade the broad "classical-channel" exclusion from asserted fact to conditional INFERENCE. Surface the unstated design premise that gravity is the sole plausible mediator (Casimir/matter-exchange channels must be excluded experimentally). Tag the no-UV-structure scope claim ESTABLISHED and the 2025–2026 loophole status CONTESTED. The " $m^2$ vs $m^3$ " discriminator should be footnoted, not asserted in the body — the operative CQ discriminator is decoherence-vs-diffusion (Oppenheim et al., Nat. Commun. 2023), not a clean mass power-law. Keep Schrödinger–Newton and Møller–Rosenfeld terminologically distinct.

HYP-GIE-DISCRIM — Mass-scaling discriminator (new hypothesis)

Proposed statement. The genuine quantum-gravity GIE phase scales as $m^2$ ( $\propto G m^2\tau/\hbar d$ ) whereas the leading classical-gravity-with-QFT-matter entanglement (Aziz–Howl) scales as $m^3$ (virtual-matter exchange); therefore the mass- and distance-scaling of the observed entanglement, not its mere presence, is the decisive discriminator. Tag SPECULATIVE.
Referee verdict: KEEP, severity minor. Internally coherent and identifies a real, active dispute. But the specific exponent $m^3$ is unverified from accessible sources and load-bearing — Aziz–Howl's abstract confirms only that the effects "scale differently" to the QG effect; a 4th-order two-virtual-particle process could naively suggest a higher power. Refined statement: downgrade "the decisive discriminator" to "a candidate diagnostic, conditional on (i) the dispute resolving in favor of a real classical effect, (ii) a confirmed distinct exponent, and (iii) both channels being simultaneously detectable at fixed interferometer geometry." Note the reported $\sim 10^{-13}\,d$ suppression may make the classical contribution negligible — in which case the diagnostic is unnecessary. Any scaling sweep must hold the superposition geometry $\Delta x$ fixed, since both effects depend on it. State the QG scaling as the leading Newtonian term (post-Newtonian corrections exist).

Verdict

The BMV/GIE argument is logically valid but premise-dependent, and its true force is narrower than the slogan "BMV proves gravity is quantized." INFERENCE — referee judged the track verdict sound, severity minor.

The LOCC no-go is an unimpeachable theorem ESTABLISHED; the entire inferential weight sits on an additional physical premise — that gravity acts as a local mediator in the circuit sense (no direct mass–mass term; classical observables for the mediator). This premise is logically stronger than relativistic locality (no-signaling) and is not entailed by it. INFERENCE
(1) A positive result would decisively bear on GC-15 by excluding mean-field semiclassical gravity and KTM local classical-channel models, and would constrain Oppenheim stochastic-CQ gravity via the complementary decoherence–diffusion signature — genuine, concrete progress that converts GC-15's INFERENCE toward empirical fact for the mean-field/classical-channel class. "Decisively" is reserved for those explicitly-named classes. INFERENCE, scoped
(2) It would establish that gravity is non-classical / can carry quantum information in the Newtonian (off-shell, longitudinal) sector — but would NOT establish perturbative graviton quantization or graviton Fock/UV structure; conflating the two is the most common overclaim. Renormalizability is orthogonal and should not be invoked. ESTABLISHED scope claim
(3) The argument has real, currently-unresolved loopholes preventing it from being decisive in isolation: classical-but-nonlocal mediators (Hall–Reginatto, at the price of nonlocal signaling) and — most sharply in 2025–2026 — the Di Biagio "mediation ≠ relativistic locality" objection and the Aziz–Howl "classical-gravity + QFT-matter entangles via virtual matter" claim, both actively disputed (rebuttals argue an ultra-local propagator kills the effect and any residual entanglement is matter-mediated, not gravity-mediated; the live weight of rebuttals leaves the LOCC witness intact for realistic bound-matter bodies, but this is not settled). CONTESTED

Honest status. This line works as a falsifier of a specific, well-defined class of classical/semiclassical theories of gravity, and is therefore high-value — but it does not by itself force "gravity must be quantized" without (i) an extra no-direct-nonlocal-coupling postulate and (ii) complementary decoherence–diffusion bounds to exclude stochastic-CQ alternatives. The experiment is also many orders of magnitude beyond current capability. A productive, non-dead research line whose logical scope should be stated precisely rather than oversold. Confidence: high. Recommended composite tag: INFERENCE (logically valid conditional on an explicit, contested extra premise; downstream sub-claims span ESTABLISHED for the LOCC theorem to CONTESTED/OPEN for the 2025–2026 loopholes).

Open subquestions

OPEN Is the static Newtonian potential, in the relevant non-relativistic regime, correctly modeled as a mediated local exchange or as a direct nonlocal-but-causal (Coulomb-gauge-like) interaction — and does the answer change whether GIE implies a non-classical mediator? (Di Biagio vs. rebuttals; unresolved as of 2026.)
CONTESTED Does classical gravity coupled to full-QFT matter (Aziz–Howl) actually generate 4th-order entanglement via virtual matter, or does the correct ultra-local $\delta(x-y)$ propagator make the effect vanish for non-overlapping wavepackets? Resolving this fixes whether a mass/distance-scaling discriminator is needed.
OPEN Can a single decisive premise set be proven minimal for "GIE ⇒ non-classical mediator," cleanly separating logically-necessary from physically-posited assumptions, and adjudicating the Marletto–Vedral vs. Hall exchange on configuration-space models?
OPEN What combined experimental signature (GIE detection PLUS a decoherence–diffusion bound) would simultaneously exclude mean-field, KTM-classical-channel, and Oppenheim-stochastic-CQ gravity, thereby licensing "the metric is quantum"?
OPEN Is the QGEM parameter window (gravity dominating Casimir–Polder while the $\sim 1$ -rad phase remains observable within $\sim 1\,\mathrm{s}$ at $<10^{-3}\,\mathrm{s}^{-1}$ decoherence) physically realizable with foreseeable technology, or does a no-go-style tension between Casimir suppression (large $d$ ) and phase observability (small $d$ ) fundamentally obstruct it?
OPEN Does a BMV positive distinguish "gravity carries quantum information" from the weaker "gravity generates quantum discord but not entanglement" (KTM-discord), and is distillable entanglement (not discord) genuinely the unique witness?