arXiv is now an independent nonprofit! Learn more
License: arXiv.org perpetual non-exclusive license
arXiv:2504.01579v4 [quant-ph] 20 Aug 2026

Conditions for Unitarity in Timeless Quantum TheoryPreprint: APS/123-QED

Simone Rijavec Email: simoner@tauex.tau.ac.il Affiliation: School of Physics and Astronomy, Tel-Aviv University, Tel-Aviv 69978, Israel Affiliation: Clarendon Laboratory, University of Oxford, Parks Road, Oxford OX1 3PU, United Kingdom
August 20, 2026
Abstract

Quantum timeless approaches solve the problem of time by recovering the usual unitary evolution of quantum theory relative to a clock in a stationary quantum Universe. For some Hamiltonians of the Universe, such as those including an interaction term with the clock, the dynamics is substantially altered and can be non-unitary. This work derives necessary and sufficient conditions for the relative dynamics to be unitary and finds the general form of the unitary evolution operator. A physical interpretation of these conditions is given in terms of the clock’s rate. Unitary dynamics is associated with rates that are constant in time and independent of the clock’s internal structure.

I Introduction

The concept of time as an external parameter in conventional quantum theory clashes with the background-independent character of general relativity and suffers from several explanatory and technical issues, generally termed the “problem of time” 26; 25; 1. A promising solution to this problem is to remove any appeal to an external time parameter and recover a notion of dynamics relative to some systems acting as clocks in an overall stationary quantum Universe 31. Crucially, quantum theory interpreted as a universal physical theory must already contain an explanation for the relative states underlying such an approach to time 10. Therefore, we can gather the explanations of time that start from a stationary quantum Universe (some of which have been proven to be equivalent 23) under the term “timeless quantum theory” 25. This approach usually leads to the ordinary dynamics of quantum theory only when the clocks are isolated from the rest of the Universe. The dynamics is substantially altered when the clocks interact with the rest of the Universe 17; 29; 37; 38; 8; 30; 36; 35; 15; 14; 27; 6, and is even non-unitary for some types of interaction 32; 33; 4. Non-unitarity was also observed in semiclassical approaches to time 3; 2; 20. The timekeeping of physical clocks is clearly affected if they interact with other systems in specific ways—for instance, when a watch smashes on the ground or melts under intense heat. Such interactions should therefore be prevented. However, some interactions cannot be shielded 7; 37; 8 or are required to measure the time of the clock 27, while others seem to be inevitable in relativistic settings 38. Therefore, the effect of interactions with the clock in timeless approaches cannot be neglected. Moreover, since unitarity is central to quantum theory, it is crucial to explore the origin of non-unitarity and its role in timeless quantum theory.

In this work, I apply Page and Wootters’ approach 31 to derive necessary and sufficient conditions on the Universe’s Hamiltonian for its relative dynamics to be unitary. These conditions are linked to some physical properties of the clock. Specifically, unitary dynamics is associated with clock rates that are constant in time and independent of the clock’s internal structure.

II Review of the Page-Wootters approach

The starting point is the stationarity condition given by the Wheeler-DeWitt equation 11

H^U|ΨU=0,\hat{H}_{U}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=0, (1)

where H^U\hat{H}_{U} and |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> are the Hamiltonian and the state vector of the Universe, respectively, and the identification of a subsystem 𝒞\mathcal{C} of the Universe that acts as a clock 31. The double-ket notation |\left|\left.\kern-1.2pt\cdot\right>\right> is a visual aid to denote that the state vector belongs to the Hilbert space of the Universe 17. In a non-relativistic setting, we can decompose the Hilbert space of the Universe as U=𝒞\mathscr{H}_{U}=\mathscr{H}_{\mathcal{C}}\otimes\mathscr{H}_{\mathcal{R}}, where 𝒞\mathscr{H}_{\mathcal{C}} and \mathscr{H}_{\mathcal{R}} are the Hilbert spaces of 𝒞\mathcal{C} and of the rest of the Universe \mathcal{R}, respectively, and write H^U\hat{H}_{U} as

H^U=H^𝒞𝟙^+𝟙^𝒞H^+V^,\hat{H}_{U}=\hat{H}_{\mathcal{C}}\otimes\hat{\mathds{1}}_{\mathcal{R}}+\hat{\mathds{1}}_{\mathcal{C}}\otimes\hat{H}_{\mathcal{R}}+\hat{V}, (2)

with V^\hat{V} an interaction term between 𝒞\mathcal{C} and \mathcal{R}.11 1 In the rest of the paper, the tensor products with the identity operators will often be dropped to improve the readability of the equations. The Hilbert space acted upon by the operators should be clear from the indices and the context. I will later relax this assumption on the form of H^U\hat{H}_{U}. In the rest of the discussion, 𝒞\mathcal{C} is assumed to be an ideal clock 23, meaning that it has a self-adjoint operator T^𝒞\hat{T}_{\mathcal{C}} such that [T^𝒞,H^𝒞]=i\left[\hat{T}_{\mathcal{C}},\hat{H}_{\mathcal{C}}\right]=i\hbar, with its eigenstates |ϕ𝒞(t)=eiH^𝒞(tt)/|ϕ𝒞(t){\left|\phi_{\mathcal{C}}(t)\right>}=e^{-i\hat{H}_{\mathcal{C}}(t-t^{\prime})/\hbar}{\left|\phi_{\mathcal{C}}(t^{\prime})\right>} t,t\forall t,t^{\prime}\in\mathds{R} corresponding to the different time readings.22 2 In the rest of the paper =1\hbar=1. 𝒞\mathcal{C} is ideal in the sense that the set of states {|ϕ𝒞(t)}t\left\{{\left|\phi_{\mathcal{C}}(t)\right>}\right\}_{t\in\mathds{R}} are orthogonal and so 𝒞\mathcal{C} can perfectly distinguish any time instant. Such a clock is usually deemed unphysical because H^𝒞\hat{H}_{\mathcal{C}} is unbounded from below. Nevertheless, ideal clocks can be thought of as the limiting case of ever-better realistic clocks. Finally, the states {|ϕ𝒞(t)}t\left\{{\left|\phi_{\mathcal{C}}(t)\right>}\right\}_{t} are not normalizable and thus do not represent physical states. This is analogous to the eigenstates of the position operator in ordinary quantum mechanics and can be mathematically dealt with using the Rigged Hilbert Space formalism 24 or introducing a “physical inner product” 37.

Despite the Universe being stationary, we can recover a notion of dynamics by considering the states of the Universe relative to the clock 𝒞\mathcal{C} showing different times 31. When the clock reads the time tt, the corresponding state of the Universe is given by the following Everettian 13 relative state

|ψU(t)Π^t|ΨU,\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>\coloneqq\hat{\Pi}_{t}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>, (3)

where Π^t|ϕ𝒞(t)ϕ𝒞(t)|𝟙^\hat{\Pi}_{t}\coloneqq{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|}\otimes\hat{\mathds{1}}_{\mathcal{R}} is the projector on the state of the clock showing the time tt. Π^t\hat{\Pi}_{t} is an “improper” projector because Π^t2\hat{\Pi}_{t}^{2} diverges due to the states {|ϕ𝒞(t)}t\left\{{\left|\phi_{\mathcal{C}}(t)\right>}\right\}_{t} being not normalizable. Again, this problem can be dealt with using the Rigged Hilbert Space formalism and would not arise for realistic clocks.

If there are no 𝒞\mathcal{C}-\mathcal{R} interactions, that is, V^=0\hat{V}=0, then Eqs. (1)–(2) imply that

|ψU(t)=eiH^Ut|ψU(0),t,\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>=e^{-i\hat{H}_{U}t}\left|\left.\kern-1.2pt\psi_{U}(0)\right>\right>,\hskip 8.5359pt\forall t\in\mathds{R}, (4)

recovering the unitary evolution of ordinary quantum theory for a system with Hamiltonian H^U\hat{H}_{U} and initial state Π^0|ΨU\hat{\Pi}_{0}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>. In this case, there is the freedom to choose an initial state of the form |ϕ𝒞(0)|ψ(0){\left|\phi_{\mathcal{C}}(0)\right>}{\left|\psi^{\prime}_{\mathcal{R}}(0)\right>} for any |ψ(0){\left|\psi^{\prime}_{\mathcal{R}}(0)\right>}\in\mathscr{H}_{\mathcal{R}} 35. Note that Eqs. (3) and (4) are slightly different from those discussed in the literature, which usually focus on the evolution of \mathcal{R} alone by considering the “partial” inner product |ψ(t)ϕ𝒞(t)|ΨU{\left|\psi_{\mathcal{R}}(t)\right>}\coloneqq\left.\kern-1.2pt\left<\phi_{\mathcal{C}}(t)\left|{\Psi_{U}}\right>\right>\right.\kern-1.2pt 17. Instead, Eqs. (3) considers the state of the whole Universe at time tt, which can also be written as |ψU(t)=|ϕ𝒞(t)|ψ(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>={\left|\phi_{\mathcal{C}}(t)\right>}{\left|\psi_{\mathcal{R}}(t)\right>}. Eq. (4) implies that |ψ(t)=eiH^Rt|ψ(0){\left|\psi_{\mathcal{R}}(t)\right>}=e^{-i\hat{H}_{R}t}{\left|\psi_{\mathcal{R}}(0)\right>} t\forall t\in\mathds{R}, so |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} also evolves unitarily. Unlike |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>, |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} can be chosen to be normalisable and with norm |ψ(t)=1\norm{\ket{\psi_{\mathcal{R}}(t)}}=1, t\forall t\in\mathds{R} 37.

If V^0\hat{V}\neq 0, |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} obeys a modified Schrödinger equation 37. This equation can also be written as (Appendix A)

[iddtH^V^(t,ddt)]|ψ(t)=0,\left[i\frac{\text{d}}{\text{d}t}-\hat{H}_{\mathcal{R}}-\hat{V}^{\prime}\left(t,\frac{\text{d}}{\text{d}t}\right)\right]{\left|\psi_{\mathcal{R}}(t)\right>}=0, (5)

where V^\hat{V^{\prime}} is an operator-valued function of tt and derivatives with respect to tt. Similarly, the dynamical equation for |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> is given by

[iddtH^H^𝒞V^′′(t,ddt,H^𝒞)]|ψU(t)=0.\left[i\frac{\text{d}}{\text{d}t}-\hat{H}_{\mathcal{R}}-\hat{H}_{\mathcal{C}}-\hat{V}^{\prime\prime}\left(t,\frac{\text{d}}{\text{d}t},\hat{H}_{\mathcal{C}}\right)\right]\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>=0. (6)

These equations are linear, and the maximum order of the time derivatives appearing in them is equal to the maximum power of H^𝒞\hat{H}_{\mathcal{C}} in H^U\hat{H}_{U}. The solutions of these equations are known in closed form only for some types of interaction 17; 37; 38; 8; 35; 27; 14; 6 and can lead to a non-unitary evolution 32; 33. Note that if |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} evolves unitarily, then so does |ΨU(t){\left|\Psi_{U}(t)\right>}, and vice versa (Appendix B). Incidentally, this shows that non-unitarity can also appear at the level of the Universe, where no external entangled system has been traced out. Therefore, this effect is different from the non-unitary dynamics of open quantum systems, and is related to the structure of the state of the Universe |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> and the way the clock’s time states “slice” it.

III Sufficient Conditions for Unitarity

The central result of this work is the following characterization of the types of interaction that lead to a unitary dynamics. First, consider the self-adjoint “rate” 33 or “redshift” 8 operator33 3 More precisely, one needs to assume that H^U\hat{H}_{U} and T^𝒞\hat{T}_{\mathcal{C}} admit a common invariant dense domain on which the commutator in Eq. (7) is defined, and that α^\hat{\alpha} admits a self-adjoint extension. Also, note that due to the algebra of 𝒞\mathcal{C}, the commutator i[,T^𝒞]i\left[\cdot,\hat{T}_{\mathcal{C}}\right] can be interpreted as a derivative along the diagonal of H^𝒞\hat{H}_{\mathcal{C}} 28; 35.

α^i[H^U,T^𝒞].\hat{\alpha}\coloneqq i\left[\hat{H}_{U},\hat{T}_{\mathcal{C}}\right]. (7)

The following two requirements are sufficient for the dynamics to be unitary:

[T^𝒞,α^]=0,\displaystyle\left[\hat{T}_{\mathcal{C}},\hat{\alpha}\right]=0, (8)
[H^U,α^]=0.\displaystyle\left[\hat{H}_{U},\hat{\alpha}\right]=0. (9)

Note that these conditions do not rely on the specific form of the Hamiltonian of the Universe of Eq. (2) and so apply to more general types of constraint (excluding some pathological constraints discussed in Appendix D). Since we are dealing with unbounded operators, in the rest of the work Eqs. (8)-(9) will be assumed to hold in the strong sense, i.e., that α^\hat{\alpha} commutes strongly with T^𝒞\hat{T}_{\mathcal{C}} and H^U\hat{H}_{U} 34. Strong commutativity ensures the existence of a joint spectral measure and hence a joint functional calculus, allowing us to define products of strongly commuting operators unambiguously and control their domains. All the operator equalities are understood on the natural domains defined by the joint functional calculus of the strongly commuting operators involved. Eq. (8) in the strong sense implies that α^\hat{\alpha} must be of the form α^=α^(T^𝒞)=dt|ϕ𝒞(t)ϕ𝒞(t)|α^(t)\hat{\alpha}=\hat{\alpha}(\hat{T}_{\mathcal{C}})=\int\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|}\otimes\hat{\alpha}_{\mathcal{R}}(t), where tα^(t)t\rightarrow\hat{\alpha}_{\mathcal{R}}(t) is a measurable operator-valued function.

