🔢 mathematics

Subsystems (in)dependence in GIE proposals

This paper utilizes algebraic quantum field theory to demonstrate that gauge constraints and gravitational dressing in gravitationally induced entanglement (GIE) proposals undermine strict subsystem independence and microcausality, thereby complicating the interpretation of entanglement witnesses while suggesting that bounding these dressing-induced violations could serve as a novel probe for the quantum nature of gravity.

Original authors: Nicolas Boulle, Guilherme Franzmann

Published 2026-08-06

📖 8 min read🧠 Deep dive

CC BY 4.0

Original authors: Nicolas Boulle, Guilherme Franzmann

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to figure out if a mysterious force is a "ghost" or a "machine." In the world of physics, we know that tiny particles like electrons can act like ghosts, existing in two places at once (a state called superposition) and sharing a spooky connection called entanglement. We also know that gravity is the force that keeps your feet on the ground, but we've never been able to catch gravity acting like a ghost. It's been stubbornly classical, behaving like a smooth, predictable machine.

Recently, scientists proposed a clever experiment to solve this mystery. They suggested taking two heavy objects, putting them in a superposition (making them be in two places at once), and letting them interact only through gravity. If the two objects become "entangled" (that spooky connection) just by feeling each other's gravity, it would prove that gravity itself must be quantum, capable of being in a superposition. It's like proving a messenger is a quantum ghost by seeing if it can deliver a message that creates a spooky link between two people. This idea is exciting because it could be tested in a lab right now, without needing giant particle smashers.

However, there is a catch. To make this experiment work, scientists have to assume that the two heavy objects are completely independent of each other and of the gravity field, like two separate islands. They assume they can prepare one island without touching the other, and measure one without disturbing the other. This paper, written by Nicolas Boulle and Guilherme Franzmann, asks a very deep question: Is that assumption actually true? They dive into the mathematical rules of the universe to see if gravity really allows for such clean, separate islands, or if the very nature of gravity ties everything together in a way that breaks the rules of the experiment.

The Invisible Glue That Breaks the Experiment

The authors of this paper are essentially playing detective with the blueprints of reality. They are looking at the proposed "Gravity-Induced Entanglement" (GIE) experiments and asking: Do the rules of the game actually allow us to play it?

In the standard story of these experiments, we imagine two masses, let's call them "Mass A" and "Mass B." We prepare them separately, like two chefs cooking in different kitchens. We assume they are independent. Then, we let them interact via gravity. If they end up entangled, we conclude gravity is a quantum chef.

But Boulle and Franzmann point out that in the real world of quantum gravity, there is no such thing as a completely isolated kitchen. Gravity is a "gauge field," which is a fancy way of saying it has a strict set of rules (symmetries) that must be followed. To make a measurement of a mass that respects these rules, you can't just look at the mass alone. You have to look at the mass plus the gravitational field it drags along with it.

The "Gravitational Dressing" Analogy
Imagine you are a spy trying to sneak into a building. In a normal movie, you just walk in. But in this universe, the building has a magical security system (gauge symmetry) that only lets you in if you are wearing a specific, invisible cloak (gravitational dressing). This cloak isn't just a piece of fabric; it's a long, invisible string that stretches all the way to the edge of the universe.

Now, imagine you have two spies, Alice and Bob, in two different rooms. To measure Alice, you have to grab her cloak. But because her cloak stretches to infinity, it might accidentally brush against Bob's cloak, even if they are in different rooms. The authors show that in gravity, these "cloaks" (the dressed fields) are so long and tangled that they prevent Alice and Bob from being truly independent.

The Big Problem: The Walls Don't Hold

In the language of physics, the authors are checking if the "walls" between Alice and Bob are solid. In a normal quantum experiment, we assume that if two things are far apart, their measurements don't interfere with each other. This is called microcausality. It's like saying if I flip a coin in New York, it doesn't instantly change the result of a coin flip in London.

The paper argues that because of the "gravitational dressing," these walls are actually leaky. The mathematical operators (the tools we use to measure) for Alice and Bob don't perfectly commute. In simple terms, "commuting" means the order of operations doesn't matter. If I measure Alice then Bob, I get the same result as measuring Bob then Alice.

But with gravity, the authors show that the order matters. Measuring Alice first slightly changes the setup for Bob, even if they are far apart. This breaks the strict mathematical condition needed to say the two masses are independent subsystems.

