Skip to main content

ORIGINAL RESEARCH article

Front. Phys., 18 June 2021
Sec. High-Energy and Astroparticle Physics
This article is part of the Research Topic Qubits and Spacetime View all 10 articles

Equivalence of Approaches to Relational Quantum Dynamics in Relativistic Settings

\nPhilipp A. Hhn,
Philipp A. Höhn1,2*Alexander R. H. Smith,
Alexander R. H. Smith3,4*Maximilian P. E. Lock
Maximilian P. E. Lock5*
  • 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 [13]. 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 [46]. 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, 738],

(ii) the Page-Wootters formalism, which defines a relational dynamics in terms of conditional probabilities for clock and evolving degrees of freedom [7, 25, 3957], 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, 5865].

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 [13, 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 [3234, 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, 7074]. This proposal is part of current efforts to develop a general framework of quantum reference frame transformations (and study their physical consequences [7585]), 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, 4951]. 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 [8689] 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, 7074].

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 S=du L(qa,dqa/du), where qa denotes a collection of configuration variables indexed by a. Such a theory exhibits temporal diffeomorphism invariance if the action S is reparametrization invariant; that is, L(qa, dqa/du) ↦ L(qa, dqa/du′)du′/du transforms as a scalar density under uu′(u). The Hamiltonian of such a theory is of the form H = N(u)CH, where N(u) is an arbitrary lapse function and

CH=adqadupa-L0,    (1)

the so-called Hamiltonian constraint, is a consequence of the temporal diffeomorphism symmetry. This equation defines the constraint surface C inside the kinematical phase space Pkin, which is parametrized by the canonical coordinates qa,pb. The ≈ denotes a weak equality, i.e., one which only holds on C [101, 102].

The Hamiltonian generates a dynamical flow on C, which transforms an arbitrary phase space function f according to

dfdu{f,CH}    (2)

and integrates to a finite transformation αCHu·f, 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.,

{F,CH}0.    (3)

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 T(qa,pa), 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 T(qa,pa). 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 C when the clock T reads τ?” [4, 7, 1119, 1924, 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 αCHu·T=τ for u yielding the solution u = uT(τ) and defining

Ff,T(τ)αCHu·f|u=uT(τ)               n=0(τ-T)nn!{f,CH{T,CH}}n,    (4)

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, 2124, 37, 102].

In generic models there is no preferred choice for the clock function T among the degrees of freedom on Pkin, 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 C and stand a priori on an equal footing.

This gives rise to the interpretation of C as a clock-neutral structure. The temporal diffeomorphism symmetry leads to a redundancy in the description of C: thanks to the Hamiltonian constraint the kinematical canonical degrees of freedom are not independent and due to its gauge flow there will only be dimPkin-2 independent physical phase space degrees of freedom. In particular, relative to any choice of clock function T one can construct dimPkin-2 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 C 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, C 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 dimPkin-1, C 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 C. 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 Pkin to canonical position and momentum operators q^a and p^a acting on a kinematical Hilbert space Hkin. 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

C^H|ψphys=0.    (5)

Solutions to this Wheeler-DeWitt-like equation may be constructed from kinematical states |ψkinHkin via a group averaging operation [11, 103107]2

|ψphys=δ(C^H)|ψkin=12πGdu eiC^Hu|ψkin,    (6)

where G is the group generated by ĈH. Physical states are not normalizable in Hkin 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

ψphys|ϕphys phys ψkin| δ(C^H) |ϕkin kin    (7)

where 〈·|·〉kin is the kinematical inner product and |ψkin,|ϕkinHkin 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 Hphys [11, 103107].

A gauge-invariant (i.e., physical) observable F^ acting on Hphys must satisfy the quantization of Equation (2)

[ C^H,F^ ]    |ψphys=0.    (8)