Using Eq. (8), Π^tH^U|ΨU=0\hat{\Pi}_{t}\hat{H}_{U}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=0, which follows directly from Eq. (1), leads to (Appendix C)

iα^d|ψU(t)dt=H^U|ψU(t),i\hat{\alpha}\,\frac{\text{d}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>}{\text{d}t}=\hat{H}_{U}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>, (10)

which is a type of generalized Schrödinger equation. There are now two cases. When α^\hat{\alpha} is invertible, Eq. (10) becomes

id|ψU(t)dt=α^1H^U|ψU(t),i\frac{\text{d}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>}{\text{d}t}=\hat{\alpha}^{-1}\hat{H}_{U}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>, (11)

meaning that |ψU(t)=U^(t)|ψU(0)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>=\hat{U}(t)\left|\left.\kern-1.2pt\psi_{U}(0)\right>\right>, with U^(t)=eiα^1H^Ut\hat{U}(t)=e^{-i\hat{\alpha}^{-1}\hat{H}_{U}t}. The operator α^1H^U\hat{\alpha}^{-1}\hat{H}_{U} is defined via the joint functional calculus of the strongly commuting operators α^\hat{\alpha} and H^U\hat{H}_{U}, which ensures its self-adjointness and thus the unitarity of U^(t)\hat{U}(t).

If α^\hat{\alpha} is not invertible, then its spectrum must contain 0, that is, 0σ(α^)0\in\sigma(\hat{\alpha}). Calling P^(0)=dt|ϕ𝒞(t)ϕ𝒞(t)|P^(0)(t)\hat{P}^{(0)}=\int\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|}\otimes\hat{P}^{(0)}_{\mathcal{R}}(t) the (possibly improper) projector onto the generalized 0-eigenspace of α^\hat{\alpha} and P^(+)=𝟙^UP^(0)=dt|ϕ𝒞(t)ϕ𝒞(t)|P^(+)(t)\hat{P}^{(+)}=\hat{\mathds{1}}_{U}-\hat{P}^{(0)}=\int\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|}\otimes\hat{P}^{(+)}_{\mathcal{R}}(t) the projector onto its orthogonal complement, so that P^(0)+P^(+)=𝟙^U\hat{P}^{(0)}+\hat{P}^{(+)}=\hat{\mathds{1}}_{U} and P^(0)P^(+)=P^(+)P^(0)=0\hat{P}^{(0)}\hat{P}^{(+)}=\hat{P}^{(+)}\hat{P}^{(0)}=0, we can multiply Eq. (10) by P^(0)\hat{P}^{(0)} and P^(+)\hat{P}^{(+)} to get, respectively,

iα^d(P^(+)|ψU(t))dt=P^(+)H^U|ψU(t),\displaystyle i\hat{\alpha}\,\frac{\text{d}\left(\hat{P}^{(+)}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>\right)}{\text{d}t}=\hat{P}^{(+)}\hat{H}_{U}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>, (12)
P^(0)H^U|ψU(t)=0.\displaystyle\hat{P}^{(0)}\hat{H}_{U}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>=0. (13)

The first equation gives the dynamics for the state vector P^(+)|ψU(t)=|ϕ𝒞(t)P^(+)(t)|ψ(t)\hat{P}^{(+)}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>={\left|\phi_{\mathcal{C}}(t)\right>}\hat{P}^{(+)}_{\mathcal{R}}(t){\left|\psi_{\mathcal{R}}(t)\right>}; the second imposes a constraint. Note that due to Eq. (8) (in the strong sense) the projection preserves the form of the states of the Universe at time tt as product states of |ϕ𝒞(t){\left|\phi_{\mathcal{C}}(t)\right>} and |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>}.

In general, the dynamics of |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> is undetermined. However, Eq. (9) implies that P^(+)\hat{P}^{(+)} and P^(0)\hat{P}^{(0)} strongly commute with H^U\hat{H}_{U} so they share a complete set of eigenstates.44 4 More precisely, their spectral measures commute. Excluding the pathological cases when H^U\hat{H}_{U} has 0-eigenstates of the form |ϕ𝒞(t)|χ{\left|\phi_{\mathcal{C}}(t)\right>}{\left|\chi_{\mathcal{R}}\right>} (see Appendix D), Eq. (13) implies that P^(0)|ΨU(t)=|ϕ𝒞(t)P^(0)(t)|ψ(t)=0\hat{P}^{(0)}{\left|\Psi_{U}(t)\right>}={\left|\phi_{\mathcal{C}}(t)\right>}\hat{P}^{(0)}_{\mathcal{R}}(t){\left|\psi_{\mathcal{R}}(t)\right>}=0, effectively restricting the allowed states of \mathcal{R} in time. This restriction is well-defined in time because P^(+)\hat{P}^{(+)} and P^(0)\hat{P}^{(0)} commute with H^U\hat{H}_{U}. Having excluded such states from |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>, Eq. (12) can be written as

id|ψU(t)dt=α^+H^U|ψU(t),i\,\frac{\text{d}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>}{\text{d}t}=\hat{\alpha}^{+}\hat{H}_{U}\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>, (14)

where α^+\hat{\alpha}^{+} is the Moore-Penrose inverse of α^\hat{\alpha} (defined via spectral calculus). The solution of this equation evolves unitarily because α^+\hat{\alpha}^{+} is self-adjoint and if α^\hat{\alpha} strongly commutes with H^U\hat{H}_{U} then so does α^+\hat{\alpha}^{+} and thus α^+H^U\hat{\alpha}^{+}\hat{H}_{U} is self-adjoint.

We have thus seen that Eqs. (8)–(9) imply that |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> evolves with the unitary operator

U^(t)=eiα^+H^Ut,\hat{U}(t)=e^{-i\hat{\alpha}^{+}\hat{H}_{U}t}, (15)

after possibly restricting |ψ(t)\left|\left.\kern-1.2pt\psi_{\mathcal{R}}(t)\right>\right> as prescribed by Eq. (13) if α^\hat{\alpha} is not invertible (α^+=α^1\hat{\alpha}^{+}=\hat{\alpha}^{-1} if α^\hat{\alpha} is invertible). Consequently, |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} also evolves unitarily, although its evolution has a more complicated expression; namely,

|ψ(t)=𝒯exp(it0tdsH^eff(s))|ψ(t0),{\left|\psi_{\mathcal{R}}(t)\right>}=\mathcal{T}\exp\!\left(-i\int_{t_{0}}^{t}\text{d}s\,\hat{H}_{\mathcal{R}}^{eff}(s)\right){\left|\psi_{\mathcal{R}}(t_{0})\right>}, (16)

with H^eff(s)ϕ𝒞(s)|α^+H^UH^𝒞|ϕ𝒞(s)\hat{H}_{\mathcal{R}}^{eff}(s)\propto{\left<\phi_{\mathcal{C}}(s)\right|}\hat{\alpha}^{+}\hat{H}_{U}-\hat{H}_{\mathcal{C}}{\left|\phi_{\mathcal{C}}(s)\right>} (see Appendix E).

α^+\hat{\alpha}^{+} can be seen as modifying the normal rate of the clock, hence the name (inverse) “rate operator”. It is also easy to see that U^(t)\hat{U}(t) leaves H^U\hat{H}_{U} invariant, U^(t)H^UU^(t)=H^U\hat{U}^{\dagger}(t)\hat{H}_{U}\hat{U}(t)=\hat{H}_{U}, meaning that the energy of the Universe is conserved in time, and acts on T^𝒞\hat{T}_{\mathcal{C}} in the following way U^(t)T^𝒞U^(t)=T^𝒞+tP^(+)\hat{U}^{\dagger}(t)\hat{T}_{\mathcal{C}}\hat{U}(t)=\hat{T}_{\mathcal{C}}+t\cdot\hat{P}^{(+)}. Lastly, there is the freedom to choose any initial state of the form |ϕ𝒞(0)|χ(0){\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}(0)\right>} that does not lie in the kernel of α^\hat{\alpha} (Appendix F).

IV Necessity and Constraint Equivalence

This section shows that while the conditions of Eqs. (8) and (9) are not necessary, they are necessary up to constraint equivalence. First, a simple example shows that the conditions are not strictly necessary. Consider the interacting Hamiltonian H^U=(H^𝒞2+H^2+δ)(H^𝒞+H^)\hat{H}^{\prime}_{U}=\left(\hat{H}_{\mathcal{C}}^{2}+\hat{H}_{\mathcal{R}}^{2}+\delta\right)\cdot\left(\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}\right), expressed as a product of two commuting factors, with δ>0\delta>0. It is easy to check that [T^𝒞,α^]0\left[\hat{T}_{\mathcal{C}},\hat{\alpha}\right]\neq 0 and that |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} evolves with the unitary operator eiH^te^{-i\hat{H}_{\mathcal{R}}t}. This means that Eq. (8) is not necessary to recover a unitary dynamics. Similar considerations hold for Eq. (9). Here the reason is easy to understand: the factor H^𝒞2+H^2+δ\hat{H}_{\mathcal{C}}^{2}+\hat{H}_{\mathcal{R}}^{2}+\delta in H^U\hat{H}^{\prime}_{U} has no physical relevance for the relative dynamics of the Universe because it is positive definite, so the 0-eigenstates of H^U\hat{H}^{\prime}_{U} are all and only the 0-eigenstates of H^𝒞+H^\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}. Therefore, H^U\hat{H}^{\prime}_{U}, as a constraint, acts equivalently to H^𝒞+H^\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}, for which Eqs. (8)-(9) do hold.

This is not just a coincidence. It can be proved, more generally, that if H^U\hat{H}_{U} leads to unitary relative dynamics, then H^U\hat{H}_{U} is physically equivalent to a constraint 𝒞^\hat{\mathscr{C}} for which Eqs. (8)–(9) hold in the strong sense. This is proven in Appendix G assuming that |Ψ(t){\left|\Psi_{\mathcal{R}}(t)\right>} evolves with a strongly continuous unitary operator U^(t,t0)\hat{U}(t,t_{0}) admitting a self-adjoint generator X^(t)\hat{X}_{\mathcal{R}}(t) which is bounded, suptX^(t)<\sup\limits_{t}\norm{\hat{X}_{\mathcal{R}}(t)}<\infty. Here, physically equivalent means that the physical Hilbert space phy(H^U)\mathscr{H}_{phy}(\hat{H}_{U}), i.e. the 0-eigenspace of H^U\hat{H}_{U}, is the same as phy(𝒞^)\mathscr{H}_{phy}(\hat{\mathscr{C}}), and consequently H^U\hat{H}_{U} and 𝒞^\hat{\mathscr{C}} must lead to the same dynamics for |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> and |Ψ(t){\left|\Psi_{\mathcal{R}}(t)\right>}.

As a result, if H^U\hat{H}_{U} is not physically equivalent to a constraint with such properties, then the relative evolution must be non-unitary. For example, the non-interacting Hamiltonian of the Universe H^U′′=(H^𝒞+H^)(H^𝒞H^)\hat{H}^{\prime\prime}_{U}=\left(\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}\right)\cdot\left(\hat{H}_{\mathcal{C}}-\hat{H}_{\mathcal{R}}\right) is not physically equivalent to a constraint satisfying Eqs. (8)-(9) and it indeed leads to a non-unitary relative dynamics. Specifically, |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} obeys a dynamical equation analogous to the Klein-Gordon equation 12 and so it evolves, in general, non-unitarily. Some particular states |ψ(t){\left|\psi^{\prime}_{\mathcal{R}}(t)\right>} evolve unitarily, but further conditions are required to restrict to only such states 22.

V Physical Interpretation

What is the physical interpretation of Eqs. (8) and (9)? To understand this, consider the meaning of α^\hat{\alpha}. This operator was defined in 33 as the “time rate of the clock” 𝒞\mathcal{C} from the perspective of another non-interacting clock 𝒞2\mathcal{C}_{2}. As α^\hat{\alpha} is not a c-number, it should be more aptly called a rate operator. To see how it is connected to the rate of 𝒞\mathcal{C} from the perspective of 𝒞2\mathcal{C}_{2}, assume that 𝒞2\mathcal{C}_{2} is an ideal clock and consider the Hamiltonian of the Universe H^U=H^𝒞+H^+V^𝒞+H^𝒞2\hat{H}_{U}=\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}+\hat{V}_{\mathcal{C}\mathcal{R}}+\hat{H}_{\mathcal{C}_{2}}, with V^𝒞\hat{V}_{\mathcal{C}\mathcal{R}} an interaction term between 𝒞\mathcal{C} and \mathcal{R} only. Similarly to Eqs. (3)–(4), the state of 𝒞\mathcal{CR} when 𝒞2\mathcal{C}_{2} shows the time tt is given by |ψ𝒞(t)=eiH^𝒞t|ψ𝒞(0){\left|\psi_{\mathcal{CR}}(t)\right>}=e^{-i\hat{H}_{\mathcal{CR}}t}{\left|\psi_{\mathcal{CR}}(0)\right>}, with H^𝒞H^𝒞+H^+V^𝒞\hat{H}_{\mathcal{CR}}\coloneqq\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}+\hat{V}_{\mathcal{C}\mathcal{R}}. Due to 𝒞\mathcal{C}’s interaction with \mathcal{R}, |ψ𝒞(t){\left|\psi_{\mathcal{CR}}(t)\right>} will be, in general, an entangled state consisting of a superposition of states with different time readings of 𝒞\mathcal{C}, |ψ𝒞(t)=+dτ|ϕ𝒞(τ)ϕ𝒞(τ)|ψ𝒞(t){\left|\psi_{\mathcal{CR}}(t)\right>}=\int_{-\infty}^{+\infty}\text{d}\tau\,{\left|\phi_{\mathcal{C}}(\tau)\right>}\innerproduct{\phi_{\mathcal{C}}(\tau)}{\psi_{\mathcal{CR}}(t)}. The average time reading of 𝒞\mathcal{C} when 𝒞2\mathcal{C}_{2} reads tt is given by

