⚛️ general relativity

Local Operations and Field Mediated Entanglement without a Local Tensor Product Structure

This paper bridges the gap between quantum information theory and gauge theories by constructing gauge-invariant local algebras in a two-dimensional lattice model to demonstrate that field-mediated entanglement cannot be generated without genuine quantum interactions, thereby establishing an operational analogue of the LOCC theorem even in the absence of a local tensor product structure.

Original authors: Alberto Spalvieri, Sébastien Christophe Garmier, Flaminia Giacomini

Published 2026-07-07

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Alberto Spalvieri, Sébastien Christophe Garmier, Flaminia Giacomini

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

The Big Problem: The "Unbreakable String" of Physics

Imagine you are trying to study two people, Alice and Bob, who are in separate rooms. In standard physics (like quantum mechanics), we assume we can treat Alice and Bob as two completely separate things. We can say, "Here is Alice's state, and here is Bob's state," and multiply them together to get the whole picture. This is like having two separate Lego sets; you can build with one without touching the other.

However, the paper deals with Gauge Theories (like electromagnetism or gravity). In these theories, there is a rule called a "gauge constraint." Think of this constraint as a giant, invisible, unbreakable string connecting every single point in the universe.

Because of this string, you cannot simply cut the universe into separate pieces. If you try to look at just Alice's room, you can't ignore the string connecting her to Bob. Mathematically, this means the "Hilbert space" (the mathematical map of all possible states) cannot be split into a neat "Alice $\times$ Bob" structure.

The Consequence: Because we can't split the map, standard rules of Quantum Information Theory (QIT) break down. Specifically, a famous rule called the LOCC Theorem (Local Operations and Classical Communication) says: "You cannot create a spooky connection (entanglement) between two people if they only talk via phone (classical communication) and do things in their own rooms."

The problem is: If the universe is one giant, unbreakable string, how do we even define "separate rooms"? If we can't define separate rooms, can we even use the LOCC theorem? This has made it very hard to prove that gravity (which is a gauge theory) must be quantum.

The Solution: Building a "Toy City"

To solve this, the authors built a toy model. Imagine a giant chessboard (a lattice) where every square has a tiny particle.

