Compositionality in quantum reference frame perspectives

AI summary

Overview

Research area: Quantum foundations — specifically quantum reference frames (QRFs), the compositional structure of quantum systems, and the tension between reversible QRF transformations and subsystem composition.

Technical level: Advanced. The paper is written for readers comfortable with operator algebras, group representations (left- and right-regular representations of finite groups), invariant subalgebras, quantum channels, and partial traces. It builds directly on a recent QRF formalism (Castro-Ruiz and Oreshkov, 2025) and assumes familiarity with the “paradox of the third particle” literature.

Scope (one sentence): The paper analyses how subsystems compose and decompose inside quantum reference frame perspectives, showing that a recent algebraic QRF formalism resolves the paradox of the third particle by construction through “extra-particle” degrees of freedom, and that composition in a QRF perspective is a genuine generalisation of standard tensor-product composition.

No numerical benchmarks, datasets, model names, or experimental results are reported; the work is formal and conceptual, illustrated with a toy model of discrete translations on a circle.

What This Paper Is About

Physics usually assumes that a system can be split into parts and reassembled without changing the description, an idea encoded in quantum theory by the tensor product. When the reference frame used to describe a system is itself quantum, this assumption becomes problematic: transforming a reduced setup into another frame and transforming an extended setup that includes an extra, independent particle can give different answers for the same subsystem. This is the “paradox of the third particle.” The paper’s goal is to show, within a specific recent formalism, how subsystems can be added to and removed from QRF perspectives consistently, why the paradox cannot arise in that framework, and what restrictions this places on how states can be appended.

Key Contributions

1. Internalising external observers. The authors show how the implicit reference frame of an external observer (called Eve) can be treated as a physical QRF inside the formalism, yielding a consistent hierarchy of QRF perspectives in which different observers can describe each other’s use of the formalism and reach the same conclusions.

2. A definition of subsystem addition and removal in QRF perspectives. Using that hierarchy, they define what it means to extend a QRF setup with a new subsystem (and, by the same structure, to remove one), and explain why the paradox of the third particle is avoided by construction rather than by modifying the partial trace.

3. A characterisation of states that can be appended in tensor-product form. They show that, unlike standard quantum theory, not every state can be tensorised onto a QRF perspective, and they characterise which relative states admit such an extension given the initial state in that perspective.

4. “Classicalisation.” They introduce a procedure that recovers a classical-like perspective from a general QRF, which circumvents the state restrictions above but carries a different operational meaning, studied through a concrete example; it also provides a link between two inequivalent approaches to QRFs (the formalism of Castro-Ruiz and Oreshkov, 2025, and the perspective-neutral-style approach of Ref. [28]).

Main Findings

• Standard relative-only QRF transformations fail a compositionality condition. With frames A, B and system S, Alice’s state is 1/√2(|b₁⟩ + e^{iθ}|b₂⟩){B|A} ⊗ |s⟩{S|A}. Transforming to Bob’s frame gives 1/√2(|−b₁⟩|s−b₁⟩ + e^{iθ}|−b₂⟩|s−b₂⟩){AS|B}, in which the phase θ is in principle measurable. If an independent third particle S₃, sharply localised at s₃ relative to A, is first added in tensor-product form, transforming and then tracing out S₃|B yields a mixed state with no θ dependence. The reduced and extended transformations therefore do not commute with discarding the extra system in the schematic condition Tr{(all but AS|B)} ∘ 𝒮^{ext}{A→B}[ρ_ext] = Tr{(all but AS|B)} ∘ 𝒮^{red}_{A→B}[ρ_red].

• The failure is physically expected, not a calculational error. S₃|A and S₃|B are physically distinct subsystems, so tracing them out before and after a QRF transformation should not generally agree. The authors argue the paradox is a symptom of a structural tension between reversible QRF transformations defined only on relative subsystems and compositionality.

• Extra-particle degrees of freedom restore compositionality. In the formalism used, each perspective contains, besides the relative subsystem S|A, an “extra particle” S|Ā defined as the commutant of S|A inside the invariant algebra, with S|A ∨ S|Ā generating the full invariant subalgebra. Because [BS|Ā, A|B] ≠ 0, information in the extra particle is necessary to recover AS|B — the mechanism behind the paradox — and including it makes the treatment of subsystems consistent by construction, with no alternative “relational partial trace” required.

• The extra particle is effectively classical and encodes the frame’s “quantumness.” A general operator in a perspective has the form Σ_p |p⟩⟨p|{S|Ā} ⊗ (M_p){S|A}, i.e. only diagonal momentum states, reflecting the superselection rule for total momentum induced by global translation invariance. If the external state is classical-quantum, ψ = Σ_x μ_x |x⟩⟨x|_A ⊗ (σ_x)S, the perspective state becomes [𝟙/N ⊗ Σ_x μ_x U_x† σ_x U_x]{S|Ā,S|A}. Conversely, if the extra particle is not the tensorised maximally mixed state, the external state of A cannot be of classical-quantum form — information available from A’s internal perspective.