τ𝒞¯(t)ψ𝒞(t)|T^𝒞|ψ𝒞(t)ψ𝒞(t)|ψ𝒞(t),\overline{\tau_{\mathcal{C}}}(t)\coloneqq\frac{{\left<\psi_{\mathcal{CR}}(t)\right|}\hat{T}_{\mathcal{C}}{\left|\psi_{\mathcal{CR}}(t)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(t)}{\psi_{\mathcal{CR}}(t)}}, (17)

so the rate of 𝒞\mathcal{C} from the perspective of 𝒞2\mathcal{C}_{2} is (Appendix H)

α(t)dτ𝒞¯(t)dt=ψ𝒞(t)|α^|ψ𝒞(t)ψ𝒞(t)|ψ𝒞(t).\alpha(t)\coloneqq\frac{\text{d}\overline{\tau_{\mathcal{C}}}(t)}{\text{d}t}=\frac{{\left<\psi_{\mathcal{CR}}(t)\right|}\hat{\alpha}{\left|\psi_{\mathcal{CR}}(t)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(t)}{\psi_{\mathcal{CR}}(t)}}. (18)

This equation connects the rate operator α^\hat{\alpha} of Eq. (7) to the real-valued, time-dependent rate α(t)\alpha(t) (in special relativity we would call this quantity 1/γ(t)1/\gamma(t)).55 5 Both the numerator and the denominator in these equations are divergent due to the states of the clock 𝒞\mathcal{C} being non-normalizable. Here, I assume that these divergencies cancel out, as they would if 𝒞\mathcal{C} were a realistic clock.

Now, Eq. (9) implies that (Appendix H)

dα(t)dt=0,t,\frac{\text{d}\alpha(t)}{\text{d}t}=0,\hskip 8.5359pt\forall t\in\mathds{R}, (19)

meaning that the rate of the clock is constant in time, α(t)=α(0)\alpha(t)=\alpha(0) for all tt\in\mathds{R}. The converse is also true: if α(t)\alpha(t) is constant in time for any choice of initial state |ψ𝒞(0){\left|\psi_{\mathcal{CR}}(0)\right>} (this is allowed because 𝒞\mathcal{CR} does not interact with 𝒞2\mathcal{C}_{2}), then [H^U,α^]=0\left[\hat{H}_{U},\hat{\alpha}\right]=0. Eq. (19) is also equivalent to

τ𝒞¯(t)=τ𝒞¯(0)+α(0)t,\overline{\tau_{\mathcal{C}}}(t)=\overline{\tau_{\mathcal{C}}}(0)+\alpha(0)t, (20)

showing that the times of 𝒞\mathcal{C} and 𝒞2\mathcal{C}_{2} are related by a linear transformation. The same would hold for any other clock not interacting with 𝒞\mathcal{C}.

Eq. (9) also implies that the variance of the time readings of 𝒞\mathcal{C} from the perspective of 𝒞2\mathcal{C}_{2} at time tt is given by

στ𝒞2(t)=στ𝒞2(0)+t2σα2(0)+2tCov(α(0),τ𝒞(0)),\sigma^{2}_{\tau_{\mathcal{C}}}(t)=\sigma^{2}_{\tau_{\mathcal{C}}}(0)+t^{2}\sigma^{2}_{\alpha}(0)+2t\,\text{Cov}(\alpha(0),\tau_{\mathcal{C}}(0)), (21)

with στ𝒞2(0)\sigma^{2}_{\tau_{\mathcal{C}}}(0), σα2(0)\sigma^{2}_{\alpha}(0) and Cov(α(0),τ𝒞(0))\text{Cov}(\alpha(0),\tau_{\mathcal{C}}(0)) the variances and covariance of τ𝒞\tau_{\mathcal{C}} and α\alpha at time 00, respectively (Appendix H). When |ψ𝒞(0){\left|\psi_{\mathcal{CR}}(0)\right>} is an eigenstate of T^𝒞\hat{T}_{\mathcal{C}}, this reduces to στ𝒞2(t)=t2σα2(0)\sigma^{2}_{\tau_{\mathcal{C}}}(t)=t^{2}\sigma^{2}_{\alpha}(0) and the relative uncertainty on the readings of 𝒞\mathcal{C} from the perspective of 𝒞2\mathcal{C}_{2} is στ𝒞/t=σα\sigma_{\tau_{\mathcal{C}}}/t=\sigma_{\alpha}, which is constant in time.

What about Eq. (8)? This condition can be interpreted as imposing that the rate operator α^\hat{\alpha} must be independent of the internal structure of the clock. This is because the equation (in the strong sense) implies that α^\hat{\alpha} is an operator-valued function of T^𝒞\hat{T}_{\mathcal{C}} only and thus does not contain H^𝒞\hat{H}_{\mathcal{C}}, which describes the internal structure of the clock. This is similar to relativity, where time dilation effects are independent of the clocks chosen to measure the time.66 6 We can imagine a Hamiltonian of the Universe H^U=γ1H^𝒞+H^\hat{H}_{U}=\gamma^{-1}\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}} with γ1\gamma^{-1}\in\mathds{R}, for which α^=γ1𝟙^U\hat{\alpha}=\gamma^{-1}\hat{\mathds{1}}_{U}. However, in this case we would have to rescale the time states |ϕ𝒞(t){\left|\phi_{\mathcal{C}}(t)\right>} with the same factor to preserve their interpretation. This would change T^𝒞\hat{T}_{\mathcal{C}} to γT^𝒞\gamma\hat{T}_{\mathcal{C}} and restore the “natural” rate of the clock α^=𝟙^U\hat{\alpha}=\hat{\mathds{1}}_{U}.

VI Conclusions

We have seen that the following statements are equivalent:

  1. 1.

    |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> and |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} evolve unitarily.

  2. 2.

    H^U\hat{H}_{U} is physically equivalent to a constraint for which Eqs. (8) and (9) hold (excluding the pathological constraints discussed in Appendix D).

  3. 3.

    The rate of the clock 𝒞\mathcal{C} is constant with respect to any other non-interacting clock and does not depend on the internal structure of 𝒞\mathcal{C}.

This characterizes the types of Hamiltonians of the Universe that lead to a unitary dynamics from both the mathematical and the interpretational point of view. This characterization relies on the clock 𝒞\mathcal{C} being an ideal clock, so it should also hold in the limiting case of ever more precise realistic clocks. Therefore, we can expect its insights on unitarity in timeless quantum theory to be general. Nevertheless, it would be useful to consider how these results extend to non-ideal clocks, which are often treated using POVMs rather than projective measurements 5; 38; 23; 9, and where further breakdowns of unitarity might appear 18. Closely related questions arise in the framework of quantum reference frames, where time is treated relationally 16; 19; 39. I leave these investigations for future work.

What to make of non-unitarity? The two conditions found in this work point to two different origins of this effect. Hamiltonians of the Universe that violate Eq. (8) make the rate of the clock depend on its internal structure, meaning that the flow of time changes with the choice of clock, and so the effect is not general but clock-specific. This might happen for some types of interactions with the clock, but we have also observed this for a non-interacting relativistic Hamiltonian of the Universe. In this latter case, non-unitarity is due to the relativistic quantum mechanical treatment, similarly to the non-unitarity of the Klein-Gordon equation, and the problem might be solved by adopting a quantum field theoretic timeless approach (see 21 for a first step in this direction).

Hamiltonians that satisfy Eq. (8) but violate Eq. (9) seem to lead to a different type of non-unitarity. Specifically, they are related to clock rates that change in time but do so independently of the clock choice. In this case, the origin of non-unitarity can be intuitively grasped in the following way. Assume for simplicity that α^\hat{\alpha} is invertible. The evolution operator of |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> is still given by U^(t)=eiα^1H^Ut\hat{U}(t)=e^{-i\hat{\alpha}^{-1}\hat{H}_{U}t}, but with U^(t)\hat{U}(t) non-unitary because α^1\hat{\alpha}^{-1} and H^U\hat{H}_{U} do not commute. α^1\hat{\alpha}^{-1} can be seen as changing the evolution rate of the different eigenstates of α^1\hat{\alpha}^{-1} appearing in |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>. If α^1\hat{\alpha}^{-1} and H^U\hat{H}_{U} commuted, then they would share a common set of eigenstates {|χj}j\left\{\left|\left.\kern-1.2pt\chi_{j}\right>\right>\right\}_{j} (assuming the set is discrete for ease of notation) such that α^1|χj=αj1|χj\hat{\alpha}^{-1}\left|\left.\kern-1.2pt\chi_{j}\right>\right>=\alpha^{-1}_{j}\left|\left.\kern-1.2pt\chi_{j}\right>\right> and H^U|χj=Ej|χj\hat{H}_{U}\left|\left.\kern-1.2pt\chi_{j}\right>\right>=E_{j}\left|\left.\kern-1.2pt\chi_{j}\right>\right>, and thus |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> could be expressed as |ψU(t)=jλjeiαj1Ejt|χj\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>=\sum_{j}\lambda_{j}e^{-i\alpha^{-1}_{j}E_{j}t}\left|\left.\kern-1.2pt\chi_{j}\right>\right>, showing that α^1\hat{\alpha}^{-1} affects the evolution rate of the different eigenstates in a way that is non-trivial but preserves unitarity. However, if α^1\hat{\alpha}^{-1} and H^U\hat{H}_{U} do not commute, then H^U\hat{H}_{U} mixes the different eigenstates of α^1\hat{\alpha}^{-1}, so a state that starts evolving with a certain rate ends up in a superposition of states evolving with different rates. The result is a non-unitary evolution.

Under the condition of Eq. (8), preventing the clock from coupling to other systems would ensure unitarity because we would have α^=𝟙^U\hat{\alpha}=\hat{\mathds{1}}_{U}. If the clock were a composite system, it would be sufficient to prevent the coupling between the degrees of freedom responsible for the clock’s timekeeping and the rest of the Universe. However, some interactions with the clock’s internal degrees of freedom may be inevitable 7 while others lead to desirable relativistic time dilation effects 37. A straightforward generalization of these types of interactions leads to non-unitarity. Consider, for instance, H^U=H^𝒞int+(P^𝒞CM)22m𝒞+H^+Λ(X^𝒞CM)H^𝒞intH^\hat{H}_{U}=\hat{H}^{int}_{\mathcal{C}}+\frac{\left(\hat{P}^{CM}_{\mathcal{C}}\right)^{2}}{2m_{\mathcal{C}}}+\hat{H}_{\mathcal{R}}+\Lambda(\hat{X}^{CM}_{\mathcal{C}})\hat{H}^{int}_{\mathcal{C}}\hat{H}_{\mathcal{R}}, with H^𝒞int\hat{H}^{int}_{\mathcal{C}} the Hamiltonian of the internal degrees of freedom of the clock, P^𝒞CM\hat{P}^{CM}_{\mathcal{C}} and X^𝒞CM\hat{X}^{CM}_{\mathcal{C}} the momentum and position of its centre of mass, and the interaction term obtained using the mass-energy equivalence principle in a Newtonian-like potential between 𝒞\mathcal{C} and \mathcal{R} 7 which is function of X^𝒞CM\hat{X}^{CM}_{\mathcal{C}}. The rate operator α^=𝟙^U+Λ(X^𝒞CM)H^\hat{\alpha}=\hat{\mathds{1}}_{U}+\Lambda(\hat{X}^{CM}_{\mathcal{C}})\hat{H}_{\mathcal{R}} does not commute with H^U\hat{H}_{U} and so the evolution is non-unitary despite H^U\hat{H}_{U} describing a simple and natural physical scenario of a clock moving under the influence of a Newtonian-like potential.

Overall, non-unitarity appears to be a genuine feature of timeless quantum theory related to well-defined physical properties of the clock. It is now crucial to understand how this effect can be reconciled with the physical interpretation of unitarity in standard quantum theory.

Acknowledgments.

The author is grateful to an anonymous referee for a careful and constructive review, which led to substantial improvements in the mathematical foundations of the manuscript. This work has been supported in part by the Israel Science Foundation Grant No. 1713/24.