The Grid: They created a 2D grid of points.
The Rules: They wrote down rules that mimic electromagnetism (light and electric fields) but on this grid.
The Catch: Just like real electromagnetism, this toy model has the "unbreakable string" (Gauss's law). You can't just look at one square without considering the whole board.

The Discovery: Finding "Secret Compartments"

The authors asked: If we can't split the whole board, can we find a way to split it locally?

They discovered that while the whole board is tangled, it has hidden compartments (called superselection sectors).

The Analogy: Imagine a library where all the books are glued together in a giant chain. You can't pull one book off. However, if you look closely, you see that the chain is organized into different colored loops.
Inside one specific colored loop, the books can be separated into "Alice's section" and "Bob's section."
The authors found that if you fix the "edge conditions" (the state of the string at the boundary of a room), the math inside that room suddenly looks like a normal, separable quantum system again.

They call this the Operational Decomposition. It means that even though the universe is one big knot, an observer inside a specific region can perform operations as if they are in a normal, separate room, provided they stay within one of these "colored loops."

The Experiment: Proving Gravity Must Be Quantum

The paper applies this new way of thinking to a famous thought experiment about Field-Mediated Entanglement (FME).

The Setup:

Imagine two massive particles (Alice and Bob) in separate labs.
Each particle is put into a "superposition" (it is in two places at once).
They interact only through a field (like gravity or electromagnetism).
Finally, we check if they have become "entangled" (spookily connected).

The Old Argument:
If they become entangled, and they only talked via the field, then the field must be quantum. If the field were just a classical radio wave, the LOCC theorem says they couldn't get entangled.

The Objection:
Critics said, "Wait! Gravity is a gauge theory. You can't split the space. So the LOCC theorem doesn't apply. Maybe they got entangled because the 'unbreakable string' allowed it, not because the field is quantum."

The Paper's Result:
Using their "Toy City" and the "Secret Compartments" (Operational Decomposition), the authors showed:

We can define "Local": Even with the unbreakable string, Alice and Bob can perform "Local Operations" within their own sectors.
The Theorem Holds: The LOCC theorem works inside each sector.
The Conclusion: If Alice and Bob become entangled in this setup, it cannot be explained by classical communication. The only thing that could have carried the connection is the field itself, and it must be acting as a quantum mediator.

The "Dressing" Trick

One tricky part of the experiment is creating the "superposition" (putting the particle in two places). In this theory, you can't just move the particle; you have to drag the "unbreakable string" with it.

The authors showed that to move the particle, you must also "dress" it with a specific field configuration.
They proved that even with this complex "dressing," the operation still counts as "Local" for the observer.
When the particles interact, the field evolves in a way that creates a phase shift (a timing difference) between the different possibilities. This shift is what creates the entanglement.

Summary in Plain English

The Problem: Gauge theories (like gravity) are so interconnected that we can't mathematically split them into separate parts, which makes it hard to use standard quantum rules to prove gravity is quantum.
The Fix: The authors built a simple grid model of electromagnetism and found that while the whole system is tangled, it can be split into "sectors" where the rules of normal quantum mechanics apply locally.
The Result: They applied this to a test for quantum gravity. They showed that even in this tangled system, if two objects get entangled via a field, it proves the field is quantum. The "unbreakable string" doesn't break the logic; it just requires us to look at the system in a specific, sector-by-sector way.
The Takeaway: The famous rule that "you can't create entanglement with classical tools" still holds true, even for gravity. If we see entanglement, the mediator (gravity) must be quantum.

Technical Summary: Local Operations and Field Mediated Entanglement without a Local Tensor Product Structure

Problem Statement
Quantum information theory (QIT) relies fundamentally on the assumption of subsystem locality, where the total Hilbert space factorizes into a tensor product of local subsystems ( $\mathcal{H} = \mathcal{H}_A \otimes \mathcal{H}_B$ ). This structure underpins standard definitions of local operations, entanglement, and the Local Operations and Classical Communication (LOCC) theorem. However, in gauge theories (such as electromagnetism and gravity), physical states must satisfy local gauge constraints (e.g., Gauss's law). These constraints prevent the gauge-invariant Hilbert space from decomposing into a spacetime-local tensor product structure. Consequently, standard QIT tools, including the definition of entanglement and the applicability of the LOCC theorem, become ill-defined in the context of gauge theories.

This issue is particularly critical for recent proposals to test the quantum nature of gravity via Field-Mediated Entanglement (FME). These proposals argue that if two masses become entangled solely through a gravitational field, the field must be quantum, based on the premise that classical fields cannot generate entanglement via LOCC. However, because gravity is a gauge theory lacking a local tensor product structure, the validity of applying the LOCC theorem to these scenarios has been questioned. There is currently no fully operational description of how local operations are defined or how entanglement is generated in infinite-dimensional gauge theories without a factorizable Hilbert space.

Methodology
To address these structural limitations, the authors introduce a two-dimensional lattice toy model that captures the key features of Quantum Electrodynamics (QED) in the continuum limit, specifically the non-factorizability of the Hilbert space due to gauge constraints.

Model Construction: The authors define a square lattice ( $N \times N$ ) with periodic boundary conditions. Each site $(i,j)$ hosts a field degree of freedom (position vector $q_{i,j}$ and momentum $p_{i,j}$ ) and, in the extended model, a matter degree of freedom (a qubit representing charge). The model is derived from a discrete Lagrangian, leading to a Hamiltonian and a set of constraints analogous to Maxwell's equations and Gauss's law.
Quantization and Constraints: The model is quantized in the temporal gauge ( $q^0=0$ ). The physical Hilbert space is obtained by projecting the kinematical Hilbert space (which has a standard tensor product structure) onto the subspace satisfying the Gauss-like constraints ( $\hat{C}_{i,j}|\psi\rangle = 0$ ). This projection destroys the local tensor product structure of the physical Hilbert space.
Algebraic Decomposition: To recover a notion of locality, the authors construct gauge-invariant local algebras ( $\mathcal{A}_A$ ) for a spatial region $A$ . They analyze the center of these algebras, which contains edge terms (truncated constraints crossing the boundary). By diagonalizing these central elements, they induce a decomposition of the Hilbert space into superselection sectors labeled by the eigenvalues of the edge terms.
Two Decompositions:
- Operational Decomposition: Treats matter and field degrees of freedom jointly. The physical Hilbert space decomposes into a direct sum of tensor products ( $\mathcal{H}_{phy} = \bigoplus_K \mathcal{H}_A^K \otimes \mathcal{H}_{\bar{A}}^K$ ), where $K$ labels the superselection sectors (edge modes). Within each sector, a standard local tensor product structure is restored.
- Split Decomposition: Treats matter and field separately. This explicitly shows how the field state depends on the matter configuration, revealing the mechanism of matter-field entanglement.
FME Protocol Application: The authors apply this framework to a discretized FME protocol involving two spatially separated regions ( $A$ and $B$ ) with sources in superposition. They track the evolution of the state through the creation of superpositions (requiring "field dressing" to satisfy constraints), field relaxation, time evolution, and recombination.

Key Contributions and Results

Operational Definition of Locality: The paper provides a physically meaningful decomposition of the Hilbert space for a gauge theory without a global tensor product. By identifying gauge-invariant local algebras and their associated superselection sectors, the authors define "generalized local operations" that act block-diagonally across these sectors.
Generalized LOCC Theorem: The authors derive a generalized version of the LOCC theorem valid for non-factorizable Hilbert spaces. They prove that within each superselection sector $K$ , the standard LOCC theorem applies. Consequently, no entanglement can be generated between spatially separated regions using only generalized local operations and classical communication; any observed entanglement increase must arise from non-classical field interactions.
Resolution of FME Objections:
- Mechanism for Superposition: The authors explicitly demonstrate how to create a spatial superposition of sources in a gauge theory. This requires a "field dressing" operation that shifts the field configuration to satisfy the Gauss constraint, ensuring the operation is physical and gauge-invariant.
- Validity of LOCC: They show that despite the lack of a global tensor product, the FME protocol generates entanglement between the sources (detected via spin measurements) that corresponds to an increase in entanglement within each superselection sector. This confirms that the LOCC-based argument for the quantum nature of the mediator remains valid in this gauge-theoretic setting.
Entanglement Generation: Using the Split Decomposition, the authors trace the generation of entanglement. They show that the interaction with the quantized field mediates phase shifts between different matter configurations, leading to an entangled final state of the sources. The field acts as a non-classical communication channel.

Significance and Claims
The paper claims to bridge the gap between the abstract mathematical formalism of gauge theories and the operational language of quantum information theory. By constructing a tractable lattice model, the authors demonstrate that:

A consistent notion of locality and entanglement can be defined for gauge theories via superselection sectors induced by local algebras.
The LOCC theorem can be extended to scenarios where the Hilbert space does not factorize, provided one considers the structure of accessible local algebras and superselection sectors.
The arguments used in proposals to test the quantum nature of gravity via FME are robust against objections regarding the lack of a local tensor product structure. The entanglement generated in such protocols is a genuine signature of non-classical field mediation.

The authors note that while their results are derived in a discrete 2D model, the structural features (Gauss constraints, edge modes, dressing) are analogous to QED and linearized quantum gravity. They suggest that a similar operational framework could apply to these continuous theories, though they acknowledge that the transition to the continuum limit involves changes in the algebraic type (from Type I to Type III von Neumann algebras) which presents further challenges for a direct promotion of these discrete results. The work establishes a minimal, operational setting to analyze entanglement generation in gauge theories, offering a pathway to rigorously interpret FME experiments.