• Composition in a QRF generalises standard quantum composition. Consistency implies that appending a subsystem relative to a QRF differs from, and generalises, the standard tensor-product case: only a restricted set of states compatible with the initial perspective state can be appended.

• Classicalisation trades restrictions for a different operational meaning. Recovering a classical-like perspective from a general QRF allows relative subsystems to be added while circumventing the state restrictions, but the resulting procedure means something different operationally, as the worked example shows.

• External observers have no special status. Eve’s frame can always be internalised, producing a consistent hierarchy in which the formalism can, in the authors’ phrase (borrowed from the Frauchiger–Renner thought experiment), “describe the use of itself.”

Methodology in Plain English

The authors work within an algebraic QRF formalism and keep the setting deliberately simple: systems are N-dimensional, associated with the cyclic group ℤ_N, and pictured as particles on a circle with discrete translations as the symmetry. Each system carries the regular representation of the group.

To “jump into” a frame, they do two things: first, rewrite the joint system in terms of relational quantities (for example, relative position x̂_S − x̂_A) via a unitary refactorisation; second, discard operators that are not invariant under the global group action, using a projection known as the incoherent G-twirl. What survives is the perspective: a relative subsystem plus an extra-particle subsystem.

They then compare two routes to the same question — transform the small setup, or transform the larger setup and discard the extra particle — and show these routes disagree for relative-only transformations. Turning to the full algebraic structure, they identify the extra particle as the commutant of the relative algebra and argue that keeping it makes the two routes agree by construction. Building on that, they define addition and removal of subsystems, analyse which states can be appended in tensor-product form, and define classicalisation as a procedure that projects a general perspective onto a classical-like one. Detailed proofs are collected in Appendix C, with elementary examples in Appendix A.

Why This Matters

• Impact on research. The paper reframes the paradox of the third particle as a structural compositionality problem rather than a bookkeeping problem about partial traces, and argues that no modified trace is needed once extra-particle degrees of freedom are retained. It also supplies a concrete link between two previously inequivalent QRF approaches and extends the framework to hierarchies of observers.

• Potential applications (not reported as implementations in the paper):

  • Quantum communication and cryptography where parties lack a shared classical reference frame and must use physical systems as references.
  • Quantum metrology and clock synchronisation, where the reference system’s quantum nature limits achievable precision.
  • Quantum computing and information processing under superselection rules, where frame-dependent restrictions on state preparation matter.
  • Foundational work on quantum gravity and observer-dependent descriptions, where diffeomorphism-invariant, relational descriptions are central.

• Industry relevance. Relevance is currently foundational rather than commercial: the results inform how quantum-technological protocols should be modelled when reference frames are themselves quantum, but the paper reports no experimental demonstration, hardware, or benchmark.

Future Directions

• Extending beyond finite Abelian groups. The authors restrict the analysis to finite Abelian groups but state that many results can be generalised directly; a full non-Abelian treatment (where left- and right-regular representations genuinely differ) remains to be worked out.

• Non-ideal reference frames. Only ideal QRFs are considered here; extending the compositional analysis to non-ideal QRFs, which obey weaker assumptions (an extension already exists for the underlying formalism), is a natural next step.

• Operational protocols. The paper characterises compatible states formally; turning classicalisation and the extra-particle measurements into explicit operational protocols for internal observers remains open.

• Connections to Wigner’s-friend scenarios. The authors note that the hierarchy of perspectives has a “Wigner’s friend flavour” and may be interesting to study in that context, while observing that Wigner’s-friend conceptual challenges are a priori independent of QRFs.

Target Audience

Researchers in quantum foundations and quantum information theory working on reference frames, superselection rules, and relational descriptions of physics; mathematically inclined graduate students with background in operator algebras and group representation theory; and philosophers of physics interested in compositionality and observer-dependent descriptions. Readers seeking experimental results, numerical comparisons, or implementation guidance will not find them here.

Authors’ abstract

Understanding a composite system through its constituents is a fundamental practice in physics. In the context of quantum reference frames (QRFs), however, combining the usual quantum-theoretic notion of composition with QRF perspectives gives rise to subtle issues, such as the 'paradox of the third particle'. Here we study in depth how to compose subsystems in QRF perspectives, building on a recent formalism for QRFs [E$.$Castro-Ruiz and O$.$Oreshkov, 2025]. We first show how the frames of external observers can be internalised and treated within the framework. This establishes a consistent hierarchy of QRF perspectives, which we use to define the adding and removing of subsystems. We then explain how, owing to the so-called 'extra-particle' degrees of freedom, the formalism gives a consistent treatment of subsystems, avoiding any paradoxes by construction. Consistency then implies that composing subsystems in a QRF perspective differs from, and generalises, the standard quantum-theoretic case. In particular, not every state can be appended in tensor-product form relative to a QRF, and we characterise the set of compatible states. Finally, we introduce 'classicalisation', a procedure that recovers a classical-like perspective from a general QRF. This procedure circumvents the aforementioned state restrictions but carries a different operational meaning, which we study through a concrete example.