References

  • Anderson (2017) E. Anderson The Problem of Time. Fundamental Theories of Physics, Vol. 190, Springer International Publishing, Cham. External Links: ISBN 978-3-319-58846-9 978-3-319-58848-3, Link Cited by: §I.
  • Bojowald et al. (2011a) M. Bojowald, P. A. Höhn, and A. Tsobanjan An effective approach to the problem of time. Class. Quantum Grav. 28 (3), pp. 035006 (en). External Links: ISSN 0264-9381, Link, Document Cited by: §I.
  • Bojowald et al. (2011b) M. Bojowald, P. A. Höhn, and A. Tsobanjan Effective approach to the problem of time: General features and examples. Phys. Rev. D 83 (12), pp. 125023. External Links: Link, Document Cited by: §I.
  • [4] Č. Brukner, Y. Guryanova, M. P. E. Lock, and I. L. Paiva Non-unitarity in the Page-Wootters formalism. In preparation. Cited by: §I.
  • Busch (1990) P. Busch On the energy-time uncertainty relation. Part I: Dynamical time and time indeterminacy. Found. Phys. 20 (1), pp. 1–32 (en). External Links: ISSN 1572-9516, Link, Document Cited by: §VI.
  • Cafasso et al. (2024) D. Cafasso, N. Pranzini, J. Y. Malo, V. Giovannetti, and M. Chiofalo Quantum time and the time-dilation induced interaction transfer mechanism. Phys. Rev. D 110 (10), pp. 106014. External Links: Link, Document Cited by: §I, §II.
  • Castro Ruiz et al. (2017) E. Castro Ruiz, F. Giacomini, and Č. Brukner Entanglement of quantum clocks through gravity. Proc. Natl. Acad. Sci. U.S.A. 114 (12), pp. E2303–E2309. External Links: Link, Document Cited by: §I, §VI.
  • Castro-Ruiz et al. (2020) E. Castro-Ruiz, F. Giacomini, A. Belenchia, and Č. Brukner Quantum clocks and the temporal localisability of events in the presence of gravitating quantum systems. Nat. Commun. 11 (1), pp. 2672 (en). External Links: ISSN 2041-1723, Link, Document Cited by: §I, §II, §III.
  • Chataignier et al. (2026) L. Chataignier, P. A. Höhn, M. P. E. Lock, and F. M. Mele Relational dynamics with periodic clocks. New J. Phys. 28 (3), pp. 034504 (en). External Links: ISSN 1367-2630, Link, Document Cited by: §VI.
  • Deutsch (1986) D. Deutsch Three Connections Between Everett’s Interpretation and Experiment. In Quantum concepts in space and time, R. Penrose and C. J. Isham (Eds.), pp. 215–225. Cited by: §I.
  • DeWitt (1967) B. S. DeWitt Quantum Theory of Gravity. I. The Canonical Theory. Phys. Rev. 160 (5), pp. 1113–1148 (en). External Links: ISSN 0031-899X, Link, Document Cited by: §II.
  • Diaz et al. (2019) N. L. Diaz, J. M. Matera, and R. Rossignoli History state formalism for scalar particles. Phys. Rev. D 100 (12), pp. 125020. External Links: Link, Document Cited by: §IV.
  • Everett (1957) H. Everett "Relative State" Formulation of Quantum Mechanics. Rev. Mod. Phys. 29 (3), pp. 454–462. External Links: ISSN 0034-6861, Link, Document Cited by: §II.
  • Favalli and Smerzi (2025) T. Favalli and A. Smerzi Time Dilation of Quantum Clocks in a Relativistic Gravitational Potential. Entropy 27 (5) (en). External Links: ISSN 1099-4300, Link Cited by: §I, §II.
  • Gemsheim and Rost (2023) S. Gemsheim and J. M. Rost Emergence of Time from Quantum Interaction with the Environment. Phys. Rev. Lett. 131 (14), pp. 140202. External Links: Link, Document Cited by: §I.
  • Giacomini et al. (2019) F. Giacomini, E. Castro-Ruiz, and Č. Brukner Quantum mechanics and the covariance of physical laws in quantum reference frames. Nat Commun 10 (1), pp. 494 (en). External Links: ISSN 2041-1723, Link, Document Cited by: §VI.
  • Giovannetti et al. (2015) V. Giovannetti, S. Lloyd, and L. Maccone Quantum time. Phys. Rev. D 92 (4), pp. 045033. External Links: Link, Document Cited by: §I, §II, §II, §II.
  • Hausmann et al. (2025) L. Hausmann, A. Schmidhuber, and E. Castro-Ruiz Measurement events relative to temporal quantum reference frames. Quantum 9, pp. 1616 (en-GB). External Links: Link, Document Cited by: §VI.
  • Höhn and Vanrietvelde (2020) P. A. Höhn and A. Vanrietvelde How to switch between relational quantum clocks. New J. Phys. 22 (12), pp. 123048 (en). External Links: ISSN 1367-2630, Link, Document Cited by: §VI.
  • Höhn et al. (2012) P. A. Höhn, E. Kubalová, and A. Tsobanjan Effective relational dynamics of a nonintegrable cosmological model. Phys. Rev. D 86 (6), pp. 065014. External Links: Link, Document Cited by: §I.
  • Höhn et al. (2024) P. A. Höhn, A. Russo, and A. R. H. Smith Matter relative to quantum hypersurfaces. Phys. Rev. D 109 (10), pp. 105011. External Links: Link, Document Cited by: §VI.
  • Höhn et al. (2021a) P. A. Höhn, A. R. H. Smith, and M. P. E. Lock Equivalence of Approaches to Relational Quantum Dynamics in Relativistic Settings. Front. Phys. 9. External Links: ISSN 2296-424X, Link Cited by: §IV.
  • Höhn et al. (2021b) P. A. Höhn, A. R. H. Smith, and M. P. E. Lock Trinity of relational quantum dynamics. Phys. Rev. D 104 (6), pp. 066001. External Links: Link, Document Cited by: §I, §II, §VI.
  • I. M. Gelfand and N. Ya. Vilenkin (1964) I. M. Gelfand and N. Ya. Vilenkin Generalized Functions Vol 4 Applications Of Harmonic Analysis. Academic Press. Cited by: §II.
  • Isham (1993) C. J. Isham Canonical Quantum Gravity and the Problem of Time. In Integrable Systems, Quantum Groups, and Quantum Field Theories, L. A. Ibort and M. A. Rodríguez (Eds.), pp. 157–287. External Links: ISBN 978-94-011-1980-1, Link, Document Cited by: §I.
  • Kuchař (2011) K. V. Kuchař Time and interpretations of quantum gravity. Int. J. Mod. Phys. D 20 (supp01), pp. 3–86. External Links: ISSN 0218-2718, Link, Document Cited by: §I.
  • Kuypers and Rijavec (2025) S. Kuypers and S. Rijavec Measuring time in a timeless universe. Phys. Rev. D 112 (6), pp. 063544. External Links: Link, Document Cited by: Appendix G, §I, §II.
  • Kuypers (2022) S. Kuypers The quantum theory of time: a calculus for q-numbers. Proc. R. Soc. A 478 (2263), pp. 20210970. External Links: Link, Document Cited by: footnote 3.
  • Marletto and Vedral (2017) C. Marletto and V. Vedral Evolution without evolution and without ambiguities. Phys. Rev. D 95 (4), pp. 043510. External Links: Link, Document Cited by: §I.
  • Mendes et al. (2021) L. R. S. Mendes, F. Brito, and D. O. Soares-Pinto Non-linear equation of motion for Page-Wootters mechanism with interaction and quasi-ideal clocks. arXiv:2107.11452. External Links: Link Cited by: §I.
  • Page and Wootters (1983) D. N. Page and W. K. Wootters Evolution without evolution: Dynamics described by stationary observables. Phys. Rev. D 27 (12), pp. 2885–2892. External Links: ISSN 0556-2821, Link, Document Cited by: §I, §I, §II, §II.
  • Paiva et al. (2022a) I. L. Paiva, A. C. Lobo, and E. Cohen Flow of time during energy measurements and the resulting time-energy uncertainty relations. Quantum 6, pp. 683. External Links: Link, Document Cited by: §I, §II.
  • Paiva et al. (2022b) I. L. Paiva, A. Te’eni, B. Y. Peled, E. Cohen, and Y. Aharonov Non-inertial quantum clock frames lead to non-Hermitian dynamics. Commun. Phys. 5 (1), pp. 1–7. External Links: ISSN 2399-3650, Link, Document Cited by: §I, §II, §III, §V.
  • Reed and Simon (1972) M. Reed and B. Simon Methods of Modern Mathematical Physics: Functional Analysis. Academic Press. External Links: ISBN 0-12-585050-6 Cited by: §III.
  • Rijavec (2023) S. Rijavec Robustness of the Page-Wootters construction across different pictures, states of the universe, and system-clock interactions. Phys. Rev. D 108 (6), pp. 063507. External Links: Link, Document Cited by: §I, §II, §II, footnote 3.
  • Singh and Friedrich (2025) A. Singh and O. Friedrich Emergence of Gravitational Potential and Time Dilation from Non-interacting Systems Coupled to a Global Quantum Clock. Found. Phys. 55 (6), pp. 82 (en). External Links: ISSN 1572-9516, Link, Document Cited by: §I.
  • Smith and Ahmadi (2019) A. R. H. Smith and M. Ahmadi Quantizing time: Interacting clocks and systems. Quantum 3, pp. 160. External Links: Link, Document Cited by: Appendix E, §I, §II, §II, §II, §II, §VI.
  • Smith and Ahmadi (2020) A. R. H. Smith and M. Ahmadi Quantum clocks observe classical and quantum time dilation. Nat. Commun. 11 (1), pp. 5360. External Links: ISSN 2041-1723, Link, Document Cited by: §I, §II, §VI.
  • Vanrietvelde et al. (2020) A. Vanrietvelde, P. A. Hoehn, F. Giacomini, and E. Castro-Ruiz A change of perspective: switching quantum reference frames via a perspective-neutral framework. Quantum 4, pp. 225 (en-GB). External Links: Link, Document Cited by: §VI.

Appendix A General dynamical equation

Since H^𝒞\hat{H}_{\mathcal{C}} and T^𝒞\hat{T}_{\mathcal{C}} generate the algebra of observables of 𝒞{\mathcal{C}}, the interaction term of the Hamiltonian of the Universe V^\hat{V} in Eq. (2) can be written as a sum of products of H^𝒞\hat{H}_{\mathcal{C}}, T^𝒞\hat{T}_{\mathcal{C}}, and some observables of \mathcal{R}. Let me denote this as V^=V^(T^𝒞,H^𝒞)\hat{V}=\hat{V}(\hat{T}_{\mathcal{C}},\hat{H}_{\mathcal{C}}). We can then rewrite V^(T^𝒞,H^𝒞)\hat{V}(\hat{T}_{\mathcal{C}},\hat{H}_{\mathcal{C}}) as V^(T^𝒞,H^𝒞)\hat{V}^{\prime}(\hat{T}_{\mathcal{C}},\hat{H}_{\mathcal{C}}) where all T^𝒞\hat{T}_{\mathcal{C}} are moved to the left of H^𝒞\hat{H}_{\mathcal{C}} using the fact that [T^𝒞,H^𝒞]=i\left[\hat{T}_{\mathcal{C}},\hat{H}_{\mathcal{C}}\right]=i\hbar. Now, H^𝒞\hat{H}_{\mathcal{C}} acts on the time states of the clock as H^𝒞|ϕ𝒞(t)=id|ϕ𝒞(t)dt\hat{H}_{\mathcal{C}}{\left|\phi_{\mathcal{C}}(t)\right>}=i\frac{\text{d}{\left|\phi_{\mathcal{C}}(t)\right>}}{\text{d}t}, so when taking the partial inner product ϕ𝒞(t)|H^U|ΨU=0{\left<\phi_{\mathcal{C}}(t)\right|}\hat{H}_{U}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=0, with H^U\hat{H}_{U} expressed using V^(T^𝒞,H^𝒞)\hat{V}^{\prime}(\hat{T}_{\mathcal{C}},\hat{H}_{\mathcal{C}}), we can simply substitute T^𝒞\hat{T}_{\mathcal{C}} with tt and H^𝒞\hat{H}_{\mathcal{C}} with iddti\frac{\text{d}}{\text{d}t} to get Eq. (5). Similarly, using Π^tH^U|ΨU=0\hat{\Pi}_{t}\hat{H}_{U}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=0 and the fact that idΠ^tdt=[H^𝒞,Π^t]i\frac{\text{d}\hat{\Pi}_{t}}{\text{d}t}=\left[\hat{H}_{\mathcal{C}},\hat{\Pi}_{t}\right], we get Eq. (6).

Consider, for instance, V^=T^𝒞H^𝒞T^𝒞O^\hat{V}=\hat{T}_{\mathcal{C}}\hat{H}_{\mathcal{C}}\hat{T}_{\mathcal{C}}\otimes\hat{O}_{\mathcal{R}}. We can rewrite it as V^(T^𝒞,H^𝒞)=T^𝒞2H^𝒞O^iT^𝒞O^\hat{V}^{\prime}(\hat{T}_{\mathcal{C}},\hat{H}_{\mathcal{C}})=\hat{T}^{2}_{\mathcal{C}}\hat{H}_{\mathcal{C}}\otimes\hat{O}_{\mathcal{R}}-i\hat{T}_{\mathcal{C}}\otimes\hat{O}_{\mathcal{R}} and so we have

[iddtH^+it2O^ddt+itO^]|ψ(t)=0,\left[i\frac{\text{d}}{\text{d}t}-\hat{H}_{\mathcal{R}}+it^{2}\hat{O}_{\mathcal{R}}\frac{\text{d}}{\text{d}t}+it\hat{O}_{\mathcal{R}}\right]{\left|\psi_{\mathcal{R}}(t)\right>}=0, (22)

and

