A fully relational quantum theory necessarily requires an account of changes of quantum reference frames, where quantum reference frames are quantum systems relative to which other systems are described. By introducing a relational formalism which identifies coordinate systems with elements of a symmetry group G, we define a general operator for reversibly changing between quantum reference frames associated to a group G. This generalises the known operator for translations and boosts to arbitrary finite and locally compact groups, including non-Abelian groups. We show under which conditions one can uniquely assign coordinate choices to physical systems (to form reference frames) and how to reversibly transform between them, providing transformations between coordinate systems which are `in a superposition' of other coordinate systems. We obtain the change of quantum reference frame from the principles of relational physics and of coherent change of reference frame. We prove a theorem stating that the change of quantum reference frame consistent with these principles is unitary if and only if the reference systems carry the left and right regular representations of G. We also define irreversible changes of reference frame for classical and quantum systems in the case where the symmetry group G is a semi-direct product G=N⋊P or a direct product G=N×P, providing multiple examples of both reversible and irreversible changes of quantum reference system along the way. Finally, we apply the relational formalism and changes of reference frame developed in this work to the Wigner's friend scenario, finding similar conclusions to those in relational quantum mechanics using an explicit change of reference frame as opposed to indirect reasoning using measurement operators.

The current theories of quantum physics and general relativity on their own do not allow us to study situations in which the gravitational source is quantum. Here, we propose a strategy to determine the dynamics of objects in the presence of mass configurations in superposition, and hence an indefinite spacetime metric, using quantum reference frame (QRF) transformations. Specifically, we show that, as long as the mass configurations in the different branches are related via relativedistance-preserving transformations, one can use an extension of the current framework of QRFs to change to a frame in which the mass configuration becomes definite. Assuming covariance of dynamical laws under quantum coordinate transformations, this allows to use known physics to determine the dynamics. We apply this procedure to find the motion of a probe particle and the behavior of clocks near the mass configuration, and thus find the time dilation caused by a gravitating object in superposition.

In the absence of external relata, internal quantum reference frames (QRFs) appear widely in the literature on quantum gravity, gauge theories and quantum foundations. Here, we extend the perspectiveneutral approach to QRF covariance to general unimodular Lie groups. This is a framework that links internal QRF perspectives via a manifestly gauge-invariant Hilbert space in the form of "quantum coordinate transformations", and we clarify how it is a quantum extension of special covariance. We model the QRF orientations as coherent states which give rise to a covariant positive operator-valued measure, furnishing a consistent probability interpretation and encompassing non-ideal QRFs whose orientations are not perfectly distinguishable. We generalize the construction of relational observables, establish a variety of their algebraic properties and equip them with a transparent conditional probability interpretation. We import the distinction between gauge transformations and physical symmetries from gauge theories and identify the latter as QRF reorientations. The "quantum coordinate maps" into an internal QRF perspective are constructed via a conditioning on the QRF's orientation, generalizing the Page-Wootters formalism and a symmetry reduction procedure to general groups. We also find two types of QRF transformations: the gauge induced "quantum coordinate transformations" as passive changes of description, which we show are always unitary, and symmetry induced active changes of relational observables from one QRF to another. We then reveal novel physical effects: (i) QRFs whose orientations admit non-trivial isotropy groups can only resolve isotropy-group-invariant properties of other subsystems; (ii) when the QRF does not admit symmetries, its internal perspective Hilbert space is not fixed and "rotates" through the kinematical subsystem Hilbert space as the QRF changes orientation. We also invoke the symmetries to extend a recent observation on the quantum relativity of subsystems to general groups, which explains the QRF dependence of entanglement and other physical properties. Finally, we compare with other approaches to QRF covariance and illustrate our findings in various examples.

No abstract