What does this mean for the experiment?
It doesn't mean the experiment will fail or that gravity isn't quantum. It means the logic used to interpret the results is shaky. The experiment assumes a clean "Hilbert space factorization"—a fancy way of saying the universe can be split into two separate boxes (Alice's box and Bob's box) that don't touch. The authors show that in gravity, you can't perfectly split the universe into two non-touching boxes because the "cloaks" (dressing) connect them.

The "Tsirelson" Safety Net

The paper then asks: "Okay, so the walls are leaky. Does this break the math used to prove entanglement?" They look at a famous rule called the CHSH inequality (a test for entanglement) and its limit, Tsirelson's bound.

They find a surprising safety net. Even if the measurements don't commute perfectly (even if the order matters), the maximum amount of "spookiness" (correlation) you can get is still the same as in standard quantum mechanics. They prove that if you use a special "symmetrized" way of looking at the data (averaging the order of measurements), the famous limit of $2\sqrt{2}$ still holds.

So, the math doesn't collapse. But the interpretation does. The standard way of saying "We saw entanglement, therefore gravity is quantum" relies on the idea that we had two independent parties. If the parties aren't truly independent because of the gravitational dressing, then the conclusion is less certain. It's like trying to prove two people are telepathic, but you realize they were secretly holding hands the whole time. You can't be sure the telepathy is real.

How Big is the Problem?

Here is the twist: The authors do the math to see how "leaky" these walls actually are in a real lab. They calculate the size of the violation using the parameters proposed for current experiments (masses of $10^{-14}$ kg and distances of $10^{-6}$ m).

The result? The violation is tiny.

One type of error is suppressed by a factor of about $10^{-36}$ .
Another type, which cannot be fixed by changing the "cloak," is roughly $10$ per second in a specific unit, but when you look at the actual timescales of the experiment (seconds), the effect is still incredibly small.