[iddtH^H^𝒞+it2O^ddtt2H^𝒞O^+itO^]|ψU(t)=0.\left[i\frac{\text{d}}{\text{d}t}-\hat{H}_{\mathcal{R}}-\hat{H}_{\mathcal{C}}+it^{2}\hat{O}_{\mathcal{R}}\frac{\text{d}}{\text{d}t}-t^{2}\hat{H}_{\mathcal{C}}\hat{O}_{\mathcal{R}}+it\hat{O}_{\mathcal{R}}\right]{\left|\psi_{U}(t)\right>}=0. (23)

If the nn-th power of H^𝒞\hat{H}_{\mathcal{C}} appeared in V^\hat{V}, then these equations would contain time derivatives up to order nn.

Appendix B Global and local unitarity

As discussed in the body of this work, we need to be careful when talking about unitarity in timeless quantum theory because the constraint of Eq. (1) can exclude some time states of \mathcal{R}/UU and so the evolution operator of |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} or |ψU(t){\left|\psi_{U}(t)\right>} does not necessarily need to be unitary but just needs to act unitarily on the subspace of allowed time states of \mathcal{R}/UU. Therefore, there will be an equivalence class of operators that act unitarily on such subspace and, in the following, unitary evolution will refer to the fact that the evolution operator of |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} or |ψU(t){\left|\psi_{U}(t)\right>} belongs to such an equivalence class.

With this clarification, we can easily see that if |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} evolves unitarily, then so does |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>. This is because if |ψ(t)=V^(t,t0)|ψ(t0){\left|\psi_{\mathcal{R}}(t)\right>}=\hat{V}(t,t_{0}){\left|\psi_{\mathcal{R}}(t_{0})\right>} with V^(t,t0)\hat{V}(t,t_{0}) unitary, then |ψU(t)=W^(t,t0)|ψU(t0)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>=\hat{W}(t,t_{0})\left|\left.\kern-1.2pt\psi_{U}(t_{0})\right>\right> with W^(t,t0)eiH^𝒞(tt0)V^(t,t0)\hat{W}(t,t_{0})\coloneqq e^{-i\hat{H}_{\mathcal{C}}(t-t_{0})}\otimes\hat{V}(t,t_{0}) which is also unitary. The converse is also true. To see this, assume that |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} evolves non-unitarily, meaning that |ψ(t)=V^(t)|ψ(0){\left|\psi_{\mathcal{R}}(t)\right>}=\hat{V^{\prime}}(t){\left|\psi_{\mathcal{R}}(0)\right>} with V^(t)\hat{V^{\prime}}(t) not equivalent to an operator acting unitarily on the subspace of allowed states of \mathcal{R}. The states of the Universe at different times can then be expressed as |ψU(t)=W^(t)|ψU(0)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>=\hat{W^{\prime}}(t)\left|\left.\kern-1.2pt\psi_{U}(0)\right>\right> with W^(t)eiH^𝒞tV^(t)\hat{W^{\prime}}(t)\coloneqq e^{-i\hat{H}_{\mathcal{C}}t}\otimes\hat{V^{\prime}}(t) which is also not equivalent to an operator acting unitarily on the subspace of the allowed time states of UU.

Appendix C Generalized Schrödinger equation

The first step to derive Eq. (10) is to write the improper projector |ϕ𝒞(t)ϕ𝒞(t)|{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|} in the following way

|ϕ𝒞(t)ϕ𝒞(t)|=+dε2πeiε(T^𝒞t)=δ(T^𝒞t).{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|}=\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}=\delta(\hat{T}_{\mathcal{C}}-t). (24)

One can easily check that +dε2πeiε(T^𝒞t)|ϕ𝒞(t)=+dε2πeiε(tt)|ϕ𝒞(t)=δ(tt)|ϕ𝒞(t)\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}{\left|\phi_{\mathcal{C}}(t^{\prime})\right>}=\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,e^{i\varepsilon(t^{\prime}-t)}{\left|\phi_{\mathcal{C}}(t^{\prime})\right>}=\delta(t^{\prime}-t){\left|\phi_{\mathcal{C}}(t^{\prime})\right>}, as expected. Therefore Π^t=+dε2πeiε(T^𝒞t)𝟙^\hat{\Pi}_{t}=\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}\otimes\hat{\mathds{1}}_{\mathcal{R}}. We can use this expression and Eq. (1) to get (omitting 𝟙^\hat{\mathds{1}}_{\mathcal{R}} for ease of notation)

0=Π^tH^U|ΨU=+dε2πeiε(T^𝒞t)H^U|ΨU=+dε2πeiε(T^𝒞t)H^Ueiε(T^𝒞t)eiε(T^𝒞t)|ΨU.0=\hat{\Pi}_{t}\hat{H}_{U}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}\hat{H}_{U}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}\hat{H}_{U}e^{-i\varepsilon(\hat{T}_{\mathcal{C}}-t)}e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>. (25)

But we also have

eiε(T^𝒞t)H^Ueiε(T^𝒞t)=H^U+iε[T^𝒞,H^U]+(iε)22![T^𝒞,[T^𝒞,H^U]]+=H^U+iε[T^𝒞,H^U]=H^Uεα^,e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}\hat{H}_{U}e^{-i\varepsilon(\hat{T}_{\mathcal{C}}-t)}=\hat{H}_{U}+i\varepsilon\left[\hat{T}_{\mathcal{C}},\hat{H}_{U}\right]+\frac{\left(i\varepsilon\right)^{2}}{2!}\left[\hat{T}_{\mathcal{C}},\left[\hat{T}_{\mathcal{C}},\hat{H}_{U}\right]\right]+\dots=\hat{H}_{U}+i\varepsilon\left[\hat{T}_{\mathcal{C}},\hat{H}_{U}\right]=\hat{H}_{U}-\varepsilon\hat{\alpha}, (26)

where the second equality follows from Eqs. (7) and (8). Therefore, Eq. (25) becomes

0=+dε2π(H^Uεα^)eiε(T^𝒞t)|ΨU=(H^Uiα^ddt)+dε2πeiε(T^𝒞t)|ΨU=(H^Uiα^ddt)|ψU(t).0=\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,\left(\hat{H}_{U}-\varepsilon\hat{\alpha}\right)e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\left(\hat{H}_{U}-i\hat{\alpha}\frac{\text{d}}{\text{d}t}\right)\int_{-\infty}^{+\infty}\frac{\text{d}\varepsilon}{2\pi}\,e^{i\varepsilon(\hat{T}_{\mathcal{C}}-t)}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\left(\hat{H}_{U}-i\hat{\alpha}\frac{\text{d}}{\text{d}t}\right)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right>. (27)

Rearranging the terms we get Eq. (10).

Appendix D Pathological constraints

The timeless approach considered in this work is ill-defined for some pathological types of constraints. Such constraints do not lead to a good notion of dynamics, so the results of this work do not apply to them. In general, any constraint 𝒞^\hat{\mathscr{C}} that has a 0-eigenstate of the form |ϕ𝒞(t)|χ{\left|\phi_{\mathcal{C}}(t)\right>}{\left|\chi_{\mathcal{R}}\right>} for some tt and |χ{\left|\chi_{\mathcal{R}}\right>}\in\mathscr{H}_{\mathcal{R}} is problematic. This is because |ΨU=|ϕ𝒞(t)|χ\left|\left.\kern-1.2pt\Psi_{U}\right>\right>={\left|\phi_{\mathcal{C}}(t)\right>}{\left|\chi_{\mathcal{R}}\right>} is an allowed state of the Universe but does not lead to any dynamics and, in fact, allows only one time instant to exist. Moreover, if there is more than one such eigenstate for different values of tt, then we can consider the state of the Universe |ΨU=jλ(tj)|ϕ𝒞(tj)|χ(tj)\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\sum_{j}\lambda(t_{j}){\left|\phi_{\mathcal{C}}(t_{j})\right>}{\left|\chi(t_{j})\right>}. Since the λ(tj)\lambda(t_{j}) can be chosen arbitrarily, the norm of |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} can be changed arbitrarily and so the operator connecting the different |ψ(tj){\left|\psi_{\mathcal{R}}(t_{j})\right>} (if it exists) is, in general, not unitary.

An example of such pathological constraints is the class of constraints 𝒞^\hat{\mathscr{C}} that do not contain H^𝒞\hat{H}_{\mathcal{C}} but only T^𝒞\hat{T}_{\mathcal{C}}. The 0-eigenstates of 𝒞^\hat{\mathscr{C}} must all be of the form |ϕ𝒞(t)|χ(t){\left|\phi_{\mathcal{C}}(t)\right>}{\left|\chi(t)\right>} because 𝒞^\hat{\mathscr{C}} commutes with T^𝒞\hat{T}_{\mathcal{C}} (which is non-degenerate). The states |ψU(t)\left|\left.\kern-1.2pt\psi_{U}(t)\right>\right> deriving from such constraints do not obey a dynamical equation as in Eq. (6) because there is no derivative with respect to time. This is reflected in the fact that α^=0\hat{\alpha}=0.

Another problematic class of constraints consists of those that can be factorized as 𝒞^=𝒞^1𝒞^2\hat{\mathscr{C}}=\hat{\mathscr{C}}_{1}\cdot\hat{\mathscr{C}}_{2} with 𝒞^2\hat{\mathscr{C}}_{2} of the form 𝟙^𝒞𝒞^2\hat{\mathds{1}}_{\mathcal{C}}\otimes\hat{\mathscr{C}}_{2} having at least one 0-eigenstate (𝒞^1\hat{\mathscr{C}}_{1} and 𝒞^2\hat{\mathscr{C}}_{2} must commute because 𝒞^\hat{\mathscr{C}} is self-adjoint). In this case, there is a set of 0-eigenstates of 𝒞^\hat{\mathscr{C}} of the form {|φ|χj}j\left\{{\left|\varphi\right>}{\left|\chi_{j}\right>}\right\}_{j}, with 𝒞^2|χj=0\hat{\mathscr{C}}_{2}{\left|\chi_{j}\right>}=0 j\forall j, for any |φ𝒞{\left|\varphi\right>}\in\mathscr{H}_{\mathcal{C}}, so, in particular, any |ϕ𝒞(t)|χj{\left|\phi_{\mathcal{C}}(t)\right>}{\left|\chi_{j}\right>} will be a 0-eigenstate of 𝒞^\hat{\mathscr{C}} for any tt\in\mathds{R}.

Appendix E Reduced relative dynamics

Let us start with Eq. (14) which we can write as

i|ϕ𝒞(t)d|ψ(t)dt=(α^+H^UH^𝒞)|ϕ𝒞(t)|ψ(t).i{\left|\phi_{\mathcal{C}}(t)\right>}\frac{\text{d}{\left|\psi_{\mathcal{R}}(t)\right>}}{\text{d}t}=\left(\hat{\alpha}^{+}\hat{H}_{U}-\hat{H}_{\mathcal{C}}\right){\left|\phi_{\mathcal{C}}(t)\right>}{\left|\psi_{\mathcal{R}}(t)\right>}. (28)

If we multiply this equation on the left with Π^t\hat{\Pi}_{t^{\prime}} and integrate in tt^{\prime} we get

id|ψ(t)dt=dtϕ𝒞(t)|α^+H^UH^𝒞|ϕ𝒞(t)|ψ(t),i\,\frac{\text{d}{\left|\psi_{\mathcal{R}}(t^{\prime})\right>}}{\text{d}t^{\prime}}=\int\text{d}t^{\prime}\,{\left<\phi_{\mathcal{C}}(t^{\prime})\right|}\hat{\alpha}^{+}\hat{H}_{U}-\hat{H}_{\mathcal{C}}{\left|\phi_{\mathcal{C}}(t)\right>}{\left|\psi_{\mathcal{R}}(t)\right>}, (29)

which is similar to the equation appearing in 37. However, in this case Eqs. (7)-(9) imply that

[α^+H^UH^𝒞,T^𝒞]=iα^+α^+i=i(P^(+)1)=iP^(0),\left[\hat{\alpha}^{+}\hat{H}_{U}-\hat{H}_{\mathcal{C}},\hat{T}_{\mathcal{C}}\right]=-i\hat{\alpha}^{+}\hat{\alpha}+i=i(\hat{P}^{(+)}-1)=i\hat{P}^{(0)}, (30)

from which follows that (tt)ϕ𝒞(t)|α^+H^UH^𝒞|ϕ𝒞(t)|ψ(t)=i(tt)P^(0)(t)|ψ(t)=0(t-t^{\prime}){\left<\phi_{\mathcal{C}}(t^{\prime})\right|}\hat{\alpha}^{+}\hat{H}_{U}-\hat{H}_{\mathcal{C}}{\left|\phi_{\mathcal{C}}(t)\right>}{\left|\psi_{\mathcal{R}}(t)\right>}=i(t-t^{\prime})\hat{P}^{(0)}(t){\left|\psi_{\mathcal{R}}(t)\right>}=0, t,t\forall t,t^{\prime}, because |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} is restricted to the subspace orthogonal to P^(0)\hat{P}^{(0)}. Therefore, after renaming the variable tt^{\prime},

id|ψ(t)dt=H^eff(t)|ψ(t),i\,\frac{\text{d}{\left|\psi_{\mathcal{R}}(t)\right>}}{\text{d}t}=\hat{H}_{\mathcal{R}}^{eff}(t){\left|\psi_{\mathcal{R}}(t)\right>}, (31)

with H^eff(t)ϕ𝒞(t)|α^+H^UH^𝒞|ϕ𝒞(t)\hat{H}_{\mathcal{R}}^{eff}(t)\propto{\left<\phi_{\mathcal{C}}(t)\right|}\hat{\alpha}^{+}\hat{H}_{U}-\hat{H}_{\mathcal{C}}{\left|\phi_{\mathcal{C}}(t)\right>}. The solution to this equation is