Such an observable F^ 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 [13], 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 Hphys 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” Hphys 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 F^f,T(τ) on Hphys. 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 C, 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” Hphys 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, 7072] and thereby also addressing the multiple choice problem in quantum gravity and cosmology [1, 2] (see also [28, 3234, 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 Pkin and Hkin 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 PCT*2, and some system of interest S associated with a phase space PS, so that the kinematical phase space decomposes as PkinPC×PS. We assume PC to be parametrized by the canonical pair (t, pt), but will not need to be specific about the structure of PS (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

CH=HC+HS0,    (9)

where HC is a function on PC and HS is a function on PS.

This article concerns clock Hamiltonians that are quadratic in the clock momentum, HC=s pt2/2, where s ∈ {−1, +1}, so that the Hamiltonian constraint becomes

CH=spt22+HS0.    (10)

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.

TABLE 1
www.frontiersin.org

Table 1. Examples of constraints of the form in Equation (10).

The constraint in Equation (10) can be factored into two constraints, each linear in pt [30, 31, 33]:

CH=sC+·C-,  for  Cσpt2+σ-s HS,    (11)

where we have introduced the degeneracy label σ = ±1. Note that Equation (10) forces s HS to take non-positive values on C. 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]

C=C+C-,    (12)

where Cσ is the set of solutions to Cσ = 0 in Pkin. The intersection C+C- is defined by pt = HS = 0 (see Figure 1 for an illustration).

FIGURE 1
www.frontiersin.org

Figure 1. Depicted are the surfaces C+ (red) and C- (green) defined by C+ = 0 and C = 0, respectively. The union of these surfaces is the constraint surface C=C+C-Pkin, while their intersection C+C- 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 Pkin=PC×PS leads to the kinematical Hilbert space HkinHCHS describing the clock and system, where HCL2() and HS is the Hilbert space associated with S. We assume the system Hamiltonian to be promoted to a self-adjoint operator ĤS on HS. An element of Hkin may be expanded in the eigenstates of the clock and system Hamiltonians as

yes

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

C^H|ψphys=(s p^t22IS+ICH^S)|ψphys=0.    (13)

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

δ(C^H)=δ(sC^+C^-)=12(-s H^S)12σδ(C^σ).    (14)

The form of δ(ĈH) implies the decomposition of the physical Hilbert space into a direct sum of positive and negative frequency sectors HphysH+H- (see also [31, 104]). Acting with the projector δ(ĈH) on an arbitrary kinematical state yields a physical state

yes

where ψσ(E) are Newton-Wigner-type wave functions associated to the positive and negative frequency modes [90]6:

ψσ(E)ψkin(pt,σ(E),E)(2|E|)1/4,    (16)

and we have defined the function pt,σ(E)-σ2|E| and spectrum

σSCSpec(H^S)Spec(-H^C)        ={ESpec(H^S)|sE0}.    (17)

Physical states are normalized with respect to the physical inner product introduced in Equation (7)

yes

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 PC 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 C+ and “backward” on the negative frequency sector C- along the flow generated by CH; for s = +1 the converse holds. Note that every point in C+C- corresponds to a static orbit of t (since pt = 0 there), and t is therefore a maximally bad clock function on C+C-. 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 PS 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 PS 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 PS. 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

T=stpt.    (19)

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 C for both s = ±1, except on C+C-.

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]

FfS,T(τ)n=0(τ-T)nn!{fS,HS}n.    (20)

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 HCL2() [86, 120, 121]. Choosing a symmetric ordering, this yields

T^=s12(t^p^t-1+p^t-1t^).    (21)

Here, p^t-1 is defined in terms of a spectral decomposition such that T^|pt=0 is undefined, analogous to the classical case. While the operator T^ is canonically conjugate to the clock Hamiltonian, [T^,ĤC]=i, it is a symmetric operator that does not admit a self-adjoint extension [86, 88]. Since T^ 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 [T^,ĤC]=i. 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 T^ [86, 87, 89]. Such a time observable is defined by a set of effect operator densities ET(dt) ≥ 0 normalized as ET(dt)=IC, and self-adjoint effect operators ET(X)XET(dt) associated with the probability 〈ψC|ET(X)|ψC〉 that a measurement of ET yields an outcome tX ⊂ ℝ given that the clock was in the state |ψCHC. In order to be a good time observable, it should satisfy the so-called covariance condition

ET(X+t)=UC(t)ET(X)UC(t),    (23)

relative to the unitary group action UC(t)e-iĤCt 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”

ET(dt)=12πσdt|t,σt,σ|    (24)

onto the clock states corresponding to the clock reading t ∈ ℝ in the negative and positive frequency (i.e., positive and negative clock momentum) sector10

|t,σdpt|pt|θ(-σpt)e-i t s pt2/2|pt.    (25)

The covariance condition in Equation (23) is ensured by the fact that the clock states transform as

|t+t,σ=UC(t)|t,σ.    (26)

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:

t,σ|t,σ=δσσ[πδ(t-t)-iP1t-t],    (27)

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 HC, and in turn a properly normalized covariant time observable ET on Hkin.

Lemma 1. The clock states |t, σ〉 defined in Equation (25) integrate to projectors θ(-σ p^t) onto the positive/negative frequency sector on HC

12π  dt |t,σt,σ|=θ(σ p^t)    (28)

and hence form a resolution of the identity as follows:

E(dt)=12πσdt |t,σt,σ|=IC.    (29)

Proof: The proof is given in Supplementary Material

The nth-moment operator of the time observable ET is defined as

T^(n)ET(dt) tn=12πσdt tn |t,σt,σ|.    (30)

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 T^(1) of ET is in fact equal to the operator T^ 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 T^(1), 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 T^ and the first moment operator T^(1) of the covariant time observable ET are equal, T^T^(1).

Proof: The proof is given in Supplementary Material

Equation (30) demonstrates that the time operator T^ automatically splits into a positive and negative frequency part, in contrast to t^, 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 T^ on each σ-sector:

Lemma 3. The clock states |t, σ〉 defined in Equation (25) are not eigenstates of T^=T^(1). However, for all |ψD(T^), where D(T^) is the domain of T^, they satisfy:

ψ|T^|t,σ=tψ|t,σ,  t,σ=±1.

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 [T^(n),ĤC]= i n T^(n-1). Furthermore, |ψD(T^n) we have T^(n)|ψ=T^n|ψ.

Proof: The proof is given in Supplementary Material

We emphasize that the second statement of Lemma 4 does not hold on all of HC.

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: [ET(dt),θ(-σ p^t)]=0.

Proof: The proof is given in Supplementary Material

Corollary 1. Since the effect density integrates to the effect and moment operators, this entails that [ET(X),θ(-σ p^t)]=[T^(n),θ(-σ p^t)]=0, 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 Hphys=H+H- 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, 124129]. 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.

TABLE 2
www.frontiersin.org

Table 2. Summary of different Hilbert spaces.

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 T^ (see [4, 7, 1120, 2731, 3538, 116] and references therein); however, when T^ 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):

F^fS,T(τ)ET(dt)n=0inn!(t-τ)n[f^S,H^S]n                  =σdt2πUCS(t)(|τ,στ,σ|f^S)UCS(t)                  =:σG(|τ,στ,σ|f^S),    (31)

where [f^S,ĤS]n[[f^S,ĤS]n-1,ĤS] is the nth-order nested commutator with the convention [f^S,ĤS]0f^S, 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 F^fS,T(τ) 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 |τ,στ,σ|f^S 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 G 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 [130132], 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 F^fS,T(τ) in Equation (31) constitute a one-parameter family of strong Dirac observables on Hphys (Theorem 1 of [7] whose proof applies here in each σ-sector):

[F^fS,T(τ),C^H]=0,  τ.    (32)

We thus obtain a gauge-invariant relational quantum dynamics by letting the evolution parameter τ in the physical expectation values ψphys| F^fS,T(τ) |ψphys phys run.

The decomposition of F^fS,T(τ) 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 Q^θ(-p^t)-θ(p^t), where we recall that θ(-σ p^t) is a projector onto the corresponding σ-sector. By construction [Q^,ĈH]=0, which means that Q^ is a strong Dirac observable. Its eigenspaces, with eigenvalues +1 and −1, correspond to the positive and negative frequency sector subspaces H+ and H-. Furthermore, Q^ 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

F^fS,T(τ)=F^fS,T+(τ)F^fS,T-(τ),    (33)

where F^fS,Tσ(τ)G(|τ,στ,σ|f^S)L(Hσ)13.

