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 semidirect product G=N (sic) P or a direct product G = N x 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.
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 semidirect product G=N (sic) P or a direct product G = N x 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.
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.
Recently there has been much effort in developing a quantum generalisation of reference frame transformations. Despite important progress, a complete understanding of their principles is still lacking. In particular, we argue that previous proposals could yield reversible transformations between arbitrary quantum reference frames only when applied to the whole universe. In contrast, here we derive quantum reference frame transformations from first principles, using only standard quantum theory. Our framework, naturally based on incoherent rather than coherent group averaging, yields reversible transformations that only depend on the reference frames and system of interest. We find more general transformations than those studied so far, which are valid only in a restricted subspace. Importantly, our framework contains additional degrees of freedom in the form of an "extra particle," which carries information about the quantum features of reference frame states. Our formalism is valid for a broad range of symmetry groups. We study the centrally extended Galilei group specifically, highlighting key differences from previous proposals.
We formulate quantum reference frames within the Dirac quantization of gauge theories, where physical states are obtained from a kinematical Hilbert space Hkin by group averaging. We assume the gauge group G is unimodular, and we define a quantum reference frame as a system of coherent states associated with a group GR of frame orientations acting on a tensor factor of Hkin. In direct analogy with the Faddeev-Popov procedure in path integrals, we show that the physical inner product can be written in terms of a choice of frame orientation with an appropriate operator measure, but that the physical Hilbert space is independent of this choice of frame. This yields a generalization of the Page-Wootters reduction map used to define conditional states and conditional probabilities of measurement outcomes given a frame orientation. These probabilities correspond to the expectation values of relational Dirac observables obtained from generalizations of previously considered relativization maps. Our main result is that the map that implements a change of frame is unitary, even when G does not act as a tensor-product representation across a factorization of Hkin. The formalism therefore accommodates interactions between reference frames and the systems described relative to them. We apply this formalism to temporal frames, showing that a unitary Schrödinger equation emerges for an interacting clock and system, and that a previously reported time-nonlocal Schrödinger equation is recovered in an appropriate limit. With this, problems of non-unitarity are avoided by the use of the gauge-fixing measure in the physical inner product. We also discuss the case of interacting spatial frames, where the known correspondence between coherence in one frame and entanglement in another is shown to depend on the coupling.
The concept of a reference frame has been a part of the physical formalism since the early days of physics. The reference frame was always understood as a physical system with respect to which states of other physical systems are described. With the adoption of quantum theory, our understanding of physical systems has fundamentally changed, yet we still rely on classical systems for the definition of reference frames. If we acknowledge the fact that all systems are quantum mechanical, including reference frames, then we have to be able to describe quantum systems relative to other quantum systems. \n \nIn this thesis we develop a framework for integrating quantum reference frames into the formalism of quantum mechanics. We show how the description of states and measurements has to be refined in order to account for the quantum nature of the reference frame. Initially, we study the implications of the new description with a quantum reference frame associated with a generic compact group. Then, we apply the same approach to the study of relativistic quantum reference frames associated with the Poincaré group, which is not compact. \n \nOur findings for the generic compact group include an analysis of how well a quantum system defines a frame of reference for other systems. Also in the generic case we analyze the effects of a measurement on a quantum reference frame. In the relativistic case we first find how the massive representations of the Poincaré group decompose into irreducible representations. This is a key problem in the analysis of quantum reference frames. Finally, we analyze a relativistic quantum reference frame that is used for measuring the total momentum. We will show how the relativistic measurements of total momentum should be described with respect to a quantum reference frame. We will also show how these measurements affect the quantum reference frame.
In the literature on quantum reference frames, the internal (relative) properties of a system are defined as those which are preserved under an arbitrary change of reference frame. For a system of quantum spins, these are all properties preserved by proper spatial rotations of the laboratory. However, this approach does not account for the hypothetical possibility of the laboratory becoming entangled to the system, as described by a second laboratory (the `Wigner's friend' scenario), in which case the relationship between the two laboratories is not a rotation, but is fundamentally quantum. To overcome this limitation, we re-define the reference frame transformations to be those that preserve the fidelities between subsystems. This enables us to derive U(2) as the correct symmetry group for transformations of a system of N spin-half particles. Next, we propose that systems having the same internal properties should be regarded as physically equivalent in the absence of an external frame. Remarkably, this implies that a single spin in a superposition relative to a spin magnet is equivalent to a macroscopic superposition of the magnet relative to the spin. We discuss the implications of this result for the Wigner's friend paradox.
Quantum permutations, or magic unitaries, have in recent years been explored in the context of identifying `genuinely quantum' isometries of graphs. Here, we import this tool in physics, showing that quantum permutations yield a generalisation of quantum reference frames in a discrete setting that is reminiscent of the passage from special to general relativity. We show that the typical quantum reference frames framework corresponds to quantum permutations classified as `classical' in the mathematical literature, and which we demonstrate are quantum controlled transformations (superpositions of classical coordinate maps). Genuinely quantum permutations (i) allow to construct \emph{non--commuting} quantum reference frames (ii) correspond to \emph{local}, as opposed to global, superpositions of transformations. Strikingly, we find that the non-commutativity of quantum fields, when used as reference systems, is exactly what implies that the change of frame is achieved through a genuine quantum permutation. We illustrate the above with several examples in both first and second quantization formalism, which demonstrate (a) simultaneous control on non--commuting variables, (b) the existence of bipartite states that can be localized with a genuine quantum permutation and cannot be localized with the usual quantum reference frame transformations (without introducing additional degrees of freedom), (c) extension of the Ising model symmetries to genuinely quantum permutations, and (d) extension of the symmetries of a scalar field action on curved spacetime to genuinely quantum permutations. While we have in mind applications in quantum gravity, we expect our formalism to be of interest in a wide range of topics in quantum information.