|ψ(t)=𝒯exp(it0tdsH^eff(s))|ψ(t0).{\left|\psi_{\mathcal{R}}(t)\right>}=\mathcal{T}\exp\!\left(-i\int_{t_{0}}^{t}\text{d}s\,\hat{H}_{\mathcal{R}}^{eff}(s)\right){\left|\psi_{\mathcal{R}}(t_{0})\right>}. (32)

Also note that we can write H^eff(t)\hat{H}_{\mathcal{R}}^{eff}(t), with an abuse of notation, as H^eff(t)=ϕ𝒞(t)|α^+H^UH^𝒞|ϕ𝒞(t)/δ(0)\hat{H}_{\mathcal{R}}^{eff}(t)={\left<\phi_{\mathcal{C}}(t)\right|}\hat{\alpha}^{+}\hat{H}_{U}-\hat{H}_{\mathcal{C}}{\left|\phi_{\mathcal{C}}(t)\right>}/\delta(0).

Appendix F Freedom in the choice of initial state

It is possible to construct a stationary state of the Universe starting from any state |ΘU\left|\left.\kern-1.2pt\Theta\right>\right>\in\mathscr{H}_{U} in the following way

|ΨU=+dteiH^Ut|Θ.\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\text{d}t\,e^{-i\hat{H}_{U}t}\left|\left.\kern-1.2pt\Theta\right>\right>. (33)

In particular,

|ΨU=+dteiH^Ut|ϕ𝒞(0)|χ,\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\text{d}t\,e^{-i\hat{H}_{U}t}{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}, (34)

is also a stationary state of the Universe for any |χ{\left|\chi_{\mathcal{R}}\right>}\in\mathscr{H}_{\mathcal{R}}. While |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> in Eq. (34) is constructed from |ϕ𝒞(0)|χ{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}, it is not necessarily true that the state of the Universe at time t=0t=0 is |ϕ𝒞(0)|χ{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}, that is, we could have Π^0|ΨU|ϕ𝒞(0)|χ\hat{\Pi}_{0}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>\neq{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}. However, if H^U\hat{H}_{U} satisfies Eqs. (8)–(9) then we can choose the state used to construct |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> so that Π^0|ΨU\hat{\Pi}_{0}\left|\left.\kern-1.2pt\Psi_{U}\right>\right> is equal to |ϕ𝒞(0)|χ{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>} for any |χ{\left|\chi_{\mathcal{R}}\right>}\in\mathscr{H}_{\mathcal{R}} as long as |ϕ𝒞(0)|χ{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>} does not lie in the kernel of α^\hat{\alpha}. To see this, consider

Π^0|ΨU=+dtΠ^0eiH^Ut|ϕ𝒞(0)|χ\hat{\Pi}_{0}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\text{d}t\,\hat{\Pi}_{0}e^{-i\hat{H}_{U}t}{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>} (35)

Using Eq. (24), we can write this as

Π^0|ΨU=+dtdε2πeiεT^𝒞eiH^Ut|ϕ𝒞(0)|χ=+dtdε2πeiεT^𝒞eiH^UteiεT^𝒞eiεT^𝒞|ϕ𝒞(0)|χ=+dtdε2πeit(H^U+iε[T^𝒞,H^U])|ϕ𝒞(0)|χ=+dtdε2πeiH^Uteiεtα^|ϕ𝒞(0)|χ=+dteiH^Utδ(tα^)|ϕ𝒞(0)|χ=|α^|++dteiH^Utδ(t)|ϕ𝒞(0)|χ=|α^|+|ϕ𝒞(0)|χ,\hat{\Pi}_{0}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\frac{\text{d}t\,\text{d}\varepsilon}{2\pi}e^{i\varepsilon\hat{T}_{\mathcal{C}}}e^{-i\hat{H}_{U}t}{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}=\int_{-\infty}^{+\infty}\frac{\text{d}t\,\text{d}\varepsilon}{2\pi}e^{i\varepsilon\hat{T}_{\mathcal{C}}}e^{-i\hat{H}_{U}t}e^{-i\varepsilon\hat{T}_{\mathcal{C}}}e^{i\varepsilon\hat{T}_{\mathcal{C}}}{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}\\ =\int_{-\infty}^{+\infty}\frac{\text{d}t\,\text{d}\varepsilon}{2\pi}e^{-it\left(\hat{H}_{U}+i\varepsilon\left[\hat{T}_{\mathcal{C}},\hat{H}_{U}\right]\right)}{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}=\int_{-\infty}^{+\infty}\frac{\text{d}t\,\text{d}\varepsilon}{2\pi}e^{-i\hat{H}_{U}t}e^{i\varepsilon t\hat{\alpha}}{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}=\int_{-\infty}^{+\infty}\text{d}t\,e^{-i\hat{H}_{U}t}\delta\left(t\hat{\alpha}\right){\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}\\ =|\hat{\alpha}|^{+}\int_{-\infty}^{+\infty}\text{d}t\,e^{-i\hat{H}_{U}t}\delta\left(t\right){\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}=|\hat{\alpha}|^{+}{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>}, (36)

where I used Eqs. (26) and (8) in the third equality, Eq. (9) in the fourth one, and the fact that |ϕ𝒞(0)|χ{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>} does not lie in the kernel of α^\hat{\alpha} in the sixth one. This means that we can choose to construct |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> starting from |α^||ϕ𝒞(0)|χ|\hat{\alpha}|{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>} (which is still of the form |ϕ𝒞(0)|χ{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi^{\prime}_{\mathcal{R}}\right>} because α^\hat{\alpha} commutes with T^𝒞\hat{T}_{\mathcal{C}}, which is non-degenerate) so that Π^0|ΨU=|ϕ𝒞(0)|χ\hat{\Pi}_{0}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>={\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>} for any desired |χ{\left|\chi_{\mathcal{R}}\right>}\in\mathscr{H}_{\mathcal{R}} such that |ϕ𝒞(0)|χ{\left|\phi_{\mathcal{C}}(0)\right>}{\left|\chi_{\mathcal{R}}\right>} does not lie in the kernel of α^\hat{\alpha}.

Appendix G Constraint equivalence

Hypotheses and weaker constraint.

Consider some |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> 0-eigenstate of H^U\hat{H}_{U} such that ϕ𝒞(t)|ΨU=|ψ(t)\left.\kern-1.2pt\left<\phi_{\mathcal{C}}(t)\left|\Psi_{U}\right>\right>\right.\kern-1.2pt={\left|\psi_{\mathcal{R}}(t)\right>} evolves unitarily, that is, |ψ(t)=U^(t,t0)|ψ(t0){\left|\psi_{\mathcal{R}}(t)\right>}=\hat{U}(t,t_{0}){\left|\psi_{\mathcal{R}}(t_{0})\right>} for some t0t_{0}\in\mathds{R}, with U^(t,t0)\hat{U}(t,t_{0}) a strongly continuous and differentiable unitary operator such that U^(t,t0)=U^(t,s)U^(s,t0)\hat{U}(t,t_{0})=\hat{U}(t,s)\hat{U}(s,t_{0}) s\forall s\in\mathds{R}. This means that id|ψ(t)dt=X^(t)|ψ(t)i\frac{\text{d}{\left|\psi_{\mathcal{R}}(t)\right>}}{\text{d}t}=\hat{X}_{\mathcal{R}}(t){\left|\psi_{\mathcal{R}}(t)\right>} t\forall t, with X^(t)idU^(t,t0)dtU^(t,t0)\hat{X}_{\mathcal{R}}(t)\coloneqq i\frac{\text{d}\hat{U}(t,t_{0})}{\text{d}t}\hat{U}^{\dagger}(t,t_{0}) a self-adjoint operator. Therefore, |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right>, which can also be written as |ΨU=+dt|ϕ𝒞(t)|ψ(t)\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}{\left|\psi_{\mathcal{R}}(t)\right>}, satisfies the constraint

(H^𝒞+X^(T^𝒞))|ΨU=0,\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right)\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=0, (37)

with X^(T^𝒞)=+dt|ϕ𝒞(t)ϕ𝒞(t)|X^(t)\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})=\int_{-\infty}^{+\infty}\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|}\otimes\hat{X}_{\mathcal{R}}(t) symmetric. Under the reasonable physical assumption suptX^(t)<\sup\limits_{t}\norm{\hat{X}_{\mathcal{R}}(t)}<\infty, X^(T^𝒞)\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}}) is bounded and thus H^𝒞+X^(T^𝒞)\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}}) is self-adjoint on 𝒟(H^𝒞)\mathcal{D}(\hat{H}_{\mathcal{C}}). We can check explicitly that |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> satisfies Eq. (37) in the following way

(H^𝒞+X^(T^𝒞))|ΨU=+dt(H^𝒞+X^(T^𝒞))|ϕ𝒞(t)|ψ(t)=+dt(id|ϕ𝒞(t)dt|ψ(t)+|ϕ𝒞(t)X^(t)|ψ(t))=+dt|ϕ𝒞(t)(iddt+X^(t))|ψ(t)=0,\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right)\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\text{d}t\,\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right){\left|\phi_{\mathcal{C}}(t)\right>}{\left|\psi_{\mathcal{R}}(t)\right>}\\ =\int_{-\infty}^{+\infty}\text{d}t\left(i\frac{\text{d}{\left|\phi_{\mathcal{C}}(t)\right>}}{\text{d}t}{\left|\psi_{\mathcal{R}}(t)\right>}+{\left|\phi_{\mathcal{C}}(t)\right>}\hat{X}_{\mathcal{R}}(t){\left|\psi_{\mathcal{R}}(t)\right>}\right)=\int_{-\infty}^{+\infty}\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}\left(-i\frac{\text{d}}{\text{d}t}+\hat{X}_{\mathcal{R}}(t)\right){\left|\psi_{\mathcal{R}}(t)\right>}=0, (38)

where in the last equality I integrated by parts the first term and neglected the boundary terms, which are an artifact of working with the improper time states 27. Therefore, if |ψ(t)=ϕ𝒞(t)|ΨU{\left|\psi_{\mathcal{R}}(t)\right>}=\left.\kern-1.2pt\left<\phi_{\mathcal{C}}(t)\left|\Psi_{U}\right>\right>\right.\kern-1.2pt evolves unitarily, then |ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right> is also a 0-eigenstate of the constraint 𝒞^H^𝒞+X^(T^𝒞)\hat{\mathscr{C}}\coloneqq\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}}), for which Eqs. (8)–(9) hold.

For the dynamics to be truly unitary, all the allowed states |ψ(t)=ϕ𝒞(t)|ΨU{\left|\psi^{\prime}_{\mathcal{R}}(t)\right>}=\left.\kern-1.2pt\left<\phi_{\mathcal{C}}(t)\left|\Psi^{\prime}_{U}\right>\right>\right.\kern-1.2pt must evolve with the same unitary U^(t,t0)\hat{U}(t,t_{0}) and so all the stationary states |ΨU\left|\left.\kern-1.2pt\Psi^{\prime}_{U}\right>\right> must also satisfy Eq. (37). This means that the physical Hilbert space phy(H^U)\mathscr{H}_{phy}(\hat{H}_{U}), i.e. the 0-eigenspace of H^U\hat{H}_{U}, must be contained in phy(𝒞^)\mathscr{H}_{phy}(\hat{\mathscr{C}}). Moreover, phy(H^U)\mathscr{H}_{phy}(\hat{H}_{U}) is an (improper) subspace of phy(𝒞^)\mathscr{H}_{phy}(\hat{\mathscr{C}}) because it is closed under addition and multiplication by a scalar.

Characterization of H^U\hat{H}_{U}.

Now, we can write phy(𝒞^)=phy(H^U)(phy(H^U)phy(𝒞^))\mathscr{H}_{phy}(\hat{\mathscr{C}})=\mathscr{H}_{phy}(\hat{H}_{U})\oplus\left(\mathscr{H}^{\perp}_{phy}(\hat{H}_{U})\cap\mathscr{H}_{phy}(\hat{\mathscr{C}})\right), with phy(H^U)\mathscr{H}^{\perp}_{phy}(\hat{H}_{U}) the orthogonal complement of phy(H^U)\mathscr{H}_{phy}(\hat{H}_{U}). We can easily characterize phy(H^U)phy(𝒞^)\mathscr{H}^{\perp}_{phy}(\hat{H}_{U})\cap\mathscr{H}_{phy}(\hat{\mathscr{C}}) because a state |ΘUphy(𝒞^)\left|\left.\kern-1.2pt\Theta_{U}\right>\right>\in\mathscr{H}_{phy}(\hat{\mathscr{C}}) also belongs to phy(H^U)\mathscr{H}^{\perp}_{phy}(\hat{H}_{U}) if ΘU|ΨU=0\left.\kern-1.2pt\left<\left<\Theta_{U}\left|\Psi_{U}\right>\right>\right.\kern-1.2pt\right.\kern-1.2pt=0 for any |ΨUphy(H^U)\left|\left.\kern-1.2pt\Psi_{U}\right>\right>\in\mathscr{H}_{phy}(\hat{H}_{U}), but