While there do exist states in the physical Hilbert space that exhibit coherence across the σ-frequency sectors, for example |ψphys〉 ~ |ψ+〉 + |ψ〉, where |ψσHσ, 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 H+ or H- (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 t^-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 ĈHs Ĉ+Ĉ 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 HS to its subspace spanned by all system energy eigenstates |ES with E ∈ σSC; that is, those permitted upon solving the constraint Equation (13). We shall henceforth denote this system Hilbert subspace HSphysΠσSC(HS) 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” Hphys:

Ô1Ô2           O^1|ψphys=O^2|ψphys,  |ψphysHphys.    (34)

It follows from Lemma 1 of [7], whose proof applies here per σ-sector, that

F^fS,T(τ)F^ΠσSCfSΠσSC,T(τ),    (35)

are weakly equal relational Dirac observables. Hence, the relational Dirac observables in Equation (31) form weak equivalence classes on Hphys, where F^fS,T(τ)~F^gS,T(τ) if ΠσSCf^SΠσSC=ΠσSCĝSΠσSC. These weak equivalence classes are labeled by what we shall denote

f^SphysΠσSCf^SΠσSCL(HSphys),    (36)

for arbitrary f^SL(HS), where L denotes the set of linear operators. For later use, we note that the algebras of the physical system observables f^Sphys on HSphys and the F^fSphys,T(τ) on Hphys are weakly homomorphic with respect to addition, multiplication and commutator relations. More precisely,

F^fSphys+gSphys·hSphys,T(τ)F^fSphys,T(τ)                                                           +F^gSphys,T(τ)·F^hSphys,T(τ)

fS,gS,hSL(HS). 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 f^S 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 f^S taking the value f, this conditional probability is postulated in the form

Prob(f when τ)=Prob(f and τ)Prob(τ)                               =ψphys|eC(τ)efS(f) |ψphyskinψphys|eC(τ)IS  |ψphyskin.     (37)

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 Hphys 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 Hphys, 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 RSσ(τ):HphysHS,σphys, one per σ-frequency sector,

RSσ(τ)τ,σ|IS,    (38)

where HS,σphys is a copy of HSphys=ΠσSC(HS), 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 Hphys=H+H-, we equip the two copies HS,σphys 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 1/2 will be explained later),

yes

where ψσ(E) is the Newton-Wigner type wave function defined in Equation (16), satisfy the Schrödinger equation with respect to ĤS:

iddτ |ψSσ(τ)=H^S |ψSσ(τ).    (40)

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 C+ and C- (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:

|ψphys=122 π  σ dt|t,σ|ψSσ(t).    (41)

Together with Lemma 1, this implies that the σ-sector left inverse HS,σphysHσ of the reduction map defined in Equation (38) is given by

(RSσ(τ))1 =12π dt  |t,σUS(tτ)      =δ(C^H)(|τ,σIS),    (42)

where US(t) = exp(−i ĤS t), so that

(RSσ(τ))-1RSσ(τ)=δ(C^H)(|τ,στ,σ|IS)                                   θ(-σp^t)IS,    (43)

where ≈ is the quantum weak equality, and thus

σ(RSσ(τ))-1RSσ(τ)Iphys.    (44)

Conversely, we can write the identity on HS,σphys in the form

RSσ(τ)(RSσ(τ))-1=τ,σ|δ(C^H)|τ,σ                                  =ΠσSC.

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
www.frontiersin.org

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 ESτ,σ:L(HS,σphys)L(Hσ), mapping the observables in Equation (36), acting on the physical system Hilbert space HS,σphys, into Dirac observables on the σ-sector of Hphys:

ESτ,σ(f^Sphys)(RSσ(τ))-1f^SphysRSσ(τ)                           =δ(C^H)(|τ,στ,σ|f^Sphys).    (45)

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 f^SL(HS). The quantum relational Dirac observable F^fS,T(τ) acting on Hphys, Equation (31), reduces under RSσ(τ) to the corresponding projected observable on HS,σphys,

RSσ(τ)F^fS,T(τ)(RSσ(τ))-1=ΠσSCf^SΠσSCf^Sphys.

Conversely, let f^SphysL(HS,σphys). The encoding operation in Equation (45) of system observables coincides on the physical Hilbert space Hphys with the quantum relational Dirac observables in Equation (31) projected into the σ-sector:

ESτ,σ(f^Sphys)F^fSphys,Tσ(τ),    (46)

where F^fSphys,Tσ(τ)=F^fSphys,T(τ)(θ(-σ p^t)IS)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 F^fS,T(τ) commute with the projectors θ(-σ p^t) 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 F^fSphys,Tσ(τ) on Hσ and system observables on HS,σphys.

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 f^Sphys in the states solving the Schrödinger equation Equation (40) on HS,σphys.

Theorem 2. Let f^SL(HS), and denote its associated operator on HSphys by f^Sphys=ΠσSCf^SΠσSC. Then

ψphys|F^fS,Tσ(τ)|ϕphysphys=12 ψSσ(τ)| f^Sphys |ϕSσ(τ) ,

where |ψSσ(τ)=2RSσ(τ)|ψphys as in Equation (39). Hence,

ψphys|F^fS,T(τ)|ϕphysphys=12σ ψSσ(τ)| f^Sphys |ϕSσ(τ) ,

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 Hphys. 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 RSσ(τ) preserve inner products per σ-sector as follows.

Corollary 2. Setting f^S=ΠσSC in Theorem 2 yields

ψphys|θ(σ p^t)IS|ϕphysphys=12 ψSσ(τ)|ϕSσ(τ) ,

where |ψSσ(τ)=2RSσ(τ)|ψphys. Hence,

ψphys|ϕphys phys=12σ ψSσ(τ)|ϕSσ(τ)                                               =σψphys|(|τ,στ,σ|IS)|ϕphyskin.    (47)

The reason for introducing the normalization factor 1/2 in Equation (39) is now clear: it permits us to work with normalized states ψSσ(τ)|ψSσ(τ) =1= ψphys|ψphys phys in each reduced σ-sector and in the physical Hilbert space simultaneously.

The above results show:

(1) Applying the Page-Wootters reduction map RSσ(τ) to the physical Hilbert space Hphys yields a relational Schrödinger picture with respect to the clock C on the physical system Hilbert space HS,σphys 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 f^Sphys is self-adjoint on HS,σphys, then so is F^fS,Tσ(τ) on Hσ.

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 Hphys. 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” Hphys 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 TT,ϵ:HphysTT,ϵ(Hphys) 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

TT,ϵn=0inn!T^(n)(H^S+sϵ22)n          =12πσdt |t,σt,σ|ei t(H^S+s 2/2).    (48)

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 s ϵ2/2Spec(ĤC).

Lemma 6. The left inverse of the trivialization TT,ϵ is given by

TT,1=12πσdt |t,σt,σ|eit(H^S+s 2/2),

so that, for any ϵ > 0, TT,ϵ-1:TT,ϵ(Hphys)Hphys and

TT,ϵ-1TT,ϵIphys.

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 TT,ϵ trivializes the constraint in Equation (13) to the clock degrees of freedom

TT,ϵC^HTT,ϵ-1*s2(p^t2-ϵ2)IS,    (49)

where * is the quantum weak equality on the trivialized physical Hilbert space TT,ϵ(Hphys), and transforms physical states into a sum of two product states with a fixed and redundant clock factor

yes

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 p^t and ĤS in which the states have been expanded. That illustrates why TT,ϵ=0 is not invertible when acting on physical states. Indeed, TT,ϵ=0-1 is undefined on states of the form |pt = 0〉C|ψ〉S, since T^(n) 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 TT,ϵ(Hphys) on the clock reading τ, separating positive and negative frequency modes. Altogether, the quantum symmetry reduction map takes the form

RHσei τ s2/2(τ,σ|IS)TT,.    (51)

Using that

τ,σ|pt=-σϵ=δσσϵei τ s ϵ2/2,    (52)

which is another reason why ϵ > 0 is chosen, in Equation (50) one finds τ-independent system states

yes

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 1/2 has again been introduced for normalization purposes. Since the wave function

ψSσ(E)2ψσ(E),    (54)

is square-integrable/summable, it is clear that |ψSσ is an element of the physical system Hilbert space HS,σphys, corresponding to the σ-sector. We therefore also have RHσ(τ):HphysHS,σphys, 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:

(RHσ)1TT,ϵ1(1ϵ|pt=σϵCIS)

defines a map HS,σphysHσ, so that18

(RHσ)1|ψSσ=2θ(σ p^t)|ψphys.    (55)

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

RHστ,σ|US(τ),       =US(τ)RSσ(τ).

Similarly, the inverse of the quantum symmetry reduction is equal to a system time evolution and the inverse of the Page-Wootters reduction:

(RHσ)1=δ(C^H)(|τ,σUS(τ))                  =(RSσ(τ))1US(τ).

Hence

(RHσ)-1RHσθ(-σp^t)IS

and

RHσ(RHσ)1|ψSσ=|ψSσ.

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 HS,σphys

f^Sphys(τ)=US(τ)f^SphysUS(τ).    (56)

Indeed, the following theorem shows that these Heisenberg observables are equivalent to the relational Dirac observables on the σ-sector of the physical Hilbert space Hσ, 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 EHσ:L(HS,σphys)L(Hσ),

EHσ(f^Sphys(τ))(RHσ)-1f^Sphys(τ)RHσ.    (57)

Theorem 3. Let f^SL(HS). The quantum relational Dirac observable F^fS,T(τ) acting on Hphys, Equation (31), reduces under RHσ to the corresponding projected evolving observable in the Heisenberg picture on HS,σphys, Equation (56), i.e.,

RHσF^fS,T(τ)(RHσ)-1=ΠσSCf^S(τ)ΠσSC                                           f^Sphys(τ).

Conversely, let f^Sphys(τ)L(HS,σphys) be any evolving Heisenberg observable. The encoding operation in Equation (57) of system observables coincides on the physical Hilbert space Hphys with the quantum relational Dirac observables in Equation (31) projected into the σ-sector:

EHσ(f^Sphys(τ))F^fSphys,Tσ(τ).    (58)

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 Hσ and evolving Heisenberg observables on the physical system Hilbert space of the σ-modes HS,σphys. 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 f^SL(HS) and f^Sphys(τ)=US(τ)ΠσSCf^S ΠσSCUS(τ) be its associated evolving Heisenberg operator on HSphys. Then

ψphys|F^fS,Tσ(τ)|ϕphysphys=12ψSσ|f^Sphys(τ)|ϕSσ,

where |ψSσ=2RHσ|ψphys.

Proof: The proof of Theorem 6 in Höhn et al. [7] applies here per σ-sector. 

Therefore, the quantum symmetry reduction map RH is an isometry, as we state in the following corollary.

Corollary 3. Setting f^S=ΠσSC in Theorem 4 yields

ψphys|θ(σ p^t)IS|ϕphysphys=12 ψSσ|ϕSσ ,

where |ψSσ=2RHσ|ψphys. Hence,

ψphys|ϕphys phys=12σ ψSσ|ϕSσ .

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 RHσ to the clock-neutral picture on the physical Hilbert space Hphys yields a relational Heisenberg picture with respect to the clock C on the physical system Hilbert space of the σ-modes, HS,σphys.

(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 f^Sphys(τ) is self-adjoint on HS,σphys, then so is F^fS,Tσ(τ) on Hσ.

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” Hphys 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 RH [and given their unitary relation, also RSσ(τ)] 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 HS,σphys 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 Cσ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, σψphys|(|τ,στ,σ|IS)|ϕphyskin 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 HS,σphys 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 Hphys is defined by the constraint Ĉσ=ĤC+ĤS, where ĤC  p^t2 and ĤS σ-s ĤS. Clearly, ĤC 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 Ĉσ=ĤC+ĤS 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 ĤC. It is evident that the covariant clock POVM is in this case defined through the eigenstates of t^ which (up to a factor of 2) 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 ĤS. 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 sp^t22, rather than p^t/2.

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)

C^H=-p^t2+p^2+m2,

where p^ 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

ϕphys|ψphys phys=3d3p2εp[ϕkin*(εp,p)ψkin(εp,p)                                                 +ϕkin*(εp,p)ψkin(εp,p)],    (59)

where εp=p2+m2 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

ψphysσ(t,x)=1(2π)3/23d3p2εpei(x·p-σtεp)ψkin(-σεp,p),

one may further check that [31, 104]

ϕphys|ψphys phys=(ϕphys+,ψphys+)KG(ϕphys,ψphys)KG,    (60)

where

(ϕphysσ,ψphysσ)KG=i3d3x[(ϕphysσ(t,x))*tψphysσ(t,x)                                             (tϕphysσ(t,x))*ψphysσ(t,x)],    (61)

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 t^, quantized as a self-adjoint operator on Hkin, 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

Prob (x when t)=|ψphys(t,x)|23d3x|ψphys(t,x)|2,    (62)

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

tψphys(t,x)=3d3xε(xx)ψphys(t,x),

where ε(xx) is the Fourier transform of −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 eC(τ)=σ|τ,στ,σ| and, as before, ex into the conditional probability Equation (37). The crucial difference between the covariant clock POVM ET and the clock operator t^ (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 ψSσ(τ)|ψSσ(τ)=1, Theorem 2 implies

prob(x when τ)=12σ|ψSσ(τ,x)|2                                = ψphys|F^ex,T(τ)|ψphys phys,    (63)

where ψSσ(τ,x)2(τ,σ|x|)|ψphys and τ is now not Minkowski time. For concreteness, let us now focus on positive frequency modes. Using Equations (15) and (25), one obtains

ψS+(τ,x)=1(2π)3/23d3p2εpei(x·pτεp2)ψkin(εp,p).    (64)

This is almost the Newton-Wigner position space wave function for positive frequency modes, which relative to Minkowski time reads [90]

ψNW+(t,x)=3d3xK(xx)ψphys+(t,x)                    =1(2π)3/23d3p2εpei(x·ptεp)ψkin(εp,p),    (65)

where K(x) is the Fourier transform of 2εp. The key property of |ψNW+(t,x)|2 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,

(ϕphys+,ψphys+)KG=3d3x(ϕNW+(t,x))*ψNW+(t,x),

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 tp, 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

(ϕphys+,ψphys+)KG=3d3x(ϕS+(τ,x))*ψS+(τ,x).

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 t^, 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 F^x,T(τ) 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

C^H=s1p^122+s2p^222+H^S,    (66)

where si = ±1 and p^i 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

Hphys=σ1,σ2Hσ1,σ2,    (67)

where Hσ1,σ2Hσ1Hσ2 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 Hσ1,σ2.

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 p^i (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, 117119]. 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 [7072, 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 RIσi, 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 ΛIJσiσj:HCj,σiphysHS,σiphysHCi,σjphysHS,σjphys from clock Ci's σi-sector to clock Cj's σj-sector then reads

ΛIJσiσjRJσj(RIσi)-1.    (68)

Here HCj,σiphys denotes the physical clock Cj Hilbert space corresponding to the σi-sector of clock Ci, i.e., the subspace of HCj compatible with solutions to the constraint Equation (66) and similarly for the other Hilbert spaces. When IJ 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 ΛIσiσjΛIIσiσj 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

ΛSσ1σ2=(τ2,σ2|IC1S)δ(C^H)(|τ1,σ1IC2S).

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:

(θ(σ1p^1)IS)|ψC1S|C2σ2(τ2)=ΛSσ1σ2|ψC2S|C1σ1(τ1),    (69)

where we made use of Equation (43) and |ψCjS|Ciσi(τi) 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

ΛHσ1σ2=(τ2,σ2|UC1S(τ2))                                         ×δ(C^H)(|τ1,σ1UC2S(τ1))      (70)

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)

[θ(σ1p^1)IS]|ψC1S|C2σ2=ΛSσ1σ2|ψC2S|C1σ1,

with UCjS(τi)exp[-iτi(sjp^j22+ĤS)] 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
www.frontiersin.org

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 RI+i 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 H+1,+2 (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 ÔC2S|C1phys 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 Hphys:

RSσ1(τ1)F^OC2S|C1,T1(τ1)(RSσ1(τ1))1=O^C2S|C1phys.

We can now also map the same relational Dirac observable into the σ2-sector of the relational Schrödinger picture of clock C2:

O^C1S|C2phys(τ1,τ2):=RSσ2(τ2)F^OC2S|C1,T1(τ1)(RSσ2(τ2))1.    (71)

The result will be the image of the original observable ÔC2S|C1phys, describing properties of C2S relative to C1, in the “perspective” of clock C2. Hence, if ÔC2S|C1phys 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 ÔC2S|C1phys=T^2IS so that the relational Dirac observable is F^OC2S|C1,T1(τ1)=F^T2,T1(τ1). The observable on the l.h.s. in Equation (71) then describes how the first moment operator T^2 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

ΛSσ1σ2ÔC2S|C1phys(ΛSσ1σ2)-1=(ΛSσ2σ1)-1ÔC2S|C1physΛSσ2σ1=RSσ2(τ2)(RSσ1(τ1))-1ÔC2S|C1physRSσ1(τ1)(RSσ2(τ2))-1=RSσ2(τ2)ESτ1,σ1(ÔC2S|C1phys)(RSσ2(τ2))-1RSσ2(τ2)F^OC2S|C1,T1(τ1)(θ(-σ1p^1)IC2S)(RSσ2(τ2))-1=(θ(-σ1p^1)IS)ÔC1S|C2phys(τ1,τ2).    (72)

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 θ(-σ1p^1) commutes with the reduction map of the C2 clock and with F^OC2S|C1,T1(τ1) (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

(θ(σ1p^1)IS)O^C1S|C2phys(τ1,τ2)=τ2,σ2δ(C^H)              (|τ1,σ1τ1,σ1|O^C2S|C1phys)δ(C^H)|τ2,σ2.    (73)

This transformation reveals that expectation values are preserved in the following manner:

ψC1S|C2σ2(τ2)|(θ(-σ1p^1)IS)ÔC1S|C2phys(τ1,τ2)|ϕC1S|C2σ2(τ2)=ψC2S|C1σ1(τ1)|(θ(-σ2p^2)IS)ÔC2S|C1phys(θ(-σ2p^2)IS)|ϕC2S|C1σ1(τ1).    (74)

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

ΛHσ1σ2ÔC2S|C1phys(τ1)(ΛHσ1σ2)-1RHσ2F^OC2S|C1,T1(τ1)(θ(-σ1p^1)IC2S)(RHσ2)-1=(θ(-σ1p^1)IS)UC1S(τ2)ÔC1S|C2phys(τ1,τ2)UC1S(τ2)=:(θ(-σ1p^1)IS)ÔC1S|C2H(τ1,τ2),    (75)

where ÔC1S|C2phys(τ1,τ2) 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 ÔC2S|C1physL(HC2physHSphys) 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 ÔC1S|C2phys(τ1,τ2)=ÔC1S|C2phys(τ1)L(HC1physHSphys) if and only if

ÔC2S|C1phys=i(ÔC2|C1phys)i(f^S|C1phys)i,

where (f^S|C1phys)i is an operator on HSphys and (ÔC2|C1phys)i is a constant of motion, [(ÔC2|C1phys)i,s2p^222]=0. Furthermore, in this case the transformed observable reads

[θ(σ1p^1)IS]ÔC1S|C2phys(τ1)   =ΠσC1SC2[iGC1S(|τ1,σ1τ1,σ|1(f^S|C1phys)i)      t2,σ2|(O^C2|C1phys)iδ(C^H)|t2,σ2]ΠσC1SC2,    (76)

where ΠσC1SC2=θ[-s2(s1p^122+ĤS)] is the projector onto the physical subspace of HC1HS, |t2, σ2is an arbitrary σ2-sector clock state of C2, and GC1S is the G-twirl over the group generated by the evolution generator s1p^122+ĤS 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 ÔC2S|C1phys=IC2f^S|C1phys, 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:

(θ(-σ1p^1)IS)ÔC1S|C2phys(τ1)=            ΠσC1SC2GC1S(|τ1,σ1τ1,σ1|f^S|C1phys)ΠσC1SC2.

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

ÔC2S|C1phys=IC2f^S|C1phys.

transforms under a temporal frame change map to the perspective of C2 as follows

ÔC1S|C2phys=IC1f^S|C2phys,

where f^S|C1phys=f^S|C2phys if and only if f^S|C1phys is a constant of motion, [f^S|C1phys,ĤS]=0.

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 ÔC2S|C1phys(τ1)L(HC2physHSphys) 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 ÔC1S|C2H(τ1,τ2) that satisfies the Heisenberg equation of motion in clock C2 time τ2 without an explicitly τ2 dependent term,

ddτ2ÔC1S|C2H(τ1,τ2)=i[s2p^222+H^S,ÔC1S|C2H(τ1,τ2)],

if and only if

ÔC2S|C1phys(τ1)=i(ÔC2|C1phys)i(f^S|C1phys(τ1))i,

and (ÔC2|C1phys)i is a constant of motion, [s1p^122,ÔC2|C1phys]=0.

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 f^S relative to clock C1 with f^S relative to clock C2. These two relational evolutions will be encoded in two one-parameter families of Dirac observable of the form F^IC2fS,T1(τ1) and F^IC1fS,T2(τ2). 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 τ21) ≔ FT2,T11), 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):

P(T2=τ2|T1=τ1)   =ψphys|eC1(τ1)eC2(τ2)IS|ψphyskin   =P(T1=τ1|T2=τ2).    (77)

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

τ2(τ1)dττP(T2=τ|T1=τ1).    (78)

(C) The clock reading of C2 when C1 reads τ1 is defined to be (τ2(n)(τ1))1/n for n > 1, where

τ2(n)(τ1)dτ(τ)nP(T2=τ|T1=τ1)    (79)

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 P(T2=τ|T1=τ1)=δ(τ-τ1), 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

Pσ1,σ2(T2=τ2|T1=τ1)   =ψphys|eC1σ1(τ1)eC2σ2(τ2)IS|ψphyskin   =ψσ1,σ2|eC1(τ1)eC2(τ2)IS|ψσ1,σ2kin,    (80)

where |ψσ1,σ2Hσ1,σ2 lies in the overlap of the σ1- and σ2-sectors (see Equation 67) and eCiσi(τi)12π|τi,σiτi,σi|, 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:

τ2(n)(τ1)=dτ(τ)nPσ1,σ2(T2=τ|T1=τ1)                 =ψC2S|C1σ1(τ1)|T^2,σ2(n)IS|ψC2S|C1σ1(τ1)                 =ψσ1,σ2|F^T2(n)IS,T1(τ1))|ψσ1,σ2phys,    (81)

