Abstract
In physics, every observation is made with respect to a frame of reference. Although reference frames are usually not considered as degrees of freedom, in all practical situations it is a physical system which constitutes a reference frame. Can a quantum system be considered as a reference frame and, if so, which description would it give of the world? Here, we introduce a general method to quantise reference frame transformations, which generalises the usual reference frame transformation to a “superposition of coordinate transformations”. We describe states, measurement, and dynamical evolution in different quantum reference frames, without appealing to an external, absolute reference frame, and find that entanglement and superposition are framedependent features. The transformation also leads to a generalisation of the notion of covariance of dynamical physical laws, to an extension of the weak equivalence principle, and to the possibility of defining the rest frame of a quantum system.
Introduction
The state of a physical system has no absolute meaning, but is only defined relative to the observer’s reference frame in the laboratory. The same system may be associated to different states in different reference frames, which are normally related via some reference frame transformation. From a physical point of view, a frame of reference is an abstraction of an idealised physical system: for example, an ideal rigid body can serve as a reference frame to define relative spatial distances and orientations of other objects. In classical physics, a coordinate transformation is used to transform the description of the system under consideration between two different reference frames. These transformations include, for example, spatial rotations and translations in space and time or constant relative motion of the frames (e.g., Galilean tranformations). In general, the dynamical physical laws are invariant under some group of transformations. For instance, the laws of nonrelativistic physics are invariant under Galilean transformations.
In every physical laboratory situation, the reference frame is realised through a physical system. As any physical system, it ultimately behaves according to the laws of quantum mechanics. Therefore, one might see the standard treatment of referenceframe transformations as an approximation to a more fundamental set of transformations. Specifically, one should take into account the possibility that one laboratory, from the perspective of another laboratory, might appear in a superposition or even become entangled with the system. Hence, the relationship between the two laboratories becomes more than a simple coordinate transformation between classical reference frames; it becomes a fundamentally quantum relationship. We may then speak about transformations between ‘quantum reference frames’ (QRFs). For example, we can imagine that the laboratory and the instruments of one observer are fixed to a platform that is in a superposition of position states with respect to the laboratory of a second observer, as illustrated in Fig. 1. Can we meaningfully define transformations between such QRFs? Which transformations relate quantum states of systems defined with respect to one frame of reference to those defined with respect to a second frame of reference? What are the dynamical physical laws that are invariant under such ‘quantum transformations’?
QRFs have been extensively discussed in the literature^{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22}. Previous works on QRFs, and a comparison with our approach, is discussed in detail in Methods (Comparison of previous approaches to quantum reference frames).
In this work, we find (unitary) transformations that relate states, dynamical evolution and measurements from the point of view of different QRFs. This is achieved by changing perspective via a ‘generalised coordinate transformation’ from an initial QRF to a final QRF, which does not only involve the observed system, but also the degrees of freedom of the quantum system considered as a reference frame. The resulting transformation takes the states of all systems external to the initial QRF as input, and outputs the states of all systems external to the final QRF. We find that a quantum state and its features—such as superposition and entanglement—are only defined relative to the chosen reference frame, in the spirit of the relational description of physics^{16,17,18,19,23,24}. For example, a quantum system which is in a welllocalised state of an observable for a certain observer may, for another observer, be in a superposition of two or more states or even entangled with the first observer. As the transformations between different QRFs are unitary, the observed probabilities (i.e. relative number of counts) are invariant. However, the measured systems and observables are different in different QRFs and we find the transformation that maps the measured observables and systems in one QRF with those in the other QRF. Turning to the dynamics, we propose an extension of the notion of covariance of the physical laws to include genuine quantum transformations, where one frame of reference is in a superposition of different relative positions, momenta or velocities with respect to another frame of reference. We find Hamiltonians that are symmetric under such “superpositions of Galilean translations” and “superpositions of Galilean boosts”. Finally, we find that the weak equivalence principle can be extended to QRFs: The effects as observed in a “superposition of uniform gravitational fields” are indistinguishable from those in a frame in a “superposition of accelerations” in flat spacetime. In all these transformations the quantum system considered as a reference frame acts as a control for the transformation on the observed system.
Results
Transformations between quantum reference frames
When reference frames are considered as abstract entities, the reference frame transformation consists in a coordinate transformation, where the new coordinates x′ in which the system under consideration is expressed are functions of the old cordinates x and time t, i.e. x′ = x′(x, t). In the transformation, the relation between the old and new reference frame, such as the relative position or velocity, enters as a parameter. A special case of these transformations, discussed in detail in Supplementary Note 1, are the extended Galilean transformations, introduced in ref. ^{25}. These are transformations of the type x′ = x − X(t), and contain as particular cases spatial translations, Galilean boosts and transformations to a uniformly accelerated reference frame. In quantum theory, all these transformations can be represented via their unitary action on the quantum state of the system \(\psi \prime \rangle = \hat U_i\psi \rangle\), where the index i labels the transformation. In the case of spatial translations, the coordinate transformation x′ = x − X_{0} induces the transformation \(\hat U_{\mathrm{T}} = e^{\frac{i}{\hbar }X_0\hat p}\), where X_{0} is a fixed parameter, with the physical dimension of a length, describing the displacement of the new reference frame with respect to the old one. When the new reference frame moves with constant and uniform velocity v from the point of view of the initial one (Galilean boost), we have X(t) = vt, and the transformation which changes the state to the new frame is \(\hat U_{\mathrm{b}} = e^{\frac{{\mathrm{i}}}{\hbar }v\hat G}\). Here, \(\hat G = \hat pt  m\hat x\) is the generator of the Galilean boost, with m being the mass of the boosted particle. Finally, if the new reference frame is constantly and uniformly accelerated with acceleration a from the point of view of the initial one, \(X(t) = \frac{1}{2}at^2\) and the operator to be applied on the state is \(\hat U_{\mathrm{a}} = e^{  \frac{{\mathrm{i}}}{\hbar }m\dot X(t)\hat x}e^{\frac{{\mathrm{i}}}{\hbar }X(t)\hat p}e^{  \frac{{\mathrm{i}}}{\hbar }\frac{m}{2}{\int}_0^t ds\dot X^2(s)}\).
The usual coordinate transformations which describe the change between reference frames rely on the assumption that reference frames are abstract, ideal entities, to which we do not assign a physical state. In a real experimental situation this idealisation may not be accurate, since real physical systems standardly serve as reference frames, and therefore the assumptions usually made may be untenable. An instance of the differences occurring when a physical system is considered as a reference frame is presented in ref. ^{26}, where a vibrating wire serves as a quantum noninertial reference frame. The wire, placed in an interferometer traversed by an atom, induces a phase shift on the atom, leading to a loss of interference.
We next give the basic elements of our formalism, where a description of a set of physical systems is given relative to another set of physical systems (the latter set serving as a QRF), within the framework of either classical or quantum theory. We find general transformations between the descriptions that different QRFs provide for their respective ‘rests of the world’. We will see that the notion of ‘jumping’ to a QRF becomes illdefined: not all the variables can be cast in relational terms, and a choice has to be made as to which degrees of freedom are relevant to the situation studied. All calculations are done in one dimension to keep the notation simple. An extension to three dimensions is straightforward.
We consider three quantum systems, as illustrated in Fig. 1: C is the initial reference frame, A is the new reference frame to whose perspective we want to change, and B is, in general, a composite system to which the transformation from C’s to A’s reference frame will be applied. Our approach is operational in that primitive laboratory operations—preparations, transformations and measurements—have fundamental status. This emphasis on the operational approach enables the theory to be specified purely in terms of notions that have immediate physical meaning. Note, however, that the approach does not entail the necessity of having macroscopic superpositions. In a realistic situation, for example, system A could be a particle with external degrees of freedom in superposition with respect to laboratory C, which serve to define the new set of relative coordinates, and with internal degrees of freedom used as a ‘detector’ in reference frame A. We assume that a dynamical description relative to a reference frame does not involve the frame itself, but only the systems external to it. An explanation of this is that, for instance, the position and momentum of the reference frame are not dynamical variables when considered from the reference frame itself (this can also be related to the socalled selfreference problem^{27,28}). Therefore, the reference frame is not a degree of freedom in its own description, but external systems to it are. Hence, from the perspective of C’s reference frame, A and B are external systems, and from the perspective of A’s reference frame so are B and C.
In C’s reference frame the systems A and B are described by quantum states in the Hilbert space \({\cal H}_{\mathrm{A}}^{{\mathrm{(C)}}} \otimes {\cal H}_{\mathrm{B}}^{{\mathrm{(C)}}}\). To change the reference frame we apply a canonical transformation, the most general transformation which preserves the symplectic structure of the phase space. Quantum canonical transformations have been object of study in Refs. ^{29,30}, and are defined as invertible transformations \(\hat C\) which map the initial operators \((\hat x,{\kern 1pt} \hat p)\), to \(\hat q = \hat C\hat x\hat C^{  1}\) and \(\hat \pi = \hat C\hat p\hat C^{  1}\) such that \(\left[ {\hat q,\hat \pi } \right] = {\mathrm{i}}\hbar\). The general theory of quantum canonical transformations involves technical issues, for example that not all quantum canonical transformations are isometries^{30}. For simplicity, in this work we restrict our consideration only to unitary transformations, which by definition are isometries. Such unitary transformations take the form \(\hat C:{\cal H}_{\mathrm{1}} \to {\cal H}_{\mathrm{2}}\), where \({\cal H}_{\mathrm{1}}\), \({\cal H}_{\mathrm{2}}\) are the initial and final Hilbert spaces, such that, for all states \(\psi ,\,\phi \, \in \,{\cal H}_{\mathrm{1}}\), the scalar product is preserved, i.e. \(\langle \phi \psi \rangle _{\mathrm{1}} = \langle \hat C\phi \hat C\psi \rangle _{\mathrm{2}}\), where \(\langle \cdot  \cdot \rangle _i\) is the scalar product on the Hilbert space \({\cal H}_i\), \(i = 1,2\). Notice that the functional form of the two scalar products might differ, because the measure of the Hilbert space is allowed to change.
Before giving an example of a transformation to a quantum reference frame, we should stress that the requirement of canonicity leads to important consequences. If we were to approach the transformation naively, we would be tempted to define a transformation to relative coordinates and momenta, where the relative coordinates of a set of N particles of mass m_{i} (i = 1,...,N) relative to particle 0 of mass m_{0} are \(x_i^r = x_i  x_0\) and the relative momenta are \(p_i^r = \mu _{i0}\left( {\frac{{p_i}}{{m_i}}  \frac{{p_0}}{{m_0}}} \right)\), \(\mu _{i0} = \frac{{m_im_0}}{{m_i + m_0}}\) being the reduced mass. If we now compute the Poisson bracket, we find that \(\{ x_i^r,p_j^r\} \,\ne\, 0\) for i ≠ j, thus violating the canonicity requirement. This argument can also be found in ref. ^{20,21}. This means that, whenever we perform a transformation to a quantum reference frame, we have to choose the relative variables we are interested in, and then complete the transformation of the conjugated variable by canonicity. Note that this feature does not only arise in quantum mechanics, but in classical physics too. Moreover, in the Lagrange formalism, a transformation to the relative variables is a point transformation, and is therefore automatically canonical when mapped to the phase space.
We now move on to illustrate the idea of a transformation between QRFs through an example. We describe the situation in which the new reference frame A is simply translated with respect to the old one C, but where the quantum state of A, instead of being sharp in position, is in a superposition of positions. In this case it is clear that a mere coordinate transformation of the type discussed previously in this section and in detail in Supplementary Note 1 is no longer adequate, because the position of the new reference frame is not localised, and therefore there is no unique distance between the two reference frames. As a consequence, a transformation which captures the quantum features of A is necessary in order to describe a quantum system B in the new reference frame. We suggest that a natural procedure is to make use of the linearity of quantum mechanics and ‘coherently translate’ the state of B relative to the position of A, via the operator \(e^{\frac{{\mathrm{i}}}{\hbar }\hat x_{\mathrm{A}}\hat p_{\mathrm{B}}}\), where the indices refer to the two quantum systems A and B. Note that here the position operator of the system A, \(\hat x_{\mathrm{A}}\), replaces the classical parameter of the usual translation operator.
The full spatial translation to change from C’s to A’s reference frame consists of a change of relative position coordinates as seen from C (illustrated in Fig. 2a) to the relative position coordinates as seen from A (in Fig. 2b). This can be achieved via the canonical transformation
where \(\hat x_i,\hat p_i\), \(i = {\mathrm{A}},{\mathrm{B}}\), are the positions and momenta relative to C, and \(\hat q_j,\,\hat \pi _j\), \(j = {\mathrm{B}},{\mathrm{C}}\), are the positions and momenta relative to A. The transformation (1) can be represented via the canonical transformation \({\cal S}_{\mathrm{x}}( \cdot ) = \hat S_{\mathrm{x}} \cdot \hat S_{\mathrm{x}}^\dagger\) on the phase space observables of the systems A and B, where \({\cal S}_{\mathrm{x}}( \cdot )\) is a superoperator and \(\hat S_{\mathrm{x}}\) the unitary transformation \(\hat S_{\mathrm{x}}:{\cal H}_{\mathrm{A}}^{{\mathrm{(C)}}} \otimes {\cal H}_{\mathrm{B}}^{{\mathrm{(C)}}} \to {\cal H}_{\mathrm{B}}^{{\mathrm{(A)}}} \otimes {\cal H}_{\mathrm{C}}^{{\mathrm{(A)}}}\) defined as
Here, \(\hat {\cal P}_{{\mathrm{AC}}}:{\cal H}_{\mathrm{A}}^{{\mathrm{(C)}}} \to {\cal H}_{\mathrm{C}}^{{\mathrm{(A)}}}\) is the parityswap operator acting as \(\hat {\cal P}_{{\mathrm{AC}}}\psi _{\mathrm{A}}(x) = \psi _{\mathrm{C}}(  x)\) in the coordinate representation of the states. If C assigns the quantum state \(\rho _{{\mathrm{AB}}}^{{\mathrm{(C)}}}\) to the joint system of A and B, the transformed state from A’s perspective is \(\rho _{{\mathrm{BC}}}^{{\mathrm{(A)}}} = \hat S_{\mathrm{x}}\rho _{{\mathrm{AB}}}^{{\mathrm{(C)}}}\hat S_{\mathrm{x}}^\dagger\). Note that our transformation can be applied to both pure and mixed states. This transformation satisfies the transitive property, meaning that changing reference frame from C to B and subsequently from B to A with Eq. (2) has the same effect as changing it from C to A. In particular, this means that changing from C to A and then back to C is equivalent to an identity operation, i.e. \(\hat S_{\mathrm{x}}^{({\mathrm{C}} \to {\mathrm{A}})} = \left( {\hat S_{\mathrm{x}}^{({\mathrm{A}} \to {\mathrm{C}})}} \right)^\dagger\). This is shown in Supplementary Note 2. The transformation in Eq. (2) can be seen as a translation of system B controlled by the position of system A followed by the parityswap operator.
Note that no absolute reference frame (‘external’ perspective) was needed to establish Eq. (2) (throughout the paper, we interchangeably use the terminology ‘absolute’, ‘abstract’, ‘external’, and ‘classical’ to refer to such reference frames). This transformation can be obtained by performing a point transformation to relative coordinates in the Lagrangian formalism, from which the relations between momenta can be derived. Alternatively, in the Hamiltonian formalism, the transformation in Eq. (2) can be fixed uniquely (up to a constant in Eq. (2)) by requiring that it is canonical, linear in phasespace observables, and does not mix coordinates and momenta. In this paper, we work with infinitedimensional Hilbert spaces isomorphic to \(L^2({\Bbb R})\) with standard measure dμ(x) = dx. It may happen that the system constituting the new reference frame, say A, is a composite system from the point of view of C. For instance, A could be composed of different particles (for example, imagine an atom made of protons and neutrons). Our formalism can be applied to this situation by defining the transformation to jump, for instance, to the degrees of freedom of the centre of mass. In this case, the internal degrees of freedom can be transformed like any external system B. In Methods (Application: notion of rest frame of a quantum system) we provide another example of how our formalism can be applied to a composite system with discrete internal degrees of freedom.
The general procedure that we follow to perform the canonical transformation is to choose a basis in which we want to express the relative quantities, and then complete it canonically. Note that any quadrature in the phase space could be considered as the relative variable. Different choices of relative coordinates would induce different transformations between QRFs. In Eq. (1) we have chosen position basis to define the relative coordinates in C and A, but we could have chosen the eigenbasis of, for instance, relative momenta. In this case the transformation is \(\hat S_{\mathrm{p}} = \hat {\cal P}_{{\mathrm{AC}}}e^{  \frac{{\mathrm{i}}}{\hbar }\hat p_{\mathrm{A}}\hat x_{\mathrm{B}}}\), and it gives rise to the following canonical transformation: \(\hat p_{\mathrm{B}} \,\mapsto\, \hat \pi _{\mathrm{B}}  \hat \pi _{\mathrm{C}}\), \(\hat p_{\mathrm{A}} \,\mapsto\,  \hat \pi _{\mathrm{C}}\), \(\hat x_{\mathrm{B}} \,\mapsto\, \hat q_{\mathrm{B}}\), and \(\hat x_{\mathrm{A}} \mapsto  \!(\hat q_{\mathrm{C}} + \hat q_{\mathrm{B}})\). The possibility of choosing different relative coordinates shows that, when we promote a physical system to a reference frame, the question what the description of the rest of the world is relative to the reference frame is illposed unless a choice of relative coordinates is met. An equivalent statement is that, when the reference frame is considered as a physical system, there is no unambiguous notion of ‘jumping’ to a reference frame. Note that this feature arises both in classical and quantum mechanics from the requirement of canonicity of the referenceframe transformation when the reference frames are considered as physical degrees of freedom, and therefore attributed a phase space. The expression “jumping” to a QRF is to be intended, in the rest of the paper, in a loose sense, up to the choice of a specific transformation and basis.
Some examples of transformed states according to the map in Eq. (2) are given in Fig. 3. In particular, we see in Fig. 3a that when the new reference frame A is very sharp in position basis and the initial state in C’s reference frame is ψ〉_{AB} = x_{0}〉_{A}ψ〉_{B}, from A’s point of view the state of B is translated by x_{0}, and the state of C is also sharp. The state in the new reference frame would then be \(\psi \rangle _{{\mathrm{BC}}} = {\int} dq_{\mathrm{B}}\psi (q_{\mathrm{B}} + x_0)q_{\mathrm{B}} \rangle _{\mathrm{B}}  x_0 \rangle _{\mathrm{C}}\). This corresponds to the translation of a classical reference frame by an amount x_{0}, since transformation \(\hat S_{\mathrm{x}}\) applied to the welllocalised state of A takes the form of the standard translation operator \(\hat S_{\mathrm{x}}x_0\rangle _{\mathrm{A}} = \hat {\cal P}_{{\mathrm{AC}}}e^{\frac{{\mathrm{i}}}{\hbar }x_0\hat p_{\mathrm{B}}}x_0\rangle _{\mathrm{A}}\). (Up to the parityswap operator that specifies the relative position of the two reference frames, which is usually ignored in the standard framework.)
In Fig. 3b we illustrate the case in which the state of A is a superposition of two sharp states, i.e. \(\left \phi \right\rangle _{\mathrm{A}} \,= \frac{1}{{\sqrt 2 }}\left( {\left {x_1} \right\rangle _{\mathrm{A}} +\, \left {x_2} \right\rangle _{\mathrm{A}}} \right)\). In general, if C describes the joint state of A and B as a product state ϕ〉_{A}ψ〉_{B}, the state in the reference frame of A is entangled and is obtained as the convolution product of the two, \(\hat S_{\mathrm{x}}\left \phi \right\rangle _{\mathrm{A}}\left \psi \right\rangle _{\mathrm{B}} \,= {\int} dq_{\mathrm{B}}dq_{\mathrm{C}}\phi (  q_{\mathrm{C}})\psi (q_{\mathrm{B}}  q_{\mathrm{C}})\left {q_{\mathrm{B}}} \right\rangle _{\mathrm{B}}\left {q_{\mathrm{C}}} \right\rangle _{\mathrm{C}}\). Analogously, if the states of A and B are entangled in the initial reference frame, this property might not hold after changing to the reference frame of A. Examples of this situation are given in Fig. 3c, d. In particular, in Fig. 3c we consider an entangled state of A and B in position basis, where there is a perfect correlation between A and B, i.e. \(\psi \rangle _{{\mathrm{AB}}} = \frac{1}{{\sqrt 2 }}(x_1 \rangle _{\mathrm{A}}x_1 + L \rangle _{\mathrm{B}} + x_2 \rangle _{\mathrm{A}}x_2 + L \rangle _{\mathrm{B}})\). From the point of view of A, the state of B and C is in a product state. In particular, B appears localised at the position q_{B} = L, while the state of C is in the superposition state \(\frac{1}{{\sqrt 2 }}\left( {\left {  x_1} \right\rangle _{\mathrm{C}} \,+\, \left {  x_2} \right\rangle _{\mathrm{C}}} \right)\). Similarly, if A and B are entangled in the EPR state \(\left \psi \right\rangle _{{\mathrm{AB}}} \,= {\int} dx\left x \right\rangle _{\mathrm{A}}\left {x + X} \right\rangle _{\mathrm{B}}\) as in Fig. 3d, A sees B localised at position q_{B} = X, while C is spread over the whole space.
From the examples considered it is clear that the notions of superposition and entanglement are referenceframe dependent. Specifically, this fact implies that a quantum particle in a spatial superposition from the point of view of a laboratory would in turn attribute to the laboratory a state which is in a spatial superposition. This notion of framedependence of the features of a quantum state is different to the one typically found in the literature, where the framedependence always appears due to the decoherence of the state of the system as specified in the external reference frame and after tracing out this frame (see, e.g., refs. ^{4,8,20,21}.). (More details on the differences between our approach and the existing literature on QRFs can be found in Methods (Comparison of previous approaches to quantum reference frames))
The dependence of entanglement and superposition on the reference frame is known to appear in relativistic quantum theory due to relativity of simultaneity in different reference frames^{31}. Framedependent entanglement between momentum and spin degrees of freedom also appears in relativistic quantum information when a state is Lorentzboosted to a reference frame moving with constant and uniform velocity with respect to the initial one^{32}. The boost on the state is represented through a Wigner rotation, which couples the spin and the momentum. Here we show that the effect can arise due to genuine quantum relationships between reference frames even in nonrelativistic quantum mechanics.
Dynamics and symmetries from a quantum reference frame
We will now derive the Schrödinger equation as seen from a QRF. More specifically, starting from the Hamiltonian in the initial reference frame C, we will derive the dynamical law relative to A. Here, the transformation \(\hat S\) from C to A is a completely general unitary operator, and may depend explicitly on time. In addition, we assume that the states of A and B with respect to the reference frame C satisfy the Schrödinger equation:
where \(\hat \rho _{{\mathrm{AB}}}^{{\mathrm{(C)}}}\) is the state of A and B (which can be either pure or mixed) and \(\hat H_{{\mathrm{AB}}}^{{\mathrm{(C)}}}\) their Hamiltonian relative to C.
The state of B and C relative to A is given by \(\hat \rho _{{\mathrm{BC}}}^{{\mathrm{(A)}}} = \hat S\hat \rho _{{\mathrm{AB}}}^{{\mathrm{(C)}}}\hat S^\dagger\). Differentiating this expression with respect to time and applying the Leibniz rule we obtain
where
At first sight, the Schrödinger equation in Eq. (3) for a general quantum reference frame C might look unjustified. According to our current status of experimental tests, the evolution of a quantum system has been confirmed as unitary only with respect to an ‘abstract’ reference frame (in the sense explained in the Introduction). Such an abstract reference frame can be approximated, in our description, as a very massive and classicallike reference frame. Then the mathematical steps from Eqs. (3)–(5) show that, starting from a classicallike reference frame, the evolution can be described unitarily also from any QRF, including those which are not massive, provided that there can exist a transformation like the \(\hat S\) operator to change the reference frame. Therefore, C can be taken as a QRF also in Eq. (3).
A transformation that leaves the Hamiltonian invariant is called a symmetry transformation. The symmetry of a transformation implies the existence of a conservation of a dynamical observable of the system. In the next sections we will identify symmetry transformations between QRFs. An important difference between classical and quantum RF transformations is that, in the latter case, the Hamitonian as seen from one QRF not only includes the observed system B but also the other QRF. We then define a symmetry transformation as a map that leaves the functional form of the Hamiltonian invariant, i.e. the Hamiltonian of A and B is the same function of operators as the Hamiltonian of C and B,
where the operators and the mass of A are simply replaced by the ones of C. It can be shown that if condition (6) is satisfied, then the transformation \(\hat S\) allows to define a map between the dynamical conserved quantities in the reference frame C, \(\left\{ {\hat C_i^{{\mathrm{(C)}}}} \right\}_{i = 1,...,N}\), with \(N \in {\mathbf{N}}\), to the dynamical conserved quantities in the reference frame A, \(\left\{ {\hat C_i^{{\mathrm{(A)}}}} \right\}_{i = 1,...,N}\). In particular, these quantities have the same functional form, but with all the labels A and C swapped. We show this in Supplementary Note 3.
As discussed at the beginning of Results (Transformations between quantum reference frames) and in detail in Supplementary Note 1, when reference frames are treated as abstract entities, the relationship between the old and the new reference frame enters as a function in the transformation \(\hat U_i = {\Pi}_ne^{\frac{{\mathrm{i}}}{\hbar }\,f^n(t)\hat O_{\mathrm{B}}^n}\), where f^{n}(t) depends on the specific transformation between two reference frames, and specifically on the displacement of the two reference frames X(t) and its timederivatives. The operator \(\hat O_{\mathrm{B}}\) acts on B’s Hilbert space. The product over the index n is due to the fact that, in a general transformation, we might not be able to decompose the transformation into a single product of a function of A and an operator of B. This condition translates to our formalism by promoting the functions f^{n}(t) to timedependent operators \(\hat f_{\mathrm{A}}^n(t)\). This transformation is specified in the timedependent operators of A, i.e., in the Heisenberg picture. We want to apply the transformation \(\hat S\) to the states of A and B at time t, i.e. to their states in the Schrödinger picture, and to obtain the transformed state of B and C at time t. This implies the following structure of general \(\hat S\) operator:
where the prescription to change QRF can be described through the following steps: (a) we first map the state of A to the Heisenberg picture by evolving it back in time with the Hamiltonian \(\hat H_{\mathrm{A}}\), (b) we then apply the generalisation of the classical transformation using the operators \(\hat f_{\mathrm{A}}^n(t)\) and (c) we apply the ‘generalised parity operator’ \(\hat {\cal P}_{{\mathrm{AC}}}^{(i)}\) to exchange the equations of motion of C and A (e.g. depending on the specific transformation \(i\) chosen, the parity operator ensures that the position, velocity or acceleration of A from the point of view of C are opposite to the same quantities of C from the point of view of A, see below for more details); finally (d) we map the state of C back to the Schrödinger picture via the Hamiltonian \(\hat H_{\mathrm{C}}\).
Equation (7) is in fact the most general QRF transformation achievable in one dimension when A and B do not interact, and contains as particular cases the (extended) Galilean transformations in one dimension. Via this transformation, it is possible to identify a general method to quantise a reference frame transformation. Firstly, one should identify the type of transformation (e.g., translation, boost, accelerated reference frame, etc.). Secondly, by solving the equations of motion of the system constituting the new reference frame, one should quantise the dynamical variables of the classical reference frame appearing in the transformation by using the phase space operators of the new QRF. This constitutes the central part of Eq. (7). Finally, one should add the two propagators with Hamiltonians \(\hat H_{\mathrm{A}}\) and \(\hat H_{\mathrm{C}}\) and choose a generalised parityswap operator in such a way that the solutions of the equations of motion of system C from the point of view of A are of opposite sign to those of the equations of motion of A from the point of view of C, i.e., they are equal up to a minus sign.
We next exemplify this procedure through the generalisation of the extended Galilean transformations to QRFs, which is discussed in detail in Methods and summarised in Fig. 4. In particular, the Galilean translations can be generalised by considering the relative coordinates as defined relative to the quantum state of a system A at some time τ (see Methods (Translations between quantum reference frames) for more details). Following the general scheme introduced in Eq. (7), this transformation can be written as
In this case, the QRF is provided by the quantum state of system A at some fixed time τ. The transformation \(\hat S_{\mathrm{T}}\) maps the position x_{B} of particle B at time t in C into the relative position of B at time t and the position of C at time τ (see Fig. 4 and Methods). In addition, this transformation is a symmetry, in the extended sense of QRFs, for the free particle Hamiltonian, because it maps \(\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})} = \frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}} + \frac{{\hat p_{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}}\) into \(\hat H_{{\mathrm{BC}}}^{({\mathrm{A}})} = \frac{{\hat \pi _{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}} + \frac{{\hat \pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}}\).
The second case we consider is the generalisation of the Galilean boosts to the “superposition of boosts,” corresponding to when particle A moves in a superposition of momenta (velocities) from the point of view of C. This case is discussed in detail in Methods (Boosts between quantum reference frames). In this case, the QRF transformation is
and has the physical meaning of “jumping” to the rest frame of a quantum system described by a freeparticle Hamiltonian \(\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})} = \frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}} + \frac{{\hat p_{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}}\). This transformation is also a symmetry for the freeparticle Hamiltonian, which is transformed into \(\hat H_{{\mathrm{BC}}}^{({\mathrm{A}})} = \frac{{\hat \pi _{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}} + \frac{{\hat \pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}}\).
Finally, we generalise the transformation to a constantly accelerated reference frame to the QRF transformation \(\hat S_{{\mathrm{EP}}}\) (see Methods (The weak equivalence principle in quantum reference frames)), describing the change to a QRF moving in a superposition of accelerations. This superposition is achieved by choosing as initial Hamiltonian \(\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})} = \hat H_{\mathrm{A}} + \hat H_{\mathrm{B}} = \frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}} + \frac{{\hat p_{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}} + V(\hat x_{\mathrm{A}})\), where \(V(\hat x_{\mathrm{A}})\) is piecewise linear, and the system A evolves in a superposition of two amplitudes, each of which is localised in a region corresponding to a single gradient of the potential. The QRF transformation is expressed as
where
is the straightforward extension of the usual transformation to an accelerated reference frame. The new Hamiltonian from the point of view of A is
where a noninertial term appears, and particle B moves in a gravitational potential with gravitational acceleration depending on the acceleration of particle C. Once the transformation of the quantum state is taken into account, it is possible to see (see Methods for details) that the system B evolves as if it were in a superposition of uniform gravitational fields. The weak equivalence principle states that physical laws as seen from a reference frame moving with a constant and uniform acceleration are indistinguishable from those as seen in an uniform gravitational field. Our result extends the principle to the equivalence between the physical laws as seen from a QRF in a superposition of constant and uniform accelerations and those as seen in a superposition of uniform gravitational fields.
This completes our discussion of how the extended Galilean transformations can be generalised to QRFs. In all the examples provided, we considered situations in which A and B initially do not interact. The most general case, in which systems A and B evolve in a general, interacting potential, will be object of future investigation.
This method to quantise a reference frame transformation allows us to define the transformation to the rest frame of a quantum system, e.g., a system moving in a superposition of velocities from the point of view of the laboratory. This has important applications in the study of the internal degrees of freedom of quantum systems. In Methods (Application: notion of rest frame of a quantum system) we provide an example of such a situation. Finally, in Methods (Measurements as seen from a quantum reference frame) we show how the description of a measurement procedure changes with the change of a QRF.
Discussion
In this work we introduced an operational formalism to apply quantum mechanics from the point of view of a reference frame attached to a quantum particle, which we call quantum reference frame. This reference frame has its own degrees of freedom, which can be in quantum superposition or entangled and evolve in time according to their own Hamiltonian with respect to the laboratory frame of reference. We adopt a relational view, according to which any reference frame is described as a quantum degree of freedom relatively to another reference frame: hence, the laboratory frame of reference is a quantum system relative to the quantum reference frame of a particle, much like the particle is a quantum system relative to the laboratory frame. This allows us to avoid assuming the existence of an ‘external’ perspective of an absolute reference frame.
We find transformations between quantum reference frames, and show how the state, the dynamics, and the measurement change under these transformations. We show that the notion of entanglement and superposition are observerdependent features, and we write the Schrödinger equation in quantum reference frames. Furthermore, we introduce a generalised notion of covariance of physical laws for quantum reference frames. We apply our formalism to the situations in which the reference frames are related via ‘superposition of translations’ and ‘superposition of Galilean boosts’, and formulate an extension of the weak equivalence principle for such quantum reference frames.
This work has been carried out within Galilean relativity, however the framework is general and can be applied in a specialrelativistic or in a generalrelativistic context. This would lead to interesting insights as to, for instance, the flow of proper time when there is no classical worldline describing the motion of the system serving as reference frame. More specifically, our formalism could be able to describe situations, such as those studied in refs. ^{33,34,35}, in which clocks—quantum systems with internal degrees of freedom—move in superpositions of classical wordlines in the gravitational field. As a result, the clock’s internal and external degrees of freedom get entangled, because the clock’s proper time depends on the worldline taken in the superposition. In these situations, proper time is measured by the clock in its rest frame, but currently no complete formalism is known which would allow to transform to the rest frame of a clock that is in superposition of positions or momenta with repect to the laboratory frame. Already in the present work we provide a solution to this problem in the lowvelocity limit to explain the Dopplershift induced transitions for atoms in superpositions of momenta (see Methods (Application: notion of rest frame of a quantum system). We move to the rest frame of the atom, compute the transition probabilities for the incoming light frequencies in this frame, and then move back to the laboratory frame.
An alternative future direction of our work concerns the application to future experiments, in particular those able to test relative variables, such as the techniques in refs. ^{36,37,38,39}, and those involving ‘macroscopic’ systems (e.g. nanomechanical oscillators), which could play the role of ‘large’ quantum reference frames, similarly to the situation considered in ref. ^{26}. Experiments with these systems could shed light on some conceptual issues of quantum gravity at low energies, such as those related to quantum fluctuations of the spacetime or superposition of large masses.
It would also be interesting to investigate whether allowing observers to be in a superposition or entangled with other systems could lead to scenarios with indefinite causal structures, such as those in ref. ^{40}, where a global timeorder cannot, at least in general, be imposed, but the observers are in welldefined positions. Our formalism for quantum reference frames can be seen as a dual picture to this work: while a global time order can still be found, at least in the Galileanrelativistic case, the observers are not localised.
Methods
Translation between quantum reference frames
We first consider the case in which we change to the reference frame described by the position of the quantum system A at a particular instant of time \(\tau\), when the initial Hamiltonian for A and B is \(\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})} = \frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}} + \frac{{\hat p_{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}}\). In this case, the operator \(\hat X_{\mathrm{A}}(t)\) generalises the function \(X(t) = X_0\), with X_{0} being a constant, and takes the form \(\hat X_{\mathrm{A}}(t) = e^{\frac{{\mathrm{i}}}{\hbar }\frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}}\tau }\hat x_{\mathrm{A}}e^{  \frac{{\mathrm{i}}}{\hbar }\frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}}\tau }\), and the full operator \(\hat S\) is
where \(\hat {\cal P}_{{\mathrm{AC}}}^{{\mathrm{(x)}}} = \hat {\cal P}_{{\mathrm{AC}}}\) in Eq. (2) and we have introduced the term \({\mathrm{exp}}( {  \frac{{\mathrm{i}}}{\hbar }\frac{{\hat \pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}}(t  \tau )} )\) to ensure that the position of the system A at time τ tranforms into the symmetric position of the system C, i.e. \(\hat S_{\mathrm{T}}( {\hat x_{\mathrm{A}}  \frac{{\hat p_{\mathrm{A}}}}{{m_{\mathrm{A}}}}(t  \tau )} )\hat S_{\mathrm{T}}^\dagger =  ( {\hat q_{\mathrm{C}}  \frac{{\hat \pi _{\mathrm{C}}}}{{m_{\mathrm{C}}}}(t  \tau )} )\). Notice that for t = τ the operator \(\hat S_{\mathrm{T}}\) in Eq. (13) is precisely the operator \(\hat S_{\mathrm{x}}\) in Eq. (2). Therefore, we can interpret \(\hat S_{\mathrm{x}}\) as the operator which performs the translation to a quantum reference frame when the dynamics is “frozen” at time τ. The transformation implemented by \(\hat S_{\mathrm{T}}\) is
Equation (15) implies that the position at time t of system B from the point of view of C is mapped into the relative position between system B and the position of A at time \(\tau\), while the momentum of B remains unchanged. In addition, this transformation is a symmetry of the free particle according to the definition given in Eq. (6), because the Hamiltonian \(\hat H_{{\mathrm{AB}}}^{{\mathrm{(C)}}}\) is mapped through Eq. (5) to \(\hat H_{{\mathrm{BC}}}^{({\mathrm{A}})} = \frac{{\hat \pi _{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}} + \frac{{\hat \pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}}\). Therefore, the transformation \(\hat S_{\mathrm{T}}\) in Eq. (13) constitutes a generalisation of the Galilean translations to quantum reference frames. The simplest example of dynamical conserved quantities, in this case, are the two momenta \(\hat C_1^{({\mathrm{C}})} = \hat p_{\mathrm{A}}\) and \(\hat C_2^{({\mathrm{C}})} = \hat p_{\mathrm{B}}\). It is immediate from Eqs. (14) and (15) to see that the choice \(\hat C_1^{({\mathrm{A}})} = \hat S_{\mathrm{T}}\hat C_2^{({\mathrm{C}})}\hat S_{\mathrm{T}}^\dagger = \hat \pi _{\mathrm{B}}\) and \(\hat C_2^{({\mathrm{A}})} =  \hat S_{\mathrm{T}}\hat C_1^{({\mathrm{C}})}\hat S_{\mathrm{T}}^\dagger  \hat S_{\mathrm{T}}\hat C_2^{({\mathrm{C}})}\hat S_{\mathrm{T}}^\dagger = \hat \pi _{\mathrm{C}}\) leads to the corresponding conserved quantities in the reference frame A. A similar procedure holds when we consider the extended set of conserved quantities composed of translations \(\hat p_i\) and Galilean boosts \(\hat G_{i} = \hat p_it  m_i\hat x_i\), \(i = {\mathrm{A,B}}\). Notice that this construction of the \(\hat S_{\mathrm{T}}\) operator satisfies the transitive property, meaning that changing the reference frame from C to A directly has the same effect as changing the reference frame first from C to B and then from B to A, i.e. \(\hat S_{\mathrm{T}}^{({\mathrm{C}} \to {\mathrm{A}})} = \hat S_{\mathrm{T}}^{({\mathrm{B}} \to {\mathrm{A}})}\hat S_{\mathrm{T}}^{({\mathrm{C}} \to {\mathrm{B}})}\).
Boosts between quantum reference frames
The second example we consider is the change to a reference frame moving with the velocity of a quantum system A, which is described as a freeparticle from the point of view of the initial observer C. The total Hamiltonian for both systems A and B from C’s point of view is \(\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})} = \frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}} + \frac{{\hat p_{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}}\). This section generalises the usual Galilean boost \(\hat U_{\mathrm{b}} = e^{\frac{{\mathrm{i}}}{\hbar }v\hat G_{\mathrm{B}}}\), with \(\hat G_{\mathrm{B}} = \hat p_{\mathrm{B}}t  m_{\mathrm{B}}\hat x_{\mathrm{B}}\) being the generator of the boost on system B, introduced in Results (Transformations between quantum reference frames), to situations in which the velocity of the reference frame is distributed according to its quantum state. With reference to Eq. (7), in this case we have \(\frac{d \hat{X}_A(t)}{dt} = \frac{{\hat p_{\mathrm{A}}}}{{m_{\mathrm{A}}}}\) generalising the parameter v in \(\hat U_{\mathrm{b}}\). The complete transformation, which we call \(\hat S_{\mathrm{b}}\), is
where the ‘generalised parity operator’ \(\hat {\cal P}_{{\mathrm{AC}}}^{({\mathrm{v}})} = \hat {\cal P}_{{\mathrm{AC}}}{\mathrm{exp}}\left( {\frac{{\mathrm{i}}}{\hbar }{\mathrm{log}}\sqrt {\frac{{m_{\mathrm{C}}}}{{m_{\mathrm{A}}}}} (\hat x_{\mathrm{A}}\hat p_{\mathrm{A}} + \hat p_{\mathrm{A}}\hat x_{\mathrm{A}})} \right)\) maps the velocity of A to the opposite of the velocity of C via the standard parityswap operator \(\hat {\cal P}_{{\mathrm{AC}}}\) and an operator scaling coordinates and momenta. Specifically, \(\hat {\cal P}_{{\mathrm{AC}}}^{({\mathrm{v}})}\hat x_{\mathrm{A}}\left( {\hat {\cal P}_{{\mathrm{AC}}}^{({\mathrm{v}})}} \right)^\dagger =  \frac{{m_{\mathrm{C}}}}{{m_{\mathrm{A}}}}\hat q_{\mathrm{C}}\), \(\hat {\cal P}_{{\mathrm{AC}}}^{({\mathrm{v}})}\hat p_{\mathrm{A}}\left( {\hat {\cal P}_{{\mathrm{AC}}}^{({\mathrm{v}})}} \right)^\dagger =  \frac{{m_{\mathrm{A}}}}{{m_{\mathrm{C}}}}\hat \pi _{\mathrm{C}}\). This choice of \(\hat S_{\mathrm{b}}\) ensures that the velocity of A in the reference frame of C is opposite to the velocity of C in the reference frame of A, i.e. \(\hat S_{\mathrm{b}}\frac{{\hat p_{\mathrm{A}}}}{{m_{\mathrm{A}}}}\hat S_{\mathrm{b}}^\dagger =  \frac{{\hat \pi _{\mathrm{C}}}}{{m_{\mathrm{C}}}}\). The coordinates and momenta transform as
This transformation, similarly to the transformation \(\hat S_{\mathrm{T}}\) discussed previously, is also a symmetry of the freeparticle Hamiltonian, because it maps the initial Hamiltonian \(\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})} = \frac{{\hat p_{\mathrm{A}}^2}}{{2m_{\mathrm{A}}}} + \frac{{\hat p_{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}}\) to the Hamiltonian in the new reference frame \(\hat H_{{\mathrm{BC}}}^{({\mathrm{A}})} = \frac{{\hat \pi _{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}} + \frac{{\hat \pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}}\) through Eq. (5). Hence, this constitutes a Galilean boost transformation for quantum reference frames, which allows the system defining the reference frame to be in a superposition of velocities.
To illustrate this point, we consider the situation depicted in Fig. 5. We consider a state \(\left {\Psi _t} \right\rangle _{{\mathrm{AB}}} = e^{  \frac{{\mathrm{i}}}{\hbar }\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})}t}\left {\phi _0} \right\rangle _{\mathrm{A}}\left {\psi _0} \right\rangle _{\mathrm{B}}\), where the initial state \(\phi _0\rangle _{\mathrm{A}} = {\int} dp_{\mathrm{A}}\phi _0(p_{\mathrm{A}})p_{\mathrm{A}}\rangle _{\mathrm{A}}\) of system A is in a superposition of momenta with respect to the initial reference frame C. We now change perspective to the reference frame A. No simple coordinate transformation of reference frames could capture this change. Our method gives, as a result of the transformation \(\hat S_{\mathrm{b}}\), the entangled state of B and C \(\hat S_{\mathrm{b}}\left {\Psi _t} \right\rangle _{{\mathrm{AB}}} = {\int} d\pi _{\mathrm{C}}d\pi _{\mathrm{B}}e^{  \frac{{\mathrm{i}}}{\hbar }\left( {\frac{{\pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}} + \frac{{\pi _{\mathrm{B}}^2}}{{2m_{\mathrm{B}}}}} \right)t}\phi _0\left( {  \frac{{m_{\mathrm{A}}}}{{m_{\mathrm{C}}}}\pi _{\mathrm{C}}} \right)\psi _0(\pi _{\mathrm{B}})e^{  \frac{{\mathrm{i}}}{\hbar }\frac{{\pi _{\mathrm{C}}}}{{m_{\mathrm{C}}}}\hat G_{\mathrm{B}}}\left {\pi _{\mathrm{C}}} \right\rangle _{\mathrm{C}}\left {\pi _{\mathrm{B}}} \right\rangle _{\mathrm{B}}\). The state of B is boosted by the velocity of A (which corresponds to the opposite of the velocity of C, given Eq. (18)) for each momentum in the superposition state of A, while the system C evolves as a free particle with opposite velocity to A.
In the special case of a free particle B in the general state ψ_{0}〉_{B} and the reference frame A having a state with a welldefined momentum (velocity) ϕ_{0}〉_{A} = p_{A}〉_{A}, the transformed state \(\hat S_{\mathrm{b}}\left {\Psi _t} \right\rangle _{{\mathrm{AB}}} = e^{  \frac{{\mathrm{i}}}{\hbar }\frac{{\pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}}t}\left {\pi _{\mathrm{C}}} \right\rangle _{\mathrm{C}}e^{  \frac{{\mathrm{i}}}{\hbar }\frac{{\pi _{\mathrm{C}}}}{{m_{\mathrm{C}}}}\hat G_{\mathrm{B}}}\psi _t\rangle _{\mathrm{B}}\), where ψ_{t}〉_{B} is the time evolved state and \(\pi _{\mathrm{C}} =  \frac{{m_{\mathrm{C}}}}{{m_{\mathrm{A}}}}p_{\mathrm{A}}\), reduces to the standard boost transformation \(\hat U_{\mathrm{b}}\) in the usual description of reference frames, with the difference that here C is a degree of freedom and hence evolved in time.
With a similar reasoning to the one presented in the previous section, it is possible to show that the set of the conserved quantities \(\hat p_{\mathrm{A}},\,\hat p_{\mathrm{B}},\,\hat G_{\mathrm{A}},\,\hat G_{\mathrm{B}}\) in the reference frame C is mapped to the set of the conserved quantities in the reference frame A \(\hat \pi _{\mathrm{B}},\hat \pi _{\mathrm{C}},\hat G_{\mathrm{B}},\hat G_{\mathrm{C}}\). Analogously to the generalised translations in the previous Subsection, this choice of the operator \(\hat S_{\mathrm{b}}\) also satisfies the transitive property, i.e. \(\hat S_{\mathrm{b}}^{({\mathrm{C}} \to {\mathrm{A}})} = \hat S_{\mathrm{b}}^{({\mathrm{B}} \to {\mathrm{A}})}\hat S_{\mathrm{b}}^{({\mathrm{C}} \to {\mathrm{B}})}\).
Notice that a timeindependent version of the transformation \(\hat S_{\mathrm{b}}\), mapping to instantaneous relative velocities, would not preserve the invariance of the Hamiltonian. This example is discussed in Supplementary Note 4.
The weak equivalence principle in quantum reference frames
In this section we generalise the weak equivalence principle to quantum reference frames. By this, we mean that the physical effects as seen from a reference frame moving in a superposition of uniform gravitational fields are indistinguishable from those as seen from a system in superposition of accelerations. To achieve a superposition of accelerations, let us consider the situation depicted in Fig. 6, in which two particles A and B evolve in time according to the Hamiltonian
in the reference frame of an observer C.
For the purpose of further analysis we will now consider the potential \(V(\hat x_{\mathrm{A}})\) to be piecewise linear and particle A to evolve in time t as a superposition of wave amplitudes, each localised in an interval that corresponds to a constant yet different potential gradient. For concreteness consider the superposition of two such amplitudes, \(\left {\psi _0(t)} \right\rangle _{\mathrm{A}} = \frac{1}{{\sqrt 2 }}\left( {\left {\psi _1(t)} \right\rangle _{\mathrm{A}} + \left {\psi _2(t)} \right\rangle _{\mathrm{A}}} \right)\) (see Fig. 7). The state then is in a superposition of accelerations, i.e. the ‘acceleration operator’ applied on the state gives:
where \(a_1 =  \frac{1}{{m_{\mathrm{A}}}}\frac{{dV(\hat x_{\mathrm{A}})}}{{d\hat x_{\mathrm{A}}}}_{\begin{array}{c}x_1(t)\end{array}}\) and \(a_2 =  \frac{1}{{m_{\mathrm{A}}}}\frac{{dV(\hat x_{\mathrm{A}})}}{{d\hat x_{\mathrm{A}}}}_{\begin{array}{c}x_2(t)\end{array}}\), where x_{1}(t) and x_{2}(t) are the mean values of position operator for the individual localised amplitudes. Notice that the scalar accelerations a_{1} and a_{2} as well as the scalar positions x_{1}(t) and x_{2}(t) should be understood as multiplied by the identity operator.
In order to find the generalised version of the operator \(\hat U_{\mathrm{a}}\), discussed in Results (Transformations between quantum reference frames) and in detail in Supplementary Note 1, and get an expression analogous to the one in Eq. (7), we need the time derivative of the position operator \(\hat x_{\mathrm{A}}\) at time t. To calculate the evolved position operator, we write an explicit expression for \(\hat x_{\mathrm{A}}(t) = e^{\frac{{\mathrm{i}}}{\hbar }\hat H_{\mathrm{A}}t}\hat x_{\mathrm{A}}e^{  \frac{{\mathrm{i}}}{\hbar }\hat H_{\mathrm{A}}t}\):
From this expression we come to the generalised \(\hat X_{\mathrm{A}}(t) = \hat x_{\mathrm{A}}(t)  \hat x_{\mathrm{A}}\), which describes the change in time of the position of A as compared to the initial position and replaces the function X(t) in the extended Galilean transformation \(\hat U_{\mathrm{a}}\).
Following Eq. (7), the overall transformation \(\hat S_{{\mathrm{EP}}}\) reads
where the operator \(\hat {\cal P}_{{\mathrm{AC}}}^{{\mathrm{(v)}}}\) was defined below Eq. (16) and the operator \(\hat Q_t\) is defined as
and represents the straightforward extension of the operator \(\hat U_{\mathrm{a}}\). Note that \(\left\langle {\frac{{d^2\hat x_{\mathrm{A}}}}{{dt^2}}} \right\rangle =  \left\langle {\frac{{d^2\hat q_{\mathrm{C}}}}{{dt^2}}} \right\rangle\). Using the transformation in Eq. (22), the new Hamiltonian from the point of view of A is
From Eq. (24), we can see that B evolves in a potential which is determined by the first derivative of the potential at the position \( \hat q_{\mathrm{C}}\), while C moves in a potential given by the sum of \(\frac{{m_{\mathrm{C}}}}{{m_{\mathrm{A}}}}V(  \hat q_{\mathrm{C}})\) and the interaction term involving its derivative. Hence, the quantum system B moves, in the reference frame of A, as if it were in a linear gravitational potential with a gravitational acceleration being an operator \(\hat g = 1/m_{\mathrm{A}}dV(\hat x_{\mathrm{A}})/d\hat x_{\mathrm{A}}_{{  \hat q_{\mathrm{C}}}}\)in the Hilbert space of C. This is a formulation of the weak equivalence principle in QRF.
As an example, we will now apply \(\hat S_{{\mathrm{EP}}}\) on an arbitrary state \(\phi (t)\rangle _{\mathrm{B}}\) of B and on a state \(\psi (t)\rangle _{\mathrm{A}}\) of A, for which we assume that the two localised wave amplitudes were initially prepared as nonoverlapping coherent states (i.e. minimum uncertainty wavepackets) with well defined position \(x_i(0)\) and momenta \(p_i(0)\), \(i = 1,2\). We evolve the state of A for time t such that the two amplitudes still have well defined position \(x_i(t)\) and momenta \(p_i(t)\), where the momentum at time t is calculated analogously to \(\hat x_{\mathrm{A}}(t)\), i.e. \(\hat p_{\mathrm{A}}(t) = \hat p_{\mathrm{A}}  \frac{{dV(\hat x_{\mathrm{A}})}}{{d\hat x_{\mathrm{A}}}}t\). We denote the state of each amplitude as \(\alpha _i(t)\rangle\), with \(i = 1,2\). Hence we obtain
where the transformed coherent state α′_{i}(t)〉_{C} is centred in \(\left( {  \frac{{m_{\mathrm{A}}}}{{m_{\mathrm{C}}}}x_i(t),  \frac{{m_{\mathrm{C}}}}{{m_{\mathrm{A}}}}p_i(t)} \right)\) and \(Q_t^i = e^{  \frac{{\mathrm{i}}}{\hbar }\frac{{m_{\mathrm{B}}}}{{m_{\mathrm{A}}}}\left( {p_i  m_{\mathrm{A}}a_it} \right)\hat x_{\mathrm{B}}}e^{\frac{{\mathrm{i}}}{\hbar }\left( {\frac{{p_it}}{{m_{\mathrm{A}}}}  \frac{{a_it^2}}{2}} \right)\hat p_{\mathrm{B}}}e^{  \frac{{\mathrm{i}}}{\hbar }\frac{{m_{\mathrm{B}}}}{{2m_{\mathrm{A}}^2}}{\int}_0^t ds\left( {p_i  m_{\mathrm{A}}a_is} \right)^2}\). From A’s point of view, B evolves in a superposition of gravitational accelerations, which is controlled by the state of C.
We conclude that we have a generalised form of the weak equivalence principle which holds when the reference frame is a quantum particle in superposition of accelerations. This analysis can be extended to a general potential \(V(\hat x_{\mathrm{A}})\) acting for infinitesimal times, as we show in Supplementary Note 5.
The extension of the weak equivalence principle to quantum reference frames provides a good opportunity to test this framework in an experiment. In general terms, a suitable technique to verify the predictions of this section would be measuring relative degrees of freedom, for instance as done in refs. ^{36,37,38,39}. However, a specific proposal on how to do so goes beyond the scope of this work.
It is possible to recover the usual notion of the weak equivalence principle if the potential is linear in the entire space, i.e. \(V(\hat x_{\mathrm{A}}) = m_{\mathrm{A}}a\hat x_{\mathrm{A}}\). The generalised form of the displacement of the reference frame reads \(\hat X_{\mathrm{B}}(t) = \frac{{\hat p_{\mathrm{B}}}}{{m_{\mathrm{A}}}}t  \frac{{at^2}}{2}\) and the operator \(\hat S_{{\mathrm{EP}}}\) is analogous to Eq. (22) with \({\hat{Q}}_t = e^{\frac{\rm i}{{\hbar}}m_{\mathrm{B}} {\dot{\hat{X}}}_{\mathrm{A}}(t)\hat {x}_{\mathrm{B}}}e^{\,\frac{i}{\hbar}{\hat{X}}(t)\hat {p}_{\mathrm{B}}} e^{\frac{1}{\hbar}\,\frac{m_{\mathrm{B}}}{2}} \int\nolimits_{0}^{t} ds {\dot{\hat{X}}} {{2}\atop {\mathrm{A}}} (s)\), where \(\hat X_{\mathrm{A}}(t)\) has been previously defined and the dot indicates the time derivative. The initial Hamiltonian \(\hat H_{{\mathrm{AB}}}^{({\mathrm{C}})}\) in Eq. (19) is transformed to
This result shows that the weak equivalence principle holds also if the reference frame is treated as a quantum system (and can therefore be delocalised) with its own dynamics.
Application: notion of rest frame of a quantum system
In this section, we show how our formalism enables us to define the notion of rest frame when the system is in a superposition of momenta from the point of view of the initial laboratory frame. The rest frame of a system is the frame of reference in which the system is at rest. Physical laws standardly take a simple form in the rest frame; for example, the rest frame Hamiltonian gives the dynamics of the internal degrees of freedom (e.g. spin). It is therefore useful to know how to map the descriptions in the rest and the laboratory frames of reference. As long as the system moves along a classical trajectory and is not treated as a dynamical degree of freedom the map can be achieved through a coordinate transformation between the two reference frames. However, in quantum mechanics, a system can evolve in a superposition of classical trajectories. How can we ‘move’ to the rest frame of a particle that is in superposition of momenta with respect to the laboratory reference frame? Here, by working out an explicit example, we show how our formalism can be used to recover the notion of the rest frame of a quantum system, when the semiclassical approximation fails.
We consider the situation illustrated in Fig. 8, in which an atom with its external (A) and internal (Ã) degrees of freedom interacts with a photon (B), as seen from the laboratory reference frame (C). We assume the internal degrees of freedom to be internal energy states of a twolevel system. We want to find conditions under which the photon is in resonance with the internal energy levels of the atom from different frames of reference. More precisely, we want to find the state of the atom and photon such that the probability for the transition is maximised, in the case when the atom does not have a welldefined momentum in the laboratory reference frame. We know that when the source of a photon (where the source is at rest from the point of view of the laboratory reference frame) and the receiver (i.e. the atom) are in relative motion towards each other, and in the limit of small relative velocity between emitter and receiver, the frequency is Dopplershifted according to \(\omega _{\mathrm{B}}^\prime = \omega _{\mathrm{B}}\left( {1 + \frac{v}{c}} \right)\), where ω_{B}, \(\omega _{\mathrm{B}}^\prime\) are respectively the emitted and received frequency of the photon, v is the relative velocity between emitter and receiver, and c is the speed of light in the medium.
The condition for the absorption of the photon is simplest in the rest frame of A. Suppose that in this frame the entire state is given as \(\psi _t\rangle _{\mathrm{C}}1,\omega _{\mathrm{B}}\rangle _{\mathrm{B}}g\rangle _{{\tilde{\mathrm A}}}\). Here, the state of the laboratory at time t is \(\psi _t\rangle _{\mathrm{C}} = {\int} d\pi _{\mathrm{C}}e^{  \frac{{\mathrm{i}}}{\hbar }\frac{{\pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}}t}\psi \left( {  \frac{{m_{\mathrm{A}}}}{{m_{\mathrm{C}}}}\pi _{\mathrm{C}}} \right)\pi _{\mathrm{C}}\rangle _{\mathrm{C}}\) (this is related to the momentum distribution of atom A in laboratory reference frame C), \(g\rangle _{{\tilde{\mathrm A}}}\) is the ground state of the internal degrees of freedom of the atom and \(1,\omega _{\mathrm{B}}\rangle _{\mathrm{B}}\) is the 1photon state of B with frequency \(\omega _{\mathrm{B}} = \frac{{\Delta E}}{\hbar }\), where \(\Delta E\) is the energy gap between the ground and the excited state of the internal energy. The Hamiltonian in the rest frame is taken to be \(\hat{H}^{(A)}_{{{{\tilde{\mathrm{A}}}\mathrm{BC}}}} = \frac{{\hat \pi _{\mathrm{C}}^2}}{{2m_{\mathrm{C}}}} + \hbar \hat \omega _{\mathrm{B}} + \hat H_{{\tilde{\mathrm A}}}\), where \(\hbar \hat \omega _{\mathrm{B}}\) is a simplified photon Hamiltonian in the oneparticle sector. Here, we promote the frequency \(\omega _{\mathrm{B}}\) to an operator because the frequency shift due to the Doppler effect changes the mode of the photon state, but leaves the number of particles invariant. A more complete description of the Hamiltonian would involve the creation and annihilation operators, but we omit it here because it does not influence our results. The frequency operator \(\hat \omega _{\mathrm{B}}\) acts on the singlephoton Hilbert space and is such that \(\hbar \hat \omega _{\mathrm{B}}\omega _{\mathrm{B}}\rangle _{\mathrm{B}} = \hbar \omega _{\mathrm{B}}\omega _{\mathrm{B}}\rangle _{\mathrm{B}}\), where the usual relation between momentum and frequency holds, i.e. \(\hbar \omega _{\mathrm{B}} = c\pi _{\mathrm{B}}\). Finally, \(\hat H_{{\tilde{\mathrm A}}} = E_gg\rangle _{{\tilde{\mathrm A}}}\langle g + E_ee\rangle _{{\tilde{\mathrm A}}}\langle e\) is the Hamiltonian of the internal degrees of freedom, with \(E_e  E_g = {\mathrm{\Delta }}E\).
To change the reference frame, we apply a boost transformation between A and C, and the transformation which gives the Doppler shift on the photon. Overall, we obtain
where the operator \(\hat {\cal P}_{{\mathrm{CA}}}^{{\mathrm{(v)}}}\) is the adjoint of \(\hat {\cal P}_{{\mathrm{AC}}}^{{\mathrm{(v)}}}\) defined after Eq. (16), i.e. \(\hat {\cal P}_{{\mathrm{CA}}}^{{\mathrm{(v)}}} = \left( {\hat {\cal P}_{{\mathrm{AC}}}^{{\mathrm{(v)}}}} \right)^\dagger\), and \(\hat R_{f_{\mathrm{C}}(\hat \pi _{\mathrm{C}})}^{\mathrm{B}} = {\mathrm{exp}}\left( {\frac{{\mathrm{i}}}{\hbar }{\mathrm{log}}\sqrt {f_{\mathrm{C}}(\hat \pi _{\mathrm{C}})} (\hat q_{\mathrm{B}}\hat \pi _{\mathrm{B}} + \hat \pi _{\mathrm{B}}\hat q_{\mathrm{B}})} \right)\), with \(f_{\mathrm{C}}(\hat \pi _{\mathrm{C}}) = 1 + \frac{{\hat \pi _{\mathrm{C}}}}{{cm_{\mathrm{C}}}}\). Specifically, the operator \(\hat R_{f_{\mathrm{C}}(\hat \pi _{\mathrm{C}})}^{\mathrm{B}}\) represents the Doppler shift of the photon. Finally, the transformation between the spatial degrees of freedom of A and C is the boost transformation in Eq. (16). We obtain
Applying this transformation to the Hamiltonian \({\hat{H}}^{(A)}_{{\tilde{\mathrm A}}{\mathrm{BC}}}\) yields
where \(\hat \omega _{\mathrm{B}} = \frac{c}{\hbar }\hat p_{\mathrm{B}}\). From the perspective of the laboratory C, the Hamiltonian entangles the momentum of the atom A with the frequency of the photon, while the internal degrees of freedom are unchanged. The state of the joint system of the atom, with its internal and external degrees of freedom, and the photon is
The state (30) is the one which has to be prepared in the laboratory reference frame to maximise the absorption probability. We see that the frequency of the photon B is Doppler shifted by an amount that depends on the velocity of the atom A. In the next section we show that, by mapping the observables in reference frame A to those in reference frame C, the absorption of the photon is predicted consistently in both reference frames, i.e. if the photon is detected in A’s reference frame, so it will in C’s reference frame.
Measurements as seen from a quantum reference frame
In this section we analyse how a measurement procedure performed in one QRF looks like as seen from another QRF. We assume that an observer in reference frame C performs a measurement on the quantum systems A and B. How does an observer in the reference frame A describe this procedure? Note that the procedure in general includes also a measurement on the reference frame of A itself. This situation differs from the Wignerfriend scenario, in which one observer (friend) performs a measurement, while the other (Wigner) considers the process to be unitary^{24,41}. In the present case both observers agree that a measurement is performed, though, as we will see, they might have a different view on which systems and which measurement is performed.
Consider that in C’s reference frame observable \(\hat O_{{\mathrm{AB}}}^{{\mathrm{(C)}}}\) is measured. The transformed observable in A’s reference frame is \(\hat O_{{\mathrm{BC}}}^{({\mathrm{A}})} = \hat S\hat O_{{\mathrm{AB}}}^{({\mathrm{C}})}\hat S^\dagger\), where \(\hat S\) is a general operator which implements the transformation from the reference frame of C to the reference frame of A. Using the cyclicity of the trace, it is immediate to verify that
where \(\hat \rho _{{\mathrm{BC}}}^{({\mathrm{A}})}\) is the quantum state of B and C relative to A. An explicit example, using operator \(\hat S_{\mathrm{x}}\) in Eq. (2), is a measurement of the position operator \(\hat q_{\mathrm{B}}\) of the quantum system B in the reference frame of A, which is equivalent to the measurement of \(\hat x_{\mathrm{B}}  \hat x_{\mathrm{A}}\) in the reference frame of C.
To make these statements more concrete, we adopt a measurement scheme (see, for instance^{42}) and check how the measurement procedure transforms when we change reference frame. The measurement procedure in C’s and A’s reference frames is depicted in Fig. 9. The measurement scheme consists in adding an ancillary system consisting of a pointer in the state \(\xi _{\mathrm{E}} \in {\cal H}_{\mathrm{E}}^{({\mathrm{C}})}\) and of external (position) degrees of freedom of the measurement apparatus in the state \(\sigma _{\mathrm{M}} \in {\cal H}_{\mathrm{M}}^{({\mathrm{C}})}\). The measurement of the observable \(\hat O_{{\mathrm{AB}}}^{({\mathrm{C}})}\) on the quantum system \(\hat \rho _{{\mathrm{AB}}}^{({\mathrm{C}})}\) can be then described as an interaction between the pointer and the quantum system, followed by a projection in the Hilbert space of the pointer. The probability of measuring the outcome b^{*} is
where \({\cal C}\) is a unitary channel entangling the states from the Hilbert spaces of A and B with those of the pointer E, and \(\hat F_{\mathrm{E}}\) is a projector on \({\cal H}_{\mathrm{E}}^{({\mathrm{C}})}\).
We measure the outcome b^{*} as \(\widehat O_{{\mathrm{AB}}}^{({\mathrm{C}})}\left( {b^ \ast } \right) = \left {b^ \ast } \right\rangle _{{\mathrm{AB}}}\left\langle {b^ \ast } \right\). Then, if we choose \(\hat F_{\mathrm{E}}\left( {b^ \ast } \right) = \left {b^ \ast } \right\rangle _{\mathrm{E}}\left\langle {b^ \ast } \right\), \(\xi _{\mathrm{E}}\) such that \(\left {\xi _{\mathrm{E}}(x_{\mathrm{E}})} \right^2 = \delta (x_{\mathrm{E}})\) and
where \(C_{{\mathrm{ABE}}} = {\mathrm{exp}}\left( {  \frac{{\mathrm{i}}}{\hbar }\hat O_{{\mathrm{AB}}}^{({\mathrm{C}})}\hat p_{\mathrm{E}}} \right)\), the condition (32) is satisfied for all \(\hat \rho _{{\mathrm{AB}}}^{({\mathrm{C}})}\). Notice that by \(\hat x_{\mathrm{E}}\) and \(\hat p_{\mathrm{E}}\) we mean the position of the pointer in some abstract space of the internal degrees of freedom of the apparatus, not the real position (relative to C) of the measurement apparatus in space.
We now turn to the description from the point of view of A. For concreteness, we consider the transformation between two frames of reference C and A to be the map in Eq. (2); the formalism can be straightforwardly generalised to other maps. Considering the degrees of freedom of the ancilla the map is modified to include the external degrees of freedom of the measurement apparatus, i.e., \(\hat S_{{\mathrm{x,M}}} = \hat {\cal P}_{{\mathrm{AC}}}e^{\frac{{\mathrm{i}}}{\hbar }\hat x_{\mathrm{A}}(\hat p_{\mathrm{B}} + \hat p_{\mathrm{M}})}\), while the degrees of freedom of the pointer are considered as translational invariant, and therefore not transformed. From A’s reference frame the measurement process is
where the state \(\hat \rho _{{\mathrm{BCM}}}^{({\mathrm{A}})} = \hat S_{{\mathrm{x,M}}}(\hat \rho _{{\mathrm{AB}}}^{({\mathrm{C}})} \otimes {\kern 1pt} \sigma _M)\hat S_{{\mathrm{x,M}}}^\dagger\) becomes entangled with the external degrees of freedom of the measurement apparatus, and \(C_{{\mathrm{BCEM}}}^{({\mathrm{A}})} = \hat S_{{\mathrm{x,M}}}C_{{\mathrm{ABE}}}\hat S_{{\mathrm{x,M}}}^\dagger = {\mathrm{exp}}\left( {  \frac{{\mathrm{i}}}{\hbar }\hat O_{{\mathrm{BC}}}^{({\mathrm{A}})}\hat p_{\mathrm{E}}} \right)\). We see that the two observers in the reference frames C and A disagree on which systems undergo the measurement and which observables are measured. For observer C, systems A and B are measured with the help of an ancilla E whose internal and external degrees of freedom are initially in a state that factorizes out. For observer A, systems B and C are measured via the ancilla whose external (but not internal) degrees of freedom are initially entangled with C. Therefore, a measurement model for C is transformed into a measurement model for A.
Notice that the measurement procedure just considered is different from A performing a measurement in her reference frame. In the previous paragraphs, when we changed the reference frame from C to A, we still described the measurement performed by C from the point of view of A. Clearly, A can apply the same measurement procedure as C, with the observables defined in her reference frame \(\hat O^{({\mathrm{A}})}\).
As a concrete example of this situation we consider the atomphoton interaction from the previous section. We make the following identification: the atom’s external degree of freedom is system A, the photon is system B, the atom’s internal degrees of freedom Ã are ancilla E, and finally the laboratory is system C. We consider that A ‘measures’ the frequency of the photon by transition of its internal level from the ground to the excited state. This transition can happen only if the frequency of the photon matches the energy gap of the atom. How is this condition written in the laboratory reference frame, in which the photon frequency is Dopplershifted?
In the rest frame of the atom A, the channel \(C_{{\mathrm{B}}{\tilde{\mathrm{A}}}}^{{\mathrm{(A)}}}( \cdot ) = C_{{\mathrm{B}}{\tilde{\mathrm{A}}}}^{{\mathrm{(A)}}}( \cdot )C_{{\mathrm{B}}{\tilde{\mathrm{A}}}}^{{\mathrm{(A)}}\dagger} \) entangling the states of the Hilbert spaces of B with those of Ã is such that \(C_{{\mathrm{B}}{\tilde{\mathrm{A}}}}^{{\mathrm{(A)}}} = e\rangle _{{\tilde{\mathrm A}}}\langle g \otimes 0,\omega \rangle _{\mathrm{B}}\langle 1,\omega  + h.c.\), and the project or \(\hat F_{{\tilde{\mathrm A}}}^{{\mathrm{(A)}}} = e\rangle _{{\tilde{\mathrm A}}}\langle e\). Changing to the laboratory frame C via the application of the \(\hat S_{\mathrm{D}}\) operator in Eq. (27), the entangling channel becomes \(C_{{\mathrm{AB}}{\tilde{\mathrm{A}}}}^{{\mathrm{(C)}}} = 1_{\mathrm{A}} \otimes e\rangle _{{\tilde{\mathrm A}}}\langle g \otimes \hat R_{f_{\mathrm{A}}(  \hat p_{\mathrm{A}})}^{\mathrm{B}}0,\omega \rangle _{\mathrm{B}}\langle 1,\omega \hat R_{f_{\mathrm{A}}(  \hat p_{\mathrm{A}})}^{{\mathrm{B}}\dagger } + h.c.\), with \(f_{\mathrm{A}}(  \hat p_{\mathrm{A}}) = 1  \frac{{\hat p_{\mathrm{A}}}}{{cm_{\mathrm{A}}}}\), while the projector is unchanged, i.e. \(\hat F_{{\tilde{\mathrm A}}}^{({\mathrm{A}})} = \hat F_{{\tilde{\mathrm A}}}^{({\mathrm{C}})}\). This ensures, by construction, that the probabilities of the photon being absorbed are the same in the reference frame A and C. What changes is the measured observable in the two reference frames: in the rest frame A one measures the frequency \(\hat \omega _{\mathrm{B}}\), while in the laboratory frame the measurement involves both the external degres of freedom of the atom and the photon. In this case, the observable is \(\left( {1 + \frac{{\hat p_{\mathrm{A}}}}{{cm_{\mathrm{A}}}}} \right)\hat \omega _{\mathrm{B}}\).
Comparison of previous approaches to quantum reference frames
In this Section, we compare different approaches to the topic of quantum reference frames, emphasising differences and similarities to our approach.
Much work has been done on the subject of QRFs starting from the seminal papers by Aharonov and Susskind^{1,2} and Aharonov and Kaufherr^{3}. In refs. ^{1,2} the authors established a relation between superselection rules and the lack of a frame of reference. The authors then challenged the existence of superselection rules via some examples, where the superselection rule could be overcome by introducing a reference frame that was correlated with the system. The simplest example of this is described in ref. ^{4}. There it is shown that, if two observers do not share information about their relative phase, this implies a superselection rule for photon number. This superselection rule can be overcome by introducing an appropriate quantum reference frame which is entangled with the system in such a way that the total photon number is conserved. In ref. ^{3} it was shown that it is possible to consistently formulate quantum theory without appealing to classical reference frames as welllocalised laboratories of infinite mass.
QRFs have been considered as resources in quantum information protocols and quantum communication in refs. ^{4,5,6,7,8,9,10,11,12}. These works mainly focus on (a) the consequences of the lack of a shared reference frame for quantum information tasks, on (b) the generalisation of the fact that superselection rules can be overcome by choosing an appropriate quantum system as a reference frame, and on (c) “bounded” reference frames. This means that, in a quantum communication protocol where a system is sent from A to B, the final reference frame only possesses limited or no information on the initial reference frame. In order to obviate this problem, most approaches resort to an encoding of quantum information in the relational degrees of freedom (see, e.g. ref. ^{5}). The tool used to achieve this encoding is the \({\cal G}\)twirl operation, which consists in an average over the group of symmetries of the external reference frame G. This operation consists in expressing the quantum state of the system under study, ρ, in a way that does not contain any information about the external reference frame. The \({\cal G}\)twirl operation is mathematically expressed as \({\cal G}(\rho ) = {\int} d\mu (g)U(g)\rho U^\dagger (g)\), where \(U(g)\) is the unitary representation of the group element \(g \in G\), and \(\mu (g)\) is the groupinvariant measure. This approach shares some methodological similarities with our work, such as the relevance of the relational degrees of freedom; however, there are some important differences. Firstly, we do not assume the existence of an external reference frame, whose degrees of freedom need to be averaged out. This means that, differently to the other approaches mentioned, we do not need to apply techniques, such as the \({\cal G}\)twirling, in order to find the relational quantities, because our formalism is genuinely relational from the very start. Secondly, we do not address the problem of communication in absence of a shared reference frame. Finally, we assume that the relation between the initial and final reference frame is known and hence always given by a unitary transformation. Moreover, reference frames in our approach are not bounded; they allow to assign quantum states to all external systems to arbitrary precision.
Other authors focus on the possible role of QRFs in quantum gravity^{13}, or point out how QRFs, together with a relational approach, can lead to intrinsic decoherence due to the finite size of the systems considered^{14,15}. Considering reference frames quantum mechanically is a fundamental ingredient in formulating relational quantum theory, which makes no use of an external reference frame to specify its elements^{23}. A relational approach to QRFs has been also considered in refs. ^{16,17,18}, where the limit to an absolute reference frame was formalised, and in ref. ^{19}, where a symmetry group for transformations of a spin system was reconstructed.
Among the works listed, special mention should be paid to ref. ^{8}, which is the closest to our work. There, the \({\cal G}\)twirl operation is introduced to average over all the external information to the joint system of two particles, A and S, one of which (A) serves as a reference frame. After this operation, the only quantities remaining are the relative variables of the system S with the quantum reference frame. This description that the QRF A gives of the system presents some similarities with ours. The main differences, at this level, are that in our method, after the transformation, we describe the initial reference frame in addition to the second particle, and we do not rely on any external frame. The rest of the paper, addressing the change to a different QRF, asks a different question to us, and thus arrives to a different result. In ref. ^{8}, the authors switch to the description of a third quantum system B, whose relationship with the initial QRF is not known and will be acquired through a quantum measurement. To this end, they propose a protocol, consisting of multiple steps: (1) the quantum state of the QRF B, initially factored out from the system and the QRF A, undergoes a \({\cal G}\)twirl operation, which removes the information about the external frame; (2) a quantum measurement on the joint state of the QRFs A and B is performed to establish the relation between the two QRFs; 3) The initial QRF A is discarded. The result of this series of operation is the relational description of the state of the system S with respect to B. As a result of the measurement, the groupaveraging operation, and the discarding of the initial QRF the tranformation results in a decohered state of the system in general. The appearance of decoherence is a fundamental difference with our approach, where we assume that the relative description of the two QRFs (in our language, the state of the new QRF from the point of view of the old one) is known and hence the change of reference frame is unitary. In addition, in ref. ^{8} the system and the new QRF are never entangled at the beginning of the protocol, while our approach does not have this restriction.
Along the lines of^{1,2,3}, the subject of quantum reference frames has been recently revised by Angelo and coworkers^{20,21,22}, and fundamental contributions were provided to understand reference frames as quantummechanical systems. In these works, one methodologically begins by defining the state in an external frame, and then moves to the centre of mass and relative coordinates, tracing out the centre of mass coordinate as a degree of freedom that describes its position in this external frame. It was claimed that the equations of motion from the perspective of such relative degrees of freedom are compatible with Galilean relativity and the weak equivalence principle, but that the Hamilton formalism is not, as no Hamiltonian can be found that only depends on the coordinates accessible to the quantum frame of reference ^{22}. This constitutes a fundamental difference with our work, where the Hamiltonian formalism can always be used. The main difference resides in the fact that our transformation is canonical, characteristics which automatically guarantees that a Hamiltonian system is transformed to another Hamiltonian system.
Differently to other approaches, our formalism is genuinely relational by construction. This means that, while the focus of the previous works cited has been to obtain the relational degrees of freedom, we consider from the very start physical degrees of freedom to be relational from the point of view of a chosen QRF. Moreover, similarly to ref. ^{8} and to refs. ^{20,21,22}, we abandon the view that reference frames are abstract entities, which are useful to fix a set of coordinates, and instead treat the reference frame in the same way as any physical system, featuring its physical state and dynamics. Therefore, a QRF has a quantum state and a Hamiltonian relative to another QRF, and the latter QRF has a quantum state and a Hamiltonian relative to the former QRF. Our paper formalises the transformation of states, dynamics and measurements between these two QRFs, using exclusively relational quantities.
Every quantum state, as specified relative to a QRF, encodes the relational information in terms of probabilities for measuring all the degrees of freedom external to the QRF. As a consequence, our formalism does not appeal to an absolute reference frame and consequently does not require the existence of an ‘external’ perspective. Moreover, differently to other approaches in the literature, our work is not about the lack of a shared reference frame, and we do not consider our QRFs to be “bounded”, feature which usually leads to an imprecise state assigment or to a noisy measurement result. In contrast, our QRFs allow to make state assignments to external systems with arbitrary precision. We adopt an operational approach assuming that every QRF is equipped with hypothetical devices that allow for an operational justification of such state assignements. This operational view, indeed very useful, does not require to have laboratories (and possibly observers) in macroscopic superpositions. We will exemplify the relevance of our formalism for quantum particles by applying it to ‘move’ to the rest frame of a particle that is in a superposition of momenta with respect to the laboratory frame and has internal degrees of freedom that can serve as a ‘measurement device’. Possible tests of our framework would involve experimental techniques such as, for instance, those in refs. ^{36,37,38,39}, which are able to probe the relative degrees of freedom.
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Aharonov, Y. & Susskind, L. Charge Superselection Rule. Phys. Rev. 155, 1428 (1967).
Aharonov, Y. & Susskind, L. Observability of the Sign Change of Spinors under 2π Rotations. Phys. Rev. 158, 1237 (1967).
Aharonov, Y. & Kaufherr, T. Quantum frames of reference. Phys. Rev. D. 30.2, 368 (1984).
Bartlett, S. D., Rudolph, T. & Spekkens, R. W. Reference frames, superselection rules, and quantum information. Rev. Mod. Phys. 79, 555 (2007).
Bartlett, S. D., Rudolph, T., Spekkens, R. W. & Turner, P. S. Quantum communication using a boundedsize quantum reference frame. N. J. Phys. 11, 063013 (2009).
Gour, G. & Spekkens, R. W. The resource theory of quantum reference frames: manipulations and monotones. N. J. Phys. 10.3, 033023 (2008).
Kitaev, A., Mayers, D. & Preskill, J. Superselection rules and quantum protocols. Phys. Rev. A. 69, 052326 (2004).
Palmer, M. C., Girelli, F. & Bartlett, S. D. Changing quantum reference frames. Phys. Rev. A. 89.5, 052121 (2014).
Bartlett, S. D., Rudolph, T., Spekkens, R. W. & Turner, P. S. Degradation of a quantum reference frame. N. J. Phys. 8.4, 58 (2006).
Smith, A. R. H., Piani, M. & Mann, R. B. Quantum reference frames associated with noncompact groups: The case of translations and boosts and the role of mass. Phys. Rev. A. 94.1, 012333 (2016).
Poulin, D. & Yard, J. Dynamics of a quantum reference frame. N. J. Phys. 9.5, 156 (2007).
Skotiniotis, M., Toloui, B., Durham, I. T. & Sanders, B. C. Quantum Frameness for CPT Symmetry. Phys. Rev. Lett. 111, 020504 (2013).
Rovelli, C. Quantum reference systems. Class. Quantum Gravity 8.2, 317 (1991).
Poulin, D. Toy model for a relational formulation of quantum theory. Int. J. Theor. Phys. 45.7, 1189–1215 (2006).
Girelli, F. & Poulin, D. Quantum reference frames and deformed symmetries. Phys. Rev. D 77.10, 104012 (2008).
Miyadera, T., Loveridge, L. & Busch, P. Approximating relational observables by absolute quantities: a quantum accuracysize tradeoff. J. Phys. A 49.18, 185301 (2016).
Loveridge, L., Busch, P. & Miyadera, T. Relativity of quantum states and observables. EPL (Europhys. Lett.) 117.4, 40004 (2017).
Loveridge, L., Miyadera, T. & Busch, P. Symmetry, reference frames, and relational quantities in quantum mechanics. Found. Phys. 48, 135–198 (2018).
J. Pienaar, A relational approach to quantum reference frames for spins. arXiv preprint at arXiv:1601.07320 (2016).
Angelo, R. M., Brunner, N., Popescu, S., Short, A. & Skrzypczyk, P. Physics within a quantum reference frame. J. Phys. A 44.14, 145304 (2011).
Angelo, R. M. & Ribeiro, A. D. Kinematics and dynamics in noninertial quantum frames of reference. J. Phys. A 45.46, 465306 (2012).
Pereira, S. T. & Angelo, R. M. Galilei covariance and Einstein’s equivalence principle in quantum reference frames. Phys. Rev. A 91.2, 022107 (2015).
Rovelli, C. Relational quantum mechanics. Int. J. Theor. Phys. 35, 1637–1678 (1996).
Č. Brukner. On the quantum mesasurement problem, In Quantum [Un] Speakables II, p 95–117 (Springer International Publishing, 2017).
Greenberger, D. M. Some remarks on the extended Galilean transformation. Am. J. Phys. 47.1, 35–38 (1979).
Katz, B. N., Blencowe, M. P. & Schwab, K. C. Mesoscopic mechanical resonators as quantum noninertial reference frames. Phys. Rev. A 92.4, 042104 (2015).
Breuer, T. The impossibility of accurate state selfmeasurements. Philos. Sci. 62, 197 (1995).
Dalla Chiara, M. Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics. J. Philos. Logic 6, 331 (1977).
Moshinsky, M. & Quesne, C. Linear canonical transformations and their unitary representations. J. Math. Phys. 12.8,, 1772–1780 (1971).
Anderson, A. Canonical transformations in quantum mechanics. Ann. Phys. 232.2, 292–331 (1994).
Pikovski, I., Zych, M., Costa, F. & Brukner, Č. Time dilation in quantum systems and decoherence. N. J. Phys. 19.2, 025011 (2017).
Peres, A., Scudo, P. F. & Terno, D. R. Quantum entropy and special relativity. Phys. Rev. Lett. 88.23, 230402 (2002).
Zych, M., Costa, F., Pikovski, I. & Brukner, Č. Quantum interferometric visibility as a witness of general relativistic proper time. Nat. Commun. 2, 505 (2011).
M. Zych, I. Pikovski, F. Costa, and Č. Brukner. General relativistic effects in quantum interference of clocks. J. Phys. 723, 012044 (2016). IOP Publishing. Conference Series.
Pikovski, I., Zych, M., Costa, F. & Brukner, Č. Universal decoherence due to gravitational time dilation. Nat. Phys. 19.2, 8, 668–672 (2015).
Møller, C. B. et al. Quantum backactionevading measurement of motion in a negative mass reference frame. Nature 191, 547 (2017).
Polzik, E. S. & Hammerer, K. Trajectories without quantum uncertainties. Ann. Phys. 527, A15–A20 (2015).
Hammerer, K., Aspelmeyer, M., Polzik, E. S. & Zoller, P. Establishing EinsteinPoldoskyRosen channels between nanomechanics and atomic ensembles. Phys. Rev. Lett. 102, 020501 (2009).
Tsang, M. & Caves, C. M. Evading quantum mechanics: engineering a classical subsystem within a quantum environment. Phys. Rev. X 2, 031016 (2012).
Oreshkov, O., Costa, F. & Brukner, Č. Quantum correlations with no causal order. Nat. Commun. 3, 1092 (2012).
E. P. Wigner. Philosophical Reflections and Syntheses. 247–260 (Springer, Berlin, Heidelberg, 1995).
A. Peres, Quantum Theory: Concepts And Methods. Vol. 57. (Springer Science and Business Media, 2006).
Acknowledgements
We thank Alessio Belenchia, Fabio Costa, and Philipp Höhn for useful discussions. We acknowledge the support of the Austrian Science Fund (FWF) through the Doctoral Programme CoQuS (Project no. W1210N25) and the projects I2526N27 and I2906, as well as the research platform TURIS. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the TEQ collaborative project (Grant agreement no. 766900). This work was funded by a grant from the Foundational Questions Institute (FQXi) Fund. This publication was made possible through the support of a grant from the John Templeton Foundation. The opinions expressed in this publication are those of the authors and do not necessarily reflect the views of the John Templeton Foundation.
Author information
Authors and Affiliations
Contributions
F.G., E.C.R. and Č.B. contributed to all aspects of the research with the leading input from F.G.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Journal peer review information: Nature Communications thanks the anonymous reviewers for their contribution to the peer review of this work. Peer reviewer reports are available.
Publisher’s note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Giacomini, F., CastroRuiz, E. & Brukner, Č. Quantum mechanics and the covariance of physical laws in quantum reference frames. Nat Commun 10, 494 (2019). https://doi.org/10.1038/s41467018081550
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467018081550
This article is cited by

Factnets: Towards a Mathematical Framework for Relational Quantum Mechanics
Foundations of Physics (2023)

Modified Brans–Dicke cosmology with minimum length uncertainty
General Relativity and Gravitation (2023)

Consistency of Quantum Computation and the Equivalence Principle
Foundations of Science (2023)

Noninertial quantum clock frames lead to nonHermitian dynamics
Communications Physics (2022)

Edge modes as reference frames and boundary actions from postselection
Journal of High Energy Physics (2022)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.