ΘU|ΨU=+dtθ(t)|ψ(t)=(+dt)θ(t0)|ψ(t0),\left.\kern-1.2pt\left<\left<\Theta_{U}\left|\Psi_{U}\right>\right>\right.\kern-1.2pt\right.\kern-1.2pt=\int_{-\infty}^{+\infty}\text{d}t\,\innerproduct{\theta_{\mathcal{R}}(t)}{\psi_{\mathcal{R}}(t)}=\left(\int_{-\infty}^{+\infty}\text{d}t\right)\innerproduct{\theta_{\mathcal{R}}(t_0)}{\psi_{\mathcal{R}}(t_0)}, (39)

where the second equality follows from the fact that both |θ(t)=ϕ𝒞(t)|ΘU{\left|\theta_{\mathcal{R}}(t)\right>}=\left.\kern-1.2pt\left<\phi_{\mathcal{C}}(t)\left|\Theta_{U}\right>\right>\right.\kern-1.2pt and |ψ(t)=ϕ𝒞(t)|ΨU{\left|\psi_{\mathcal{R}}(t)\right>}=\left.\kern-1.2pt\left<\phi_{\mathcal{C}}(t)\left|\Psi_{U}\right>\right>\right.\kern-1.2pt must evolve with the same unitary U^(t,t0)\hat{U}(t,t_{0}). So ΘU|ΨU\left.\kern-1.2pt\left<\left<\Theta_{U}\left|\Psi_{U}\right>\right>\right.\kern-1.2pt\right.\kern-1.2pt can be zero only if θ(t0)|ψ(t0)=0\innerproduct{\theta_{\mathcal{R}}(t_0)}{\psi_{\mathcal{R}}(t_0)}=0 for some t0t_{0}. Therefore, we can associate phy(H^U)phy(𝒞^)\mathscr{H}^{\perp}_{phy}(\hat{H}_{U})\cap\mathscr{H}_{phy}(\hat{\mathscr{C}}) with a projector P^(0)(t0)\hat{P}^{(0)}_{\mathcal{R}}(t_{0}) on the orthogonal complement of the subspace spanned by all the |ψ(t0){\left|\psi_{\mathcal{R}}(t_{0})\right>} compatible with phy(H^U)\mathscr{H}_{phy}(\hat{H}_{U}) at a certain time t0t_{0}. In other terms, the difference between phy(𝒞^)\mathscr{H}_{phy}(\hat{\mathscr{C}}) and phy(H^U)\mathscr{H}_{phy}(\hat{H}_{U}) consists simply of a restriction on the allowed states |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} (while phy(𝒞^)\mathscr{H}_{phy}(\hat{\mathscr{C}}) allows any state |θ(t){\left|\theta_{\mathcal{R}}(t)\right>}\in\mathscr{H}_{\mathcal{R}} as discussed in Appendix F).

If we call P^(+)(t0)\hat{P}^{(+)}_{\mathcal{R}}(t_{0}) the projector on the orthogonal complement of P^(0)(t0)\hat{P}^{(0)}_{\mathcal{R}}(t_{0}), so that P^(+)(t0)+P^(0)(t0)=𝟙^\hat{P}^{(+)}_{\mathcal{R}}(t_{0})+\hat{P}^{(0)}_{\mathcal{R}}(t_{0})=\hat{\mathds{1}}_{\mathcal{R}} and P^(+)(t0)P^(0)(t0)=P^(0)(t0)P^(+)(t0)=0\hat{P}^{(+)}_{\mathcal{R}}(t_{0})\hat{P}^{(0)}_{\mathcal{R}}(t_{0})=\hat{P}^{(0)}_{\mathcal{R}}(t_{0})\hat{P}^{(+)}_{\mathcal{R}}(t_{0})=0, the most general 0-eigenstate of H^U\hat{H}_{U} can be written as

|ΨU=+dt|ϕ𝒞(t)U^(t,t0)P^(+)(t0)|ψ(t0)=+dt|ϕ𝒞(t)U^(t,t0)P^(+)(t0)U^(t,t0)U^(t,t0)|ψ(t0)=P^(+)(T^𝒞)+dt|ϕ𝒞(t)U^(t,t0)|ψ(t0)=P^(+)(T^𝒞)|ΨU,\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\int_{-\infty}^{+\infty}\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}\hat{U}(t,t_{0})\hat{P}^{(+)}_{\mathcal{R}}(t_{0}){\left|\psi_{\mathcal{R}}(t_{0})\right>}=\int_{-\infty}^{+\infty}\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}\hat{U}(t,t_{0})\hat{P}^{(+)}_{\mathcal{R}}(t_{0})\hat{U}^{\dagger}(t,t_{0})\hat{U}(t,t_{0}){\left|\psi_{\mathcal{R}}(t_{0})\right>}\\ =\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\int_{-\infty}^{+\infty}\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}\hat{U}(t,t_{0}){\left|\psi_{\mathcal{R}}(t_{0})\right>}=\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Psi_{U}\right>\right>, (40)

for any |ψ(t0){\left|\psi_{\mathcal{R}}(t_{0})\right>}\in\mathscr{H}_{\mathcal{R}} and t0t_{0}\in\mathds{R}, with P^(+)(T^𝒞)=+dt|ϕ𝒞(t)ϕ𝒞(t)|P^(+)(t,t0)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})=\int_{-\infty}^{+\infty}\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}{\left<\phi_{\mathcal{C}}(t)\right|}\otimes\hat{P}^{(+)}_{\mathcal{R}}(t,t_{0}) where P^(+)(t,t0)=U^(t,t0)P^(+)(t0)U^(t,t0)\hat{P}^{(+)}_{\mathcal{R}}(t,t_{0})=\hat{U}(t,t_{0})\hat{P}^{(+)}_{\mathcal{R}}(t_{0})\hat{U}^{\dagger}(t,t_{0}).

Properties of P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}).

Since U^(t,t0)\hat{U}(t,t_{0}) is a strongly continuous unitary and P^(+)(t0)\hat{P}^{(+)}_{\mathcal{R}}(t_{0}) is bounded (because \mathcal{R} is finite-dimensional), tP^(+)(t,t0)t\rightarrow\hat{P}^{(+)}_{\mathcal{R}}(t,t_{0}) is strongly continuous (and hence measurable), ensuring P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}) is well-defined. Also note that P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}) is a bounded, self-adjoint projector and it strongly commutes with T^𝒞\hat{T}_{\mathcal{C}} because their spectral measures commute. Moreover, it is independent of T^𝒞\hat{T}_{\mathcal{C}} if [U^(t,t0),P^(+)(t0)]=0\left[\hat{U}(t,t_{0}),\hat{P}^{(+)}_{\mathcal{R}}(t_{0})\right]=0 or, equivalently, [X^(t),P^(+)(t0)]=0\left[\hat{X}_{\mathcal{R}}(t),\hat{P}^{(+)}_{\mathcal{R}}(t_{0})\right]=0, t\forall t\in\mathds{R}. Finally, let us consider the commutator [H^𝒞+X^(T^𝒞),P^(+)(T^𝒞)]\left[\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}}),\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\right]. First, we can calculate

H^𝒞P^(+)(T^𝒞)|ΘU=idt|ϕ𝒞(t)(P^˙(+)(t,t0)|θ(t)+P^(+)(t,t0)|θ˙(t))=idt|ϕ𝒞(t)(i[X^(t),P^(+)(t,t0)]|θ(t)+P^(+)(t,t0)|θ˙(t))=[X^(T^𝒞),P^(+)(T^𝒞)]|ΘU+P^(+)H^𝒞(T^𝒞)|ΘU\hat{H}_{\mathcal{C}}\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Theta_{U}\right>\right>=-i\int\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}\left(\dot{\hat{P}}^{(+)}_{\mathcal{R}}(t,t_{0}){\left|\theta_{\mathcal{R}}(t)\right>}+\hat{P}^{(+)}_{\mathcal{R}}(t,t_{0}){\left|\dot{\theta}_{\mathcal{R}}(t)\right>}\right)\\ =-i\int\text{d}t\,{\left|\phi_{\mathcal{C}}(t)\right>}\left(-i\left[\hat{X}_{\mathcal{R}}(t),\hat{P}^{(+)}_{\mathcal{R}}(t,t_{0})\right]{\left|\theta_{\mathcal{R}}(t)\right>}+\hat{P}^{(+)}_{\mathcal{R}}(t,t_{0}){\left|\dot{\theta}_{\mathcal{R}}(t)\right>}\right)\\ =-\left[\hat{X}(\hat{T}_{\mathcal{C}}),\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\right]\left|\left.\kern-1.2pt\Theta_{U}\right>\right>+\hat{P}^{(+)}\hat{H}_{\mathcal{C}}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Theta_{U}\right>\right> (41)

where |θ(t)ϕ𝒞(t)|ΘU{\left|\theta_{\mathcal{R}}(t)\right>}\coloneqq\left.\kern-1.2pt\left<\phi_{\mathcal{C}}(t)\left|\Theta_{U}\right>\right>\right.\kern-1.2pt. From this we can deduce that

H^𝒞P^(+)(T^𝒞)|ΘU[X^(T^𝒞),P^(+)(T^𝒞)]|ΘU+P^(+)H^𝒞|ΘUX^(T^𝒞)P^(+)(T^𝒞)|ΘU+P^(+)(T^𝒞)X^(T^𝒞)|ΘU+P^(+)H^𝒞|ΘU2X^(T^𝒞)|ΘU+H^𝒞|ΘU,\norm{\hat{H}_\mathcal{C}\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\kket{\Theta_U}}\leq\norm{\left[\hat{X}(\hat{T}_{\mathcal{C}}),\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\right]\kket{\Theta_U}}+\norm{\hat{P}^{(+)}\hat{H}_\mathcal{C}\kket{\Theta_U}}\\ \leq\norm{\hat{X}(\hat{T}_{\mathcal{C}})}\cdot\norm{\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\kket{\Theta_U}}+\norm{\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})}\cdot\norm{\hat{X}(\hat{T}_{\mathcal{C}})\kket{\Theta_U}}+\norm{\hat{P}^{(+)}}\cdot\norm{\hat{H}_\mathcal{C}\kket{\Theta_U}}\\ \leq 2\norm{\hat{X}(\hat{T}_{\mathcal{C}})}\cdot\norm{\vphantom{\hat{X}(\hat{T}_{\mathcal{C}})}\kket{\Theta_U}}+\norm{\hat{H}_\mathcal{C}\kket{\Theta_U}}, (42)

which is finite if |ΘU𝒟(H^𝒞)\left|\left.\kern-1.2pt\Theta_{U}\right>\right>\in\mathcal{D}(\hat{H}_{\mathcal{C}}) and, as assumed before, suptX^(t)<\sup\limits_{t}\norm{\hat{X}_{\mathcal{R}}(t)}<\infty. This means that P^(+)(T^𝒞)𝒟(H^𝒞)𝒟(H^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\mathcal{D}(\hat{H}_{\mathcal{C}})\subseteq\mathcal{D}(\hat{H}_{\mathcal{C}}) and therefore the commutator [H^𝒞+X^(T^𝒞),P^(+)(T^𝒞)]\left[\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}}),\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\right] is well-defined on 𝒟(H^𝒞)\mathcal{D}(\hat{H}_{\mathcal{C}}). Finally, from Eq. (41) we have that

[H^𝒞+X^(T^𝒞),P^(+)(T^𝒞)]=0,\left[\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}}),\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\right]=0, (43)

on 𝒟(H^𝒞)\mathcal{D}(\hat{H}_{\mathcal{C}}).

Constraint equivalence.

We can use P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}) to find a constraint that restricts phy(𝒞^)\mathscr{H}_{phy}(\hat{\mathscr{C}}) and makes it coincide with phy(H^U)\mathscr{H}_{phy}(\hat{H}_{U}):

𝒞^P^(+)(T^𝒞)(H^𝒞+X^(T^𝒞))P^(+)(T^𝒞)+P^(0)(T^𝒞).\hat{\mathscr{C}}^{\prime}\coloneqq\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})+\hat{P}^{(0)}(\hat{T}_{\mathcal{C}}). (44)

𝒞^\hat{\mathscr{C}}^{\prime} is block-diagonal with respect to the decomposition induced by P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}) and is self-adjoint on 𝒟(𝒞^)={|Ψ:P^(+)(T^𝒞)|Ψ𝒟(H^𝒞)}=P^(+)(T^𝒞)𝒟(H^𝒞)Ran(P^(0)(T^𝒞))\mathcal{D}(\hat{\mathscr{C}}^{\prime})=\left\{\left|\left.\kern-1.2pt\Psi\right>\right>:\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Psi\right>\right>\in\mathcal{D}(\hat{H}_{\mathcal{C}})\right\}=\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\mathcal{D}(\hat{H}_{\mathcal{C}})\oplus\text{Ran}\left(\hat{P}^{(0)}(\hat{T}_{\mathcal{C}})\right). Moreover, P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}) is a reducing projection for 𝒞^\hat{\mathscr{C}}^{\prime}, meaning that P^(+)(T^𝒞)𝒟(𝒞^)𝒟(𝒞^)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\mathcal{D}(\hat{\mathscr{C}}^{\prime})\subseteq\mathcal{D}(\hat{\mathscr{C}}^{\prime}) and 𝒞^P^(+)(T^𝒞)|Θ=P^(+)(T^𝒞)𝒞^|Θ\hat{\mathscr{C}}^{\prime}\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Theta\right>\right>=\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\hat{\mathscr{C}}^{\prime}\left|\left.\kern-1.2pt\Theta\right>\right>, |Θ𝒟(𝒞^)\forall\left|\left.\kern-1.2pt\Theta\right>\right>\in\mathcal{D}(\hat{\mathscr{C}}^{\prime}). Therefore, P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}) and 𝒞^\hat{\mathscr{C}}^{\prime} strongly commute. The rate operator associated with this constraint is