The Verdict
The paper concludes that while the theoretical foundation of the experiment is flawed (the subsystems aren't truly independent), the practical impact is negligible for current technology. The "leak" is so small that for all practical purposes, the experiment will still work as a great approximation.

However, the authors warn us not to make grand philosophical claims based on this. We cannot say with absolute certainty that "spacetime is in a superposition" just because we see entanglement, because the very definition of "separate spacetime regions" is fuzzy in quantum gravity.

They suggest that instead of just looking for entanglement, future experiments might try to detect the "leak" itself—the tiny violation of the rule that distant things shouldn't affect each other. This would be a direct probe of the quantum nature of gravity, even if it's currently far beyond our ability to measure (the paper notes it's likely "far beyond current experimental sensitivity").

The Takeaway for a Curious Teen

Think of the proposed gravity experiment as a magic trick. The magicians (scientists) want to prove gravity is a quantum ghost. They set up a trick where two objects seem to talk to each other. The paper says, "Wait a minute! The way you set up the trick assumes the objects are in separate rooms, but gravity is like a sticky glue that connects the rooms."

Does this mean the trick won't work? No. The glue is so weak that the objects still look like they are in separate rooms. But if you want to claim that the trick proves the existence of a ghost, you have to be careful. You can't be 100% sure the connection wasn't caused by the glue.

The paper doesn't kill the experiment; it just puts a "Warning: Approximation Used" sign on the results. It tells us that to truly understand gravity, we need to stop thinking of the universe as a collection of separate Lego blocks and start seeing it as a single, tangled web where everything is connected, even if the connection is too weak to feel right now.

Technical Summary: Subsystems (in)dependence in GIE proposals

Problem Statement
Recent proposals, notably the Bose-Marletto-Vedral (BMV) protocol, suggest that detecting entanglement between two spatially superposed masses interacting solely via gravity would establish the quantum nature of gravity. These arguments rely on the premise that a classical mediator cannot generate entanglement between initially uncorrelated systems (Local Operations and Classical Communication, or LOCC, constraints). However, these proposals implicitly assume a specific subsystem structure: that the two masses can be treated as independent, factorized quantum subsystems with commuting observables and uncorrelated initial states.

The paper argues that these assumptions are nontrivial in the context of quantum field theory (QFT), particularly when gravity is treated as a gauge field. In gauge theories, physical observables must be gauge-invariant, which typically requires "dressing" local matter fields with long-range gauge fields (gravitational dressing). The authors investigate whether the algebraic conditions required for the BMV logic—specifically, the existence of a tensor product structure (TPS), statistical independence, and the commutativity of spacelike separated observables (microcausality)—survive when gauge-invariant dressing is properly accounted for in linearized quantum gravity.

Methodology
The authors employ the framework of Algebraic Quantum Field Theory (AQFT) to rigorously analyze the subsystem independence assumptions underlying BMV-style experiments. Their methodology involves:

Algebraic Formulation of Independence: They distinguish between operational notions of independence (e.g., the ability to prepare states locally without influencing others) and algebraic conditions (e.g., commutativity of subalgebras, the split property, and the existence of product states). They utilize theorems by Summers and others to map the relationships between these concepts.
Analysis of Dressed Observables: They examine the construction of gauge-invariant operators in both Quantum Electrodynamics (QED) and linearized gravity. They specifically analyze "gravitationally dressed" fields, which are necessary to define physical observables in a diffeomorphism-invariant theory.
Commutator Analysis: They calculate the commutation relations between spacelike separated, gauge-invariant dressed observables in linearized gravity to test the microcausality condition ( $[A(O_1), A(O_2)] = 0$ for $O_1 \perp O_2$ ).
Generalized Bell Inequalities: They investigate the robustness of entanglement witnesses (specifically the CHSH inequality and Tsirelson's bound) when the assumption of commuting subalgebras is relaxed. They introduce a symmetrized (Jordan product) CHSH observable to handle non-commuting operators.
Order-of-Magnitude Estimates: They derive estimates for the magnitude of dressing-induced microcausality violations using parameters relevant to current tabletop experiments (masses $\sim 10^{-14}$ kg, superposition sizes $\sim 10^{-6}$ m).

Key Contributions and Results

Failure of Strict Factorization in Gravity: The authors demonstrate that while QED admits local gauge-invariant observables that commute at spacelike separation (allowing for a split property and TPS), linearized quantum gravity does not. Gravitational dressing necessarily involves non-local functionals of the metric perturbation. Consequently, gauge-invariant dressed operators associated with spacelike separated regions generally fail to commute.
Obstruction to the Split Property: The failure of microcausality implies that the "split property" (the existence of a Type I factor between two commuting subalgebras) cannot be satisfied for the physical, gauge-invariant subalgebras in gravity. This obstructs the rigorous definition of a Hilbert space tensor product structure ( $H \simeq H_1 \otimes H_2$ ) and the existence of strictly uncorrelated product states ( $\rho_1 \otimes \rho_2$ ) for the two masses.
Robustness of Tsirelson's Bound: The authors show that even if subsystem algebras do not commute, a suitably symmetrized CHSH observable (using the Jordan product) still satisfies Tsirelson's bound ( $2\sqrt{2}$ ). However, they emphasize that this mathematical bound does not restore the operational validity of standard entanglement witnesses, as the symmetrized observable cannot be implemented as a sequence of local, spacelike separated measurements.
Magnitude of Violations: The calculated violations of microcausality are extremely small. For typical BMV parameters, the dimensionless commutator is of order $10^{-36}$ (or a rate of $\sim 1$ s $^{-1}$ depending on the phase convention). While numerically negligible for current experimental regimes, these violations represent a formal obstruction to exact microcausality and strict subsystem independence.
No-Signalling vs. Commutativity: The paper clarifies that the failure of microcausality (non-commuting algebras) does not necessarily imply superluminal signalling if the set of physically admissible local operations is restricted by gauge constraints. However, it does break the algebraic separability required for the standard LOCC inference.

Significance and Claims
The paper claims to sharpen the theoretical underpinnings of GIE proposals by exposing the tension between the operational requirements of quantum information protocols and the structural constraints of gauge-invariant quantum gravity.

Qualification of Inference: The authors argue that the inference "observation of entanglement $\implies$ gravity is quantum" is not model-independent. It relies on an effective truncation of the theory where subsystem independence is assumed. Once gauge-invariant dressing is treated seriously, the exact subsystem structure presupposed by the LOCC argument is undermined. The inference remains valid only as an effective approximation in the weak-field limit, not as a fundamental proof of "spacetime superposition."
New Diagnostic: Rather than focusing solely on entanglement generation, the authors propose that the direct violation of microcausality (the non-vanishing commutator of dressed observables) constitutes a distinct, albeit currently unmeasurable, signature of the quantum nature of gravity.
Generality: The issues highlighted are generic to low-energy perturbative quantum gravity and extend beyond tabletop experiments to other contexts, such as cosmological perturbations during inflation, where similar gauge-invariant dressing and factorization issues arise.

In summary, the paper does not refute the feasibility of GIE experiments but challenges the interpretative leap from a positive result to a fundamental conclusion about the quantum nature of spacetime, arguing that the necessary assumptions of subsystem independence are structurally fragile in a diffeomorphism-invariant theory.