- 1Okinawa Institute of Science and Technology Graduate University, Okinawa, Japan
- 2Department of Physics and Astronomy, University College London, London, United Kingdom
- 3Department of Physics, Saint Anselm College, Manchester, NH, United States
- 4Department of Physics and Astronomy, Dartmouth College, Hanover, NH, United States
- 5Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences, Vienna, Austria
We have previously shown that three approaches to relational quantum dynamics—relational Dirac observables, the Page-Wootters formalism and quantum deparametrizations—are equivalent. Here we show that this “trinity” of relational quantum dynamics holds in relativistic settings per frequency superselection sector. Time according to a clock subsystem is defined via a positive operator-valued measure (POVM) that is covariant with respect to the group generated by its (quadratic) Hamiltonian. This differs from the usual choice of a self-adjoint clock observable conjugate to the clock momentum. It also resolves Kuchař's criticism that the Page-Wootters formalism yields incorrect localization probabilities for the relativistic particle when conditioning on a Minkowski time operator. We show that conditioning instead on the covariant clock POVM results in a Newton-Wigner type localization probability commonly used in relativistic quantum mechanics. By establishing the equivalence mentioned above, we also assign a consistent conditional-probability interpretation to relational observables and deparametrizations. Finally, we expand a recent method of changing temporal reference frames, and show how to transform states and observables frequency-sector-wise. We use this method to discuss an indirect clock self-reference effect and explore the state and temporal frame-dependence of the task of comparing and synchronizing different quantum clocks.
1. Introduction
In general relativity, time plays a different role than in classical and quantum mechanics, or quantum field theory on a Minkowski background. General covariance dispenses with a preferred choice of time and introduces instead a dynamical notion of time which depends on solutions to the Einstein field equations. In the canonical approach to quantum gravity this leads to the infamous problem of time [1–3]. Its most well-known facet is that, due to the constraints of the theory, quantum states of spacetime (and any matter contained in it) do not at first sight appear to undergo any time evolution, in seeming contradiction with everyday experience.
The resolution comes from one of the key insights of general relativity: any physical notion of time is relational, the degrees of freedom of the Universe evolve relative to one another [4–6]. This insight has led to three main relational approaches to the problem of time, each of which seeks to extract a notion of time from within the quantum degrees of freedom, relative to which the others evolve:
(i) a Dirac quantization scheme, wherein relational observables are constructed that encode correlations between evolving and clock degrees of freedom [1, 2, 4, 7–38],
(ii) the Page-Wootters formalism, which defines a relational dynamics in terms of conditional probabilities for clock and evolving degrees of freedom [7, 25, 39– 57], and
(iii) classical or quantum deparametrizations, which result in a reduced quantum theory that only treats the evolving degrees of freedom as quantum [1, 2, 7, 10, 30, 31, 58–65].
These three approaches have been pursued largely independently with the relation between them previously unknown. They have also not been without criticism, especially the Page-Wootters formalism. For example, Kuchař [1] raised three fundamental criticisms against this approach, namely that it:
(a) leads to wrong localization probabilities in relativistic settings,
(b) is in conflict with the constraints of the theory, and
(c) yields wrong propagators.
Concern has also been voiced that there is an inherent ambiguity in terms of which clock degrees of freedom one should choose, also known as the multiple choice problem [1–3, 66, 67]. Indeed, in generic general relativistic systems there is no preferred choice of relational time variable and different choices may lead to a priori different quantum theories.
In our recent work [7] we addressed the relation between these three approaches (i)–(iii) to relational quantum dynamics, demonstrating that they are, in fact, equivalent when the clock Hamiltonian features a continuous and non-degenerate spectrum and is decoupled from the system whose dynamics it is used to describe. Specifically, we constructed the explicit transformations mapping each formulation of relational quantum dynamics into the others. These maps revealed the Page-Wootters formalism (ii) and quantum deparametrizations (iii) as quantum symmetry reductions of the manifestly gauge-invariant formulation (i). In other words, the Page-Wootters formalism (ii) and quantum deparametrizations (iii) can be regarded as quantum analogs of gauge-fixed formulations of gauge-invariant quantities (i). Conversely, the formulation in terms of relational Dirac observables (i) constitutes the quantum analog of a gauge-invariant extension of the gauge-fixed formulations (ii) and (iii). More physically, these transformations establish (i) as a clock-choice-neutral (in a sense explained below), (ii) as a relational Schrödinger, and (iii) as a relational Heisenberg picture of the dynamics. Constituting three faces of the same quantum dynamics, we called the equivalence of (i)–(iii) the trinity of relational quantum dynamics.
This equivalence not only provides relational Dirac observables with a consistent conditional probability interpretation, but also resolves Kuchař's criticism (b) that the Page-Wootters formalism would be in conflict with the quantum constraints. Furthermore, the trinity resolves Kuchař's criticism (c) that the Page-Wootters formalism would yield wrong propagators, by showing that the correct propagators always follow from manifestly gauge-invariant conditional probabilities on the physical Hilbert space [7]. This resolution of criticism (c) differs from previous resolution proposals which relied on ideal clocks [25, 43, 68] and auxiliary ancilla systems [43] and can be viewed as an extension of [46].
The transformations between (i)–(iii) of the trinity also allowed us to address the multiple choice problem in Höhn et al. [7] by extending a previous method for changing temporal reference frames, i.e., clocks, in the quantum theory [30, 31, 47] (see also [32–34, 69]). The resolution to the problem lies in part in realizing that a solution to the Wheeler-DeWitt equation encodes the relations between all subsystems, including the relations between subsystems employed as clocks to track the dynamics of other subsystems; there are multiple choices of clocks, each of which can be used to define dynamics. Our proposal is thus to turn the multiple choice problem into a feature by having a multitude of quantum time choices at our disposal, which we are able to connect through quantum temporal frame transformations. This is in line with developing a genuine quantum implementation of general covariance [7, 30, 31, 38, 70–74]. This proposal is part of current efforts to develop a general framework of quantum reference frame transformations (and study their physical consequences [75–85]), and should be contrasted with other attempts at resolving the multiple choice problem by identifying a preferred choice of clock [53] (see [7] for further discussion of this proposal).
We did not address Kuchař's criticism (a) that the Page-Wootters formalism yields the wrong localization probabilities for relativistic models in Höhn et al. [7] as they feature clock Hamiltonians which are quadratic in momenta and thus generally have a degenerate spectrum, splitting into positive and negative frequency sectors. This degeneracy is not covered by our previous construction. While quadratic clock Hamiltonians are standard in the literature on relational observables [approach (i)] and deparametrizations [approach (iii)], see e.g., [4, 10, 11, 19, 29, 31], relativistic particle models have only recently been studied in the Page-Wootters formalism [approach (ii)] [45, 49–51]. However, Kuchař's criticism (a) that the Page-Wootters approach yields incorrect localization probabilities in relativistic settings has yet to be addressed. Since the Page-Wootters formalism encounters challenges in relativistic settings, given the equivalence of relational approaches implied by the trinity, one might worry about relational observables and deparametrizations too.
In this article, we show that these challenges can be overcome, and a consistent interpretation of the relational dynamics can be provided. To this end, we extend the trinity to quadratic clock Hamiltonians, thus encompassing many relativistic settings; we show that all the results of Höhn et al. [7] hold per frequency sector associated to the clock due to a superselection rule induced by the Hamiltonian constraint. Frequency-sector-wise, the relational dynamics encoded in (i) relational observables, (ii) the Page-Wootters formalism, and (iii) quantum deparametrizations are thus also fully equivalent.
The key to our construction, as in Höhn et al. [7], is the use of a Positive-Operator Valued Measure (POVM) which here transforms covariantly with respect to the quadratic clock Hamiltonian [86–89] as a time observable. This contrasts with the usual approach of employing an operator conjugate to the clock momentum (i.e., the Minkowski time operator in the case of a relativistic particle). This covariant clock POVM is instrumental in our resolution of Kuchař's criticism (a) that the Page-Wootters formalism yields wrong localization probabilities for relativistic systems. We show that when conditioning on this covariant clock POVM rather than Minkowski time, one obtains a Newton-Wigner type localization probability [90, 91]. While a Newton-Wigner type localization is approximate and not fully Lorentz covariant, due to the relativistic localization no-go theorems of Perez-Wilde [92] and Malament [93] (see also [94, 95]), it is generally accepted as the best possible localization in relativistic quantum mechanics (In quantum field theory localization is a different matter [90, 94]). This demonstrates the advantage of using covariant clock POVMs in relational quantum dynamics [7, 44, 45, 96, 97]. The trinity also extends the probabilistic interpretation of relational observables: a Dirac observable describing the relation between a position operator and the covariant clock POVM corresponds to a Newton-Wigner type localization in relativistic settings.
Finally, we again use the equivalence between (i) and (iii) to construct temporal frame changes in the quantum theory. On account of superselection rules across frequency sectors, temporal frame changes can only map information contained in the overlap of two frequency sectors, one associated to each clock, from one clock “perspective” to another. We apply these temporal frame change maps to explore an indirect clock self-reference and the temporal frame and state dependence of comparing and synchronizing readings of different quantum clocks.
While completing this manuscript, we became aware of Chataignier [38], which independently extends some results of Höhn et al. [7] on the conditional probability interpretation of relational observables and their equivalence with the Page-Wootters formalism into a more general setting. However, a different formalism [37] is used in Chataignier [38], which does not employ covariant clock POVMs and therefore the two works complement one another.
Throughout this article we work in units where ℏ = 1.
2. Clock-Neutral Formulation of Classical and Quantum Mechanics
Colloquially, general covariance posits that the laws of physics are the same in every reference frame. This is usually interpreted as implying that physical laws should take the form of tensor equations. Tensors can be viewed as reference-frame-neutral objects: they define a description of physics prior to choosing a reference frame. They thereby encode the physics as “seen” by all reference frames at once. If one wants to know the numbers which a measurement of the tensor in a particular reference frame would yield, one must contract the tensor with the vectors corresponding to that choice of frame. In this way, the description of the same tensor looks different relative to different frames, but the tensor per se, as a multilinear map, is reference-frame-neutral. It is this reference-frame-neutrality of tensors which results in the frame-independence of physical laws.
The notion of reference frame as a vector frame is usually taken to define the orientation of a local laboratory of some observer. In practice, one often implicitly identifies the local lab (i.e., the reference system relative to which the remaining physics is described) with the reference frame. This is an idealization which ignores the lab's back-reaction on spacetime, interaction with other physical systems and possible internal dynamics, while at the same time assuming it to be sufficiently classical so that superpositions of orientations can be ignored. Such an idealization is appropriate in general relativity where the aim is to describe the large-scale structure of spacetime. However, in quantum gravity, where the goal is to describe the micro-structure of spacetime, this may no longer be appropriate [98]. More generally, we may ask about the fate of general covariance when we take seriously the fact that physically meaningful reference frames are in practice always associated with physical systems, and as such are comprised of dynamical degrees of freedom that may couple with other systems, undergo their own dynamics and will ultimately be subject to the laws of quantum theory. What are then the reference-frame-neutral structures?
In regard to this question, we note that the classical notion of general covariance for reference frames associated to idealized local labs is deeply intertwined with invariance under general coordinate transformations, i.e., passive diffeomorphisms. In moving toward non-idealized reference frames (or rather systems), we shift focus from coordinate descriptions to dynamical reference degrees of freedom, relative to which the remaining physics will be described. In line with this, we shift the focus from passive to active diffeomorphisms, which directly act on the dynamical degrees of freedom. This is advantageous for quantum gravity, where classical spacetime coordinates are a priori absent. A quantum version of general covariance should be formulated in terms of dynamical reference degrees of freedom [7, 30, 31, 38, 70–74].
The active symmetries imply a redundancy in the description of the physics. A priori all degrees of freedom stand on an equal footing, giving rise to a freedom in choosing which of them shall be treated as the redundant ones. The key idea is to identify this choice with the choice of reference degrees of freedom, i.e., those relative to which the remaining degrees of freedom will be described1. Accordingly, choosing a dynamical reference system amounts to removing redundancy from the description. As such, we may interpret the redundancy-containing description (in both the classical and quantum theory) as a perspective-neutral description of physics, i.e., as a global description of physics prior to having chosen a reference system, from whose perspective the remaining degrees of freedom are to be described [7, 30, 31, 71, 72]. This perspective-neutral structure is thus proposed as the reference-frame-neutral structure for dynamical (i.e., non-idealized) reference systems.
In this article we focus purely on temporal diffeomorphisms and thus on temporal reference frames/systems, or simply clocks. In this case, we refer to the perspective-neutral structure as a clock-(choice-)neutral structure [7, 30, 31], which we briefly review here in both the classical and quantum theory. It is a description of the physics, prior to having chosen a temporal reference system relative to which the dynamics of the remaining degrees of freedom are to be described.
2.1. Clock-Neutral Classical Theory
Consider a classical theory described by an action , where qa denotes a collection of configuration variables indexed by a. Such a theory exhibits temporal diffeomorphism invariance if the action is reparametrization invariant; that is, L(qa, dqa/du) ↦ L(qa, dqa/du′)du′/du transforms as a scalar density under u ↦ u′(u). The Hamiltonian of such a theory is of the form H = N(u)CH, where N(u) is an arbitrary lapse function and
the so-called Hamiltonian constraint, is a consequence of the temporal diffeomorphism symmetry. This equation defines the constraint surface inside the kinematical phase space , which is parametrized by the canonical coordinates . The ≈ denotes a weak equality, i.e., one which only holds on [101, 102].
The Hamiltonian generates a dynamical flow on , which transforms an arbitrary phase space function f according to
and integrates to a finite transformation , where for simplicity the lapse function has been chosen to be unity, N(u) = 1. Owing to the reparametrization invariance, this flow should be interpreted as a gauge transformation rather than true evolution [4, 11], and thus for an observable F to be physical, it must be invariant under such a transformation, i.e.,
Observables satisfying Equation (3) are known as (weak) Dirac observables.
In order to obtain a gauge-invariant dynamics, we have to choose a dynamical temporal reference system, i.e., a clock function , to parametrize the dynamical flow, Equation (2), generated by the constraint. We can then describe the evolution of the remaining degrees of freedom relative to . This gives rise to so-called relational Dirac observables (a.k.a. evolving constants of motion) which encode the answer to the question “what is the value of the function f along the flow generated by CH on when the clock T reads τ?” [4, 7, 11–19, 19–24, 26, 30, 31]. We will denote such an observable by Ff,T(τ). As shown in Dittrich [21, 22] and Dittrich and Tambornino [23, 24], these observables can be constructed by solving for u yielding the solution u = uT(τ) and defining
where {f, g}n := {{f, g}n−1, g} is the nth-nested Poisson bracket subject to {f, g}0 := f. The Ff,T(τ) satisfy Equation (3) and thus constitute a family of Dirac observables parametrized by τ. Such relational observables are so-called gauge-invariant extensions of gauge-fixed quantities [7, 21–24, 37, 102].
In generic models there is no preferred choice for the clock function T among the degrees of freedom on , which is sometimes referred to as the multiple choice problem [1, 2]. Different choices of T will lead to different relational Dirac observables, as can be seen in Equation (4). All these different choices are encoded in the constraint surface and stand a priori on an equal footing.
This gives rise to the interpretation of as a clock-neutral structure. The temporal diffeomorphism symmetry leads to a redundancy in the description of : thanks to the Hamiltonian constraint the kinematical canonical degrees of freedom are not independent and due to its gauge flow there will only be independent physical phase space degrees of freedom. In particular, relative to any choice of clock function T one can construct independent relational Dirac observables using Equation (4) [101, 102]. Hence, the relational Dirac observables relative to any other clock choice T′ can be constructed from them. Consequently, there is redundancy among the relational Dirac observables relative to different clock choices. Thus yields a description of the physics prior to choosing and fixing a clock relative to which the gauge-invariant dynamics of the remaining degrees of freedom can be described. Specifically, no choice has been made as to which of the kinematical and physical degrees of freedom are to be considered as redundant. In analogy to the tensor case, still contains the information about all clock choices and their associated relational dynamics at once; it yields a clock-neutral description.
Being of odd dimension , is also not a phase space. A proper phase space description can be obtained, e.g., through phase space reduction by gauge-fixing [7, 30, 31, 38, 58]. Given a choice of clock function T, we may consider the gauge-fixing condition T = const, which may be valid only locally on . Since Ff,T(τ) is constant along each orbit generated by CH for each value of τ, we do not lose any information about the relational dynamics by restricting to T = const and leaving τ free. By restricting to the relational observables Ff,T(τ) relative to clock T and by solving the two conditions T = const, CH = 0, we remove the redundancy from among both the kinematical and physical degrees of freedom. The surviving reduced phase space description, which no longer contains the clock degrees of freedom as dynamical variables, can be interpreted as the description of the dynamics relative to the temporal reference system defined by the clock function T. But now we keep track of time evolution not in terms of the dynamical T, but in terms of the parameter τ representing its “clock readings.” In particular, the temporal reference system is not described relative to itself, e.g., one finds the tautology FT,T(τ) ≈ τ. Accordingly, choosing the “perspective” of a clock means choosing the corresponding clock degrees of freedom as the redundant ones and removing them. The theory is then deparametrized: it no longer contains a gauge-parameter u, nor a constraint, nor dynamical clock variables—only true evolving degrees of freedom.
2.2. Clock-Neutral Quantum Theory
Following the Dirac prescription for quantizing constrained systems [10, 11, 101, 102], one first promotes the canonical coordinates of to canonical position and momentum operators and acting on a kinematical Hilbert space . The Hamiltonian constraint in Equation (1) is then imposed by demanding that physical states of the quantum theory are annihilated by the quantization of the constraint function
Solutions to this Wheeler-DeWitt-like equation may be constructed from kinematical states via a group averaging operation [11, 103–107]2
where G is the group generated by ĈH. Physical states are not normalizable in if they are improper eigenstates of ĈH (i.e., if zero lies in the continuous part of its spectrum). However, they are normalized with respect to the so-called physical inner product
where 〈·|·〉kin is the kinematical inner product and reside in the equivalence class of states mapped to the same |ψphys〉, |ϕphys〉 under the projection in Equation (6). Equipped with this inner product, the space of solutions to the Wheeler-DeWitt equation in Equation (5) can usually be Cauchy completed to form the so-called physical Hilbert space [11, 103–107].
A gauge-invariant (i.e., physical) observable acting on must satisfy the quantization of Equation (2)
Such an observable is a quantum Dirac observable.
Clearly, exp(− i uĈH) |ψphys〉 = |ψphys〉, i.e., physical states do not evolve under the dynamical flow generated by the Hamiltonian constraint. This is the basis of the so-called problem of time in quantum gravity [1–3], and of statements that a quantum theory defined by a Hamiltonian constraint is timeless. However, such a theory is only “background-timeless,” i.e., physical states do not evolve with respect to the “external” gauge parameter u parametrizing the group generated by the Hamiltonian constraint. Instead, it is more appropriate to regard the quantum theory on as a clock-neutral quantum theory: it is a global description of the physics prior to choosing an internal clock relative to which to describe the dynamics of the remaining degrees of freedom (as argued in [7, 30, 31]). Just as in the classical case, there will in general be many possible clock choices and the “quantum constraint surface” contains the information about all these choices at once; it is thus by no means “internally timeless.”
The goal is to suitably quantize the relational Dirac observables in Equation (4), promoting them to families of operators on . This involves a quantization of the temporal reference system T and it is clear that in the quantum theory different choices of T will also lead to different quantum relational Dirac observables. This will give rise to a multitude of gauge-invariant, relational quantum dynamics, each expressed with respect to the evolution parameter τ, which corresponds to the readings of the chosen quantum clock (and is thus not a gauge parameter). The quantization of relational observables is non-trivial, especially because Equation (4) may not be globally defined on , and depends very much on the properties of the chosen clock. Steps toward systematically quantizing relational Dirac observables have been undertaken (e.g., in [7, 17, 20, 37, 38]) and part of this article is devoted to further developing them for a class of relativistic models.
In analogy to the classical case, the clock-neutral description on the “quantum constraint surface” is redundant: since the constraint is satisfied, not all the degrees of freedom are independent. In particular, the sets of quantum relational Dirac observables relative to different clock choices—and thus different relational quantum dynamics—will be interdependent. The proposal is once more to associate the choice of clock with the choice of redundant degrees of freedom; moving to the “perspective” of a given clock means considering the quantum relational observables relative to it as the independent ones, and removing the (now redundant) dynamical clock degrees of freedom altogether. This works through a quantum symmetry reduction procedure, i.e., the quantum analog of phase space reduction, which is tantamount to a quantum deparametrization and has been developed in Höhn and Vanrietvelde [30], Höhn [31], and Höhn et al. [7] and will be further developed in section 5. In particular, this procedure is at the heart of changing from a description relative to one quantum clock to one relative to another clock, which we elaborate on in section 7. As such, quantum symmetry reduction is the key element of a proposal for exploring a quantum version of general covariance [7, 30, 31, 47, 70–72] and thereby also addressing the multiple choice problem in quantum gravity and cosmology [1, 2] (see also [28, 32–34, 64, 65, 69, 77, 108]).
3. Quadratic Clock Hamiltonians
Building upon the clock-neutral discussion, we now assume that the kinematical degrees of freedom described by and split into a clock C and an “evolving” system S, which do not interact. This will permit us to choose a temporal reference system in the next section, and thence define a relational dynamics in both the classical and quantum theories.
3.1. Classical Theory
Suppose the classical theory describes a clock C associated with the phase space , and some system of interest S associated with a phase space , so that the kinematical phase space decomposes as . We assume to be parametrized by the canonical pair (t, pt), but will not need to be specific about the structure of (other than assuming it to be a finite dimensional symplectic manifold). Further suppose that the clock and system are not coupled, leading to a Hamiltonian constraint function that is a sum of their respective Hamiltonians3
where HC is a function on and HS is a function on .
This article concerns clock Hamiltonians that are quadratic in the clock momentum, , where s ∈ {−1, +1}, so that the Hamiltonian constraint becomes
This class of clock Hamiltonians appears in a wide number of (special and general) relativistic and non-relativistic models—see Table 1 for examples. They are doubly degenerate; every value of HC has two solutions in terms of pt, except on the line defined by pt = 0. Note that pt is a Dirac observable.
The constraint in Equation (10) can be factored into two constraints, each linear in pt [30, 31, 33]:
where we have introduced the degeneracy label σ = ±1. Note that Equation (10) forces s HS to take non-positive values on . In the s = −1 case, σ = +1 and σ = −1 define the positive and negative frequency modes in the quantum theory, respectively. For simplicity, we shall henceforth use this terminology for both s = ±14. It follows that we can decompose the constraint surface into a positive and a negative frequency sector [30, 31]
where is the set of solutions to Cσ = 0 in . The intersection is defined by pt = HS = 0 (see Figure 1 for an illustration).
Figure 1. Depicted are the surfaces (red) and (green) defined by C+ = 0 and C− = 0, respectively. The union of these surfaces is the constraint surface , while their intersection is characterized by pt = HS = 0, and is depicted by the thick black line. We have assumed that HS is not degenerate (see Figure 1 of [31] for a similar depiction when HS is doubly degenerate).
3.2. Quantum Theory
The Dirac quantization of the kinematical phase space leads to the kinematical Hilbert space describing the clock and system, where and is the Hilbert space associated with S. We assume the system Hamiltonian to be promoted to a self-adjoint operator ĤS on . An element of may be expanded in the eigenstates of the clock and system Hamiltonians as
where the integral-sum highlights that ĤS may either have a continuous or discrete spectrum5.
Physical states of the theory satisfy Equation (5), which for the Hamiltonian constraint in Equation (10) becomes
We assume here that this constraint has zero-eigenvalues, i.e., that solutions to Equation (13) exist. Note that this requires the spectrum of s ĤS to contain non-positive eigenvalues, in analogy with the classical case.
Quantizing Cσ in Equation (11) yields [Ĉ+, Ĉ−] = 0, so that the group averaging projector in Equation (6) can be expressed as
The form of δ(ĈH) implies the decomposition of the physical Hilbert space into a direct sum of positive and negative frequency sectors (see also [31, 104]). Acting with the projector δ(ĈH) on an arbitrary kinematical state yields a physical state
where ψσ(E) are Newton-Wigner-type wave functions associated to the positive and negative frequency modes [90]6:
and we have defined the function and spectrum
Physical states are normalized with respect to the physical inner product introduced in Equation (7)
which takes the usual form of non-relativistic quantum mechanics (σ-sector-wise), in line with the properties of Newton-Wigner-type wave functions. This observation will be crucial when discussing relativistic localization in section 6.
4. Covariant Clocks
4.1. Relational Dynamics With a Classical Covariant Clock
Exploiting the splitting of the degrees of freedom into clock C (our temporal reference system) and evolving system S, we now choose a clock function T on relative to which we describe the evolution of S in terms of relational observables, as discussed in section 2.1.
We could simply choose the phase space coordinate T = t as the clock function. It follows from Equation (2) that in the s = −1 case t runs “forward” on the positive frequency sector and “backward” on the negative frequency sector along the flow generated by CH; for s = +1 the converse holds. Note that every point in corresponds to a static orbit of t (since pt = 0 there), and t is therefore a maximally bad clock function on . This leads to challenges in describing relational dynamics relative to t: inverse powers of pt appear in the construction of relational observables encoding the evolution of system degrees of freedom relative to t when canonical pairs on are used [18, 23, 30, 31]7. One can solve this problem and obtain a well-defined relational dynamics by using affine (rather than canonical) pairs of evolving phase space coordinates on in the construction of relational observables [31], or in the quantum theory by carefully regularizing inverse powers of pt [30].
However, in this article we shall sidestep these challenges and provide an arguably more elegant solution. We choose a different clock function according to the classical covariance condition: that it be canonically conjugate to HC. This has the consequence of incorporating the pathology at pt = 0 into the clock function (which will nevertheless be meaningfully quantized in section 4.2), and leads to relational observables which work independently of the choice of phase space coordinates on . Solving {T, HC} = 1, we find that a covariant clock function T must be of the form T = s t/pt+g(pt), where g(pt) is an arbitrary function. Henceforth, we choose g(pt) = 0 for simplicity, so that we have
This clock function is well-defined everywhere, except on the line pt = 0, where HC is non-degenerate. It is clear that T runs “forward” everywhere on for both s = ±1, except on .
The covariance condition, combined with our assumption that the clock does not interact with the system, implies that {T, CH} = 1, which simplifies the form of the relational Dirac observables in Equation (4). For example, the relational observable corresponding to the question “what is the value of the system observable fS when the clock T reads τ?” now takes the simple form [7, 21]
4.2. Covariant Quantum Time Observable for Quadratic Hamiltonians
One might try to construct a time operator in the quantum theory by directly quantizing the covariant clock function in Equation (19) on the clock Hilbert space [86, 120, 121]. Choosing a symmetric ordering, this yields
Here, is defined in terms of a spectral decomposition such that is undefined, analogous to the classical case. While the operator is canonically conjugate to the clock Hamiltonian, , it is a symmetric operator that does not admit a self-adjoint extension [86, 88]. Since is not self-adjoint, its status as an observable seems a priori unclear8. This is a manifestation of Pauli's objection against the construction of time observables in quantum mechanics: For ĤC bounded below, there does not exist a self-adjoint operator satisfying . Pauli's conclusion was that we are forced to treat time as a classical parameter, different to the way other observables (e.g., position and momentum) are treated [122].
However, it was later realized that by appealing to the more general notion of an observable offered by a POVM, a covariant time observable9 ET can be constructed whose first moment corresponds to the operator [86, 87, 89]. Such a time observable is defined by a set of effect operator densities ET(dt) ≥ 0 normalized as , and self-adjoint effect operators associated with the probability 〈ψC|ET(X)|ψC〉 that a measurement of ET yields an outcome t ∈ X ⊂ ℝ given that the clock was in the state . In order to be a good time observable, it should satisfy the so-called covariance condition
relative to the unitary group action generated by the clock Hamiltonian. As we shall see shortly, this will give rise to a generalization of canonical conjugacy of the time observable and the clock Hamiltonian, and permit us to extend the approach to relational quantum dynamics based on covariant clock POVMs [7] to relativistic models. In particular, we obtain a valid quantum time observable despite the classical clock pathologies.
In the present case, such an observable can be constructed purely from the self-adjoint quantization of the clock Hamiltonian ĤC and its eigenstates. The effect densities can be defined as a sum of “projections”
onto the clock states corresponding to the clock reading t ∈ ℝ in the negative and positive frequency (i.e., positive and negative clock momentum) sector10
The covariance condition in Equation (23) is ensured by the fact that the clock states transform as
Note that the clock states are orthogonal to the pathological state |pt = 0〉, so that the covariant time observable does not have support on it. The clock states are furthermore not mutually orthogonal:
where P denotes the Cauchy principal value. Hence ET(dt) is not a true projector. Nevertheless, the following lemma demonstrates that the clock states |t, σ〉 form an over-complete basis for the σ-frequency sector of , and in turn a properly normalized covariant time observable ET on .
Lemma 1. The clock states |t, σ〉 defined in Equation (25) integrate to projectors onto the positive/negative frequency sector on
and hence form a resolution of the identity as follows:
Proof: The proof is given in Supplementary Material. □
The nth-moment operator of the time observable ET is defined as
While the effect operators of the clock POVM are self-adjoint, the moment operators for n ≥ 1 are not due to the non-orthogonality in Equation (27). Nevertheless, the latter are viable quantum observables with a valid probability interpretation in terms of the POVM; the only price to pay is that the different measurement outcomes t are not perfectly distinguishable.
With this definition, we find that the first-moment operator of ET is in fact equal to the operator in Equation (21). This was previously noticed in Holevo [86] and Busch et al. [88] (for the s = +1 case). This provides a concrete interpretation of the time observable ET in terms of the classical theory—the time operator , namely the first moment of the time observable ET, is the quantization of the classical clock function T in Equation (19).
Lemma 2. The operator and the first moment operator of the covariant time observable ET are equal, .
Proof: The proof is given in Supplementary Material. □
Equation (30) demonstrates that the time operator automatically splits into a positive and negative frequency part, in contrast to , the quantization of the phase space coordinate t.
Next, we find that while the clock states are not orthogonal, they are “almost” eigenstates of the covariant time operator on each σ-sector:
Lemma 3. The clock states |t, σ〉 defined in Equation (25) are not eigenstates of . However, for all , where is the domain of , they satisfy:
Proof: The proof is given in Supplementary Material. □
This leads to a another result, which underscores why the covariance condition Equation (23) can be regarded as yielding a generalization of canonical conjugacy:
Lemma 4. The nth-moment operator defined in Equation (30) satisfies . Furthermore, we have .
Proof: The proof is given in Supplementary Material. □
We emphasize that the second statement of Lemma 4 does not hold on all of .
The effect density does not commute with the clock Hamiltonian, [ET(dt), ĤC] ≠ 0, which implies the time indicated by the clock (i.e., a measurement outcome of ET) and the clock energy cannot be determined simultaneously. However, importantly, the following lemma shows that the clock reading and the frequency sector, i.e., the value of σ can be simultaneously determined.
Lemma 5. The effect density ET(dt) of the covariant clock POVM and the projectors onto the σ-sectors commute: .
Proof: The proof is given in Supplementary Material. □
Corollary 1. Since the effect density integrates to the effect and moment operators, this entails that , for all X ⊂ ℝ and n ∈ ℕ.
The significance of this lemma and corollary is that they permit us to condition on the time indicated by the clock and the frequency sector simultaneously. This will become crucial when defining the quantum reduction maps below that take us from the physical Hilbert space to the relational Schrödinger and Heisenberg pictures which exist for each σ-sector. This lemma is thus an important for extending the quantum reduction procedures of Höhn et al. [7] to the class of models considered here.
5. The Trinity of Relational Quantum Dynamics: Quadratic Clock Hamiltonians
Having introduced the clock-neutral structure of the classical and quantum theories in section 2, a natural partitioning of the kinematical degrees of freedom into a clock C and system S in section 3, and a covariant time observable ET in section 4, we are now able to construct a relational quantum dynamics, describing how S evolves relative to C.
As noted in the introduction, we showed in Höhn et al. [7] that three formulations of relational quantum dynamics, namely (i) quantum relational Dirac observables, (ii) the relational Schrödinger picture of the Page-Wootters formalism, and (iii) the relational Heisenberg picture obtained through quantum deparametrization, are equivalent for models described by the Hamiltonian constraint in Equation (9) when the clock Hamiltonian has a continuous, non-degenerate spectrum; the three formulations form a trinity of relational quantum dynamics. Here we demonstrate that this equivalence extends to constraints of the form in Equation (13), involving the doubly degenerate clock Hamiltonian11.
Thanks to the direct sum structure of the physical Hilbert space and the separation of the clock moment operators (Equation 30), into non-degenerate positive and negative frequency sectors, all the technical results needed for establishing the equivalence in Höhn et al. [7] will hold per σ-sector for the present class of models. We will thus state some of the following results without proofs, referring the reader as approriate to the proofs of the corresponding results in Höhn et al. [7], which apply here per σ-sector. In particular, Corollary 1 implies that we are permitted to simultaneously condition on the clock reading and the frequency sector.
Lastly, we also provide a discussion of the relational quantum dynamics obtained through reduced phase space quantization. In this case, one deparametrizes the model classically relative to the clock function T, which amounts to a classical symmetry reduction. While the relational quantum dynamics thus obtained yields a relational Heisenberg picture resembling dynamics (iii) of the trinity, it is not always equivalent and thus not necessarily part of the trinity. For this reason, we have moved the exposition of reduced phase space quantization to Supplementary Material. It is however useful for understanding why the quantum symmetry reduction explained below is the quantum analog of classical phase space reduction through deparametrization. We emphasize that symmetry reduction and quantization do not commute in general [7, 124–129]. A related discussion for relativistic constraints can also be found in Kaminski et al. [29].
To aid the reader, we summarize the various Hilbert spaces appearing in the construction of the trinity in Table 2.
5.1. The Three Faces of the Trinity
5.1.1. Dynamics (i): Quantum Relational Dirac Observables
We now quantize the relational Dirac observables in Equation (20), substantiating the discussion of relational quantum dynamics in the clock-neutral picture in section 2.2 for Hamiltonian constraints of the form Equation (13). Quantization of relational Dirac observables has been studied when the quantization of the classical time function T results in a self-adjoint time operator (see [4, 7, 11–20, 27–31, 35–38, 116] and references therein); however, when fails to be self-adjoint, such as in Equation (21), a more general quantization procedure is needed.
Such a procedure was introduced in Höhn et al. [7] based upon the quantization of Equation (20) using covariant time observables. Applying this procedure to the present class of models described by quadratic clock Hamiltonians, we quantize the relational Dirac observables in Equation (20) using the nth-moment operators defined in Equation (30):
where is the nth-order nested commutator with the convention , UCS(t) ≔ exp(−i t ĈH), and the second line follows upon a change of integration variable and invoking the covariance condition in Equation (26). The relational Dirac observable is thus revealed to be an incoherent average over the one-parameter non-compact gauge group G generated by the constraint operator ĈH of the kinematical operator paired with the projector onto the clock reading τ and the σ-frequency sector. Such a group averaging is known as the G-twirl operation and we denote it as in the last line of Equation (31). G-twirl operations have previously been mostly studied in the context of spatial quantum reference frames, e.g., see [130–132], but have also appeared in some constructions of quantum Dirac observables (e.g., see [7, 11, 37, 38, 106])12. As discussed in Höhn et al. [7], this G-twirl constitutes the quantum analog of a gauge-invariant extension of a gauge-fixed quantity.
The relational Dirac observables in Equation (31) constitute a one-parameter family of strong Dirac observables on (Theorem 1 of [7] whose proof applies here in each σ-sector):
We thus obtain a gauge-invariant relational quantum dynamics by letting the evolution parameter τ in the physical expectation values run.
The decomposition of in Equation (31) into positive and negative frequency sectors gives rise to a reducible representation of the Dirac observable algebra on the physical Hilbert space. More precisely, relational Dirac observables are superselected across the σ-frequency sectors, and the σ-sum in Equation (31) should thus be understood as a direct sum. To see this, consider the operator , where we recall that is a projector onto the corresponding σ-sector. By construction , which means that is a strong Dirac observable. Its eigenspaces, with eigenvalues +1 and −1, correspond to the positive and negative frequency sector subspaces and . Furthermore, commutes with any relational Dirac observable FfS,T(τ) in Equation (31) on account of Lemma 5, which implies that Q and any self-adjoint FfS,T(τ) can be diagonalized in the same eigenbasis. This in turn implies the following superselection rule
where 13.
While there do exist states in the physical Hilbert space that exhibit coherence across the σ-frequency sectors, for example |ψphys〉 ~ |ψ+〉 + |ψ−〉, where , such coherence is not physically accessible because it does not affect the expectation value of any relational Dirac observable on account of the decomposition in Equation (33). In other words, superpositions and classical mixtures across the σ-frequency sectors are indistinguishable. Hence, superpositions of physical states across σ-sectors are mixed states and the pure physical states are those of either or (see also [103, 105] for a discussion on superselection in group averaging).
For example, this superselection rule manifests as a superselection across positive and negative frequency modes in the case of the relativistic particle and across expanding and contracting solutions in the case of the FLRW model with a massless scalar field in Table 1 [31]. On account of the reducibility of the representation, one usually restricts to one frequency sector (e.g., see [113, 114, 116, 133]). One might conjecture that the analogous superselection rule in a quantum field theory would manifest as a superselection rule between matter and anti-matter sectors.
Superselection rules induced by the G-twirl are often interpreted as arising from the lack of knowledge about a reference frame, and that if an appropriate reference frame is used the superselection rule can be lifted [130]. This interpretation seems unsuitable here. Firstly, lifting the superselection rule would entail undoing the group averaging, in violation of gauge invariance. Secondly, such an interpretation is usually tied to an average over a given group action which parametrizes one's ignorance about relative reference frame orientations. By contrast, the origin of the superselection of Dirac observables here is not the group generated by the constraint, but is a consequence of a property of the constraint, i.e., the group generator. Indeed, the superselection rule above originates in the factorizability of the constraint and the ensuing decomposition of the projector onto the constraint (Equation 14). Both these properties rely on the absence of a -dependent term in the constraint Equation (13); if such a term is introduced, one generally finds [Ĉ+, Ĉ−] ≠ 0, where the Ĉσ are the quantization of the classical factors, but we emphasize that ĈH ≠ s Ĉ+Ĉ− in that case. While such a modified constraint may generate the same group14, no superselection rule across the σ-sectors would arise. The above superselection rule can thus not be associated with the lack of a shared physical reference frame. This resonates with the interpretation of the physical Hilbert space as a clock-neutral, i.e., temporal-reference-frame-neutral structure (see section 2.2).
Consider now the projector ΠσSC = θ(−s ĤS) from to its subspace spanned by all system energy eigenstates |E〉S with E ∈ σSC; that is, those permitted upon solving the constraint Equation (13). We shall henceforth denote this system Hilbert subspace and call it the physical system Hilbert space. We will obtain two copies of the physical system Hilbert space, one for each frequency sector. In analogy to the classical case, we introduce the quantum weak equality between operators, signifying that they are equal on the “quantum constraint surface” :
It follows from Lemma 1 of [7], whose proof applies here per σ-sector, that
are weakly equal relational Dirac observables. Hence, the relational Dirac observables in Equation (31) form weak equivalence classes on , where if . These weak equivalence classes are labeled by what we shall denote
for arbitrary , where denotes the set of linear operators. For later use, we note that the algebras of the physical system observables on and the on are weakly homomorphic with respect to addition, multiplication and commutator relations. More precisely,
. This is a consequence of Theorem 2 of Höhn et al. [7] (whose proof again applies here per σ-sector). Together with Höhn et al. [7], this translates the weak classical algebra homomorphism defined through relational observables in Dittrich [21] into the quantum theory.
5.1.2. Dynamics (ii): The Page-Wootters Formalism
Suppose we are given a quantum Hamiltonian constraint Equation (5) which splits into a clock and system contribution as in Equation (9), but for the moment not necessarily assuming it to be of the quadratic form in Equation (13). Suppose further we are given some (kinematical) time observable on the clock Hilbert space, which need not necessarily be a clock POVM which is covariant with respect to the group generated by the clock Hamiltonian, but is taken to define the clock reading. Page and Wootters [39, 40, 134, 135] proposed to extract a relational quantum dynamics between the clock and system from physical states in terms of conditional probabilities: what is the probability of an observable associated with the system S giving a particular outcome f, if the measurement of the clock's time observable yields the time τ? If eC(τ) and efS(f) are the projectors onto the clock reading τ and the system observable taking the value f, this conditional probability is postulated in the form
This expression appears at first glimpse to be in violation of the constraints, as it acts with operators on physical states that are not Dirac observables; this is the basis of Kuchař's criticism (b) that the conditional probabilities of the Page-Wootters formalism are incompatible with the constraints [1]. However, for a class of models we have shown in Höhn et al. [7] that the expression Equation (37) is a quantum analog of a gauge-fixed expression of a manifestly gauge-invariant quantity and thus consistent with the constraint. In this section we extend this result to relativistic settings.
Here we shall expand the Page-Wootters formalism to the more general class of Hamiltonian constraints of the form Equation (13) exploiting the covariant clock POVM ET of section 4.215. On the one hand, this will permit us to prove full equivalence of the so-obtained relational quantum dynamics with the manifestly gauge-invariant formulation in terms of relational Dirac observables on of Dynamics (i). As an aside, this will also resolve the normalization issue of physical states appearing in Diaz et al. [50], where the kinematical rather than physical inner product was used to normalize physical states, thus yielding a divergence (when used for equal mass states). On the other hand, the covariant clock POVM will allow us, in section 6, to address the observation by Kuchař [1] that using the Minkowski time observable leads to incorrect localization probabilities for relativistic particles in the Page-Wootters formalism.
The Page-Wootters formalism produces the system state at clock time τ by conditioning physical states on the clock reading τ [39, 40, 134, 135]. Henceforth focusing on the class of models defined by the constraint in Equation (13) and the covariant clock POVM of section 4.2, and given the reducible representation of , we may additionally condition on the frequency sector thanks to Lemma 5. In extension of Höhn et al. [7], we may use this conditioning to define two reduction maps , one per σ-frequency sector,
where is a copy of , i.e., the subspace of the system Hilbert space permitted upon solving the constraint, corresponding to the σ-frequency sector. As will become clear shortly, the label S on the reduction map stands for “Schrödinger picture” and to distinguish it from the italic S which stands for the system, we henceforth write it in bold face. Due to the decomposition , we equip the two copies with the frequency label σ in order to remind ourselves which reduced theory corresponds to which positive or negative frequency mode.
The reduced states (whose normalization factor will be explained later),
where ψσ(E) is the Newton-Wigner type wave function defined in Equation (16), satisfy the Schrödinger equation with respect to ĤS:
We interpret this as the dynamics of S relative to the temporal reference frame C. In particular, this Schrödinger equation looks the same for both the positive and negative frequency sectors because the time defined by the covariant clock POVM ET runs forward in both sectors. This is clear from Equation (26) and is the quantum analog of the earlier classical observation that the clock function T runs “forward” on both frequency sectors and (in contrast to t)16.
Thanks to Equation (29), the decomposition of the physical states into positive and negative frequency modes, Equation (15) can also be written as follows:
Together with Lemma 1, this implies that the σ-sector left inverse of the reduction map defined in Equation (38) is given by
where US(t) = exp(−i ĤS t), so that
where ≈ is the quantum weak equality, and thus
Conversely, we can write the identity on in the form
The identity in the second line can be checked with the help of Equation (27) (and also follows from the proof of Theorem 2 in [7]). A summary of these maps can be found in Figure 2.
Figure 2. A summary of the Page-Wootters reduction maps and their inverses. The analogous state of affairs holds for the quantum symmetry reduction maps and their inverses.
Using these reduction maps and their inverses, we can define an encoding operation , mapping the observables in Equation (36), acting on the physical system Hilbert space , into Dirac observables on the σ-sector of :
These encoded observables turn out to be the σ-sector part of the relational Dirac observables in Equation (31), as articulated in the following theorem.
Theorem 1. Let . The quantum relational Dirac observable acting on , Equation (31), reduces under to the corresponding projected observable on ,
Conversely, let . The encoding operation in Equation (45) of system observables coincides on the physical Hilbert space with the quantum relational Dirac observables in Equation (31) projected into the σ-sector:
where —c.f. Equation (33).
Proof: The proof of Theorem 3 in Höhn et al. [7] applies here per σ-sector. □
Note that the relational Dirac observables commute with the projectors due to the reducible representation in Equation (31).
Apart from providing the σ-sector-wise dictionary between the observables on the physical Hilbert space and the physical system Hilbert space, Theorem 1, in conjunction with the weak equivalence in Equation (35), also implies an equivalence between the full sets of relational Dirac observables on and system observables on .
Crucially, the expectation values of the relational Dirac observables Equation (31) in the physical inner product Equation (18) coincide, σ-sector-wise, with the expectation values of the physically permitted system observables in the states solving the Schrödinger equation Equation (40) on .
Theorem 2. Let , and denote its associated operator on by . Then
where as in Equation (39). Hence,
Proof: The proof of Theorem 4 in Höhn et al. [7] applies here per σ-sector. □
Hence, the expectation values in the relational Schrödinger picture (i.e., the Page-Wootters formalism) are equivalent to the gauge-invariant ones of the corresponding relational Dirac observables on . Accordingly, equations, such as Equation (37) (adapted to σ-sectors) are not in violation of the constraint as claimed by Kuchař [1].
This immediately implies that the reduction maps preserve inner products per σ-sector as follows.
Corollary 2. Setting in Theorem 2 yields
where . Hence,
The reason for introducing the normalization factor in Equation (39) is now clear: it permits us to work with normalized states in each reduced σ-sector and in the physical Hilbert space simultaneously.
The above results show:
(1) Applying the Page-Wootters reduction map to the physical Hilbert space yields a relational Schrödinger picture with respect to the clock C on the physical system Hilbert space corresponding to the σ-frequency sector.
(2) σ-sector wise, the relational quantum dynamics encoded in the relational Dirac observables on the physical Hilbert space is equivalent to the dynamics in the relational Schrödinger picture on the physical system Hilbert space of the Page-Wootters formalism.
(3) Given the invertibility of the reduction map, Theorem 2 formally shows that if is self-adjoint on , then so is on .
We note that the expression in the second line of Equation (47) also defines an inner product on the space of solutions to the Wheeler-DeWitt-type constraint Equation (13), which is equivalent to the physical inner product in Equation (18) obtained through group averaging. These two inner products thus define the same physical Hilbert space . The expression in the second line of Equation (47) is the adaptation of the Page-Wootters inner product introduced in Smith and Ahmadi [44] to the reducible representation of the physical Hilbert space associated to Hamiltonian constraints with quadratic clock Hamiltonians.
5.1.3. Dynamics (iii): Quantum Deparametrization
Classically, one can perform a symmetry reduction of the clock-neutral constraint surface by gauge-fixing the flow of the constraint. In this case, this yields two copies of a gauge-fixed reduced phase space, one for each frequency sector, each equipped with a standard Hamiltonian dynamics, hence yielding a deparametrized theory (see Supplementary Material). In contrast to the classical constraint surface, the “quantum constraint surface” is automatically gauge-invariant since the exponentiation of the symmetry generator ĈH acts trivially on all physical states and Dirac observables. Hence, there is no more gauge-fixing in the quantum theory after solving the constraint. Nevertheless, following Höhn and Vanrietvelde [30], Höhn [31], and Höhn et al. [7], we now demonstrate the quantum analog of the classical symmetry reduction procedure for the class of models considered in this article. As such it is the quantum analog of deparametrization, which we henceforth refer to as quantum deparametrization. This quantum symmetry reduction maps the clock-neutral Dirac quantization to a relational Heisenberg picture relative to clock observable ET, and involves the following two steps.
1. Constraint trivialization: A transformation of the constraint such that it only acts on the chosen reference system (here clock C), fixing its degrees of freedom. The classical analog is a canonical transformation which turns the constraint into a momentum variable and separates gauge-variant from gauge-invariant degrees of freedom [7, 71].
2. Condition on classical gauge fixing conditions: A “projection” which removes the now redundant reference frame degrees of freedom17.
We begin by defining the constraint trivialization map relative to the covariant time observable ET. This map will transform the physical Hilbert space into a new Hilbert space, while preserving inner products and algebraic properties of observables
In analogy to Höhn and Vanrietvelde [30], Höhn [31], and Höhn et al. [7], we introduce an arbitrary positive parameter ϵ > 0 so that the map becomes invertible. Note that .
Lemma 6. The left inverse of the trivialization is given by
so that, for any ϵ > 0, and
Proof: The proof of Lemma 2 in Höhn et al. [7] applies here σ-sector wise. □
The main property of the trivialization map is summarized in the following lemma.
Lemma 7. The map trivializes the constraint in Equation (13) to the clock degrees of freedom
where is the quantum weak equality on the trivialized physical Hilbert space , and transforms physical states into a sum of two product states with a fixed and redundant clock factor
Proof: The proof of Lemma 2 in Höhn et al. [7] applies here σ-sector wise. □
Hence, per σ-frequency sector, the trivialized physical states are product states with respect to the tensor product decomposition of the kinematical Hilbert space. Recalling the discussion of the superselection rule across σ-sectors, the physical state in Equation (50) is indistinguishable from a separable mixed state when it contains both positive and negative frequency modes. One can therefore also view the trivialization as a σ-sector-wise disentangling operation, given that physical states in Equation (15) appear to be entangled. However, we emphasize that this notion of entanglement is kinematical and not gauge-invariant (see [7] for a detailed discussion of this and how the trivialization can also be used to clarify the role of entanglement in the Page-Wootters formalism).
The clock factors in Equation (50) have become redundant, apart from distinguishing between the positive and negative frequency sector. Indeed, if we had ϵ = 0, then (disregarding the diverging prefactor) both the negative and positive frequency terms in Equation (50) would have a common redundant factor |pt = 0〉C, so that one could no longer distinguish between them at the level of the eigenbases of and ĤS in which the states have been expanded. That illustrates why is not invertible when acting on physical states. Indeed, is undefined on states of the form |pt = 0〉C|ψ〉S, since is not defined on |pt = 0〉C. This is similar to the construction of the trivialization maps in Höhn and Vanrietvelde [30] and Höhn [31], except that here the decomposition into positive and negative frequency sectors proceeds somewhat differently. This concludes step 1. above.
In order to complete the reduction to the states of the relational Heisenberg picture, and thus also complete step 2. above, we “project” out the redundant clock factor of the trivialized states by projecting onto the classical gauge-fixing condition T = τ (see Supplementary Material for a discussion of the classical gauge-fixing). That is, we now proceed as in the Page-Wootters reduction and condition states in the trivialized physical Hilbert space on the clock reading τ, separating positive and negative frequency modes. Altogether, the quantum symmetry reduction map takes the form
Using that
which is another reason why ϵ > 0 is chosen, in Equation (50) one finds τ-independent system states
as appropriate for a Heisenberg picture (compare with Equation 39). This is also the reason why, in contrast to the Page-Wootters reduction in Equation (38), we do not label the quantum deparametrization map with a τ, despite the latter a priori appearing on the right hand side of Equation (51) and why we equip it with an H label. The factor has again been introduced for normalization purposes. Since the wave function
is square-integrable/summable, it is clear that is an element of the physical system Hilbert space , corresponding to the σ-sector. We therefore also have , just as in Page-Wootters reduction. Using Lemmas 6 and 7, it is now also clear how to invert the quantum symmetry reduction—at least per σ-sector:
defines a map , so that18
Hence, from the physical system Hilbert space of the positive/negative frequency modes one can only recover the positive/negative frequency sector of the physical Hilbert space. Note that the inverse map is independent of τ in contrast to the Page-Wottters case.
More precisely, the following holds.
Lemma 8. The quantum symmetry reduction map is weakly equal to the Page-Wootters reduction map and an (inverse) system time evolution
Similarly, the inverse of the quantum symmetry reduction is equal to a system time evolution and the inverse of the Page-Wootters reduction:
Hence
and
Proof: The proof of Lemma 3 in Höhn et al. [7] applies here σ-sector wise. □
Given the Heisenberg-type states in Equation (53), we may consider evolving Heisenberg observables on
Indeed, the following theorem shows that these Heisenberg observables are equivalent to the relational Dirac observables on the σ-sector of the physical Hilbert space , thereby demonstrating that the quantum symmetry reduction map yields a relational Heisenberg picture. To this end, we employ these reduction maps and their inverses to define another encoding operation ,
Theorem 3. Let . The quantum relational Dirac observable acting on , Equation (31), reduces under to the corresponding projected evolving observable in the Heisenberg picture on , Equation (56), i.e.,
Conversely, let be any evolving Heisenberg observable. The encoding operation in Equation (57) of system observables coincides on the physical Hilbert space with the quantum relational Dirac observables in Equation (31) projected into the σ-sector:
Proof: The proof of Theorem 5 in Höhn et al. [7] applies here per σ-sector. □
Once more, the theorem establishes an equivalence between the full sets of relational Dirac observables relative to clock ET on and evolving Heisenberg observables on the physical system Hilbert space of the σ-modes . Hence, one can recover the action of the relational Dirac observables only σ-sector wise from the Heisenberg observables.
Lemma 8 and Theorem 2 directly imply that we again have preservation of expectation values per σ-sector, as the following theorem shows.
Theorem 4. Let and ΠσSCUS(τ) be its associated evolving Heisenberg operator on . Then
where .
Proof: The proof of Theorem 6 in Höhn et al. [7] applies here per σ-sector. □
Therefore, the quantum symmetry reduction map is an isometry, as we state in the following corollary.
Corollary 3. Setting in Theorem 4 yields
where . Hence,
Accordingly, we can work with normalized states in each reduced σ-sector and in the physical Hilbert space simultaneously.
In conclusion:
(1) Applying the quantum symmetry reduction map to the clock-neutral picture on the physical Hilbert space yields a relational Heisenberg picture with respect to the clock C on the physical system Hilbert space of the σ-modes, .
(2) σ-sector wise, the relational quantum dynamics encoded in the relational Dirac observables on the physical Hilbert space is equivalent to the dynamics in the relational Heisenberg picture on the physical system Hilbert space.
(3) Given the invertibility of the reduction map, Theorem 4 formally shows that if is self-adjoint on , then so is on .
5.1.4. Equivalence of Dynamics (ii) and (iii)
The previous subsections establish a σ-sector wise equivalence between the relational dynamics, on the one hand, in the clock-neutral picture of Dirac quantization and, on the other, the relational Schrödinger and Heisenberg pictures, obtained through Page-Wootters reduction and quantum deparametrization, respectively. It is thus evident that also the relational Schrödinger and Heisenberg pictures are indeed equivalent up to the unitary US(τ) as they should. This is directly implied by Lemma 8 which shows that the Page-Wotters and quantum symmetry reduction maps are (weakly) related by US(τ).
5.2. Quantum Analogs of Gauge-Fixing and Gauge-Invariant Extensions
In contrast to the classical constraint surface, the “quantum constraint surface” is automatically gauge-invariant since the exponentiation of the symmetry generator ĈH acts trivially on all physical states and Dirac observables. Nevertheless, extending the interpretation established in Höhn et al. [7], we can understand the quantum symmetry reduction map [and given their unitary relation, also ] as the quantum analog of a classical phase space reduction through gauge-fixing. For completeness, the latter procedure is explained in Supplementary Material for the class of models of this article. In particular, we may think of the physical system Hilbert space for the σ-sector as the quantum analog of the gauge-fixed reduced phase space obtained by imposing for example the gauge T = 0 on the classical σ-frequency sector 19. Also classically, one obtains two identically looking gauge-fixed reduced phase spaces, one for each frequency sector. Consequently, the relational Schrödinger and Heisenberg pictures can both be understood as the quantum analog of a gauge-fixed formulation of a manifestly gauge-invariant theory.
In this light, Theorems 1 and 3 imply that the encoding operations of system observables in Equations (45) and (57) can be understood as the quantum analog of gauge-invariantly extending a gauge-fixed quantity (see also [7]). Similarly, the alternative physical inner product in the second line of Equation (47) is the quantum analog of a gauge-fixed version of the manifestly gauge-invariant physical inner product obtained through group averaging in Equation (18). Indeed, is the (kinematical) expectation value of the ‘projector' onto clock time τ in physical states. However, it is clear from the unitarity of the Schrödinger dynamics on and Equation (47) that this inner product does not depend on τ (the “gauge”), in line with the interpretation of it being the quantum analog of a gauge-fixed version of a manifestly gauge-invariant quantity.
5.3. Interlude: Alternative Route
As an aside, we mention that there exists an alternative route to establishing a trinity for clock Hamiltonians quadratic in momenta. This again exploits the reducible representation on the physical Hilbert space. The σ-sector of is defined by the constraint , where and . Clearly, is now a non-degenerate clock Hamiltonian. In Höhn et al. [7] we established the trinity for non-degenerate clock Hamiltonians and the σ-sector defined by yields a special case of that. This immediately implies a trinity per σ-sector, however, now relative to a clock POVM which is covariant with respect to . It is evident that the covariant clock POVM is in this case defined through the eigenstates of which (up to a factor of ) is also the first moment of the POVM. Indeed, the equivalence between the clock-neutral Dirac quantization and the relational Heisenberg picture has previously been established for models with quadratic clock Hamiltonians precisely in this manner in Höhn and Vanrietvelde [30] and Höhn [31] (for a related discussion see also [29, 38]). However, as mentioned in section 4.1, one either has to regularize the relational observables or write them as functions of affine, rather than canonical pairs of evolving degrees of freedom. This is a consequence of the square root nature of . None of these extra steps were needed in the trinity construction of this article, which is based on a clock POVM which is covariant with respect to , rather than .
6. Relativistic Localization: Addressing Kuchař's Criticism
In his seminal review on the problem of time, Kuchař raised three criticisms against the Page-Wootters formalism [1]: the Page-Wootters conditional probability in Equation (37) (a) yields the wrong localization probabilities for a relativistic particle, (b) violates the Hamiltonian constraint, and (c) produces incorrect transition probabilities. As mentioned in the introduction, criticisms (b) and (c) have been resolved in Höhn et al. [7]—see Theorem 2 which extends the resolution of (b) to the present class of models.
Here, we shall now also address Kuchař's first criticism (a) on relativistic localization, which is more subtle to resolve. The main reason, as is well-known from the theorems of Perez-Wilde [92] and Malament [93] (see also the discussion in [94, 95]), is that there is no relativistically covariant position-operator-based notion of localization which is compatible with relativistic causality and positivity of energy. This is a key motivation for quantum field theory [90, 94]—and here a challenge for specifying what the “right” localization probability for a relativistic particle should be. Instead, one may resort to an approximate and relativistically non-covariant notion of localization proposed by Newton and Wigner [90, 91]. We will address criticism (a) by demonstrating that our formulation of the Page-Wootters formalism, based on covariant clocks for relativistic models, yields a localization in such an approximate sense.
For the sake of an explicit argument, we shall, just like Kuchař [1], focus solely on the free relativistic particle, whose Hamiltonian constraint reads (cf. Table 1)
where denotes the spatial momentum vector. However, the argument could be extended to the entire class of models considered in this manuscript. It is straightforward to check that the physical inner product Equation (18) reads in this case [31, 104]20
where is the relativistic energy of the particle and the first and second term in the integrand correspond to negative and positive frequency modes, respectively. Fourier transforming to solutions to the Klein-Gordon equation in Minkowski space
one may further check that [31, 104]
where
is the Klein-Gordon inner product in which positive frequency modes are positive semi-definite, negative frequency modes are negative semi-definite and positive and negative frequency modes are mutually orthogonal. The physical inner product is thus equivalent to the Klein-Gordon inner product (with correctly inverted sign for the negative frequency modes), which provides the correct and conserved normalization for the free relativistic particle21. This raises hopes that the conditional probabilities of the Page-Wootters formalism may yield the correct localization probability for the relativistic particle. Note that so far we have not yet made a choice of time operator.
Suppose now that the Minkowski time operator , quantized as a self-adjoint operator on , is used to define the projector onto clock time t as eC(t) = |t〉〈t| and ex = |x〉〈x| is the projector onto position x. This time operator is not covariant with respect to the quadratic clock Hamiltonian. The conditional probability Equation (37) then becomes
where ψphys(t, x) = (〈t| ⊗ 〈x|) |ψphys〉 is a general solution to the Klein-Gordon equation. As Kuchař pointed out [1], while this would be the correct localization probability for a non-relativistic particle, it is the wrong result for a relativistic particle. Indeed, apart from not separating positive and negative frequency modes, which is necessary for a probabilistic interpretation e.g., if ψphys contains both positive and negative frequency modes then the denominator in Equation 62 is not conserved), Equation (62) neither coincides with the charge density of the Klein-Gordon current in Equation (61), nor with the Newton-Wigner approximate localization probability [90, 91]. In particular, one can not interpret a solution ψphys(t, x) to the Klein-Gordon equation as a probability amplitude to find the relativistic particle at position x at time t. The reason, as explained in Haag [90], is that the conserved density is the one in Equation (61) and ψphys and ∂tψphys inside it are not only dependent, but related by a non-local convolution
where ε(x − x′) is the Fourier transform of −iεp.
By contrast, let us now exhibit what form of conditional probabilities the covariant clock POVM ET of section 4.2 gives rise to. We now insert and, as before, ex into the conditional probability Equation (37). The crucial difference between the covariant clock POVM ET and the clock operator (which is covariant with respect to Ĉσ, but not ĈH) is that the denominator of Equation (37) is equal to the physical inner product in the former case (see Corollary 2) but not in the latter22. Supposing that we work with normalized physical system states , Theorem 2 implies
where and τ is now not Minkowski time. For concreteness, let us now focus on positive frequency modes. Using Equations (15) and (25), one obtains
This is almost the Newton-Wigner position space wave function for positive frequency modes, which relative to Minkowski time reads [90]
where K(x) is the Fourier transform of . The key property of is that, while not relativistically covariant, it does admit the interpretation of an approximate localization probability, with accuracy of the order of the Compton wave length, for finding the particle at position x at Minkowski time t [90, 91]. In particular,
i.e., the Klein-Gordon inner product assumes the usual Schrödinger form for the Newton-Wigner wave function.
Noting that due to Equation (19) we can heuristically view τ as t/εp, and comparing with Equation (65) we can interpret Equation (64) as a Newton-Wigner wave function as well, but expressed relative to a different time coordinate τ. Indeed, in line with this interpretation, we find that in this case too the physical inner product, Equation (60), for the positive frequency modes assumes the form of the standard Schrödinger theory inner product
The analogous statement is true for the negative frequency modes. In that sense, Equation (63), in contrast to Equation (62), does admit the interpretation as a valid, yet approximate localization probability for the relativistic particle per frequency sector, just like in the standard Newton-Wigner case23.
Accordingly, computing the conditional probabilities of the Page-Wootters formalism relative to the covariant clock POVM, rather than the non-covariant Minkowski time operator , leads to an acceptable localization probability for a relativistic particle, thereby addressing also Kuchař's first criticism (a). Given the equivalence of the Page-Wootters formalism with the clock-neutral and the relational Heisenberg pictures, established through the trinity in section 5, this result also equips the quantum relational Dirac observables and the evolving Heisenberg observables x(τ) with the interpretation of providing an approximate, Newton-Wigner type localization in Minkowski space.
7. Changing Quantum Clocks
So far we have worked with a single choice of clock. Let us now showcase how to change from the evolution relative to one choice of clock to that relative to another. Our discussion will apply to both the relational Schrödinger picture of the Page-Wootters formalism and the relational Heisenberg picture obtained through quantum deparametrization.
For concreteness, suppose we are given a Hamiltonian constraint of the form
where si = ±1 and denotes the momentum of clock subsystem Ci, i = 1, 2 and we have suppressed tensor products with identity operators. In particular, suppose ĤS does not depend on either of the clock degrees of freedom. We will work with the covariant clock POVM of section 4.2 for both clock choices. For example, the constraints of the relativistic particle, the flat (k = 0) FLRW model with a massless scalar field and the Bianchi I and II models from Table 1 are of the above form24. Our subsequent discussion will thus directly apply to these models.
Since we will exploit the Page-Wootters and symmetry reduction maps as “quantum coordinate maps” from the clock-neutral picture to the given “clock perspective,” we will be able to change from the description of the dynamics relative to one clock to that relative to another in close analogy to coordinate changes on a manifold. Due to the shape of the constraint in Equation (66) we now have superselection of Dirac observables and the physical Hilbert space across both the σ1-frequency sectors of clock C1 and the σ2-frequency sectors of clock C2. The physical Hilbert space takes the form
where is the overlap of the σ1-sector of clock C1 and the σ2-sector of clock C2. As we have seen the reduction maps are only invertible per frequency sector. Hence, we will only be able to change from a given σ1-sector to the part of the σ2-frequency sector which is contained in it. In other words, the “quantum coordinate changes” are restricted to each overlap .
The method of changing temporal reference frames exhibited below is a direct extension of several previous works: Höhn and Vanrietvelde [30] and Höhn [31] developed the method σ-sector-wise for states and observables in the relational Heisenberg picture for Hamiltonians of the type in Equation (66) for two example models, but used clock operators canonically conjugate to the clock momenta (and thus not a clock POVM covariant with respect to the full clock Hamiltonian). The method of transforming relational observables from one clock description to another was demonstrated in Höhn and Vanrietvelde [30] and Höhn [31] for a subset of relational Dirac observables, paying, however, detailed attention to regularization necessities arising from time-of-arrival observables [18, 23, 117–119]. Our previous article [7] developed the method comprehensively for both states and observables for clock Hamiltonians with non-degenerate and continuous spectrum in both the relational Schrödinger and Heisenberg pictures; specifically, the transformation of arbitrary relational observables corresponding to relations between S and the clocks was developed for the corresponding class of models. In Castro-Ruiz et al. [47] the clock change method was exhibited for state transformations in the relational Schrödinger picture for ideal clocks whose Hamiltonian coincides with the clock momentum itself. Our discussion can also be viewed as a full quantum extension of the semiclassical method in Bojowald et al. [32, 33] and Höhn et al. [34] which is equivalent at semiclassical order, however, also applies to clock functions which are non-monotonic, i.e., have turning points, in contrast to the other works mentioned (See [70–72, 74] for related spatial quantum frame changes).
In particular, owing to our focus on covariant clock POVMs, all the results and proofs [7] apply σ-sector-wise to the present case. However, we will also study novel effects, such as the temporal frame dependence of comparing clock readings.
7.1. State Transformations
Denote by , where I ∈ {S, H}, the Page-Wootters or quantum symmetry reduction map to the σi-sector of clock Ci. For notational simplicity, we drop the dependence of the Page-Wootters reduction on the clock reading τi of clock Ci for the moment. The temporal frame change (TFC) map from clock Ci's σi-sector to clock Cj's σj-sector then reads
Here denotes the physical clock Cj Hilbert space corresponding to the σi-sector of clock Ci, i.e., the subspace of compatible with solutions to the constraint Equation (66) and similarly for the other Hilbert spaces. When I ≠ J in Equation (68), then the TFC map changes not only the temporal reference frame, but also between the corresponding relational Heisenberg and Schrödinger pictures. Let us write when no relational picture change takes place.
More explicitly, the TFC map from the σ1-frequency sector of clock C1 in the relational Schrödinger picture to the σ2-frequency sector of clock C2 in the relational Schrödinger picture takes the form
Here we have made use of Equations (38) and (42) and the covariant clock states Equation (25) for both clocks. The reduced states transform under this map as follows:
where we made use of Equation (43) and is the relational Schrödinger picture state of clock Cj and system S relative to clock Ci, which is chosen as the temporal reference frame, in its σi-sector. In other words, the Heaviside-function on the l.h.s. highlights that we can only map from the σ1-sector of clock C1 to that part of the σ2-sector of clock C2 which is contained in the σ1-sector of clock C1. This is clear, because any reduction map is only invertible on its associated σ-sector: from the σ1 relational Schrödinger picture one can only recover the σ1-sector of the physical Hilbert space. Hence, the subsequent Page-Wootters reduction map to the σ2-sector of clock C2 in Equation (68) can then only yield information in the overlap of the σ1- and σ2-sectors in the physical Hilbert space (see also [30, 31] for explicit examples of this situation in the relational Heisenberg picture). This is a manifestation of the superselection across both the σ1- and the σ2-sectors.
Similarly, the TFC map from the σ1-frequency sector of clock C1 in the relational Heisenberg picture to the σ2-frequency sector of clock C2 in the relational Heisenberg picture reads
where we have made use of Lemma 8. Using the same lemma, the reduced states transform under this map in complete analogy to Equation (69)
with the evolution operator of the composite system of clock Cj and system S relative to clock Ci.
Note that, interpreting the reduction maps as the “quantum coordinate maps” taking one from the clock-neutral physical Hilbert space to a specific “clock perspective,” any such TFC map in Equation (68) takes the same compositional form as coordinate changes on a manifold. In particular, any such temporal frame change proceeds by mapping via the clock-neutral physical Hilbert space in analogy to how coordinate changes always proceed via the manifold (see Figure 3). This observation lies at the heart of the perspective-neutral approach to quantum reference frame changes [7, 30, 31, 71, 72]. It is also the reason why we may interpret the physical Hilbert space as a clock-neutral structure, providing a description of the dynamics prior to having chosen a temporal reference frame relative to which the other degrees of freedom evolve. In line with this, in terms of different one-parameter families of relational Dirac observables, the physical Hilbert space contains the complete information about the dynamics relative to all the different possible clock choices at once.
Figure 3. Schematic representation of a temporal frame change, as defined through Equation (68). The figure encompasses both the relational Schrödinger picture of the Page-Wotters formalism and the relational Heisenberg picture of the quantum deparametrization (as well as their mixtures). Viewing the reduction maps as quantum coordinate maps, any such temporal frame change takes the form of a quantum coordinate transformation from the description relative to clock C1 to the one relative to clock C2. Just as coordinate transformation pass through the reference-frame-neutral manifold, the quantum coordinate transformations pass through the clock-neutral physical Hilbert space in line with the general discussion of the clock-neutral structure and quantum general covariance in section 2. Due to the double superselection rule, the quantum coordinate transformations have to preserve the overlaps of the frequency sectors of C1 and C2. Here we illustrate the example of the overlap of the positive frequency sectors of both clocks, so that the corresponding frame transformation passes through (cf. Equation 67).
7.2. Observable Transformations
Just as we transformed reduced states from the perspective of one clock to the perspective of another by passing through the gauge-invariant physical Hilbert space (see Figure 3), we now transform the description of observables relative to one clock to that relative to the other by passing through the gauge-invariant algebra of Dirac observables on the physical Hilbert space. The observable transformations will thus be dual to the state transformations. The idea is always that we describe the same physics, encoded in the gauge-invariant states and observables of the clock-neutral physical Hilbert space, but relative to different temporal frames. Again, we have to pay attention to the two superselection rules on the clock-neutral physical Hilbert space and we will demonstrate the observable transformations separately for the relational Schrödinger and Heisenberg pictures.
7.2.1. Observable Transformations in the Relational Schrödinger Picture
Suppose we are given an observable describing certain properties of the composite system C2S in the relational Schrödinger picture of clock C1 in either frequency sector of the latter25. Owing to Theorem 1, we can write this as a reduction of a corresponding relational Dirac observable on :
We can now also map the same relational Dirac observable into the σ2-sector of the relational Schrödinger picture of clock C2:
The result will be the image of the original observable , describing properties of C2S relative to C1, in the “perspective” of clock C2. Hence, if depends non-trivially on C2, an indirect self-reference effect occurs in the last equation [7]. Notice that, while the original observable in the Schrödinger picture of C1 is independent of the evolution parameter τ1, the description of that same observable in the Schrödinger picture relative to clock C1 will generally depend on both evolution parameters τ1, τ2. The dependence on τ1 is a consequence of it being the reduction of a relational Dirac observable with evolution parameter τ1, but into the “perspective” of C2. The possible τ2 dependence may arise as a consequence of said indirect self-reference. For example, suppose so that the relational Dirac observable is . The observable on the l.h.s. in Equation (71) then describes how the first moment operator associated with C2 evolves relative to C1 from the “perspective” of C2; this certainly should yield a τ1 dependence. We will explain this in more detail shortly.
Taking into account the two superselection rules across the σ1- and σ2-sectors, these observations imply that observable transformations from the relational Schrödinger picture of the σ1-sector of clock C1 into the relational Schrödinger picture of the σ2-sector of clock C2 read
In the second line we made use of Equation (45), in the third of Theorem 1, and in the fourth of Equation (71) and the fact that commutes with the reduction map of the C2 clock and with (see Lemma 5).
Observe that the structure of this transformation shows that reduced observables relative to one clock will transform always via the gauge-invariant Dirac observable algebra to reduced observables relative to another clock.
Using Equations (38), (42), and (45), we can write this transformation as
This transformation reveals that expectation values are preserved in the following manner:
The projectors onto the σ2-sector on the r.h.s. appears because the C2 reduction map in Equation (72) induces such a projection (compare this with the state transformations Equation (69) which are dual). In other words, only the physical information in the overlap of the σ1- and σ2-sector is preserved when changing from the description relative to clock C1 to one relative to clock C2, or vice versa. Once more, this is a direct consequence of the double superselection rule induced by the shape of the constraint Equation (66).
7.2.2. Observable Transformations in the Relational Heisenberg Picture
The argumentation for the relational Heisenberg picture proceeds in complete analogy. We thus just quote the results, which immediately follow from those of the previous subsection through use of Lemma 8. Of course, in this case, the reduced observables have an explicit dependence on the evolution parameter (Equation 56).
The observable transformations from the relational Heisenberg picture of the σ1-sector of clock C1 into the relational Heisenberg picture of the σ2-sector of clock C2 are given by
where is given by Equations (71) and (73). Thanks to the double superselection rule, this transformation preserves expectation values again per overlap of a σ1- with a σ2-sector, in obvious analogy to Equation (74).
7.3. Occurrence of Indirect Clock Self-Reference
Finally, let us now come back to the indirect self-reference effect of clock C2 alluded to above. The following theorem, which is adapted from Höhn et al. [7] and whose proof applies here per pair of σ1- and σ2-sector, reveals the necessary and sufficient conditions for this indirect self-reference to occur:
Theorem 5. Consider an operator of the composite system C2S described from the perspective of clock C1. From the perspective of clock C2, this operator is independent of τ2, so that if and only if
where is an operator on and is a constant of motion, . Furthermore, in this case the transformed observable reads
where is the projector onto the physical subspace of , |t2, σ2〉 is an arbitrary σ2-sector clock state of C2, and is the G-twirl over the group generated by the evolution generator of the composite system C1S.
That is to say, the indirect self-reference effect and thus τ2-dependence of Equation (72) is absent if and only if the relational Dirac observable encoding how C2S properties evolve relative to C1 does not contain any degrees of freedom of clock C2 that evolve.
When , i.e., only the evolution of system degrees of freedom relative to C1 is described, Theorem 5 entails that the transformation to the description relative to C2 simplifies as follows:
In particular, the transformed system observable is perspective independent, i.e., its description relative to C1 and C2 coincide if and only if it is a constant of motion (see [7] for the proof of this statement, which again applies here per pair of σ1- and σ2-sector):
Corollary 4. An operator of C2S relative to C1
transforms under a temporal frame change map to the perspective of C2 as follows
where if and only if is a constant of motion, .
Theorem 5 translates as follows into the relational Heisenberg picture (see [7] for the proof which applies here per pair of σ1- and σ2-sector):
Corollary 5. Let be an operator describing the dynamics of properties of the composite system C2S relative to C1 in the Heisenberg picture. Under a temporal frame change Equation (75) to the perspective of C2, this operator transforms to an operator that satisfies the Heisenberg equation of motion in clock C2 time τ2 without an explicitly τ2 dependent term,
if and only if
and is a constant of motion, .
The interpretation of the transformations is of course completely analogous to the relational Schrödinger picture.
7.4. Application: Comparing Clock Readings
One application of the temporal frame change method developed above is comparing readings of different clocks. This is also a prerequisite for developing a notion of clock synchronization.
For example, we may wish to compare the evolution of some system property relative to clock C1 with relative to clock C2. These two relational evolutions will be encoded in two one-parameter families of Dirac observable of the form and . In order to relate these two dynamics, we need a consistent method for relating the different clock readings τ1, τ2. While classically, there is an unambiguous way to answer the question “what is the value of the reading τ2 of clock C2, when clock C1 reads τ1?” namely by setting τ2(τ1) ≔ FT2,T1(τ1), this is not so in the quantum theory because both clocks are now described in terms of quantum operators and their relation depends on the quantum state. In fact, we shall argue shortly that comparing clock readings is generally dependent on the choice of temporal frame (here either C1 or C2) in the quantum theory.
7.4.1. Three Ways of Comparing Clock Readings
To address this conundrum in the quantum theory, let us recall the conditional probabilities in Equation (37) and ask for the probability that C2 reads τ2 when C1 reads τ1 (ignoring frequency sectors for simplicity for the moment):
Here we have assumed that the physical state is normalized such that by Corollary 2 also the reduced states in the Schrödinger picture of either clock are normalized.
Comparing clock readings. Given the conditional probabilities Equation (77), we may consider the following three generally distinct options for comparing clock readings.
(A) The clock reading of C2 when C1 reads τ1 is defined to be the value of τ2 that maximizes the conditional probability P(T2 = τ2|T1 = τ1). This assumes the distribution to have a unique maximal peak.
(B) The clock reading of C2 when C1 reads τ1 is defined to be the expectation value
(C) The clock reading of C2 when C1 reads τ1 is defined to be for n > 1, where
is the nth-moment of the conditional probability distribution in Equation (77).
Relating different clock readings in terms of expectation values, as in (B), is arguably the most natural choice and has originally been discussed in Höhn and Vanrietvelde [30], Höhn [31], Bojowald et al. [32, 33], Höhn et al. [34], and Smith and Ahmadi [45]; we expand on this here.
Clearly, the two definitions (A) and (B) only agree when the conditional probability distribution is peaked on the expectation value. Furthermore, all three definitions (A)–(C) agree in the special case that , i.e., when there are no fluctuations in the conditional probability distribution.
7.4.2. Comparing Clock Readings for Quadratic Clock Hamiltonians
Let us now explore these definitions in our present class of models defined by Equation (66), taking into account the different frequency sectors again. Minding the double superselection rule, we replace Equation (77) by
where lies in the overlap of the σ1- and σ2-sectors (see Equation 67) and , i = 1, 2. We can then write the nth-moment of the conditional probability distribution in Equations (78) and (79) for n ∈ ℕ, thus considering both definitions (B) and (C), as follows:
where by Equation (30)
is the σ2-sector nth-moment of the covariant clock POVM corresponding to C2. In the second line of Equation (81) we have made use of Equations (38) and (80), while in the third line we invoked Theorem 2. Note that by Equation (74), the expression in Equation (81) defines an expectation value which is preserved during a temporal frame change between C1 and C2.
Thanks to Lemmas 3 and 4 we can write the nth-moment in Equation (81) also in the form
as long as . Since for n > 1 for general states, definitions (B) and (C) will generically not be equivalent. In the sequel, we shall mostly consider definition (B) in extension of Höhn and Vanrietvelde [30], Höhn [31], Bojowald et al. [32, 33], Höhn et al. [34], and Smith and Ahmadi [45]. This seems to be the physically most appealing one, especially if an ensemble interpretation could be developed for the models under consideration. Definition (A) is only unambiguous when the conditional probability distribution has a single maximal peak and definition (C) is operationally unnatural and convoluted. That is, we set for the value of the reading of clock C2 when C1 reads τ1:
The following discussion, however, qualitatively also applies to definition (C).
7.4.3. Comparing Clock Readings Is Temporal Frame Dependent
Notice that definitions (A)–(C) treat C2 as the fluctuating subsystem. We can thus interpret them as providing a definition of the clock reading of C2 relative to the temporal reference frame C1. Conversely, we can of course switch the roles of C1 and C2 above and ask for the clock reading of C1 relative to C2. Resorting to definition (B), this would yield
Dropping the labels of the arguments in Equations (81) and (83), both of which run over all of ℝ, it is important to note that τ1(τ) and τ2(τ) will generally not be the same functions of τ. This is because generally in Equation (80). Said another way, the evolution of C2 from the perspective of C1 according to definition (B) may differ from the evolution of C1 relative to C2 (for the same physical state).
One might wonder whether the function τ1(τ2) in Equation (83) is the inversion of τ2(τ1) in Equation (81), i.e., obtained by solving τ2(τ1) for τ1. Classically, this is certainly the case and it would entail that for a fixed clock reading of C1 one finds . Physically this would mean that both temporal reference frames C1 and C2 agree that when C1 reads , C2 reads the value . This does occur in a special case when definitions (A)–(C) all coincide, namely when in Equation (83) in which case expectation value, most probable value and the value defined through the nth-moment all agree. While this does happen in simple models with a high degree of symmetry between C1 and C2 [31], this will in more interesting cases not be the case because the physical state will generically have a different spread along the τ1 and τ2 axes [30, 32–34]. In our case this means that the wave function
for some physical system state , which can be viewed as either a wave function in the C1 or C2 relational Schrödinger picture, may have a different spread in τ1 than in τ2. In such a case we will generally find . This effect will occur in the class of models considered here because physical states need not have the same momentum distribution in p1 and p2 (and thus neither in τ1 or τ2) due to the presence of the system S. This effect has also been demonstrated in a semiclassical approach in various models in Bojowald et al. [32, 33] and Höhn et al. [34] where one finds discrepancies of the order of ℏ between and .
In conclusion, this effect can be interpreted as a temporal frame dependence of comparing clock readings according to definition (B) [or (C)]: if from the perspective of the temporal reference frame defined by C1 the clock C2 reads (computed according to Equation 81) when C1 reads , then conversely from the perspective of the temporal reference frame defined by C2 the clock C1 will not in general read when C2 reads the value . That is, C1 and C2 will generally disagree about the pairings of their clock readings.
Let us now also briefly comment on the notion of quantum clock synchronization. Using the state dependent relation Equation (82), we could ask for which state would yield so that C1 and C2 read the same value when C1 reads the value . Even stronger, we could ask whether there are states for which τ2(τ1) = τ1 + const, for all τ1 ∈ ℝ, so that, up to a constant offset, C1 and C2 are always synchronized. Equation (81) tells us that this is the case if . Again, while this happens in simple models [31], this will generically not happen for the models in the class which we are studying on account of the above observations concerning the frame dependence of comparing clock readings. Such a notion of synchronization is therefore too strong and can generally not be implemented. It will furthermore generally be frame dependent too.
7.4.4. Comparing a System's Evolution Relative to Two Clocks
Returning to our original ambition, it is thus more useful to employ the more general (frame dependent) clock comparison, according to definition (B), in order to compare the evolutions of S with respect to C1 and C2. Working in the relational Schrödinger picture, if is the initial state of C2S from the perspective of C1, then according to Equation (69) the corresponding initial state of C1S from the perspective of C2 is
We can then evaluate the ‘same' reduced system observable in the two states, where i = 1 when evaluated relative to C2 and vice versa (cf. Corollary 4), in order to compare the evolution of property relative to the two clocks in different quantum states (which amount also to quantum states of the clocks). To avoid confusion, we emphasize, that , i = 1, 2, correspond to two different relational Dirac observables and on the clock-neutral physical Hilbert space ; in particular, the two are not related by the TFC map . Hence, by evaluating these two reduced observables in the relational Schrödinger states related via the TFC map by Equation (84), we can compare two genuinely distinct relational dynamics. The construction in the relational Heisenberg picture is of course completely analogous.
In Höhn et al. [7] and Castro-Ruiz [47] a frame dependent temporal non-locality effect was exhibited for idealized clocks whose Hamiltonian is the unbounded momentum operator. For example, when clock C2 is seen to be in a superposition of two peaked states and in a product relation with S from the perspective of C1, then C1S will generally be entangled as seen from the perspective of C2 and undergo a superposition of time evolutions. This effect applies here per overlap of the different σ1- and σ2-sectors. It will be interesting to study how such a frame dependent temporal locality affects the (potentially frame dependent) comparison and synchronization of the clocks and the comparison of the evolutions of S relative to C1 and C2 in different quantum states, corresponding to different choices of the clock-neutral physical states. Such an exploration will appear elsewhere.
Finally, these temporal frame changes and clock synchronizations will be relevant in quantum cosmology. For example, recently it was pointed out that singularity resolution in quantum cosmology depends on the choice of clock which one uses to define a relational dynamics [77]. The different relational dynamics employed in Gielen and Menéndez-Pidal [77] can be interpreted as different choices of reduced dynamics in the sense of our relational Schrödinger/Heisenberg picture. Temporal frame changes as developed here can in principle be used to study the temporal frame dependence of the fate of cosmological singularities more systematically.
8. Conclusions
In this work we demonstrated the equivalence of three distinct approaches to relational quantum dynamics—relational Dirac observables, the Page-Wootters formalism, and quantum deparametrizations—for models described by a Hamiltonian constraint in which the momentum of the system being employed as a clock appears quadratically. Since this class of models encompasses many relativistic settings, we have thereby extended our previous results of Höhn et al. [7] into a relativistic context. A crucial ingredient in this extension has been a clock POVM which is covariant with respect to the group generated by the Hamiltonian constraint and is used to describe the temporal reference frame defined by the clock. This choice differs from the usual resort to self-adjoint clock operators in relativistic settings.
Owing to a superselection rule induced by the shape of the Hamiltonian constraint across positive and negative frequency modes, this equivalence, which we refer to as the trinity of relational quantum dynamics, holds frequency sector wise. Moreover, we further develop the method of temporal quantum frame changes [7, 30–34, 47, 69] in this setting to address the multiple choice problem. This method is then used to explore an indirect self-reference phenomenon that arises when transforming between clock perspectives and to reveal the temporal frame and state dependence of comparing or even synchronizing the readings of different quantum clocks. This result adds to the growing list of quantum reference frame dependent physical properties, such as entanglement [70, 72, 74], spin [73], classicality [72] or objectivity [79, 80] of a subsystem, superpositions [70, 72], certain quantum resources [78], measurements [70, 76], causal relations [47, 83], temporal locality [7, 47], and even spacetime singularity resolution [77]. The temporal frame changes may also be employed to extend recent proposals for studying time dilation effects of quantum clocks [45, 136, 137] (see also [137–140]). Furthermore, it would be interesting to expand the temporal frame changes to cosmological perturbation theory to study the temporal frame dependence of power spectra [64, 65].
Importantly, the covariant clock POVM permitted us to resolve Kuchař's criticism that the Page-Wootters formalism does not produce the correct localization probability for a relativistic particle in Minkowski space [1]. Indeed, such incorrect localization probabilities arise when conditioning on times defined by the quantization of an inertial Minkwoski time coordinate. We showed that conditioning instead on the covariant clock POVM surprisingly produces a Newton-Wigner type localization probability, which, while approximate and not fully covariant, is usually regarded as the best possible notion of localization in relativistic quantum mechanics [90, 94]. This result underscores the benefits of covariant clock POVMs in defining a consistent relational quantum dynamics [7, 44, 45, 96, 97].
In conjunction with our previous article [7], we have thus resolved all three criticisms (a)–(c) (see Introduction) that Kuchař raised against the Page-Wootters formalism in Kuchař [1]. The Page-Wootters formalism is therefore a viable approach to relational quantum dynamics. Through the equivalence established by the trinity, it also equips the relational observable formulation and deparametrizations with a consistent conditional probability interpretation. In particular, relational observables describing the evolution of a position operator relative to a covariant clock POVM yield a Newton-Wigner type localization in relativistic settings.
Data Availability Statement
The original contributions presented in the study are included in the article/Supplementary Material, further inquiries can be directed to the corresponding author/s.
Author Contributions
All authors have contributed extensively to the research and writing of the article with the lead input from PH.
Funding
PH was grateful for support from the Simons Foundation through an It-from-Qubit Fellowship and the Foundational Questions Institute through Grant number FQXi-RFP-1801A. AS acknowledges support from the Natural Sciences and Engineering Research Council of Canada and the Dartmouth Society of Fellows. ML acknowledges support from the ESQ Discovery Grant of the Austrian Academy of Sciences (ÖAW), as well as from the Austrian Science Fund (FWF) through the START project Y879-N27. This work was supported in part by funding from Okinawa Institute of Science and Technology Graduate University. The initial stages of this project were made possible through the support of a grant from the John Templeton Foundation.
Disclaimer
The opinions expressed in this publication are those of the authors and do not necessarily reflect the views of the John Templeton Foundation.
Conflict of Interest
The authors declare that the research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflict of interest.
Supplementary Material
The Supplementary Material for this article can be found online at: https://www.frontiersin.org/articles/10.3389/fphy.2021.587083/full#supplementary-material
Footnotes
1. ^Indeed, we do not want to describe the reference degrees of freedom directly relative to themselves in order to avoid the self-reference problem [99, 100]. Nevertheless, through the perspective-neutral structure it is possible to construct indirect self-reference effects of quantum clocks through temporal frame changes, see Höhn et al. [7] and section 7.3.
2. ^In contrast to [11, 103–107] and for notational simplicity, we refrain from using the more rigorous formulation in terms of Gel'fand triples and algebraic duals of (dense subsets of) Hilbert spaces. However, the remainder of this article could be put into such a more precise formulation.
3. ^The assumption that clock and system do not interact does not hold in generic general relativistic systems. However, it is satisfied in some commonly used examples (see [7] for a discussion and Table 1 for some examples).
4. ^Hence, positive and negative frequency modes are defined by pt < 0 and pt > 0, respectively, which follows from setting Cσ = 0.
5. ^The way we have written physical states implicitly assumes the non-positive part of the spectrum of s ĤS to be non-degenerate. Were this not the case, additional degeneracy labels would be necessary. However, this would not otherwise affect the subsequent analysis. See Höhn [31] for an explicit construction of the flat FLRW model with a massless scalar field, whose Hamiltonian constraint can also be interpreted as a free relativistic particle, and thus features a 2-fold system energy degeneracy.
6. ^The fourth root comes about because the Newton-Wigner wave function is usually defined for Klein-Gordon systems where what we call E is in fact the square of the energy . Note also that for the Klein-Gordon case one has a doubly degenerate system energy, which we are not considering here. In that case, it is more convenient to use a momentum, rather than an energy representation of physical states, and a distinct measure. Equation (16) can then indeed be interpreted as the usual Newton-Wigner wave function, written in terms of kinematical states. This will be discussed in more detail in section 6 (see also [31]).
7. ^These challenges are related to those facing the definition of time-of-arrival operators in quantum mechanics [18, 23, 30, 117–119].
8. ^Using the commutation relation , which follows from multiplying from both sides with , we can also write this operator as
^We note in passing that the operator is precisely the “complex time operator” derived in Bojowald et al. [32] (see also [33, 34, 77]) when constructing a relational Schrödinger picture for Wheeler-DeWitt type equations for constraints of the form Equation (13).
9. ^We emphasize that the covariant time observable is a kinematical observable on and not a gauge-invariant Dirac observable on , as by construction its moments will not commute with the constraint. In particular, it is a partial observable in the sense of [123].
10. ^Compared to Braunstein et al. [89], we use a different definition of the degeneracy label σ (here adapted to positive and negative frequency modes), change the normalization slightly, fix the relative phase, keep the momentum eigenstates as energy eigenstates and introduce s. For notational simplicity, we also set an arbitrary function in Braunstein et al. [89] (accounting for a freedom in choosing the clock states) to zero. This is the quantum analog of the classical choice we made above, where we also set g(pt) in T = t/pt + g(pt) to zero (see also Supplementary Material of [7]). It would, however, be straightforward to reinsert this g(pt) in each of the following expressions.
11. ^We also refer the reader to the recent work [38], which we became aware of while completing this manuscript. It extends some of the results of Höhn et al. [7] as well, though using the different formalism developed in Chataignier [37]. It also does not employ covariant clocks in the case of quadratic clock Hamiltonians.
12. ^The recent [37, 38] also develop a systematic quantization procedure for relational Dirac observables, based on integral techniques rather than the sum techniques used here and in Höhn et al. [7], and which too yields an expression similar to the one in the second line of Equation (31). While the construction procedure in Chataignier [37, 38] encompasses a more general class of models (but implicitly assumes globally monotonic clocks too), it uses a more restrictive choice of clock observables which, in contrast to the covariant clock POVMs here and in Höhn et al. [7], are required to be self-adjoint. However, the two quantization procedures of relational observables are compatible and it will be fruitful to combine them.
13. ^In particular, when the spectrum of ĤS does not contain zero, the G-twirl can on each σ-sector be weakly rewritten as a reduced G-twirl , i.e., one generated by Ĉσ, rather than ĈH. Indeed, it is easy to see that the observables in Equation (31) satisfy
^where ≈ is the quantum weak equality introduced in Equation (34). Now use Equation (14) and notice that δ(Ĉ−σ) |τ, σ〉 ⊗ |E〉S = 0 when zero does not lie in the spectrum of ĤS. This observation yields
^where the last weak equality is restricted to . When zero does lie in the spectrum of ĤS, the decomposition Equation (14) is not well-defined and one needs to regularize.
14. ^For example, when and H2 > 0 ∀ t ∈ ℝ.
15. ^See also the recent [38] for a complementary approach. Note that it does not employ covariant POVMs for quadratic Hamiltonians, and is thus subject to Kuchař's criticism (a) described in section 1.
16. ^Note that we could also define linear combinations of clock states Clearly, then we would also find that
^satisfies the same Schrödinger equation (40). However, it is straightforward to check, using Lemma 1, that these new clock states do not give rise to a resolution of the identity, ∫ dτ |τ〉 〈τ| ≠ IC and so |ψphys〉 ≠ ∫ dτ |τ〉 |ψS(τ)〉. In fact, if cσ ≠ 0 for σ = +, −, then |ψS(τ)〉 will mix contributions from the positive and negative frequency sectors such that it will become impossible to reconstruct (either of the positive or negative frequency part of) the physical state from it. That is, a reduction map 〈τ| ⊗ IS, which only conditions on the clock time, would not be invertible. This is another consequence of the superselection rule discussed above which entails that superpositions and mixtures across σ-sectors are indistinguishable through Dirac observables. It is also another reason why we condition also on the frequency sector when defining the reduction map in Equation (38).
17. ^We put projection in quotation marks because it is not a true projection when applied to the physical Hilbert space as it only removes redundancy in the description, i.e., degrees of freedom which are fixed through the constraint. No physical information is lost, which is why this operation will be invertible. It would however be a projection on .
18. ^This is understood as appending the new clock tensor factor |pt = −σϵ〉C to the reduced system state and then applying the inverse of the trivialization (recall that the conditioning of physical states on clock readings is not a true projection and thus invertible, cf. previous footnote). Note that embedding the reduced system states back into the physical Hilbert space is a priori highly ambiguous since the system state alone no longer carries any information about the clock state which had been projected out. However, here it is the physical interpretation of the reduced state as being the description of the system S relative to the temporal reference system C that singles out the embedding into the clock-neutral (i.e., temporal-reference-system-neutral) . This physical interpretation is, of course, added information, but it is crucial. For a more detailed discussion of this topic, see Vanrietvelde et al. [71].
19. ^However, note that the quantization of this classical reduced phase space will in some cases, but not in general, coincide with the quantum theory on due to the generic inequivalence between Dirac and reduced quantization (see Supplementary Material).
20. ^Note that here we have a doubly degenerate system energy in contrast to the expression in Equation (18) where we ignored degeneracy.
21. ^This also resolves the normalization issue appearing in Diaz et al. [50] where physical states were normalized using the kinematical, rather than physical inner product, thus yielding a divergent normalization (for equal mass states) in contrast to here.
22. ^It is instructive to see how this is linked to the (non-)covariance of the clock observable with respect to ĈH. Let eC be either the covariant eC(τ) or non-covariant eC(t). The denominator of Equation (37) reads
^Equation (44) implies that δ(ĈH)(eC(τ) ⊗ IS) ≈ Iphys. This exploits the covariance and immediately shows that the denominator coincides with the physical inner product Equation (18). By contrast, the non-covariance entails δ(ĈH)(eC(t) ⊗ IS) ≠ Iphys, so that in this case the denominator differs from the physical inner product.
23. ^The physical inner product for the positive frequency solutions to the Klein-Gordon equation takes, of course, the standard Klein-Gordon (and not the Schrödinger) form Equation (61). Nevertheless, the kernel K(x − x′) in the non-local convolution in the first line in Equation (65) decreases quickly as a function of m|x − x′| [90]. Hence, for massive particles, we can interpret even Equation (62) as providing an approximate localization.
24. ^Indeed, the Hamiltonian constraint of the vacuum Bianchi I and II models can be written in the form [116]
25. ^Recall that the label “phys” highlights that the observable acts on the physical C2S Hilbert space, i.e., on , where is the projector onto the subspace corresponding to the spectrum permitted by the constraint Equation (66) (cf. Equation 17). We can thus also understand this observable as a projection of some observable ; cf. Equation (36).
References
1. Kuchař KV. Time and interpretations of quantum gravity. Int J Mod Phys D. (2011) 20:3–86. doi: 10.1142/S0218271811019347
2. Isham CJ. Canonical quantum gravity and the problem of time. In: Ibort LA, Rodríguez MA, editors. Integrable Systems, Quantum Groups, and Quantum Field Theories. Dordrecht: Springer Netherlands (1993). p. 157–287. doi: 10.1007/978-94-011-1980-1_6
3. Anderson E. The Problem of Time. Vol. 190 of Fundamental Theories of Physics. Basel: Springer International Publishing (2017).
7. Höhn PA, Smith ARH, Lock MPE. The trinity of relational quantum dynamics. arXiv. (2019) 191200033.
8. DeWitt BS. Quantum theory of gravity. I. The canonical theory. Phys Rev. (1967) 160:1113–48. doi: 10.1103/PhysRev.160.1113
9. Rovelli C. Is there incompatibility between the ways time is treated in general relativity and in standard quantum mechanics. In: Ashtekar A, Stachel J, editors. Conceptual Problems of Quantum Gravity. Basel: Birkhauser (1991). p. 126–40.
10. Ashtekar A. Lectures on Non-Perturbative Canonical Gravity. Vol. 6 of Physics and Cosmology. Singapore: World Scientific (1991).
11. Thiemann T. Modern Canonical Quantum General Relativity. Cambridge: Cambridge University Press (2008).
12. Rovelli C. Quantum mechanics without time: a model. Phys Rev D. (1990) 42:2638–46. doi: 10.1103/PhysRevD.42.2638
13. Rovelli C. Time in quantum gravity: physics beyond the Schrödinger regime. Phys Rev D. (1991) 43:442–56. doi: 10.1103/PhysRevD.43.442
14. Rovelli C. What is observable in classical and quantum gravity? Class Quantum Grav. (1991) 8:297–316. doi: 10.1088/0264-9381/8/2/011
15. Rovelli C. Quantum reference systems. Class Quantum Grav. (1991) 8:317–32. doi: 10.1088/0264-9381/8/2/012
16. Marolf D. Almost ideal clocks in quantum cosmology: a brief derivation of time. Class Quantum Grav. (1995) 12:2469–86. doi: 10.1088/0264-9381/12/10/007
17. Marolf D. Quantum observables and recollapsing dynamics. Class Quantum Grav. (1995) 12:1199–220. doi: 10.1088/0264-9381/12/5/011
18. Gambini R, Porto RA. Relational time in generally covariant quantum systems: four models. Phys Rev D. (2001) 63:105014. doi: 10.1103/PhysRevD.63.105014
19. Tambornino J. Relational observables in gravity: a review. SIGMA. (2012) 8:017. doi: 10.3842/SIGMA.2012.017
20. Giddings SB, Marolf D, Hartle JB. Observables in effective gravity. Phys Rev D. (2006) 74:064018. doi: 10.1103/PhysRevD.74.064018
21. Dittrich B. Partial and complete observables for Hamiltonian constrained systems. Gen Relativ Gravit. (2007) 39:1891–927. doi: 10.1007/s10714-007-0495-2
22. Dittrich B. Partial and complete observables for canonical general relativity. Class Quantum Grav. (2006) 23:6155–84. doi: 10.1088/0264-9381/23/22/006
23. Dittrich B, Tambornino J. A perturbative approach to Dirac observables and their space-time algebra. Class Quantum Grav. (2007) 24:757–84. doi: 10.1088/0264-9381/24/4/001
24. Dittrich B, Tambornino J. Gauge invariant perturbations around symmetry reduced sectors of general relativity: applications to cosmology. Class Quantum Grav. (2007) 24:4543–86. doi: 10.1088/0264-9381/24/18/001
25. Gambini R, Porto RA, Pullin J, Torterolo S. Conditional probabilities with Dirac observables and the problem of time in quantum gravity. Phys Rev D. (2009) 79:041501. doi: 10.1103/PhysRevD.79.041501
26. Pons JM, Salisbury DC, Sundermeyer KA. Revisiting observables in generally covariant theories in the light of gauge fixing methods. Phys Rev D. (2009) 80:084015. doi: 10.1103/PhysRevD.80.084015
27. Ashtekar A, Pawlowski T, Singh P. Quantum nature of the big bang: an analytical and numerical investigation. I. Phys Rev D. (2006) 73:124038. doi: 10.1103/PhysRevD.73.124038
28. Kaminski W, Lewandowski J, Pawlowski T. Physical time and other conceptual issues of QG on the example of LQC. Class Quantum Grav. (2009) 26:035012. doi: 10.1088/0264-9381/26/3/035012
29. Kaminski W, Lewandowski J, Pawlowski T. Quantum constraints, Dirac observables and evolution: group averaging versus Schrodinger picture in LQC. Class Quantum Grav. (2009) 26:245016. doi: 10.1088/0264-9381/26/24/245016
30. Höhn PA, Vanrietvelde A. How to switch between relational quantum clocks. New J Phys. (2020) 22:123048. doi: 10.1088/1367-2630/abd1ac
31. Höhn PA. Switching internal times and a new perspective on the ‘wave function of the universe'. Universe. (2019) 5:116. doi: 10.3390/universe5050116
32. Bojowald M, Höhn PA, Tsobanjan A. An effective approach to the problem of time. Class Quantum Grav. (2011) 28:035006. doi: 10.1088/0264-9381/28/3/035006
33. Bojowald M, Höhn PA, Tsobanjan A. Effective approach to the problem of time: general features and examples. Phys Rev D. (2011) 83:125023. doi: 10.1103/PhysRevD.83.125023
34. Höhn PA, Kubalova E, Tsobanjan A. Effective relational dynamics of a nonintegrable cosmological model. Phys Rev D. (2012) 86:065014. doi: 10.1103/PhysRevD.86.065014
35. Dittrich B, Höhn PA, Koslowski TA, Nelson MI. Can chaos be observed in quantum gravity? Phys Lett B. (2017) 769:554–60. doi: 10.1016/j.physletb.2017.02.038
36. Dittrich B, Höhn PA, Koslowski TA, Nelson MI. Chaos, Dirac observables and constraint quantization. arXiv. (2015) 150801947.
37. Chataignier L. On the construction of quantum Dirac observables and the emergence of WKB time. Phys Rev D. (2020) 101:086001. doi: 10.1103/PhysRevD.101.086001
38. Chataignier L. Relational observables, reference frames and conditional probabilities. arXiv. (2020) 200605526. doi: 10.1103/PhysRevD.103.026013
39. Page DN, Wootters WK. Evolution without evolution: dynamics described by stationary observables. Phys Rev D. (1983) 27:2885. doi: 10.1103/PhysRevD.27.2885
40. Wootters WK. “Time” replaced by quantum correlations. Int J Theor Phys. (1984) 23:701. doi: 10.1007/BF02214098
41. Gambini R, Pullin J. Relational physics with real rods and clocks and the measurement problem of quantum mechanics. Found Phys. (2007) 37:1074–92. doi: 10.1007/s10701-007-9144-6
42. Gambini R, Porto R, Pullin J. Fundamental decoherence from quantum gravity: a pedagogical review. Gen Relativ Gravit. (2007) 39:1143–56. doi: 10.1007/s10714-007-0451-1
43. Giovannetti V, Lloyd S, Maccone L. Quantum time. Phys Rev D. (2015) 79:945933. doi: 10.1103/PhysRevD.92.045033
44. Smith ARH, Ahmadi M. Quantizing time: interacting clocks and systems. Quantum. (2019) 3:160. doi: 10.22331/q-2019-07-08-160
45. Smith ARH, Ahmadi M. Quantum clocks observe classical and quantum time dilation. Nat Commun. (2020) 11:5360. doi: 10.1038/s41467-020-18264-4
46. Dolby CE. The conditional probability interpretation of the Hamiltonian constraint. arXiv. (2004) 0406034.
47. Castro-Ruiz E, Giacomini F, Belenchia A, Brukner Č. Quantum clocks and the temporal localisability of events in the presence of gravitating quantum systems. Nat Commun. (2020) 11:2672. doi: 10.1038/s41467-020-16013-1
48. Boette A, Rossignoli R. History states of systems and operators. Phys Rev A. (2018) 98:032108. doi: 10.1103/PhysRevA.98.032108
49. Diaz NL, Rossignoli R. History state formalism for Dirac's theory. Phys Rev D. (2019) 99:045008. doi: 10.1103/PhysRevD.99.045008
50. Diaz NL, Matera JM, Rossignoli R. History state formalism for scalar particles. Phys Rev D. (2019) 100:125020. doi: 10.1103/PhysRevD.100.125020
51. Singh A. Quantum space, quantum time, and relativistic quantum mechanics. arXiv. (2020) 200409139.
52. Leon J, Maccone L. The Pauli objection. Found Phys. (2017) 47:1597–608. doi: 10.1007/s10701-017-0115-2
53. Marletto C, Vedral V. Evolution without evolution and without ambiguities. Phys Rev D. (2017) 95:043510. doi: 10.1103/PhysRevD.95.043510
54. Nikolova A, Brennen G, Osborne TJ, Milburn G, Stace TM. Relational time in anyonic systems. Phys Rev A. (2018) 97:030101. doi: 10.1103/PhysRevA.97.030101
55. Baumann V, Santo FD, Smith ARH, Giacomini F, Castro-Ruiz E, Brukner C. Generalized probability rules from a timeless formulation of Wigner's friend scenarios. arXiv. (2019) 191109696.
56. Favalli T, Smerzi A. Hermitian time operator in a timeless universe. arXiv. (2020) 200309042. doi: 10.22331/q-2020-10-29-354
57. Foti C, Coppo A, Barni G, Cuccoli A, Verrucchi P. There is only one time. arXiv. (2020) 200612103.
58. Thiemann T. Reduced phase space quantization and Dirac observables. Class Quantum Grav. (2006) 23:1163–80. doi: 10.1088/0264-9381/23/4/006
59. Bojowald M, Tsobanjan A. Quantization of dynamical symplectic reduction. arXiv. (2019) 190604792. doi: 10.1007/s00220-020-03856-4
60. Giesel K, Thiemann T. Algebraic quantum gravity (AQG). IV. Reduced phase space quantisation of loop quantum gravity. Class Quantum Grav. (2010) 27:175009. doi: 10.1088/0264-9381/27/17/175009
61. Domagala M, Giesel K, Kaminski W, Lewandowski J. Gravity quantized: loop quantum gravity with a scalar field. Phys Rev D. (2010) 82:104038. doi: 10.1103/PhysRevD.82.104038
62. Husain V, Pawlowski T. Time and a physical Hamiltonian for quantum gravity. Phys Rev Lett. (2012) 108:141301. doi: 10.1103/PhysRevLett.108.141301
63. Giesel K, Vetter A. Reduced loop quantization with four Klein-Gordon scalar fields as reference matter. Class Quantum Grav. (2019) 36:145002. doi: 10.1088/1361-6382/ab26f4
64. Giesel K, Herold L, Li BF, Singh P. Mukhanov-Sasaki equation in manifestly gauge-invariant linearized cosmological perturbation theory with dust reference fields. Phys Rev D. (2020) 102:023524. doi: 10.1103/PhysRevD.102.023524
65. Giesel K, Li BF, Singh P. Towards a reduced phase space quantization in loop quantum cosmology with an inflationary potential. arXiv. (2020) 200706597. doi: 10.1103/PhysRevD.102.126024
66. Albrecht A, Iglesias A. The clock ambiguity and the emergence of physical laws. Phys Rev D. (2008) 77:063506. doi: 10.1103/PhysRevD.77.063506
67. Albrecht A, Iglesias A. The clock ambiguity: implications and new developments. In: Mersini-Houghton L, Vaas R, editors. The Arrows of Time. Fundamental Theories of Physics, Vol. 172. Berlin; Heidelberg: Springer (2012). doi: 10.1007/978-3-642-23259-6_4
68. Corbin V, Cornish NJ. Semi-classical limit and minimum decoherence in the conditional probability interpretation of quantum mechanics. Found Phys. (2009) 39:474. doi: 10.1007/s10701-009-9298-5
69. Bojowald M, Halnon T. Time in quantum cosmology. Phys Rev D. (2018) 98:066001. doi: 10.1103/PhysRevD.98.066001
70. Giacomini F, Castro-Ruiz E, Brukner Č. Quantum mechanics and the covariance of physical laws in quantum reference frames. Nat Commun. (2019) 10:494. doi: 10.1038/s41467-018-08155-0
71. Vanrietvelde A, Höhn PA, Giacomini F, Castro-Ruiz E. A change of perspective: switching quantum reference frames via a perspective-neutral framework. Quantum. (2020) 4:225. doi: 10.22331/q-2020-01-27-225
72. Vanrietvelde A, Höhn PA, Giacomini F. Switching quantum reference frames in the N-body problem and the absence of global relational perspectives. arXiv. (2018) 180905093.
73. Giacomini F, Castro-Ruiz E, Brukner Č. Relativistic quantum reference frames: the operational meaning of spin. Phys Rev Lett. (2019) 123:090404. doi: 10.1103/PhysRevLett.123.090404
74. de la Hamette AC, Galley TD. Quantum reference frames for general symmetry groups. Quantum. (2020) 4:367. doi: 10.22331/q-2020-11-30-367
75. Loveridge L, Miyadera T, Busch P. Symmetry, reference frames, and relational quantities in quantum mechanics. Found Phys. (2018) 48:135–98. doi: 10.1007/s10701-018-0138-3
76. Yang JM. Switching quantum reference frames for quantum measurement. Quantum. (2020) 4:283. doi: 10.22331/q-2020-06-18-283
77. Gielen S, Menéndez-Pidal L. Singularity resolution depends on the clock. arXiv. (2020) 200505357. doi: 10.1088/1361-6382/abb14f
78. Savi MF, Angelo RM. Quantum resources covariance. arXiv. (2020) 200509612. doi: 10.1103/PhysRevA.103.022220
79. Le TP, Mironowicz P, Horodecki P. Blurred quantum Darwinism across quantum reference frames. arXiv. (2020) 200606364. doi: 10.1103/PhysRevA.102.062420
80. Tuziemski J. Decoherence and information encoding in quantum reference frames. arXiv. (2020) 200607298.
81. Hardy L. The construction interpretation: conceptual roads to quantum gravity. arXiv. (2018) 180710980.
82. Hardy L. Implementation of the quantum equivalence principle. In: Finster F, Giulini D, Kleiner J, Tolksdorf J, editors. Progress and Visions in Quantum Theory in View of Gravity: Bridging Foundations of Physics and Mathematics. Basel: Birkhäuser (2020). p. 189–220. doi: 10.1007/978-3-030-38941-3_8
83. Guérin PA, Brukner Č. Observer-dependent locality of quantum events. New J Phys. (2018) 20:103031. doi: 10.1088/1367-2630/aae742
85. Barbado LC, Castro-Ruiz E, Apadula L, Brukner Č. Unruh effect for detectors in superposition of accelerations. arXiv. (2020) 200312603. doi: 10.1103/PhysRevD.102.045002
86. Holevo AS. Probabilistic and Statistical Aspects of Quantum Theory. Vol. 1 of Statistics and Probability. Amsterdam: North-Holland Publishing Company (1982).
87. Busch P, Grabowski M, Lahti PJ. Operational Quantum Physics. Vol. 31 of Lecture Notes in Physics Monographs. Berlin; Heidelberg: Springer-Verlag (1995).
88. Busch P, Grabowski M, Lahti PJ. Time observables in quantum theory. Phys Lett A. (1994) 191:357–61. doi: 10.1016/0375-9601(94)90785-4
89. Braunstein SL, Caves CM, Milburn GJ. Generalized uncertainty relations: theory, examples, and Lorentz invariance. Ann Phys. (1996) 247:135–73. doi: 10.1006/aphy.1996.0040
90. Haag R. Local Quantum Physics: Fields, Particles, Algebras. Berlin; Heidelberg: Springer-Verlag (2012).
91. Newton TD, Wigner EP. Localized states for elementary systems. Rev Mod Phys. (1949) 21:400–6. doi: 10.1103/RevModPhys.21.400
92. Fernando Perez J, Wilde IF. Localization and causality in relativistic quantum mechanics. Phys Rev D. (1977) 16:315. doi: 10.1103/PhysRevD.16.315
93. Malament DB. In defense of dogma: why there cannot be a relativistic quantum mechanics of (Localizable) particles. In: Clifton R, editor. Perspectives on Quantum Reality. The University of Western Ontario Series in Philosophy of Science (A Series of Books in Philosophy of Science, Methodology, Epistemology, Logic, History of Science, and Related Fields), Vol. 57. Dordrecht: Springer (1996). p. 1–10. doi: 10.1007/978-94-015-8656-6_1
94. Yngvason J. Localization and entanglement in relativistic quantum physics. Lect Notes Phys. (2015) 899:325–48. doi: 10.1007/978-3-662-46422-9_15
95. Papageorgiou M, Pye J. Impact of relativity on particle localizability and ground state entanglement. J Phys A. (2019) 52:375304. doi: 10.1088/1751-8121/ab3593
96. Brunetti R, Fredenhagen K, Hoge M. Time in quantum physics: from an external parameter to an intrinsic observable. Found Phys. (2010) 40:1368–78. doi: 10.1007/s10701-009-9400-z
97. Loveridge L, Miyadera T. Relative quantum time. Found Phys. (2019) 49:549–60. doi: 10.1007/s10701-019-00268-w
98. Höhn PA. Reflections on the information paradigm in quantum and gravitational physics. J Phys Conf Ser. (2017) 880:012014. doi: 10.1088/1742-6596/880/1/012014
99. Dalla Chiara ML. Logical self reference, set theoretical paradoxes and the measurement problem in quantum mechanics. J Philos Logic. (1977) 6:331–47. doi: 10.1007/BF00262066
100. Breuer T. The impossibility of accurate state self-measurements. Philos Sci. (1995) 62:197–214. doi: 10.1086/289852
101. Dirac PAM. Lectures on Quantum Mechanics. New York, NY: Belfer Graduate School of Sciencem Yeshiva University (1964).
102. Henneaux M, Teitelboim C. Quantization of Gauge Systems. Princeton, NJ: Princeton University Press (1992).
103. Marolf D. Refined algebraic quantization: systems with a single constraint. arXiv. (1995) 9508015.
104. Hartle JB, Marolf D. Comparing formulations of generalized quantum mechanics for reparametrization–invariant systems. Phys Rev D. (1997) 56:6247–57. doi: 10.1103/PhysRevD.56.6247
105. Giulini D, Marolf D. On the generality of refined algebraic quantization. Class Quantum Grav. (1999) 16:2479–88. doi: 10.1088/0264-9381/16/7/321
106. Giulini D, Marolf D. A Uniqueness theorem for constraint quantization. Class Quantum Grav. (1999) 16:2489–505. doi: 10.1088/0264-9381/16/7/322
107. Marolf D. Group averaging and refined algebraic quantization: where are we now? arXiv. (2000) 0011112.
108. Pailas T. “Time”-covariant Schrödinger equation and the canonical quantization of the Reissner-Nordström black hole. arXiv. (2020). doi: 10.3390/quantum2030029
109. Blyth WF, Isham CJ. Quantization of a Friedmann universe filled with a scalar field. Phys Rev D. (1975) 11:768–78. doi: 10.1103/PhysRevD.11.768
110. Hawking SW. Quantum cosmology. In: DeWitt BS, Stora R, editors. Relativity, Groups and Topology II, Les Houches Summer School, 1983. Amsterdam: North-Holland Publishing Company (1984). p. 333.
111. Hájíček P. Origin of nonunitarity in quantum gravity. Phys Rev D. (1986) 34:1040. doi: 10.1103/PhysRevD.34.1040
112. Kiefer C. Wave packets in minisuperspace. Phys Rev D. (1988) 38:1761. doi: 10.1103/PhysRevD.38.1761
113. Ashtekar A, Singh P. Loop quantum cosmology: a status report. Class Quantum Grav. (2011) 28:213001. doi: 10.1088/0264-9381/28/21/213001
114. Ashtekar A, Corichi A, Singh P. Robustness of key features of loop quantum cosmology. Phys Rev D. (2008) 77:024046. doi: 10.1103/PhysRevD.77.024046
115. Bojowald M. Canonical Gravity and Applications: Cosmology, Black Holes and Quantum Gravity. Cambridge: Cambridge University Press (2010).
116. Ashtekar A, Tate R, Uggla C. Minisuperspaces: observables and quantization. Int J Mod Phys D. (1993) 2:15–50. doi: 10.1142/S0218271893000039
117. Grot N, Rovelli C, Tate RS. Time-of-arrival in quantum mechanics. Phys Rev A. (1996) 54:4676. doi: 10.1103/PhysRevA.54.4676
118. Aharonov Y, Oppenheim J, Popescu S, Reznik B, Unruh W. Measurement of time of arrival in quantum mechanics. Phys Rev A. (1998) 57:4130. doi: 10.1103/PhysRevA.57.4130
119. Muga JG, Leavens CR. Arrival time in quantum mechanics. Phys Rep. (2000) 338:353–438. doi: 10.1016/S0370-1573(00)00047-8
120. Aharonov Y, Bohm D. Time in the quantum theory and the uncertainty relation for time and energy. Phys Rev. (1961) 122:1649. doi: 10.1103/PhysRev.122.1649
121. Peres A. Measurement of time by quantum clocks. Am J Phys. (1980) 48:552–7. doi: 10.1119/1.12061
122. Pauli W. Die allgemeinen prinzipien der wellenmechanik. Handbuch der Physik. (1958) 5:1–168. doi: 10.1007/978-3-642-80539-4_1
124. Ashtekar A, Horowitz G. On the canonical approach to quantum gravity. Phys Rev D. (1982) 26:3342–53. doi: 10.1103/PhysRevD.26.3342
125. Kuchař KV. Covariant factor ordering of gauge systems. Phys Rev D. (1986) 34:3044–57. doi: 10.1103/PhysRevD.34.3044
126. Schleich K. Is reduced phase space quantization equivalent to Dirac quantization? Class Quantum Grav. (1990) 7:1529–38. doi: 10.1088/0264-9381/7/8/028
127. Romano JD, Tate RS. Dirac versus reduced space quantization of simple constrained systems. Class Quantum Grav. (1989) 6:1487. doi: 10.1088/0264-9381/6/10/017
128. Loll R. Noncommutativity of constraining and quantizing: a U(1) gauge model. Phys Rev D. (1990) 41:3785–91. doi: 10.1103/PhysRevD.41.3785
129. Kunstatter G. Dirac versus reduced quantization: a geometrical approach. Class Quantum Grav. (1992) 9:1469–86. doi: 10.1088/0264-9381/9/6/005
130. Bartlett SD, Rudolph T, Spekkens RW. Reference frames, superselection rules, and quantum information. Rev Mod Phys. (2007) 79:555–609. doi: 10.1103/RevModPhys.79.555
131. Smith ARH. Communicating without shared reference frames. Phys Rev A. (2019) 99:052315. doi: 10.1103/PhysRevA.99.052315
132. Smith ARH, Piani M, Mann RB. Quantum reference frames associated with noncompact groups: the case of translations and boosts and the role of mass. Phys Rev A. (2016) 94:012333. doi: 10.1103/PhysRevA.94.012333
133. Banerjee K, Calcagni G, Martín-Benito M. Introduction to loop quantum cosmology. SIGMA. (2012) 8:016. doi: 10.3842/SIGMA.2012.016
135. Page DN. Clock time and entropy. In: Halliwell JJ, Pérez-Mercader J, Zurek WH, editors. Physical Origins of Time Asymmetry. Cambridge: Cambridge University Press (1994). p. 287–98.
136. Smith ARH. Quantum time dilation: a new test of relativistic quantum theory. arXiv. (2020) 200410810.
137. Grochowski PT, Smith ARH, Dragan A, Dȩbski K. Quantum time dilation in atomic spectra. Physic Rev Res. (2021) 3:023053. doi: 10.1103/PhysRevResearch.3.023053
138. Zych M, Costa F, Pikovski I, Brukner Č. Quantum interferometric visibility as a witness of general relativistic proper time. Nat Commun. (2011) 2:505. doi: 10.1038/ncomms1498
139. Khandelwal S, Lock MPE, Woods MP. Universal quantum modifications to general relativistic time dilation in delocalised clocks. Quantum. (2020) 4:309. doi: 10.22331/q-2020-08-14-309
Keywords: relational quantum dynamics, problem of time, relational Dirac observables, Page-Wootters formalism, quantum deparametrizations, quantum clocks, quantum reference frames, relativistic quantum clocks
Citation: Höhn PA, Smith ARH and Lock MPE (2021) Equivalence of Approaches to Relational Quantum Dynamics in Relativistic Settings. Front. Phys. 9:587083. doi: 10.3389/fphy.2021.587083
Received: 24 July 2020; Accepted: 22 March 2021;
Published: 18 June 2021.
Edited by:
Daniele Oriti, Ludwig-Maximilians-University Munich, GermanyReviewed by:
Mehdi Assanioussi, University of Warsaw, PolandZhenbin Wu, University of Illinois at Chicago, United States
Steffen Gielen, The University of Sheffield, United Kingdom
Copyright © 2021 Höhn, Smith and Lock. This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
*Correspondence: Philipp A. Höhn, philipp.hoehn@oist.jp; Alexander R. H. Smith, arhsmith@anselm.edu; Maximilian P. E. Lock, maximilian.lock@oeaw.ac.at