Finite-resource quantum reference frames
For a specified symmetry group and constrained dynamics, bound errors in changing and composing finite-resource quantum frames, including interacting clock backreaction and repeated-use degradation under an explicit operational task.
Problem statement
For a specified symmetry group and constrained dynamics, bound errors in changing and composing finite-resource quantum frames, including interacting clock backreaction and repeated-use degradation under an explicit operational task.
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Background
Reference frames (for position, orientation, time, phase) are physical systems and hence ultimately quantum. A quantum reference frame (QRF) can be in superposition or entangled with the system, so 'changing frames' becomes a nontrivial quantum operation, and properties like superposition and entanglement become frame-dependent.
What is known: An active modern formalism has emerged. Giacomini–Castro-Ruiz–Brukner gave transformations between QRFs under which entanglement and superposition are relative to the frame, and defined frame-dependent notions of a system's state. The perspective-neutral / constraint-based approach (Vanrietvelde–Höhn–Giacomini–Castro-Ruiz; Höhn et al.) grounds QRF changes in gauge-theoretic reduction of a constrained system, connecting to the problem of time in quantum gravity and to the Page–Wootters mechanism (F11). Earlier resource-theoretic work (Bartlett–Rudolph–Spekkens) treated frames as consumable resources under superselection.
New progress (August–September 2026): The published De Vuyst–Höhn–Tsobanjan result relates perspective-neutral, algebraic and effective approaches for ideal sharply oriented frames, including its single-relativistic-constraint setting. Sahdo–Castro-Ruiz's preprint gives a compositional treatment specifying how subsystems can be added or removed and which appended states are compatible. Brady's separate preprint formulates classical and quantum frames for -algebras through Hilbert modules and equivariant correspondences. These organize composition and algebraic structure; they do not assert uniform finite-resource error bounds for every interacting frame model.
A published earlier baseline, Höhn–Smith–Lock's trinity of relational quantum dynamics (2021), relates relational Dirac observables, Page–Wootters and reduced Heisenberg descriptions using covariant clock POVMs, including nonideal clocks under its assumptions. This absorbs the formal-unification part of archived F11; it is not evidence that all interactions and finite-resource costs are controlled.
The frontier is quantitative: fix a group (for example time translations or spatial rotations), reference-state energy/size, admissible couplings and operational error; derive composition and repeated-use bounds. For relativistic constraints, state the constraint algebra and clock–system interaction before seeking extensions. Existing compositional constructions are the baseline, not an absent formalism. Related: F7, O7.
Source disclosures
The previous update recorded De Vuyst, Höhn and Tsobanjan's statement that no AI tools were used. This declaration was not independently rechecked in the audit and does not determine the mathematical status. Source
Progress & source assessment
Source catalogue review: 4 September 2026. Improved indicates partial progress, including qualified preprint claims.
published: Equivalence of perspective-neutral, algebraic and effective frame descriptions in the paper's ideal-frame and constraint setting. Evidence
preprint: A compositional framework specifies which subsystems and states can consistently be appended; not a universal finite-resource error theorem. Evidence
preprint: A Hilbert-module formalism for classical and quantum reference frames supplies additional algebraic structure. Evidence
- [1]Giacomini, Castro-Ruiz, Brukner, 'Quantum mechanics and the covariance of physical laws in quantum reference frames', Nat. Commun. 10, 494 (2019) link
- [2]Vanrietvelde, Höhn, Giacomini, Castro-Ruiz, 'A change of perspective: switching quantum reference frames via a perspective-neutral framework', Quantum 4, 225 (2020) link
- [3]De Vuyst, Höhn & Tsobanjan, 'On the relation between perspective-neutral, algebraic, and effective quantum reference frames', Quantum (2026) link
- [4]Sahdo & Castro-Ruiz, 'Compositionality in quantum reference frame perspectives' (2026) link
- [5]Brady, 'A Hilbert Module Approach to Classical and Quantum Reference Frames' (2026) link
- [6]Höhn, Smith & Lock, 'Trinity of relational quantum dynamics', PRD 104, 066001 (2021) link
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.