where by Equation (30)

T^2,σ2(n)=12πdttn|t,σ2t,σ2|             =θ(σ2p^2)T^2(n)θ(σ2p^2)

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

τ2(n)(τ1)=ψC2S|C1σ1(τ1)|T^2,σ2nIS|ψC2S|C1σ1(τ1)                  =ψσ1,σ2|F^T2nIS,T1(τ1))|ψσ1,σ2phys,

as long as |ψC2S|C1σ1(τ1)(D(T^2n)HC2phys)HSphys. Since (τ2(n)(τ1))1/nτ2(τ1) 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:

τ2(τ1) τ2(1)(τ1).    (82)

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

τ1(τ2)=dττPσ1,σ2(T2=τ2|T1=τ).    (83)

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 Pσ1,σ2(T2=τ|T1=τ)Pσ1,σ2(T2=τ|T1=τ) 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 τ12) in Equation (83) is the inversion of τ21) in Equation (81), i.e., obtained by solving τ21) for τ1. Classically, this is certainly the case and it would entail that for a fixed clock reading τ1* of C1 one finds τ1(τ2(τ1*))=τ1*. Physically this would mean that both temporal reference frames C1 and C2 agree that when C1 reads τ1*, C2 reads the value τ2(τ1*). This does occur in a special case when definitions (A)–(C) all coincide, namely when Pσ1,σ2(T2=τ2(τ1*)|T1=τ)=δ(τ-τ1*) 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, 3234]. In our case this means that the wave function