α^=i[𝒞^,T^𝒞]=P^(+)(T^𝒞),\hat{\alpha}=i\left[\hat{\mathscr{C}}^{\prime},\hat{T}_{\mathcal{C}}\right]=\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}), (45)

which, as discussed above, strongly commutes with both T^𝒞\hat{T}_{\mathcal{C}} and 𝒞^\hat{\mathscr{C}}^{\prime}.

Now we can check that any 0-eigenstate |ΨU=P^(+)(T^𝒞)|ΨU\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Psi_{U}\right>\right> of H^U\hat{H}_{U} is also a 0-eigenstate of 𝒞^\hat{\mathscr{C}}^{\prime}:

𝒞^|ΨU=P^(+)(T^𝒞)(H^𝒞+X^(T^𝒞))|ΨU=0,\hat{\mathscr{C}}^{\prime}\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right)\left|\left.\kern-1.2pt\Psi_{U}\right>\right>=0, (46)

where I have used Eq. (37). Therefore, we have that phy(H^U)phy(𝒞^)\mathscr{H}_{phy}(\hat{H}_{U})\subseteq\mathscr{H}_{phy}(\hat{\mathscr{C}}^{\prime}). Conversely, if |ΦU\left|\left.\kern-1.2pt\Phi_{U}\right>\right> is a 0-eigenstate of 𝒞^\hat{\mathcal{C}}^{\prime} then we can multiply 𝒞^|ΦU=0\hat{\mathcal{C}}^{\prime}\left|\left.\kern-1.2pt\Phi_{U}\right>\right>=0 by P^(+)(T^𝒞)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}}) and P^(0)(T^𝒞)\hat{P}^{(0)}(\hat{T}_{\mathcal{C}}) on the left to get

P^(+)(T^𝒞)(H^𝒞+X^(T^𝒞))P^(+)(T^𝒞)|ΦU=0,\displaystyle\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Phi_{U}\right>\right>=0, (47)
P^(0)(T^𝒞)|ΦU=0.\displaystyle\hat{P}^{(0)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Phi_{U}\right>\right>=0. (48)

The second equation implies that |ΦU=P^(+)(T^𝒞)|ΦU\left|\left.\kern-1.2pt\Phi_{U}\right>\right>=\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Phi_{U}\right>\right> and so the first equation, using Eq. (43), becomes

(H^𝒞+X^(T^𝒞))P^(+)(T^𝒞)|ΦU=(H^𝒞+X^(T^𝒞))|ΦU=0.\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right)\hat{P}^{(+)}(\hat{T}_{\mathcal{C}})\left|\left.\kern-1.2pt\Phi_{U}\right>\right>=\left(\hat{H}_{\mathcal{C}}+\hat{X}_{\mathcal{R}}(\hat{T}_{\mathcal{C}})\right)\left|\left.\kern-1.2pt\Phi_{U}\right>\right>=0. (49)

Taken together, Eqs. (49) and (48) are the same equations that characterise the 0-eigenstates of H^U\hat{H}_{U}. Therefore, we also have that phy(𝒞^)phy(H^U)\mathscr{H}_{phy}(\hat{\mathscr{C}}^{\prime})\subseteq\mathscr{H}_{phy}(\hat{H}_{U}) and so phy(𝒞^)=phy(H^U)\mathscr{H}_{phy}(\hat{\mathscr{C}}^{\prime})=\mathscr{H}_{phy}(\hat{H}_{U}). We have thus proved that if |ψ(t){\left|\psi_{\mathcal{R}}(t)\right>} evolves unitarily then H^U\hat{H}_{U} must be physically equivalent to a constraint for which Eqs. (8)-(9) hold.

Appendix H Rate and variance of the clock

Rate of the clock.

Given the Hamiltonian of the Universe H^U=H^𝒞+H^+V^𝒞+H^𝒞2\hat{H}_{U}=\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}+\hat{V}_{\mathcal{C}\mathcal{R}}+\hat{H}_{\mathcal{C}_{2}}, and the state of 𝒞\mathcal{CR} when 𝒞2\mathcal{C}_{2} shows the time tt, |ψ𝒞(t)=eiH^𝒞t|ψ𝒞(0){\left|\psi_{\mathcal{CR}}(t)\right>}=e^{-i\hat{H}_{\mathcal{CR}}t}{\left|\psi_{\mathcal{CR}}(0)\right>}, with H^𝒞H^𝒞+H^+V^𝒞\hat{H}_{\mathcal{CR}}\coloneqq\hat{H}_{\mathcal{C}}+\hat{H}_{\mathcal{R}}+\hat{V}_{\mathcal{C}\mathcal{R}}, the rate of 𝒞\mathcal{C} from the perspective of 𝒞2\mathcal{C}_{2} is

α(t)=dτ𝒞¯(t)dt=ddtψ𝒞(t)|T^𝒞|ψ𝒞(t)ψ𝒞(t)|ψ𝒞(t)=ψ𝒞(t)|i[H^𝒞,T^𝒞]|ψ𝒞(t)ψ𝒞(0)|ψ𝒞(0)=ψ𝒞(t)|α^|ψ𝒞(t)ψ𝒞(0)|ψ𝒞(0),\alpha(t)=\frac{\text{d}\overline{\tau_{\mathcal{C}}}(t)}{\text{d}t}=\frac{\text{d}}{\text{d}t}\frac{{\left<\psi_{\mathcal{CR}}(t)\right|}\hat{T}_{\mathcal{C}}{\left|\psi_{\mathcal{CR}}(t)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(t)}{\psi_{\mathcal{CR}}(t)}}=\frac{{\left<\psi_{\mathcal{CR}}(t)\right|}i\left[\hat{H}_{\mathcal{CR}},\hat{T}_{\mathcal{C}}\right]{\left|\psi_{\mathcal{CR}}(t)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(0)}{\psi_{\mathcal{CR}}(0)}}=\frac{{\left<\psi_{\mathcal{CR}}(t)\right|}\hat{\alpha}{\left|\psi_{\mathcal{CR}}(t)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(0)}{\psi_{\mathcal{CR}}(0)}}, (50)

where I used the fact that |ψ𝒞(t){\left|\psi_{\mathcal{CR}}(t)\right>} evolves unitarily so ψ𝒞(t)|ψ𝒞(t)=ψ𝒞(0)|ψ𝒞(0)\innerproduct{\psi_{\mathcal{CR}}(t)}{\psi_{\mathcal{CR}}(t)}=\innerproduct{\psi_{\mathcal{CR}}(0)}{\psi_{\mathcal{CR}}(0)}. Taking the derivative of α(t)\alpha(t) with respect to tt leads to

dα(t)dt=ψ𝒞(t)|i[H^𝒞,α^]|ψ𝒞(t)ψ𝒞(0)|ψ𝒞(0)=0,\frac{\text{d}\alpha(t)}{\text{d}t}=\frac{{\left<\psi_{\mathcal{CR}}(t)\right|}i\left[\hat{H}_{\mathcal{CR}},\hat{\alpha}\right]{\left|\psi_{\mathcal{CR}}(t)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(0)}{\psi_{\mathcal{CR}}(0)}}=0, (51)

where the last equation follows from Eq. (9).

Variance of the clock readings.

The variance of the clock readings from the perspective of 𝒞2\mathcal{C}_{2} is given by

στ𝒞2(t)ψ𝒞(t)|T^𝒞2|ψ𝒞(t)ψ𝒞(t)|ψ𝒞(t)τ𝒞¯(t)2.\sigma^{2}_{\tau_{\mathcal{C}}}(t)\coloneqq\frac{{\left<\psi_{\mathcal{CR}}(t)\right|}\hat{T}_{\mathcal{C}}^{2}{\left|\psi_{\mathcal{CR}}(t)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(t)}{\psi_{\mathcal{CR}}(t)}}-\overline{\tau_{\mathcal{C}}}(t)^{2}. (52)

The first term can be calculated using the expansion

eiH^𝒞tT^𝒞2eiH^𝒞t=T^𝒞2+it[H^𝒞,T^𝒞2]+(it)22![H^𝒞,[H^𝒞,T^𝒞2]]+,e^{i\hat{H}_{\mathcal{CR}}t}\hat{T}^{2}_{\mathcal{C}}e^{-i\hat{H}_{\mathcal{CR}}t}=\hat{T}^{2}_{\mathcal{C}}+it\left[\hat{H}_{\mathcal{CR}},\hat{T}^{2}_{\mathcal{C}}\right]+\frac{(it)^{2}}{2!}\left[\hat{H}_{\mathcal{CR}},\left[\hat{H}_{\mathcal{CR}},\hat{T}^{2}_{\mathcal{C}}\right]\right]+\dots, (53)

and

[H^𝒞,T^𝒞2]=[H^𝒞,T^𝒞]T^𝒞+T^𝒞[H^𝒞,T^𝒞]=iα^T^𝒞iT^𝒞α^,\displaystyle\left[\hat{H}_{\mathcal{CR}},\hat{T}^{2}_{\mathcal{C}}\right]=\left[\hat{H}_{\mathcal{CR}},\hat{T}_{\mathcal{C}}\right]\hat{T}_{\mathcal{C}}+\hat{T}_{\mathcal{C}}\left[\hat{H}_{\mathcal{CR}},\hat{T}_{\mathcal{C}}\right]=-i\hat{\alpha}\hat{T}_{\mathcal{C}}-i\hat{T}_{\mathcal{C}}\hat{\alpha}, (54)
[H^𝒞,[H^𝒞,T^𝒞2]]=[H^𝒞,iα^T^𝒞iT^𝒞α^]=iα^[H^𝒞,T^𝒞]i[H^𝒞,T^𝒞]α^=2α^2,\displaystyle\left[\hat{H}_{\mathcal{CR}},\left[\hat{H}_{\mathcal{CR}},\hat{T}^{2}_{\mathcal{C}}\right]\right]=\left[\hat{H}_{\mathcal{CR}},-i\hat{\alpha}\hat{T}_{\mathcal{C}}-i\hat{T}_{\mathcal{C}}\hat{\alpha}\right]\ =-i\hat{\alpha}\left[\hat{H}_{\mathcal{CR}},\hat{T}_{\mathcal{C}}\right]-i\left[\hat{H}_{\mathcal{CR}},\hat{T}_{\mathcal{C}}\right]\hat{\alpha}=-2\hat{\alpha}^{2}, (55)

where (55) uses Eq. (9). Eqs. (9) and (55) also imply that the terms of order t3t^{3} and above in Eq. (53) are zero. Putting these results in Eqs. (52) and using Eqs. (20) we get

στ𝒞2(t)T^𝒞2+t(α^T^𝒞+T^𝒞α^)+t2α^2(T^𝒞+α^t)2=στ𝒞2(0)+t2σα2+2tCov(α(0),τ𝒞(0)),\sigma^{2}_{\tau_{\mathcal{C}}}(t)\coloneqq\expectationvalue{\hat{T}_{\mathcal{C}}^2 +t(\hat{\alpha}\hat{T}_{\mathcal{C}}+\hat{T}_{\mathcal{C}}\hat{\alpha}) + t^2 \hat{\alpha}^2}-\left(\expectationvalue{\hat{T}_{\mathcal{C}}}+\expectationvalue{\hat{\alpha}}t\right)^{2}=\sigma^{2}_{\tau_{\mathcal{C}}}(0)+t^{2}\sigma^{2}_{\alpha}+2t\,\text{Cov}(\alpha(0),\tau_{\mathcal{C}}(0)), (56)

with =ψ𝒞(0)||ψ𝒞(0)ψ𝒞(0)|ψ𝒞(0)\expectationvalue{\cdot}=\frac{{\left<\psi_{\mathcal{CR}}(0)\right|}\cdot{\left|\psi_{\mathcal{CR}}(0)\right>}}{\innerproduct{\psi_{\mathcal{CR}}(0)}{\psi_{\mathcal{CR}}(0)}}, στ𝒞2T^𝒞2T^𝒞2\sigma^{2}_{\tau_{\mathcal{C}}}\coloneqq\expectationvalue{\hat{T}_{\mathcal{C}}^2}-\expectationvalue{\hat{T}_{\mathcal{C}}}^{2}, σα2α^2α^2\sigma^{2}_{\alpha}\coloneqq\expectationvalue{\hat{\alpha}^2}-\expectationvalue{\hat{\alpha}}^{2} and Cov(α(0),τ𝒞(0))12α^T^𝒞+12T^𝒞α^α^T^𝒞\text{Cov}(\alpha(0),\tau_{\mathcal{C}}(0))\coloneqq\frac{1}{2}\expectationvalue{\hat{\alpha}\hat{T}_{\mathcal{C}}}+\frac{1}{2}\expectationvalue{\hat{T}_{\mathcal{C}}\hat{\alpha}}-\expectationvalue{\hat{\alpha}}\expectationvalue{\hat{T}_{\mathcal{C}}}. When |ψ𝒞(0){\left|\psi_{\mathcal{CR}}(0)\right>} corresponds to a definite reading of the clock, i.e., it is an eigenstate of T^𝒞\hat{T}_{\mathcal{C}}, we have

στ𝒞2(t)=t2σα2.\sigma^{2}_{\tau_{\mathcal{C}}}(t)=t^{2}\sigma^{2}_{\alpha}. (57)