In the absence of external relata, internal quantum reference frames (QRFs) appear widely in the literature on quantum gravity, gauge theories and quantum foundations. Here, we extend the perspective-neutral approach to QRF covariance to general unimodular Lie groups. This is a framework that links internal QRF perspectives via a manifestly gauge-invariant Hilbert space in the form of "quantum coordinate transformations", and we clarify how it is a quantum extension of special covariance. We model the QRF orientations as coherent states which give rise to a covariant POVM, furnishing a consistent probability interpretation and encompassing non-ideal QRFs whose orientations are not perfectly distinguishable. We generalize the construction of relational observables, establish a variety of their algebraic properties and equip them with a transparent conditional probability interpretation. We import the distinction between gauge transformations and physical symmetries from gauge theories and identify the latter as QRF reorientations. The "quantum coordinate maps" into an internal QRF perspective are constructed via a conditioning on the QRF's orientation, generalizing the Page-Wootters formalism and a symmetry reduction procedure. We find two types of QRF transformations: gauge induced "quantum coordinate transformations" as passive unitary changes of description and symmetry induced active changes of relational observables from one QRF to another. We reveal new effects: (i) QRFs with non-trivial orientation isotropy groups can only resolve isotropy-group-invariant properties of other subsystems; (ii) in the absence of symmetries, the internal perspective Hilbert space "rotates" through the kinematical subsystem Hilbert space as the QRF changes orientation. Finally, we invoke the symmetries to generalize the quantum relativity of subsystems before comparing with other approaches. [Abridged]
In the absence of external relata, internal quantum reference frames (QRFs) appear widely in the literature on quantum gravity, gauge theories and quantum foundations. Here, we extend the perspective-neutral approach to QRF covariance to general unimodular Lie groups. This is a framework that links internal QRF perspectives via a manifestly gauge-invariant Hilbert space in the form of "quantum coordinate transformations", and we clarify how it is a quantum extension of special covariance. We model the QRF orientations as coherent states which give rise to a covariant POVM, furnishing a consistent probability interpretation and encompassing non-ideal QRFs whose orientations are not perfectly distinguishable. We generalize the construction of relational observables, establish a variety of their algebraic properties and equip them with a transparent conditional probability interpretation. We import the distinction between gauge transformations and physical symmetries from gauge theories and identify the latter as QRF reorientations. The "quantum coordinate maps" into an internal QRF perspective are constructed via a conditioning on the QRF's orientation, generalizing the Page-Wootters formalism and a symmetry reduction procedure. We find two types of QRF transformations: gauge induced "quantum coordinate transformations" as passive unitary changes of description and symmetry induced active changes of relational observables from one QRF to another. We reveal new effects: (i) QRFs with non-trivial orientation isotropy groups can only resolve isotropy-group-invariant properties of other subsystems; (ii) in the absence of symmetries, the internal perspective Hilbert space "rotates" through the kinematical subsystem Hilbert space as the QRF changes orientation. Finally, we invoke the symmetries to generalize the quantum relativity of subsystems before comparing with other approaches. [Abridged]
The framework of internal quantum reference frames (QRFs) constitutes a universal toolset for dealing with symmetries in quantum theory and has led to new revelations in quantum gravity, gauge theories and foundational physics. Multiple approaches have emerged, sometimes differing in scope and the way symmetries are implemented, raising the question as to their relation. Here, we investigate the relation between three approaches to QRFs for gauge symmetries, namely the e f f e c t i v e semiclassical, a l g e b r a i c , and p e r s p e c t i v e − n e u t r a l (PN) approaches. Rather than constructing Hilbert spaces, as the PN approach, the effective approach is based on a quantum phase space parametrized by expectation values and fluctuations, while the emphasis of the algebraic approach is on the state space of complex linear functionals on a kinematical algebra. Nevertheless, external frame information is treated as gauge in all three formalisms, manifested in constraints on states and algebra. We show that these three approaches are, in fact, equivalent for ideal QRFs, distinguished by sharp orientations, which is the previous setting of the first two approaches. Our demonstration pertains to single constraints, including relativistic ones, and encompasses QRF changes. In particular, the QRF transformations of the PN framework agree semiclassically with those of the older effective approach, by which it was inspired. As a physical application, we explore the QRF covariance of uncertainties and fluctuations, which turn out to be frame dependent. This is particularly well-suited for the effective and algebraic approaches, for which these quantities form a natural basis. Finally, we pave the way towards extending these two approaches to non-ideal QRFs by studying the projection and gauge-fixing operations of the Page-Wootters formalism, built into the PN framework, on algebraic states.
Employing internal quantum systems as reference frames is a crucial concept in quantum gravity, gauge theories, and quantum foundations whenever external relata are unavailable. In this work, we give a comprehensive and self-contained treatment of such quantum reference frames (QRFs) for the case when the underlying configuration space is a finite Abelian group, significantly extending our previous work [M. Krumm, P. A. Höhn, and M. P. Müller, Quantum 5, 530 (2021)]. The simplicity of this setup admits a fully rigorous quantum information–theoretic analysis, while maintaining sufficient structure for exploring many of the conceptual and structural questions also pertinent to more complicated setups. We exploit this to derive several important structures of constraint quantization with quantum information–theoretic methods and to reveal the relation between different approaches to QRF covariance. In particular, we characterize the “physical Hilbert space”—the arena of the “perspective-neutral” approach—as the maximal subspace that admits frame-independent descriptions of purifications of states. We then demonstrate the kinematical equivalence and, surprising, dynamical inequivalence of the “perspective-neutral” and the “alignability” approach to QRFs. While the former admits unitaries generating transitions between arbitrary subsystem relations, the latter, remarkably, admits no such dynamics when requiring symmetry-preservation. We illustrate these findings by example of interacting discrete particles, including how dynamics can be described “relative to one of the subystems.”
Diffeomorphism invariance is a central feature of general relativity. Without external reference structures, matter and geometry must be specified relationally, with respect to internal subsystems serving as reference frames. In quantum gravity, these reference systems must themselves be treated as quantum, motivating the use of quantum reference frames. In this work, we address how such a relational description could be formulated within linearized quantum gravity. To this purpose, we introduce quantum reference fields, i.e.,sets of four dynamical scalar fields whose stress-energy tensors enter the gravitational constraints. These fields extend the notion of quantum reference frames to local field-theoretic reference systems, allowing matter and gravitational degrees of freedom to be described relationally with respect to physical quantum systems whose states cannot be sharply peaked on definite field configurations. By generalizing the perspective-neutral construction of quantum reference frames, we show that relational, gauge invariant observables admit reduced descriptions in the perspective of each quantum reference field, and we derive the unitary transformations relating them. The resulting unitary maps implement local quantum coordinate changes between different internal perspectives, and act on the linearized gravitational field with an analogous structure to a linearized diffeomorphism, but with the classical gauge parameter replaced by a physical quantum field. Finally, we construct a relational von Neumann-type measurement scheme, showing how the corresponding reduced observables can be accessed operationally from the perspective of a quantum reference field.
We formulate quantum reference frames within the Dirac quantization of gauge theories, where physical states are obtained from a kinematical Hilbert space Hkin by group averaging. We assume the gauge group G is unimodular, and we define a quantum reference frame as a system of coherent states associated with a group GR of frame orientations acting on a tensor factor of Hkin. In direct analogy with the Faddeev-Popov procedure in path integrals, we show that the physical inner product can be written in terms of a choice of frame orientation with an appropriate operator measure, but that the physical Hilbert space is independent of this choice of frame. This yields a generalization of the Page-Wootters reduction map used to define conditional states and conditional probabilities of measurement outcomes given a frame orientation. These probabilities correspond to the expectation values of relational Dirac observables obtained from generalizations of previously considered relativization maps. Our main result is that the map that implements a change of frame is unitary, even when G does not act as a tensor-product representation across a factorization of Hkin. The formalism therefore accommodates interactions between reference frames and the systems described relative to them. We apply this formalism to temporal frames, showing that a unitary Schrödinger equation emerges for an interacting clock and system, and that a previously reported time-nonlocal Schrödinger equation is recovered in an appropriate limit. With this, problems of non-unitarity are avoided by the use of the gauge-fixing measure in the physical inner product. We also discuss the case of interacting spatial frames, where the known correspondence between coherence in one frame and entanglement in another is shown to depend on the coupling.
Given the importance of quantum reference frames (QRFs) to both quantum and gravitational physics, it is pertinent to develop a systematic method for switching between the descriptions of physics relative to different choices of QRFs, which is valid in both fields. Here we continue with such a unifying approach, begun in [Quantum 4, 225 (2020)], whose key ingredient is a symmetry principle, which enforces physics to be relational. Thanks to gauge related redundancies, this leads to a perspective-neutral structure which contains all frame choices at once and via which frame perspectives can be consistently switched. Formulated in the language of constrained systems, the perspective-neutral structure is the constraint surface classically and the gauge invariant Hilbert space in the Dirac quantized theory. By contrast, a perspective relative to a specific frame corresponds to a gauge choice and the associated reduced phase and Hilbert space. QRF changes thus amount to a gauge transformation. We show that they take the form of `quantum coordinate changes'. We illustrate this in a general mechanical model, namely the relational N -body problem in 3D space with rotational and translational symmetry. This model is especially interesting because it features the Gribov problem so that globally valid gauge fixing conditions, and hence relational frame perspectives, are absent. The constraint surface is topologically non-trivial and foliated by 3-, 5- and 6-dimensional gauge orbits, where the lower dimensional orbits are a set of measure zero. The N -body problem also does not admit globally valid canonically conjugate pairs of Dirac observables. These challenges notwithstanding, we exhibit how one can construct the QRF transformations for the 3-body problem. Our construction also sheds new light on the generic inequivalence of Dirac and reduced quantization through its interplay with QRF perspectives.
We propose a relational bundle-geometric formulation of the gravitational path integral by invoking the new tool of quantum reference frames (QRFs), which in gravity are gauge-covariant coordinate systems constructed from the available field content. Formulated in terms of relational (frame-dressed) observables, this yields a manifestly gauge-invariant path integral without ghosts and anomalies, and in which observables and their correlators are local to a frame. While eliminating the need for gauge fixing, it is equivalent to Faddeev-Popov versions in which the QRF is gauge-fixed, recovering certain previous proposals. A key feature is its covariance under QRF changes: it is a perspective-neutral path integral which encodes all internal QRF perspectives and the transformations between them. This leads to several qualitative predictions: local correlators and time evolution of relational observables in one QRF perspective become fuzzy in another, and a new spectrum of relational vacua arises. Comprised of frame-dependent no-boundary and asymptotic ground states, a vacuum from one perspective appears generally excited in another. Finally, we construct gauge-invariant, yet frame-dependent effective actions by coupling sources exclusively to relational observables, setting the stage for a relational definition of renormalization.