ψC2S|C1σ1,σ2(τ1,τ2)(τ1,σ1|τ2,σ2|ϕS|)|ψphys,

for some physical system state |ϕSHSphys, 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 τ1(τ2(τ1*))τ1*. 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 τ1* and τ1(τ2*=τ2(τ1*)).

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 τ2(τ1*) (computed according to Equation 81) when C1 reads τ1*, then conversely from the perspective of the temporal reference frame defined by C2 the clock C1 will not in general read τ1* when C2 reads the value τ2(τ1*). 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 τ2(τ1*)=τ1* so that C1 and C2 read the same value when C1 reads the value τ1*. Even stronger, we could ask whether there are states for which τ21) = τ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 Pσ1,σ2(T2=τ|T1=τ1)=δ(τ-τ1-const). 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 |ψC2S|C1σ1(τ1*) 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

(θ(σ1p^1)IS)|ψC1S|C2σ2(τ2(τ1*))      =RSσ2(τ2(τ1*))(RSσ1(τ1*))1|ψC2S|C1σ1(τ1*).    (84)

We can then evaluate the ‘same' reduced system observable ICif^Sphys 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 f^Sphys relative to the two clocks in different quantum states (which amount also to quantum states of the clocks). To avoid confusion, we emphasize, that ICif^Sphys, i = 1, 2, correspond to two different relational Dirac observables F^IC2fS,T1(τ1) and F^IC1fS,T2(τ2) on the clock-neutral physical Hilbert space Hphys; in particular, the two are not related by the TFC map ΛSσ1σ2. Hence, by evaluating these two reduced observables in the relational Schrödinger states related via the TFC map ΛSσ1σ2 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, 3034, 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 [137140]). 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, 103107] 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 ωpp2+m2. 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, 117119].

8. ^Using the commutation relation [t^,p^t-1]=-ip^t-2, which follows from multiplying [t^,p^t]=i from both sides with p^t-1, we can also write this operator as

T^=sp^t-1(t^-i2p^t-1)    (22)

^We note in passing that the operator t^-i2p^t-1 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 Hkin and not a gauge-invariant Dirac observable on Hphys, 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 G can on each σ-sector be weakly rewritten as a reduced G-twirl Gσ, i.e., one generated by Ĉσ, rather than ĈH. Indeed, it is easy to see that the observables in Equation (31) satisfy

F^fS,Tσ(τ)=G(|τ,στ,σ|f^S)δ(C^H)(|τ,στ,σ|f^S),

^where ≈ is the quantum weak equality introduced in Equation (34). Now use Equation (14) and notice that δ(Ĉ−σ) |τ, σ〉 ⊗ |ES = 0 when zero does not lie in the spectrum of ĤS. This observation yields

F^fS,Tσ(τ)12(-sH^S)12δ(C^σ)(|τ,στ,σ|f^S),               12(-sH^S)12Gσ(|τ,στ,σ|f^S),

