⚛️ quantum physics

Compositionality in quantum reference frame perspectives

This paper resolves the "paradox of the third particle" in quantum reference frames by developing a formalism that internalizes external observers, defines a consistent hierarchy for adding and removing subsystems, and characterizes how composition in QRF perspectives generalizes standard quantum theory through specific state restrictions and a "classicalisation" procedure.

Original authors: Bruna Sahdo, Esteban Castro-Ruiz

Published 2026-08-26

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Bruna Sahdo, Esteban Castro-Ruiz

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

To understand the physical world, we rely on a fundamental habit of mind: breaking things down into parts. We describe a machine by its gears, a star by its atoms, and a complex event by its causes. In the standard rules of quantum physics, this habit is formalized through a mathematical structure called the tensor product, which allows scientists to combine smaller systems into larger ones without losing track of the individual pieces. However, this approach usually assumes that the observer measuring these systems is standing outside the experiment, using a fixed, classical ruler and clock that are not themselves affected by the quantum rules. But what if the ruler is also a quantum object? What if the observer's reference frame is a particle that can exist in a superposition of places? This question lies at the heart of research into quantum reference frames. When the measuring tool itself becomes a quantum system, the familiar rules for combining and separating parts of a universe begin to fray, leading to logical contradictions that have puzzled physicists for years.

A recent study by Bruna Sahdo and Esteban Castro-Ruiz tackles this specific problem of how to combine parts of a system when the observer is part of the system. The researchers focused on a notorious logical trap known as the "paradox of the third particle." Imagine a scenario where two observers, Alice and Bob, are looking at a pair of particles. Alice uses one particle as her reference point to describe the other. If a third, independent particle is introduced into the universe, standard quantum logic suggests that Alice's description of the first two particles should remain unchanged, regardless of whether she knows about the third one. Yet, when physicists tried to apply the known rules for switching between Alice's and Bob's viewpoints in this new, larger setup, they found a contradiction. Depending on whether they included the third particle from the start or added it later, they arrived at two different descriptions of the same physical reality. One description preserved a subtle quantum phase, a kind of internal rhythm, while the other erased it completely. This ambiguity suggested that the standard way of defining "parts" of a quantum system breaks down when the observer is quantum.

The authors of this paper demonstrate that this paradox is not a flaw in nature, but a symptom of using an incomplete mathematical framework. By building on a specific formalism developed recently, they show that the solution lies in recognizing that every quantum reference frame carries with it a hidden, extra layer of information. When a system is viewed from the perspective of a quantum observer, the description is not just about the relative positions of the other objects; it also includes a "gauge" component that tracks the total momentum of the entire group. This extra component acts as a bookkeeping device that ensures consistency. The researchers proved that if you include this extra information, the paradox vanishes. The description of the two particles remains consistent whether or not a third particle is added to the universe, provided you account for how the third particle changes the total momentum balance of the whole group.

The study goes further to map out exactly how subsystems can be added or removed in this quantum perspective. They found that, unlike in standard physics where you can simply attach any new object to a system in any state, quantum reference frames are much more picky. You cannot simply add a new particle in an arbitrary state without checking if it fits with the existing quantum description. Specifically, the new particle's state must be compatible with the "momentum distribution" of the system already being observed. If the observer's frame is in a state that resembles a classical, definite position, then any new particle can be added freely, just as in everyday life. But if the observer's frame is in a complex quantum superposition, the new particle must be added in a very specific way to maintain the integrity of the description. The researchers characterized exactly which states are allowed and which are forbidden, showing that the freedom to combine systems is restricted by the quantum nature of the observer.

To bridge the gap between these restrictive quantum rules and the familiar freedom of classical physics, the team introduced a procedure they call "classicalisation." This is a specific transformation that takes a general quantum perspective and converts it into a "classical-like" view. In this converted view, the extra information that usually restricts how systems are combined is effectively washed out, allowing new particles to be added in any state without breaking the rules. However, the authors are careful to note that this is not a magic trick that makes the system classical; rather, it is a specific operational choice that changes the meaning of the description. When a new particle is added in this classicalised frame, it is as if the observer has received a physical "kick" or recoil, shifting their momentum to accommodate the new addition. This shift ensures that the total momentum of the universe is conserved, even though the description of the original system has changed.

The paper concludes by establishing a consistent hierarchy of perspectives. The researchers showed that an external observer, who is traditionally seen as standing outside the quantum system, can be treated as just another internal observer within the framework. This means that the rules for describing the world do not depend on who is looking or where they are standing in a hierarchy of observers. Whether one observer describes another's use of a reference frame, or whether that second observer describes a third, the underlying physical predictions remain the same. This consistency resolves the tension between the reversibility of quantum transformations and the composition of systems. The work does not claim to have solved every mystery of quantum gravity or reference frames, but it provides a rigorous, paradox-free method for understanding how composite systems behave when the ruler itself is quantum. By clarifying the role of these extra degrees of freedom, the study offers a clear path forward for understanding physics as seen from within a quantum universe.

Technical Summary: Compositionality in Quantum Reference Frame Perspectives

Problem Statement
The paper addresses a fundamental tension in quantum reference frame (QRF) theory: the compatibility of reversible QRF transformations with the composition and decomposition of subsystems. In standard quantum theory, subsystems are combined via the tensor product, and reducing a system (via partial trace) is independent of the order of operations relative to frame changes. However, in QRF frameworks, applying transformations between perspectives to reduced subsystems often leads to inconsistencies, exemplified by the "paradox of the third particle."