^where the last weak equality is restricted to Hσ. 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 CH=pt2-H2(qi,pi,t) 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 |τσcσ|τ,σ. Clearly, then we would also find that

yes

^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, ∫ |τ〉 〈τ| ≠ IC and so |ψphys〉 ≠ ∫ |τ〉 |ψ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 Hkin.

18. ^This is understood as appending the new clock tensor factor |pt = −σϵ〉C to the reduced system state |ψSσ 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) Hphys. 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 HS,σphys due to the generic inequivalence between Dirac and reduced quantization (see Supplementary Material).

20. ^Note that here we have a doubly degenerate system energy ĤS=p^2+m2 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

ψphys|eCIS|ψphyskin=ψkin|δ(C^H)(eCIS)|ψphyskin.

^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 ψphys+(t,x) to the Klein-Gordon equation takes, of course, the standard Klein-Gordon (and not the Schrödinger) form Equation (61). Nevertheless, the kernel K(xx) in the non-local convolution in the first line in Equation (65) decreases quickly as a function of m|xx| [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]

C^H=-p̄^022+p̄^-22+p̄^+22+k+e-43β̄^+.

25. ^Recall that the label “phys” highlights that the observable acts on the physical C2S Hilbert space, i.e., on ΠσC2SC1(HC2HS), where ΠσC2SC1=θ[-s1(s2p^222+ĤS)] is the projector onto the subspace corresponding to the spectrum σC2SC1 Spec(s2p^222+ĤS)Spec(-s1p^122) permitted by the constraint Equation (66) (cf. Equation 17). We can thus also understand this observable as a projection ÔC2S|C1physΠσC2SC1ÔC2S|C1ΠσC2SC1 of some observable ÔC2S|C1L(HC2HS); 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

CrossRef Full Text | Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

3. Anderson E. The Problem of Time. Vol. 190 of Fundamental Theories of Physics. Basel: Springer International Publishing (2017).

Google Scholar

4. Rovelli C. Quantum Gravity. Cambridge: Cambridge University Press (2004).

Google Scholar

5. Smolin L. The Case for Background Independence. Oxford: Oxford University Press (2006).

Google Scholar

6. Smolin L. Temporal relationalism. arXiv. (2018) 180512468.

Google Scholar

7. Höhn PA, Smith ARH, Lock MPE. The trinity of relational quantum dynamics. arXiv. (2019) 191200033.

Google Scholar

8. DeWitt BS. Quantum theory of gravity. I. The canonical theory. Phys Rev. (1967) 160:1113–48. doi: 10.1103/PhysRev.160.1113

PubMed Abstract | CrossRef Full Text | Google Scholar

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.

Google Scholar

10. Ashtekar A. Lectures on Non-Perturbative Canonical Gravity. Vol. 6 of Physics and Cosmology. Singapore: World Scientific (1991).

Google Scholar

11. Thiemann T. Modern Canonical Quantum General Relativity. Cambridge: Cambridge University Press (2008).

Google Scholar

12. Rovelli C. Quantum mechanics without time: a model. Phys Rev D. (1990) 42:2638–46. doi: 10.1103/PhysRevD.42.2638

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

15. Rovelli C. Quantum reference systems. Class Quantum Grav. (1991) 8:317–32. doi: 10.1088/0264-9381/8/2/012

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

17. Marolf D. Quantum observables and recollapsing dynamics. Class Quantum Grav. (1995) 12:1199–220. doi: 10.1088/0264-9381/12/5/011

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

19. Tambornino J. Relational observables in gravity: a review. SIGMA. (2012) 8:017. doi: 10.3842/SIGMA.2012.017

CrossRef Full Text | Google Scholar

20. Giddings SB, Marolf D, Hartle JB. Observables in effective gravity. Phys Rev D. (2006) 74:064018. doi: 10.1103/PhysRevD.74.064018

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

36. Dittrich B, Höhn PA, Koslowski TA, Nelson MI. Chaos, Dirac observables and constraint quantization. arXiv. (2015) 150801947.

Google Scholar

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

CrossRef Full Text | Google Scholar

38. Chataignier L. Relational observables, reference frames and conditional probabilities. arXiv. (2020) 200605526. doi: 10.1103/PhysRevD.103.026013

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

40. Wootters WK. “Time” replaced by quantum correlations. Int J Theor Phys. (1984) 23:701. doi: 10.1007/BF02214098

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

43. Giovannetti V, Lloyd S, Maccone L. Quantum time. Phys Rev D. (2015) 79:945933. doi: 10.1103/PhysRevD.92.045033

CrossRef Full Text | Google Scholar

44. Smith ARH, Ahmadi M. Quantizing time: interacting clocks and systems. Quantum. (2019) 3:160. doi: 10.22331/q-2019-07-08-160

CrossRef Full Text | Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

46. Dolby CE. The conditional probability interpretation of the Hamiltonian constraint. arXiv. (2004) 0406034.

Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

48. Boette A, Rossignoli R. History states of systems and operators. Phys Rev A. (2018) 98:032108. doi: 10.1103/PhysRevA.98.032108

CrossRef Full Text | Google Scholar

49. Diaz NL, Rossignoli R. History state formalism for Dirac's theory. Phys Rev D. (2019) 99:045008. doi: 10.1103/PhysRevD.99.045008

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

51. Singh A. Quantum space, quantum time, and relativistic quantum mechanics. arXiv. (2020) 200409139.

Google Scholar

52. Leon J, Maccone L. The Pauli objection. Found Phys. (2017) 47:1597–608. doi: 10.1007/s10701-017-0115-2

CrossRef Full Text | Google Scholar

53. Marletto C, Vedral V. Evolution without evolution and without ambiguities. Phys Rev D. (2017) 95:043510. doi: 10.1103/PhysRevD.95.043510

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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.

Google Scholar

56. Favalli T, Smerzi A. Hermitian time operator in a timeless universe. arXiv. (2020) 200309042. doi: 10.22331/q-2020-10-29-354

CrossRef Full Text | Google Scholar

57. Foti C, Coppo A, Barni G, Cuccoli A, Verrucchi P. There is only one time. arXiv. (2020) 200612103.

Google Scholar

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

CrossRef Full Text | Google Scholar

59. Bojowald M, Tsobanjan A. Quantization of dynamical symplectic reduction. arXiv. (2019) 190604792. doi: 10.1007/s00220-020-03856-4

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

69. Bojowald M, Halnon T. Time in quantum cosmology. Phys Rev D. (2018) 98:066001. doi: 10.1103/PhysRevD.98.066001

CrossRef Full Text | Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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.

Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

76. Yang JM. Switching quantum reference frames for quantum measurement. Quantum. (2020) 4:283. doi: 10.22331/q-2020-06-18-283

CrossRef Full Text | Google Scholar

77. Gielen S, Menéndez-Pidal L. Singularity resolution depends on the clock. arXiv. (2020) 200505357. doi: 10.1088/1361-6382/abb14f

CrossRef Full Text | Google Scholar

78. Savi MF, Angelo RM. Quantum resources covariance. arXiv. (2020) 200509612. doi: 10.1103/PhysRevA.103.022220

CrossRef Full Text | Google Scholar

79. Le TP, Mironowicz P, Horodecki P. Blurred quantum Darwinism across quantum reference frames. arXiv. (2020) 200606364. doi: 10.1103/PhysRevA.102.062420

CrossRef Full Text | Google Scholar

80. Tuziemski J. Decoherence and information encoding in quantum reference frames. arXiv. (2020) 200607298.

Google Scholar

81. Hardy L. The construction interpretation: conceptual roads to quantum gravity. arXiv. (2018) 180710980.

Google Scholar

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

CrossRef Full Text | Google Scholar

83. Guérin PA, Brukner Č. Observer-dependent locality of quantum events. New J Phys. (2018) 20:103031. doi: 10.1088/1367-2630/aae742

CrossRef Full Text | Google Scholar

84. Zych M, Costa F, Ralph TC. Relativity of quantum superpositions. arXiv. (2018) 180904999.

Google Scholar

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

CrossRef Full Text | Google Scholar

86. Holevo AS. Probabilistic and Statistical Aspects of Quantum Theory. Vol. 1 of Statistics and Probability. Amsterdam: North-Holland Publishing Company (1982).

Google Scholar

87. Busch P, Grabowski M, Lahti PJ. Operational Quantum Physics. Vol. 31 of Lecture Notes in Physics Monographs. Berlin; Heidelberg: Springer-Verlag (1995).

Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

90. Haag R. Local Quantum Physics: Fields, Particles, Algebras. Berlin; Heidelberg: Springer-Verlag (2012).

Google Scholar

91. Newton TD, Wigner EP. Localized states for elementary systems. Rev Mod Phys. (1949) 21:400–6. doi: 10.1103/RevModPhys.21.400

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

97. Loveridge L, Miyadera T. Relative quantum time. Found Phys. (2019) 49:549–60. doi: 10.1007/s10701-019-00268-w

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

100. Breuer T. The impossibility of accurate state self-measurements. Philos Sci. (1995) 62:197–214. doi: 10.1086/289852

CrossRef Full Text | Google Scholar

101. Dirac PAM. Lectures on Quantum Mechanics. New York, NY: Belfer Graduate School of Sciencem Yeshiva University (1964).

Google Scholar

102. Henneaux M, Teitelboim C. Quantization of Gauge Systems. Princeton, NJ: Princeton University Press (1992).

Google Scholar

103. Marolf D. Refined algebraic quantization: systems with a single constraint. arXiv. (1995) 9508015.

Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

107. Marolf D. Group averaging and refined algebraic quantization: where are we now? arXiv. (2000) 0011112.

Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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.

Google Scholar

111. Hájíček P. Origin of nonunitarity in quantum gravity. Phys Rev D. (1986) 34:1040. doi: 10.1103/PhysRevD.34.1040

CrossRef Full Text | Google Scholar

112. Kiefer C. Wave packets in minisuperspace. Phys Rev D. (1988) 38:1761. doi: 10.1103/PhysRevD.38.1761

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

115. Bojowald M. Canonical Gravity and Applications: Cosmology, Black Holes and Quantum Gravity. Cambridge: Cambridge University Press (2010).

Google Scholar

116. Ashtekar A, Tate R, Uggla C. Minisuperspaces: observables and quantization. Int J Mod Phys D. (1993) 2:15–50. doi: 10.1142/S0218271893000039

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

119. Muga JG, Leavens CR. Arrival time in quantum mechanics. Phys Rep. (2000) 338:353–438. doi: 10.1016/S0370-1573(00)00047-8

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

121. Peres A. Measurement of time by quantum clocks. Am J Phys. (1980) 48:552–7. doi: 10.1119/1.12061

CrossRef Full Text | Google Scholar

122. Pauli W. Die allgemeinen prinzipien der wellenmechanik. Handbuch der Physik. (1958) 5:1–168. doi: 10.1007/978-3-642-80539-4_1

CrossRef Full Text | Google Scholar

123. Rovelli C. Partial observables. Phys Rev D. (2002) 65:124013. doi: 10.1103/PhysRevD.65.124013

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

125. Kuchař KV. Covariant factor ordering of gauge systems. Phys Rev D. (1986) 34:3044–57. doi: 10.1103/PhysRevD.34.3044

PubMed Abstract | CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

131. Smith ARH. Communicating without shared reference frames. Phys Rev A. (2019) 99:052315. doi: 10.1103/PhysRevA.99.052315

CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

133. Banerjee K, Calcagni G, Martín-Benito M. Introduction to loop quantum cosmology. SIGMA. (2012) 8:016. doi: 10.3842/SIGMA.2012.016

CrossRef Full Text | Google Scholar

134. Page DN. Time as an Inaccessible Observable. NSF-ITP-89-18 (1989).

Google Scholar

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.

Google Scholar

136. Smith ARH. Quantum time dilation: a new test of relativistic quantum theory. arXiv. (2020) 200410810.

Google Scholar

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

CrossRef Full Text | Google Scholar

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

PubMed Abstract | CrossRef Full Text | Google Scholar

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

CrossRef Full Text | Google Scholar

140. Paige AJ, Plato ADK, Kim MS. Classical and nonclassical time dilation for quantum clocks. Phys Rev Lett. (2020) 124:160602. doi: 10.1103/PhysRevLett.124.160602

PubMed Abstract | CrossRef Full Text | Google Scholar

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, Germany

Reviewed by:

Mehdi Assanioussi, University of Warsaw, Poland
Zhenbin 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, cGhpbGlwcC5ob2VobiYjeDAwMDQwO29pc3QuanA=; Alexander R. H. Smith, YXJoc21pdGgmI3gwMDA0MDthbnNlbG0uZWR1; Maximilian P. E. Lock, bWF4aW1pbGlhbi5sb2NrJiN4MDAwNDA7b2Vhdy5hYy5hdA==

Disclaimer: All claims expressed in this article are solely those of the authors and do not necessarily represent those of their affiliated organizations, or those of the publisher, the editors and the reviewers. Any product that may be evaluated in this article or claim that may be made by its manufacturer is not guaranteed or endorsed by the publisher.