In this paradox, the state of a subsystem (e.g., $AS$ relative to $B$ ) appears to depend on whether an external, independent system ( $S_3$ ) is included in the initial description. If $S_3$ is added in a tensor-product form and the system is transformed to Bob's frame, the resulting reduced state loses phase information present in the description where $S_3$ was absent. This suggests that reversible QRF transformations defined solely on relative subsystems are not compositional; the order of "transforming then tracing" versus "tracing then transforming" yields different physical predictions.

Methodology
The authors build upon the formalism introduced in Ref. [20], which treats QRFs as physical systems subject to quantum theory, specifically utilizing finite Abelian groups ( $G = \mathbb{Z}_N$ ) as the symmetry group for discrete translations. The methodology involves:

Formalism Review: The framework distinguishes between an "external" observer (Eve) with an implicit frame and "internal" observers (Alice, Bob) who use a specific system as a QRF. The transformation to an internal perspective involves two steps:
- Relativisation: A unitary map ( $U_{AS \to A}$ ) that refactorises the Hilbert space into a "relative subsystem" ( $S|A$ ) and an "extra particle" ( $S|A'$ ).
- Gauge Projection: A projection (incoherent $G$ -twirl) onto the algebra of invariant operators, discarding non-invariant degrees of freedom.
Hierarchy Construction: The authors demonstrate that external observers can be "internalised" within the framework. By treating Eve's frame as a physical system relative to a higher-level observer (Francis), they establish a consistent hierarchy where all observers agree on the invariant information and the representation of internal perspectives, regardless of the external frame used.
Compositional Analysis: The paper analyzes the algebraic structure of subsystems when a setup is extended (e.g., adding $S_3$ ). It investigates the commutation relations between the extra particle of a reduced setup and the relative subsystems of an extended setup.
State Extension and Removal: The authors derive necessary and sufficient conditions for a state in a QRF perspective to admit a valid extension (adding a subsystem) or to be preserved upon removal. This involves analyzing the momentum distributions of the added state relative to the existing extra particle.
Classicalisation: A procedure is introduced to map general QRF perspectives to "classical-like" states where the extra particle is in a maximally mixed state, effectively recovering standard quantum composition rules.

Key Contributions and Results

Resolution of the Third-Particle Paradox: The paper argues that the paradox arises from ignoring the "extra particle" degrees of freedom. In the Ref. [20] formalism, the extra particle ( $S|A'$ ) carries information about the total momentum and the "quantumness" of the reference frame. When a system is extended, the extra particle of the reduced setup ( $S|A'$ ) does not commute with the new relative subsystem ( $S_3|A$ ). The framework resolves the paradox by showing that the correct partial trace operation (the "perspective relational trace") must account for these non-commuting extra particles. Consequently, transforming then tracing yields the same result as tracing then transforming, provided the correct algebraic identification of subsystems is maintained.
Hierarchy of Perspectives: The authors prove that the formalism is self-consistent across a hierarchy of observers. Different external observers (even those in quantum superpositions relative to each other) agree on the matrix elements of states and operators within a specific internal perspective. This establishes that the description of a QRF perspective is independent of the choice of external frame.
Restrictions on Composition: Unlike standard quantum theory, where any state can be appended in tensor-product form, the paper shows that in a general QRF perspective, not all states are admissible extensions.
- Admissibility Condition: A new relative subsystem $S_3|A$ in a state $\gamma$ can be added to an existing state $\rho$ only if the momentum distribution of $\rho$ lies within the convex hull of the cyclic shifts of the momentum distribution of $\gamma$ .
- Classical-like Limit: If the extra particle is in a maximally mixed state (a "classical-like" perspective), the restrictions vanish, and any tensor-product extension becomes valid, recovering standard quantum compositionality.
Classicalisation Procedure: The authors introduce a unitary transformation ( $C_A$ ) that maps a general QRF perspective to a classical-like state where the extra particle is maximally mixed. This procedure allows for the unrestricted addition of subsystems. However, this comes with a physical cost: the "recoil" effect. Adding a subsystem in this manner changes the momentum distribution of the original system, analogous to a cannon recoiling when firing a new projectile. This update rule, while violating the strict "extension" condition (preserving the original state), offers a physically meaningful interpretation of composition in QRFs.

Significance and Claims
The paper claims to provide a consistent and general resolution to the problem of composing subsystems in quantum reference frames. Its primary significance lies in demonstrating that the "paradox of the third particle" is not a fundamental flaw in QRF theory but a symptom of an incomplete description that neglects the extra-particle degrees of freedom.

The authors assert that their framework:

Restores Compositionality: By incorporating extra particles, the formalism ensures that QRF transformations behave coherently under the composition and decomposition of subsystems.
Generalizes Quantum Theory: It shows that standard quantum composition is a special case (the "classical-like" limit) of a more general structure where relative subsystem independence is constrained by the state of the reference frame's extra particle.
Unifies Perspectives: It bridges the gap between "perspective-neutral" approaches and "purely internal" approaches by showing how external frames can be internalised and how classicalisation links different operational interpretations.

The paper concludes modestly, noting that while the structural aspects generalize to continuous and non-Abelian groups, specific results (like the explicit admissibility conditions) are currently derived for finite Abelian groups. It also highlights the need for further operational interpretation of the extra particle and its connection to edge modes in gauge theories.

More like this