Skip to main content

Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript.

Time and classical equations of motion from quantum entanglement via the Page and Wootters mechanism with generalized coherent states

Abstract

We draw a picture of physical systems that allows us to recognize what “time” is by requiring consistency with the way that time enters the fundamental laws of Physics. Elements of the picture are two non-interacting and yet entangled quantum systems, one of which acting as a clock. The setting is based on the Page and Wootters mechanism, with tools from large-N quantum approaches. Starting from an overall quantum description, we first take the classical limit of the clock only, and then of the clock and the evolving system altogether; we thus derive the Schrödinger equation in the first case, and the Hamilton equations of motion in the second. This work shows that there is not a “quantum time”, possibly opposed to a “classical” one; there is only one time, and it is a manifestation of entanglement.

Introduction

The notion of time is deeply rooted into our perception of reality, which is why, for centuries, time has entered Physics as a fundamental ingredient that is not to be questioned. Then, general relativity (GR) and quantum mechanics (QM) intervened in opposite directions: GR gave time the same status of position, while QM made time a parameter, external to the theory and not recognizable as an observable. While the introduction of “spacetime” in GR appears as an elegant intuition, fully consistent with classical physics, the fact that time cannot be treated as any other observable in QM is disturbing. As a consequence, discussions about the role of time in QM have been developed, leading to different proposals on how to overcome what seems a serious inconsistency of the theory. Reporting upon these discussions goes beyond the scope of this paper; therefore, in what follows we will only refer to the proposal that provides our starting point. This was introduced by D. N. Page and W. K. Wotters in 19831 to formalize the idea that the expression “at a certain time t” should be understood as “conditioned to a clock being in a state labeled by a certain value t.” This proposal, to which we will refer as the “Page and Wootters (PaW) mechanism,” is based on three assumptions: (i) the clock does not interact with the system to which it provides the parameter t, but (ii) it is entangled with it; moreover, (iii) clock and system together are in an eigenstate of the total Hamiltonian (with eigenvalue that can be set equal to zero, for the sake of simplicity and without loss of generality). The PaW mechanism has been extensively used, and its assumptions scrutinized, in the recent literature, both from the theoretical and the experimental viewpoint2,3,4,5,6,7,8,9,10,11,12,13,14,15,16. Discussing about the many questions and answers on the PaW mechanism is not the scope of this work; however, references throughout the paper should help the reader to navigate the relevant literature, and our viewpoint on the contribution that our results furnish to the overall discussion on the mechanism itself is described in the concluding section.

Most discussions about time in QM are aimed at understanding what is the status of time in the quantum description, as if there were no problem as far as one stays classical. However, if one believes that there do not exist quantum systems and classical ones, but rather that some quantum systems behave in a way that, under certain conditions, is efficiently described by the laws of classical physics, then there must be just one time. In other terms, the procedure used to identify what time is in QM must have a well-defined classical limit, fully consistent with classical physics and the way time enters the classical equations of motion (e.o.m.). We construct such a procedure, demonstrating that it consistently produces not only the Schrödinger equation for quantum systems but also the Hamilton e.o.m. for classical ones, with the parameter playing the role of time being the same in both cases. We tackle the quantum-to-classical crossover via the large-N approach based on Generalized Coherent States (GCS) from refs. 17,18,19,20,21, where it is demonstrated that the theory describing a quantum system for which GCS can be constructed flows into a well-defined classical theory if few specific conditions upon its GCS hold in the N →  limit (N quantifies the number of microscopic quantum components, sometimes referred to as the number of degrees of freedom or dynamical variables, in the literature). By “classical limit,” we will hereafter mean the large-N limit with the above conditions on GCS enforced.

In this work, we consider a quantum composite system made of two non-interacting and entangled objects, dubbed clock and evolving system, whose quantum state is expressed via a parametric representation with GCS for the clock (see Fig. 1); from this representation, a real parameter φ emerges, with features that make it a good candidate for being recognized as time. We then take the classical limit for the clock only (see Fig. 2) and derive an equation for the physical states of the evolving system, which is the Schrödinger equation, once the above-mentioned parameter φ is given the role of time. We also obtain an inequality that provides relevant clues for understanding the origin, nature, and meaning of the energy–time uncertainty relation. Finally, we introduce GCS for the evolving system, take its classical limit (see Fig. 3), and get to our most relevant result: the Hamilton e.o.m. of classical physics are derived, with the same parameter φ as time.

Fig. 1: A quantum clock for a quantum system.
figure1

The clock C and the evolving system Γ make the isolated system Ψ, which is in the entangled state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\).

Fig. 2: A classical clock for a quantum system.
figure2

The state of the classical clock C is identified by the real variables ϱ and φ, while \(|{\phi }_{\varrho }(\varphi )\rangle\) is the state of the quantum system Γ that parametrically depends on (ϱ, φ).

Fig. 3: A classical clock for a classical system.
figure3

The state of the classical clock C is identified by the real variables ϱ and φ, while couples of canonically conjugated variables (q, p) are used to describe the state of the classical system Γ.

Results

A quantum clock for a quantum system

We consider a composite quantum system Ψ = C + Γ, with C the clock and Γ the evolving system; we assume that Ψ is isolated, with Hamiltonian \(\hat{H}\), and in a pure state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\), which is entangled w.r.t. the partition C and Γ; as in ref. 4, the double bracket indicates states in \({{\mathcal{H}}}_{{{\Psi }}}={{\mathcal{H}}}_{C}\otimes {{\mathcal{H}}}_{{{\Gamma }}}\), with \({{\mathcal{H}}}_{* }\) the Hilbert space of * = Ψ, C, Γ.

Referring to the PaW mechanism, we enforce

$$\hat{H}\left|{{\Psi }}\right\rangle \left.\right\rangle =0\,,$$
(1)

and take C and Γ non-interacting, i.e.

$$\hat{H}={\hat{H}}_{C}\otimes {\hat{{\Bbb{I}}}}_{{{\Gamma }}}-{\hat{{\Bbb{I}}}}_{C}\otimes {\hat{H}}_{{{\Gamma }}}\,,$$
(2)

where the irrelevant minus sign in front of the term acting on Γ is our choice for the sake of a lighter notation. As for the state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\), its most general expression is \(\left|{{\Psi }}\right\rangle \left.\right\rangle ={\sum }_{\gamma \xi }{c}_{\gamma \xi }\left|\xi \right\rangle \otimes \left|\gamma \right\rangle\), where \({\{\left|\xi \right\rangle \}}_{C}\) and \({\{\left|\gamma \right\rangle \}}_{{{\Gamma }}}\) are orthonormal bases of \({{\mathcal{H}}}_{C}\) and \({{\mathcal{H}}}_{{{\Gamma }}}\), respectively; the coefficients \({c}_{\gamma \xi }\in {\Bbb{C}}\) are such that ∑γξcγξ2 = 1 due to the normalization of \(\left|{{\Psi }}\right\rangle \left.\right\rangle\). Notice that if \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) is entangled, there cannot exist orthonormal bases \({\{\left|\xi \right\rangle \}}_{C}\) and \({\{\left|\gamma \right\rangle \}}_{{{\Gamma }}}\) such that only one coefficient cγξ is different from zero.

In view of dealing with a parameter that must be continuous to represent time, we resort to a parametric representation (see “Methods”) of \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) with GCS for the clock, and write

$$\left|{{\Psi }}\right\rangle \left.\right\rangle =\int_{{{\mathcal{M}}}_{C}}d\mu ({\mathbf{\Omega }})\chi ({\mathbf{\Omega }})\left|{\mathbf{\Omega }}\right\rangle \otimes \left|\phi ({\mathbf{\Omega }})\right\rangle \,,$$
(3)

where \(\left|{\mathbf{\Omega }}\right\rangle\) are GCS defined via the group-theoretical construction22,23 for the Lie group \({{\mathcal{G}}}_{C}\) associated with the algebra \({{\mathfrak{g}}}_{C}\) to which the Hamiltonian \({\hat{H}}_{C}\) belongs. The M-tuples Ω = (Ω1, Ω2. . . ΩM), with \({{{\Omega }}}_{m}\in {\Bbb{C}}\,\forall m\), identify points on \({{\mathcal{M}}}_{C}\), which is a 2M-dimensional manifold with a symplectic structure, and M related to the dimension of \({{\mathfrak{g}}}_{C}\). The measure dμ(Ω) is invariant w.r.t. the elements of \({{\mathcal{G}}}_{C}\) and ensures that GCS form a complete set upon \({{\mathcal{H}}}_{C}\), thus providing a resolution of the identity. The element \(\left|\phi ({\mathbf{\Omega }})\right\rangle \in {{\mathcal{H}}}_{{{\Gamma }}}\) is normalized, and hence describes a physical state of Γ, parametrically dependent on Ω. Notice that the Ω-dependence of \(\left|\phi ({\mathbf{\Omega }})\right\rangle\) survives iff \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) is entangled. As for χ(Ω), it is defined24 (up to an arbitrary phase factor) through \({\chi }^{2}({\mathbf{\Omega }})={\sum }_{\gamma }| {\sum }_{\xi }{c}_{\gamma \xi }\left\langle {\mathbf{\Omega }}| \xi \right\rangle {| }^{2}\,,\) and can hence be taken real without loss of generality. The above function χ2(Ω) is a normalized probability distribution on \({{\mathcal{M}}}_{C}\) whose structure is strongly related to the entanglement property of \(\left|{{\Psi }}\right\rangle \left.\right\rangle\); in particular, if \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) is entangled, χ2(Ω) is a superposition of different un-normalized distributions \(| {\sum }_{\xi }{c}_{\gamma \xi }\left\langle {\mathbf{\Omega }}| \xi \right\rangle {| }^{2}\).

There is a certain degree of freedom in the group-theoretic construction of GCS (see, for instance, Tables I and II in ref. 25), due to the possibility of choosing an arbitrary state \(\left|G\right\rangle\) from which to start the construction, the so called reference state, and different sets of generators for \({{\mathfrak{g}}}_{C}\). For the non-semisimple algebra \({{\mathfrak{h}}}_{4}\) defining the harmonic-oscillator coherent states, for instance, it is customary to choose the set \(\{{\hat{a}}^{\dagger },\hat{a},{\hat{a}}^{\dagger }\hat{a},\hat{{\Bbb{I}}}\}\). When the semisimple Lie algebras \({\mathfrak{su}}(2)\) or \({\mathfrak{su}}(1,1)\), defining the spin or pseudo-spin coherent states, respectively, are considered, the standard choice is the set \(\{{\hat{S}}^{-},{\hat{S}}^{+},{\hat{S}}_{z}\}\) in the first case and \(\{{\hat{K}}^{-},{\hat{K}}^{+},{\hat{K}}_{0}\}\) in the second one, being \({\hat{S}}_{z}\setminus {\hat{K}}_{0}\) diagonal operators and \({\hat{S}}^{-},{\hat{S}}^{+}\setminus {\hat{K}}^{-},{\hat{K}}^{+}\) raising ones. In fact, in the case of semisimple algebras different choices of the generators are generally embedded in a different choice of the Cartan decomposition (and hence of the so called Cartan basis). To this respect, we remind that the Cartan decomposition classifies generators into diagonal, \(\{{\hat{D}}_{\delta }\}\), and raising operators, \(\{{\hat{R}}_{m},{\hat{R}}_{-m}\}\), according to \([{\hat{D}}_{\delta },{\hat{D}}_{\theta }]=0,[{\hat{D}}_{\delta },{\hat{R}}_{m}]={d}_{\delta m}{\hat{R}}_{m},[{\hat{R}}_{m},{\hat{R}}_{-m}]={\sum }_{\delta }{d}_{\delta m}{\hat{D}}_{\delta }\), and \([{\hat{R}}_{m},{\hat{R}}_{m^{\prime} }]={c}_{mm^{\prime} }{\hat{R}}_{m+m^{\prime} }\), where the coefficients \(\{{d}_{\delta m}\},\{{c}_{mm^{\prime} }\}\) are the so called structure constants. Referring again to the familiar cases of \({\mathfrak{su}}(2)\) and \({\mathfrak{su}}(1,1)\), it is M = 1, with \({\hat{R}}_{1}={\hat{S}}^{-}\) and \({\hat{K}}^{-}\). If spin squeezing is also considered, it is M = 2, with \({\hat{R}}_{2}={({\hat{S}}^{-})}^{2}\). Let us finally remind that the harmonic-oscillator algebra \({{\mathfrak{h}}}_{4}\) is not semisimple, and a Cartan decomposition cannot hence be defined for it. Nevertheless, the usual choice of generators corresponds to an analogous decomposition, with (\({\hat{a}}^{\dagger }\hat{a},\hat{{\Bbb{I}}}\)) diagonal and (\({\hat{a}}^{\dagger },\hat{a}\)) creation/annihilation operators. Given the relevance of the harmonic-oscillator coherent states, we have specifically addressed their case at the end of the “Methods” section.

We choose the Cartan basis so that \({\hat{H}}_{C}\) depends linearly on one of its diagonal operators only, say \({\hat{H}}_{C}=\varsigma {\hat{D}}_{1}+\!k{\hat{{\Bbb{I}}}}_{C}\), where k is a real arbitrary constant and ς2 = ±1 such that ϵ: = ςd1 is real and positive for some , which ensures \({\hat{H}}_{C}\) is Hermitian. Notice that ς2 = +1 or −1 depending on whether \({{\mathcal{M}}}_{C}\) is compact or non-compact, respectively; consequently, ς is either 1 or i, and the functions having argument proportional to ς have a different nature, trigonometric or hyperbolic, respectively, throughout the manuscript (see Sec.3C.1.a of ref. 25 for more details). As for the parameter ϵ, due to the definition of \({\hat{H}}_{C}\) it embodies both \(\hbar\) and the energy scale of the clock. For the sake of a lighter notation, we also normalize the raising and diagonal operators so that \({\varsigma }^{2}{\sum }_{\delta }{d}_{\delta \ell }^{2}\to 2\). As for the reference \(\left|G\right\rangle\), we set it as the minimal weight state, \({\hat{R}}_{m}\left|G\right\rangle =0\,\forall m\), which is easily seen to be an eigenstate of the diagonal operators, \({\hat{D}}_{\delta }\left|G\right\rangle ={g}_{\delta }\left|G\right\rangle\). In particular, hence, it is \({\hat{H}}_{C}\left|G\right\rangle ={\epsilon }_{0}\left|G\right\rangle\), with ϵ0: = ςg1 + k, and we will hereafter take k so that ϵ0 = 0.

Once the Cartan basis and the reference state are chosen, GCS are generated via

$$\left|{\mathbf{\Omega }}\right\rangle ={e}^{{\mathbf{\Omega }}\cdot {\hat{{\mathbf{R}}}}^{\dagger }-{{\mathbf{\Omega }}}^{* }\cdot \hat{{\mathbf{R}}}}\left|G\right\rangle \,,$$
(4)

where \(\hat{{\mathbf{R}}}:=({\hat{R}}_{1},{\hat{R}}_{2}...{\hat{R}}_{M})\); notice that the index m runs from 1 to M both in Ωm and in \({\hat{R}}_{m}\), by definition. GCS as from Eq. (4) are normalized and non-orthogonal, and expectation values of operators upon them, \(\left\langle {\mathbf{\Omega }}| \hat{O}| {\mathbf{\Omega }}\right\rangle\), are often dubbed symbols, indicated by O(Ω). For more technical details on this section, we refer the reader to the “Methods” section.

We consider the set of GCS defined by Ω = (0, 0, . . . , Ω, . . . 0), with chosen at will among those for which ϵ is real and positive, and χ) ≠ 0. Given that \({{{\Omega }}}_{\ell }\in {\Bbb{C}}\), we will hereafter use

$$\lambda :={{{\Omega }}}_{\ell }=\varrho {e}^{-i\varphi }\,,$$
(5)

with ϱ [0, ) and φ (−, ). Using the BCH formulas proper to \({{\mathfrak{g}}}_{C}\), and the definition (4), it can be easily shown that

$$\left|\lambda \right\rangle :=\left|{{\mathbf{\Omega }}}_{\ell }\right\rangle ={N}_{\varrho }{e}^{{{\Lambda }}{\hat{R}}_{\ell }^{\dagger }}\left|G\right\rangle \,,$$
(6)

with \({{\Lambda }}=| \tan (\varsigma \varrho )| {e}^{-i\varphi }\) and Nϱ a normalization factor that does not depend on φ. Furthermore, from the Cartan commutation rule \([{\hat{D}}_{\delta },{\hat{R}}_{\ell }]={d}_{\delta \ell }{\hat{R}}_{\ell }\) it follows \([{\hat{H}}_{C},{e}^{{{{\Lambda }}}^{* }{\hat{R}}_{\ell }}]=\epsilon {{{\Lambda }}}^{* }{\hat{R}}_{\ell }{e}^{{{{\Lambda }}}^{* }{\hat{R}}_{\ell }}\), leading to

$$\left\langle \lambda \right|{\hat{H}}_{C}\left|{\mathbf{\Omega }}\right\rangle =\left\langle G\right|{N}_{\varrho }{e}^{{{{\Lambda }}}^{* }{\hat{R}}_{\ell }}{\hat{H}}_{C}\left|{\mathbf{\Omega }}\right\rangle = i\epsilon \frac{d}{d\varphi }\left\langle \lambda | {\mathbf{\Omega }}\right\rangle.$$
(7)

Once defined the partial inner product \(\left\langle \right.\cdot \left|\cdot \right\rangle \left.\right\rangle :{{\mathcal{H}}}_{C}\otimes {{\mathcal{H}}}_{{{\Gamma }}}\to {{\mathcal{H}}}_{{{\Gamma }}}\) such that \(\left\langle \zeta \right|[\left\langle \right.\xi \left|{{\Psi }}\right\rangle \left.\right\rangle ]=(\left\langle \zeta \right|\otimes \left\langle \xi \right|)\left|{{\Psi }}\right\rangle \left.\right\rangle \,,\forall \xi \in {{\mathcal{H}}}_{C}\), and \(\forall \zeta \in {{\mathcal{H}}}_{{{\Gamma }}}\), we project the constraint (1) in the form

$$\left\langle \lambda \right|\hat{H}\left|{{\Psi }}\right\rangle \left.\right\rangle =0\,,$$
(8)

with \(\hat{H}\) and \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) as in Eqs. (2) and (3), and find, by virtue of the result (7),

$$i\epsilon \frac{d}{d\varphi }\left|{{{\Phi }}}_{\varrho }(\varphi )\right\rangle ={\hat{H}}_{{{\Gamma }}}\left|{{{\Phi }}}_{\varrho }(\varphi )\right\rangle \,,$$
(9)

where

$$\left|{{{\Phi }}}_{\varrho }(\varphi )\right\rangle :=\left\langle \right.\lambda \left|{{\Psi }}\right\rangle \left.\right\rangle = \int_{{{\mathcal{M}}}_{C}} d\mu ({\mathbf{\Omega }})\chi ({\mathbf{\Omega }})\left\langle \lambda | {\mathbf{\Omega }}\right\rangle \left|\phi ({\mathbf{\Omega }})\right\rangle$$
(10)

is an un-normalized element of \({{\mathcal{H}}}_{{{\Gamma }}}\), and we have introduced a notation that highlights the different meaning that the dependence on ϱ will have in what follows, w.r.t. that on φ. Reminding that ϵ is real and positive, Eq. (9) has the same form of the Shrödinger equation, with the real parameter

$$\frac{\hslash }{\epsilon }\varphi$$
(11)

playing the role of time, as found resorting to other parametric representations1,4,14,26. However, Eq. (9) is not the Schrödinger equation, as \(\left|{{{\Phi }}}_{\varrho }(\varphi )\right\rangle\) is not normalized. This is most often considered an amendable fault, as from Eq. (9) it follows \(\frac{d}{d\varphi }\left\langle {{{\Phi }}}_{\varrho }(\varphi )| {{{\Phi }}}_{\varrho }(\varphi )\right\rangle =0\) meaning that, should \(\left|{{{\Phi }}}_{\varrho }(\varphi )\right\rangle\) have a non-vanishing and finite norm, Eq. (9) would also hold for its normalized sibling. Before considering this point, let us collect some more clues on the meaning of ϱ and φ.

Getting back to the operator \({\hat{R}}_{\ell }\) introduced at the beginning of this section, one can define27,28 the so called “phase-operator” \(\hat{\phi }\), via

$${\hat{R}}_{\ell }={({\hat{R}}_{\ell }{\hat{R}}_{\ell }^{\dagger })}^{1/2}{e}^{-i\hat{\phi }}\,.$$
(12)

From the commutation rules between elements of the Cartan basis, reminding that \({\hat{H}}_{C}=\varsigma {\hat{D}}_{1}+k{\hat{{\mathbb{I}}}}_{C}\) and \(\epsilon =\varsigma {d}_{1\ell }\in {{\mathbb{R}}}^{+}\), it follows

$$[{\hat{H}}_{C},\sin \hat{\phi }]=i\epsilon \cos \hat{\phi }\,,$$
(13)

and hence (see, for instance, ref. 29)

$${{\Delta }}{\hat{H}}_{C}{{\Delta }}\sin \hat{\phi }\ge \left|\frac{\epsilon }{2}\left\langle \cos \hat{\phi }\right\rangle \right|\,,$$
(14)

with \({{\Delta }}\hat{B}:={(\langle {\hat{B}}^{2}\rangle -{\langle \hat{B}\rangle }^{2})}^{1/2}\) for any Hermitian operator \(\hat{B}\). Noticing that Eqs. (1) and (2) imply a relation between \({\hat{H}}_{C}\) and the energy of the system, while Eqs. (5) and (12) relate \(\hat{\phi }\) with φ, one might say that the inequality (14) is the ancestor of the time–energy uncertainty relation for Γ, after setting φ 1 and the parameter (11) precisely as time, a statement that is made clear in the next section. We also remind that the choice of is arbitrary, as long as it ensures ϵ real and positive, and χ(Ω) ≠ 0. So, the freedom left by this mild request allows one to further ask that time can be read by observing the clock. This means that there must exist Hermitian linear combinations of the operators \({\hat{R}}_{\ell }\) and \({\hat{R}}_{\ell }^{\dagger }\) that are experimentally accessible observables for C, and such that the results of their measurements carry information upon the coordinate φ.

Summarizing, we have so far collected results that point to \(\hbar\)φ/ϵ as “the time” for the evolving system, but the overall picture is not that provided by QM, where the quantum character of the clock is totally absent; this is the reason why we take our next step.

A classical clock for a quantum system

We now assume that the quantum theory describing C satisfies the conditions ensuring it flows into a well-defined classical theory when the clock becomes macroscopic, according to the large-N quantum approach based on GCS, as briefly described in the “Introduction” section. In particular, we use that GCS are the only quantum states that survive the quantum-to-classical crossover, insofar doing becoming orthogonal

$$\mathop{{\mathrm{lim}}} \limits_{N\to \infty }\left\langle {\mathbf{\Omega }}| {\mathbf{\Omega }}^{\prime} \right\rangle \to \delta ({\mathbf{\Omega }}-{\mathbf{\Omega }}^{\prime} )\,,$$
(15)

and defining the classical states identified by the corresponding points Ω on the classical phase-space \({\mathcal{M}}\). As for the observables, the only ones that stay meaningful throughout the crossover must obey

$$\mathop{{\mathrm{lim}}} \limits_{N\to \infty }\frac{\left\langle {\mathbf{\Omega }}| \hat{A}| {\mathbf{\Omega }}^{\prime} \right\rangle }{\left\langle {\mathbf{\Omega }}| {\mathbf{\Omega }}^{\prime} \right\rangle }<\infty \,,$$
(16)

so as to transform into well-defined functions on the classical phase-space. Using Eq. (15), one can easily show that \(\langle {{{\Phi }}}_{\varrho }(\varphi )| {{{\Phi }}}_{\varrho }(\varphi )\rangle \to {\chi }^{2}(\lambda )\) in the classical limit for the clock; moreover, it is χ2(λ) ≡ χ2(ϱ) due to Eq. (9). Therefore, reminding that χ2(ϱ) is a normalized probability distribution, any ϱ for which χ2(ϱ) ≠ 0 defines a physical state

$$|{\phi }_{\varrho }(\varphi )\rangle :=\frac{|{{{\Phi }}}_{\varrho }(\varphi )\rangle }{\sqrt{{\chi }^{2}(\varrho )}}\,,$$
(17)

whose dependence on φ is ruled by

$$i\epsilon \frac{d}{d\varphi }|{\phi }_{\varrho }(\varphi )\rangle ={\hat{H}}_{{{\Gamma }}}|{\phi }_{\varrho }(\varphi )\rangle \,,$$
(18)

which is the Schrödinger equation with t = \(\hbar\)φ/ϵ. In fact, the above result is a derivation of the Schrödinger equation akin to that suggested in the original work by Page and Wootters1, with state normalization ensured by construction, for a classical clock. We notice, though, that as a byproduct of having specifically addressed the normalization issue, the state (17) has a further dependence on the real parameter ϱ. In order to understand its meaning as far as the evolving system is concerned, we get back to the constraint (1) and its projection upon a GCS \(\left|\lambda \right\rangle\) of the clock, Eq. (8), with \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) as in Eq. (3). Considering that \(\left\langle \lambda | {\mathbf{\Omega }}\right\rangle\) is finite for finite N, we write

$$0 = \, \left\langle \lambda \right|\hat{H}\left|{{\Psi }}\right\rangle \left.\right\rangle\\ = \,\int_{{\mathcal{M}}} \ d\mu ({\mathbf{\Omega }})\chi ({\mathbf{\Omega }})\left\langle \lambda | {\mathbf{\Omega }}\right\rangle \left(\frac{\left\langle \lambda | {\hat{H}}_{C}| {\mathbf{\Omega }}\right\rangle }{\left\langle \lambda | {\mathbf{\Omega }}\right\rangle }-{\hat{H}}_{{{\Gamma }}}\right)\left|\phi ({\mathbf{\Omega }})\right\rangle$$
(19)

that becomes, in the classical limit for C where Eqs. (15) and (16) hold and for any ϱ such that χ2(ϱ) ≠ 0,

$${\hat{H}}_{{{\Gamma }}}|{\phi }_{\varrho }(\varphi )\rangle ={E}_{{{\Gamma }}}(\varrho )|{\phi }_{\varrho }(\varphi )\rangle \,,$$
(20)

with

$${E}_{{{\Gamma }}}(\varrho )=\left\langle \lambda | {\hat{H}}_{C}| \lambda \right\rangle \,;$$
(21)

the r.h.s. of the above equation, which is the symbol of \({\hat{H}}_{C}\) on \(\left|\lambda \right\rangle\), can be calculated and reads (see in “Methods”)

$${H}_{C}(\varrho ):=\left\langle \lambda | {\hat{H}}_{C}| \lambda \right\rangle =\frac{\epsilon }{2}{b}^{2}\left(\cos (2\varsigma \varrho )-1\right)\,,$$
(22)

with ς2b2 = ∑δgδdδ. It is relevant that Eq. (22) follows from algebraic properties, and therefore holds in general, regardless of the details of the theory that describes the clock. Furthermore, HC(ϱ) does not depend on φ, which justifies the use of the notation EΓ(ϱ) in Eq. (21) and allows one to consistently relate Eq. (20) with the stationary Schrödinger equation for Γ, with ϱ the parameter that sets its energy.

Let us now consider what happens when making measurements on the clock. We know that GCS are the only quantum states that survive the quantum-to-classical crossover according to \(\left|{\mathbf{\Omega }}\right\rangle \to {\mathbf{\Omega }}\), as described above and thoroughly discussed in the literature30,31,32,33,34. This means that performing a quantum measurement upon a system whose behavior can be effectively described as if it were classical is tantamount to select one GCS \(\left|{\mathbf{\Omega }}\right\rangle\) to be the ancestor of the observed classical state or, which is the same, say that the combined effect of a measurement and the classical limit is to make χ2(Ω) become a Dirac-δ around the point Ω on \({{\mathcal{M}}}_{C}\) that identifies the observed classical state. Let us now take such state to be one of the GCS \(\left|\lambda \right\rangle\), consistently with the task of making measurements of observables that characterize it as a clock, such as \({\hat{H}}_{C}\) or \(\sin \hat{\phi }\) in Eq. (13). When taking the classical limit of the clock, it can be demonstrated27,28 that

$$\left\langle \lambda | \sin \hat{\phi }| \lambda \right\rangle \to \sin \varphi \,\,,\,\,\left\langle \lambda | \cos \hat{\phi }| \lambda \right\rangle \to \cos \varphi \,;$$
(23)

this result, together with the definition ΔEΓ(ϱ): = ΔHC(ϱ) (that follows from Eqs. (20) and (21)) and a small-φ approximation, provides

$${{\Delta }}{E}_{{{\Gamma }}}(\varrho ){{\Delta }}\varphi \ge \frac{\epsilon }{2}\,,$$
(24)

where Δφ is related to the mean square fluctuation of the operator \(\hat{\varphi }\) for the clock via the classical limit of the clock itself. If the parameter \(\hbar\)φ/ϵ is identified with time, the above inequality has the form of an energy–time uncertainty relation for Γ. However, Δφ is not a time interval, and the way the result (24) is obtained suggests an altogether different interpretation, w.r.t. the usual one, of the elements entering the energy–time uncertainty relation. We will further comment upon this result in the concluding section.

Collecting all the clues so far obtained, we conclude this section maintaining that the parameter (11) is what we call “time” in QM, a statement that we express as

$${t}^{{\rm{QM}}}=\frac{\hslash }{\epsilon }\varphi \,,$$
(25)

where the apex QM indicates that this is the parameter that enters the quantum description of evolving systems.

This is not the end of the story, though, because it is now necessary to demonstrate that when the system Γ undergoes the quantum-to-classical crossover, the above results lead to the Hamilton e.o.m., with the parameter \(\hbar\)φ/ϵ still playing the role of time. To this purpose, in the next section we take the classical limit also for the evolving system, thus moving into a completely classical setting.

A classical clock for a classical system

Let us now consider what happens when the system Γ becomes macroscopic in a way that makes its behavior amenable to the laws of classical physics. As in the previous section, the problem is tackled in terms of GCS in the large-N limit. Therefore, besides the GCS for the clock \(\{\left|{\mathbf{\Omega }}\right\rangle \}\), here we also use the GCS for the system, i.e., those relative to the Lie algebra \({{\mathfrak{g}}}_{{{\Gamma }}}\) proper to the quantum theory that describes Γ. These will be indicated by \(\{|{\mathbf{\gamma }}\rangle \}\), where γ = (γ1, γ2, . . . γJ) with \({\gamma }_{j}\in {\Bbb{C}}\,\forall j\), and J related to the dimension of \({{\mathfrak{g}}}_{{{\Gamma }}}\). Each \(|{\mathbf{\gamma }}\rangle\) univocally identifies one point on the manifold \({{\mathcal{M}}}_{{{\Gamma }}}\), whose (real) dimension is 2J.

Using the resolution of the identity upon \({{\mathcal{H}}}_{C}\) and \({{\mathcal{H}}}_{{{\Gamma }}}\) in terms of the GCS \(\{\left|{\mathbf{\Omega }}\right\rangle \}\) and \(\left\{\right|{\mathbf{\gamma }}\left\}\right\rangle\), respectively, we write the state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) of the overall system as

$$\left|{{\Psi }}\right\rangle \left.\right\rangle ={\int}_{{{\mathcal{M}}}_{C}} d\mu ({\mathbf{\Omega }}){\int}_{{{\mathcal{M}}}_{{{\Gamma }}}} d\mu ({\mathbf{\gamma }})\beta ({\mathbf{\Omega }},{\mathbf{\gamma }})\left|{\mathbf{\Omega }}\right\rangle \otimes \left|{\mathbf{\gamma }}\right\rangle \,,$$
(26)

where

$$\beta ({\mathbf{\Omega }},{\mathbf{\gamma }}):=(\left\langle {\mathbf{\Omega }}\right|\otimes \left\langle {\mathbf{\gamma }}\right|)\left|{{\Psi }}\right\rangle \left.\right\rangle =\chi ({\mathbf{\Omega }})\left\langle \right.{\mathbf{\gamma }}\left|\phi ({\mathbf{\Omega }})\right\rangle$$
(27)

is a function on \({{\mathcal{M}}}_{C}\times {{\mathcal{M}}}_{{{\Gamma }}}\) whose square modulus, \({\chi }^{2}({\mathbf{\Omega }})| \left\langle {\mathbf{\gamma }}| \phi ({\mathbf{\Omega }})\right\rangle {| }^{2}\), is the conditional probability for Γ to be in the state \(\left|{\mathbf{\gamma }}\right\rangle\) when C is in the state \(\left|{\mathbf{\Omega }}\right\rangle\), given that the global system Ψ is in the pure state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\). In other terms, β(Ω, γ) is different from zero only on those pairs \(({\mathbf{\Omega }},{\mathbf{\gamma }})\in {{\mathcal{M}}}_{C}\times {{\mathcal{M}}}_{{{\Gamma }}}\) that define states \(\left|{\mathbf{\Omega }}\right\rangle \otimes \left|{\mathbf{\gamma }}\right\rangle \in {{\mathcal{H}}}_{C}\otimes {{\mathcal{H}}}_{{{\Gamma }}}\), which are present in the decomposition of \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) in terms of GCS, Eq. (26).

Projecting the constraint (1) upon one specific state \(\left|\overline{{\mathbf{\Omega }}}\right\rangle \otimes \left|\overline{{\mathbf{\gamma }}}\right\rangle\), we write

$$0= \, \left\langle \overline{{\mathbf{\Omega }}}\right|\otimes \left\langle \overline{{\mathbf{\gamma }}}\right|\hat{H}\left|{{\Psi }}\right\rangle \left.\right\rangle \\ = \, {\int}_{{{\mathcal{M}}}_{C}} d\mu ({\mathbf{\Omega }}){\int}_{{{\mathcal{M}}}_{{{\Gamma }}}} d\mu ({\mathbf{\gamma }})\beta ({\mathbf{\Omega }},{\mathbf{\gamma }})\left\langle \overline{{\mathbf{\Omega }}}| {\mathbf{\Omega }}\right\rangle \left\langle \overline{{\mathbf{\gamma }}}| {\mathbf{\gamma }}\right\rangle \\ \, \times \left[\frac{\left\langle \overline{{\mathbf{\Omega }}}| {\hat{H}}_{C}| {\mathbf{\Omega }}\right\rangle }{\left\langle \overline{{\mathbf{\Omega }}}| {\mathbf{\Omega }}\right\rangle }-\frac{\left\langle \overline{{\mathbf{\gamma }}}| {\hat{H}}_{{{\Gamma }}}| {\mathbf{\gamma }}\right\rangle }{\left\langle \overline{{\mathbf{\gamma }}}| {\mathbf{\gamma }}\right\rangle }\right]$$
(28)

that becomes, in the classical limit for C and Γ, i.e., assuming Eqs. (15) and (16) hold not only for the GCS and the Hamiltonian of the clock but also for those of the system,

$${H}_{C}({\mathbf{\Omega }})={H}_{{{\Gamma }}}({\mathbf{\gamma }})$$
(29)

for (Ω, γ) such that β(Ω, γ) ≠ 0, meaning that the configurations (Ω, γ) into which the original quantum state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) can flow when clock and system behave according to the rules of classical physics, must obey Eq. (29). In particular, if one considers the configurations among those for which β(Ω, γ) ≠ 0 that have Ω = (0, 0, . . . Ω, . . . 0), corresponding to the GCS \(\left|\lambda \right\rangle\) introduced above and identified by the complex variable λ = ϱeiφ, these will belong to a submanifold \(({{\mathcal{U}}}_{C}\subset {\Bbb{C}})\times ({{\mathcal{U}}}_{{{\Gamma }}}\subset {{\mathcal{M}}}_{{{\Gamma }}})\) such that a map \(F:{{\mathcal{U}}}_{C}\to {{\mathcal{U}}}_{{{\Gamma }}}\) exists, defined by

$$\lambda \in {{\mathcal{U}}}_{C}\;\mathop{\longrightarrow }\limits_{F}\;{\mathbf{u}}\in {{\mathcal{U}}}_{{{\Gamma }}}\,:\,{H}_{{{\Gamma }}}({\mathbf{u}}=F(\lambda ))={H}_{C}(\varrho )\,.$$
(30)

As the explicit form of F is arbitrary, we fix it as follows. We consider that \({{\mathcal{M}}}_{{{\Gamma }}}\) has a symplectic structure, which means that it exists a Darboux chart

$$\left\{\begin{array}{l}{\mathcal{D}}:{\mathbf{\gamma }}\in {{\mathcal{M}}}_{{{\Gamma }}}\ \ \to ({\mathbf{q}},{\mathbf{p}})\ :=\ (({q}_{1},{p}_{1}),({q}_{2},{p}_{2})...({q}_{J},{p}_{J}))\in {{\Bbb{R}}}^{2J}\ ,\\ \,{\text{such}}\, {\text{that}}\,{\{{q}_{i},{p}_{j}\}}_{{{\Gamma }}}={{\mathfrak{h}}}^{-1}{\delta }_{ij}\,\,{\rm{with}}\,\,{\mathfrak{h}}={\rm{const}}.\,,\\ \,\text{where}\,\ \ {\{\cdot ,\cdot \}}_{{{\Gamma }}}\ \,{\text{are}}\; {\text{Poisson}}\; {\text{brackets}}\; {\text{on}}\,\ {{\mathcal{M}}}_{{{\Gamma }}}\,,\end{array}\right.$$
(31)

that relates the parametrization of GCS via J-dimensional complex vectors {γ} with that obtained via J pairs of real, canonically conjugated, variables (qj, pj). For these pairs, referring to ref. 25, we choose

$${q}_{j}-i{\varsigma }^{2}{p}_{j}={v}_{j}\sqrt{2}b\varsigma \sin (\varsigma \varrho ){e}^{-i\varphi }$$
(32)

with \(\overrightarrow{v}\in {{\Bbb{R}}}^{J}\) constant unit vector, i.e., \({\sum }_{j}{v}_{j}^{2}=1\). As far as condition (30) is fulfilled, other choices are possible, without affecting the overall scheme and the subsequent results. Once F is given, the so called “pullback-by-F” map, sometimes indicated by F*, is also defined, according to \({F}^{* }:{\omega }_{{{\Gamma }}}^{(\kappa )}\,\longrightarrow\, {\omega }_{C}^{(\kappa )}\), where \({\omega }_{{{\Gamma }}(C)}^{(\kappa )}\) are κ-forms on \({{\mathcal{U}}}_{\Gamma (C)}\). In particular, for κ = 0, i.e., when considering functions, it is (F*fΓ)(λ) = fC(λ), with F*fΓ = fΓ(u = F(λ)). Applying F* on the symplectic 2-form defining the standard Poisson brackets in (31), we obtain the Poisson brackets on \({{\mathcal{M}}}_{C}\), that read (see in “Methods”)

$${\{{f}_{C},{g}_{C}\}}_{C}=\frac{1}{{\mathfrak{h}}{b}^{2}\varsigma \sin \left(2\varsigma \varrho \right)}\left(\frac{\partial {f}_{C}}{\partial \varrho }\frac{\partial {g}_{C}}{\partial \varphi }-\frac{\partial {g}_{C}}{\partial \varrho }\frac{\partial {f}_{C}}{\partial \varphi }\right)$$
(33)

fC, gC generic functions on \({{\mathcal{M}}}_{C}\). On the other hand, qj and pj are by all means functions on \({{\mathcal{M}}}_{C}\), as seen in Eq. (32); therefore, using Eq. (33) with gC = HC(ϱ) from Eq. (22) we evaluate \({\{{q}_{j},{H}_{C}\}}_{C}\) and \({\{{p}_{j},{H}_{C}\}}_{C}\), and find (see in “Methods”) \({\{{q}_{j},{H}_{C}\}}_{C}=\frac{\epsilon }{{\mathfrak{h}}}\frac{d\ {q}_{j}}{d\ \varphi }\), and \({\{{p}_{j},{H}_{C}\}}_{C}=\frac{\epsilon }{{\mathfrak{h}}}\frac{d\ {p}_{j}}{d\ \varphi }\). Finally, using \({\{{f}_{C}(\lambda ),{g}_{C}(\lambda )\}}_{C}={\{{f}_{{{\Gamma }}}({\mathbf{u}}),{g}_{{{\Gamma }}}({\mathbf{u}})\}}_{{{\Gamma }}}\,,\) we obtain

$$\left\{\begin{array}{lll}{\{{q}_{j},{H}_{{{\Gamma }}}\}}_{{{\Gamma }}}=\frac{\epsilon }{{\mathfrak{h}}}\frac{d\ {q}_{j}}{d\ \varphi }\\ {\{{p}_{j},{H}_{{{\Gamma }}}\}}_{{{\Gamma }}}=\frac{\epsilon }{{\mathfrak{h}}}\frac{d\ {p}_{j}}{d\ \varphi }\end{array}\right.$$
(34)

i.e., the Hamilton e.o.m. ruling the dynamics of classical systems, once time is recognized as the parameter

$${t}^{{\rm{CL}}}=\frac{{\mathfrak{h}}}{\epsilon }\varphi \,,$$
(35)

where the apex CL indicates that this is the parameter that enters the classical description of evolving systems. Getting back to Eq. (25) and setting the arbitrary constant \({\mathfrak{h}}\) in the Poisson brackets of the Darboux chart (31) equal to \(\hbar\), consistently with the fact that ϵ is defined as \(\hbar\) times a quantity that sets the energy scale of the clock, we finally obtain

$${t}^{{\rm{QM}}}={t}^{{\rm{CL}}}=\frac{\hslash }{\epsilon }\varphi \,,$$
(36)

This last equation, together with the derivation in one same framework of both the quantum-mechanical Schrödinger equation (18) and the classical Hamilton e.o.m. (34), represents the main result of this work, which is discussed in the next and last section.

Discussion

In the past decades, we have learnt that when quantum macroscopic systems can be effectively studied as if they were classical (which is what should be meant by “classical”), their geometrical properties follow from the algebraic structure of the quantum theory originally describing them (see, for instance, the way a specific phase-space emerges as the symplectic manifold involved in the GCS construction for one assigned quantum Lie algebra). This is by itself quite a breakthrough, as it allows to establish a dialog between classical and quantum physics without resorting to disjointed interventions such as quantization or, in the opposite direction, non-unitary state reduction.

When considering more than one system, things become ever more interesting. In fact, when a quantum system interacts with a classical environment (be that a magnetic field, or a thermal bath, or some macroscopic environment), the pure states of the former acquire a parametric dependence that testifies the existence of the latter and gives rise to geometrical effects such as the quantum Berry phase24,35,36,37. Awe comes, though, as these effects emerge even without interaction, as far as the systems are entangled and some physical constraint is enforced, such as Eq. (1) in the PaW mechanism. Indeed, this is how states of a quantum system come to depend on time according to the Schrödinger equation, as also shown in this work. In such setting, coordinates of points in manifolds and elements of Hilbert spaces (e.g., ϱ, φ and \(|{\phi }_{\varrho }(\varphi )\rangle\) in this work) relate to each other via rules, such as the Schrödinger equation or the time–energy uncertainty relation, whose generality is that of the physical principles. To this respect, we like to comment upon two of our results: First, we notice that the energy of the system Γ, i.e., EΓ(ϱ) in Eq. (20), does not depend on time, i.e., on φ, consistently with the fact that the Hamiltonian of an isolated system cannot depend on time. Then we underline that the inequality (24) does not follow from the non-commutativity between \({\hat{H}}_{{{\Gamma }}}\) and some other operator acting on \({{\mathcal{H}}}_{{{\Gamma }}}\): it is rather an indirect consequence of the inequality (13), which regards operators acting on the clock, plus the constraint (1) and the possibility, given by the use of GCS, of describing the clock as a classical object without wiping out the effects of one of the most relevant quantum feature, namely, entanglement. It is also worth reminding that Δφ in the inequality (24) does not emerge as a time interval, which suggests that such inequality, despite having the same form of the customary energy–time uncertainty relation, is of a somewhat different nature and origin. This relevant point will be further investigated in future work.

Overall, it is indeed remarkable that effects of a genuinely quantum feature such as entanglement survive in a completely classical setting, there continuing to cause, via the correlation established between clock and system, the emergence of such a fundamental ingredient of our everyday life as time, which is what we have here demonstrated by deriving the Hamilton e.o.m (34). Indeed, the fact that fundamental laws of classical Physics be derived within a completely quantum framework with the PaW-mechanism assumptions enforced substantiates the mechanism itself. Moreover, our results in the fully classical setting unravel another tangle of classical physics, namely, the relation between phase-space and spacetime. This relation emerges from the fact that, when the global system is in the pure state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\), the only configurations that survive its classical limit are those identified by points \(({\mathbf{\Omega }},{\mathbf{\gamma }})\in {{\mathcal{M}}}_{C}\times {{\mathcal{M}}}_{{{\Gamma }}}\) where the probability β(Ω, γ)2 is different from zero. Therefore, while the phase-space of Γ is the 2J dimensional symplectic manifold \({{\mathcal{M}}}_{{{\Gamma }}}\) defined by the GCS \(\left|{\mathbf{\gamma }}\right\rangle\), its spacetime is the (J + 1)-dimensional real hypersurface defined by Eqs. (29) and (32), whose points are identified by the coordinates (\(\hbar\)φ/ϵ; q), with \(\varphi =-\arg \lambda \in {\Bbb{R}}\) from Eq. (5) and \({\mathbf{q}}={\mathbf{q}}({\mathbf{\gamma }})\in {{\Bbb{R}}}^{J}\) from the Darboux chart (31), such that \(\beta (\overline{\varrho },\varphi ;{\mathbf{q}},\overline{{\mathbf{p}}})\) is different from zero for some \(\overline{\varrho }\) (i.e., energy of the clock) and \(\overline{{\mathbf{p}}}\) (i.e., momentum of the system). For instance, if Γ is a particle in a 3-dimensional space, it is q = (x, y, z), J = 3, and one finds the J + 1 = 4-dimensional spacetime. Notice that, if C and Γ were not entangled, i.e., \(\left|{{\Psi }}\right\rangle \left.\right\rangle =\left|C\right\rangle \otimes \left|{{\Gamma }}\right\rangle\), it would be \(\beta (\overline{\varrho },\varphi ;{\mathbf{q}},\overline{{\mathbf{p}}})=\chi (\overline{\varrho })\left\langle \right.({\mathbf{q}},\overline{{\mathbf{p}}})\left|{{\Gamma }}\right\rangle\), with no relation between instants of time \(\hbar\)φ/ϵ and position in space q. In other terms, as emerged in different contexts (see, for instance, ref. 38) not only quantum entanglement is what makes physical systems to evolve but it also provides their spacetime with a causal structure.

Despite effects of entanglement without interaction being already phenomenal, we think that taking possible interactions into account will lead to substantial developments of this work. One might first consider adding a quantum environment with which Γ starts interacting while being already entangled with the clock. This should describe the dynamics of the density operator of Γ and show how, and under what conditions, the Liouville–VonNeumann equation emerges, with clues about the non-unitary evolution of non-isolated systems. The presence of multiple clocks, possibly interacting among themselves, also seems an intriguing enrichment, particularly in view of some recent works by other authors11,16. However, the most compelling follow-up of this work, in our opinion, is that of relating the picture it proposes with that provided by relativity. In fact, we expect relativistic quantum mechanics and quantum field theory to find their place in the hybrid setting described in the section “A classical clock for a quantum system,” where studying how the expectation values of operators on \({{\mathcal{H}}}_{{{\Gamma }}}\) get to depend on (ϱ, φ) via the parametric dependence of the states \(|{\phi }_{\varrho }(\varphi )\rangle\), might help understanding some unclear aspects of the way special relativity encounters quantum mechanics. Moreover, having connected the classical formalism that set the scene for general relativity and gravity with a full quantum description, we think we have ideal tools for breaking through some of the obstacles that make quantum gravity so difficult to process. In particular, we believe that studying the probability distribution β(λ; q, p)2 in relation to the original Lie algebras \({{\mathfrak{g}}}_{C}\) and \({{\mathfrak{g}}}_{{{\Gamma }}}\) and/or the specific form of the quantum Hamiltonian \(\hat{H}\) may provide a link between the geodesic principle and the Schrödinger equation; furthermore, taking into account a possible interaction between evolving system and clock, as suggested in ref. 11, or between different clocks, as in ref. 16, might explain spacetime deformation, and hence gravity, from a quantum viewpoint. Work in this direction is in progress, particularly referring to the case of Schwartzschild black holes and Hawking radiation.

Methods

Generalized Coherent States

GCS are an extension of the field coherent states firstly introduced by R. Glauber in 196339. The group-theoretic construction was derived ten years later by A. Perelomov22 and R. Gilmore23, independently. GCS are normalized elements of Hilbert spaces which are in one-to-one correspondence with the points of a smooth manifold, that has all the properties requested to a classical phase-space. In the following, we briefly introduce GCS according to the procedure described by Gilmore and co-workers in ref. 25.

In order to construct GCS, three inputs are necessary:

(i1) a Lie algebra \({\mathfrak{g}}\), or the related Lie group \({\mathcal{G}}\),

(i2) a Hilbert space \({\mathcal{H}}\), which is the carrier space of an irreducible representation of \({\mathfrak{g}}\), and

(i3) a normalized element \(\left|G\right\rangle\) of \({\mathcal{H}}\).

Referring to a specific system for which GCS are to be constructed, the inputs are as follows: \({\mathcal{H}}\) is the Hilbert space of the system; \({\mathfrak{g}}\) is the Lie algebra whose representation via operators on \({\mathcal{H}}\) contains the Hamiltonians of the system, meaning that the representation of the related Lie group \({\mathcal{G}}\) contains all its propagators, which is why \({\mathcal{G}}\) is often dubbed dynamical group. The normalized element \(\left|G\right\rangle\) of \({\mathcal{H}}\) is a physically accessible state of the system, usually called reference state. For the sake of clarity, we will hereafter identify \({\mathfrak{g}}\) and \({\mathcal{G}}\) with their respective representations on \({\mathcal{H}}\). Once the inputs are given, the procedure returns three outputs:

(o1) the subgroup \({\mathcal{F}}\subset {\mathcal{G}}\) whose elements leave \(\left|G\right\rangle\) unchanged apart from an irrelevant overall phase, and the associated coset \({\mathcal{G}}/{\mathcal{F}}\), such that every \(\hat{{\bf{g}}}\in {\mathcal{G}}\) can be written as a unique decomposition of two group elements, one belonging to \({\mathcal{F}}\) and the other to \({\mathcal{G}}/{\mathcal{F}}\), i.e., \(\hat{{\bf{g}}}=\hat{{\mathbf{\Omega }}}\hat{{\bf{f}}}\) with \(\hat{{\bf{g}}}\in {\mathcal{G}},\ \hat{{\bf{f}}}\in {\mathcal{F}},\ \hat{{\mathbf{\Omega }}}\in {\mathcal{G}}/{\mathcal{F}}\);

(o2) the GCS

$$\left|{\mathbf{\Omega }}\right\rangle :=\hat{{\mathbf{\Omega }}}\left|G\right\rangle \ \,,\,\forall \hat{{\mathbf{\Omega }}}\in {\mathcal{G}}/{\mathcal{F}}\,;$$
(37)

(o3) a measure \(d\mu (\hat{{\mathbf{\Omega }}})\) on \({\mathcal{G}}/{\mathcal{F}}\), which is invariant under the action of the elements of \({\mathcal{G}}\), and therefore dubbed invariant measure, such that a resolution of the identity upon \({\mathcal{H}}\) is provided

$$\int_{{\mathcal{G/F}}}d\mu (\hat{{\mathbf{\Omega }}})\left|{\mathbf{\Omega }}\right\rangle \left\langle {\mathbf{\Omega }}\right|={\hat{{\Bbb{I}}}}_{{\mathcal{H}}}\ .$$
(38)

The GCS are normalized, \(\langle {\mathbf{\Omega }}| {\mathbf{\Omega }}\rangle =\left\langle G\right|{\hat{{\bf{g}}}}^{-1}\hat{{\bf{g}}}\left|G\right\rangle =\langle G| G\rangle =1\), \(\forall \ \hat{{\bf{g}}}\in {\mathcal{G}}\), but non-orthogonal,

$$\langle {\mathbf{\Omega }}| {\mathbf{\Omega }}^{\prime} \rangle =\left\langle G\right|{\hat{{\mathbf{\Omega }}}}^{-1}\hat{{\mathbf{\Omega }}}^{\prime} \left|G\right\rangle =\left\langle G\right|{\hat{{\bf{g}}}}^{-1}\hat{{\bf{g}}}^{\prime} \left|G\right\rangle {e}^{i\theta }=\left\langle G\right|\hat{{\bf{g}}}^{\prime\prime} \left|G\right\rangle {e}^{i\theta }\,\ne\, 0,$$

\(\forall \ \hat{{\bf{g}}},\hat{{\bf{g}}}^{\prime} ,\hat{{\bf{g}}}^{\prime\prime} \in {\mathcal{G}}\), and \(\hat{{\mathbf{\Omega }}},\hat{{\mathbf{\Omega }}}^{\prime} \in {\mathcal{G}}/{\mathcal{F}}\). For this reason, they are said to provide an “overcomplete” set of states for \({\mathcal{H}}\), where “complete” refers to Eq. (38), while “over” means that they are too many for being all orthogonal to each other.

As for the reference state \(\left|G\right\rangle\), a common, yet not mandatory, choice is that of taking it as an extremal state; for instance, one can choose \(\left|G\right\rangle\) as the minimal-weight state such that \({\hat{R}}_{m}\left|G\right\rangle =0\,\forall m\), with \({\hat{R}}_{m}\) defined below.

Getting an explicit expression for the operators \(\hat{{\mathbf{\Omega }}}\), and hence of the GCS via Eq. (37), requires a characterization of the algebra. In particular, if \({\mathfrak{g}}\) is semisimple, one can consider its Cartan decomposition, which classifies the generators as diagonal, \(\{{\hat{D}}_{\delta }\}\), or raising, \(\{{\hat{R}}_{m}\ ,\ {\hat{R}}_{-m}\}\), operators, according to

$$\left[{\hat{D}}_{\delta },{\hat{D}}_{\theta }\right]= \,0\ ,\ \left[{\hat{D}}_{\delta },{\hat{R}}_{m}\right]={d}_{\delta m}{\hat{R}}_{m}\quad ,\\ \left[{\hat{R}}_{m},{\hat{R}}_{-m}\right]= \,\mathop{\sum} \limits_{\delta }{d}_{\delta m}{\hat{D}}_{\delta }\ ,\ \left[{\hat{R}}_{m},{\hat{R}}_{m^{\prime} }\right]={c}_{mm^{\prime} }{\hat{R}}_{m+m^{\prime} }\ .$$
(39)

where {dδm}, \(\{{c}_{mm^{\prime} }\}\) are the so called structure constants, while \(m,m^{\prime}\) and δ, θ go from 1 to some upper value M and D, respectively, that depend on the algebra itself (in the case of \({\mathfrak{su}}(2)\), for instance, it is M = D = 1, and if spin-squeezing is also considered, it is M = 2 and D = 1). In any irreducible representation of \({\mathfrak{g}}\), it is possible to choose the raising operators such that \({\hat{R}}_{m}^{\dagger }={\hat{R}}_{-m}\,\forall m\), and, consistently, Hermitian or anti-Hermitian diagonal operators \({\hat{D}}_{\delta }^{\dagger }=+(-){\hat{D}}_{\delta }\ \forall \ \delta\), depending on the structure constants {dδm} being real or imaginary. The diagonal operators have the reference state among their eigenstates, i.e., \({\hat{D}}_{\delta }\left|G\right\rangle ={g}_{\delta }\left|G\right\rangle\)δ. Once the Cartan decomposition is available, it can be shown that the elements of \({\mathcal{G}}/{\mathcal{F}}\) in the definition (37) take the form

$$\hat{{\mathbf{\Omega }}}=\exp \left(\mathop{\sum} \limits_{m}{{{\Omega }}}_{m}{\hat{R}}_{m}^{\dagger }-{{{\Omega }}}_{m}^{* }{\hat{R}}_{m}\right)\ ,$$
(40)

where the coefficients \({{{\Omega }}}_{m}\in {\Bbb{C}}\) are coordinates of one point Ω of the differentiable manifold \({\mathcal{M}}\), which is associated with \({\mathcal{G}}/{\mathcal{F}}\) via the quotient manifold theorem40. Using a complex projective representation of \({\mathcal{G}}/{\mathcal{F}}\), GCS can also be written as

$$\left|{\mathbf{\Omega }}\right\rangle =N(| {\mathbf{\eta }}({\mathbf{\Omega }})| )\ {e}^{{\sum }_{m}{\eta }_{m}{\hat{R}}_{m}^{\dagger }}\left|G\right\rangle$$
(41)

where the normalization constant N(η(Ω)) and the relation between the ηm-coordinates and the Ωm ones can be obtained via the BCH formulas.

The chain of biunivocal relations

$$\hat{{\mathbf{\Omega }}}\in {\mathcal{G}}/{\mathcal{F}}\iff {\mathbf{\Omega }}\in {\mathcal{M}}\iff \left|{\mathbf{\Omega }}\right\rangle \in {\mathcal{H}}.$$
(42)

is one of the most distinctive feature of the group-theoretic construction, as it establishes that any GCS is univocally associated with a point on \({\mathcal{M}}\), and vice versa. As a consequence, the invariant measure \(d\mu (\hat{{\mathbf{\Omega }}})\) induces a measure dμ(Ω) upon \({\mathcal{M}}\). In fact, it can be demonstrated25 that \({\mathcal{M}}\) is endowed with a natural metric that can be expressed in the ηm-coordinates as

$$d{s}^{2}=\mathop{\sum} \limits_{mm^{\prime} }{g}_{mm^{\prime} }\ d{\eta }_{m}\ d{\eta }_{m^{\prime} }^{* }\ \ \,{\text{where}}\,\ \ {g}_{mm^{\prime} }:=\frac{{\partial }^{2}{\mathrm{log}}\,\langle {\tilde{\mathbf{\Omega }}}| {\tilde{\mathbf{\Omega }}}\rangle }{\partial {\eta }_{m}\ \partial {\eta }_{m^{\prime} }^{* }}\,,$$
(43)

with \(\left|\tilde{{\mathbf{\Omega }}}\right\rangle :=\left|{\mathbf{\Omega }}\right\rangle \ /N\) in (41). After ds2, one can define a canonical volume form on \({\mathcal{M}}\), i.e., the above-mentioned measure on \({\mathcal{M}}\), via

$$d\mu ({\mathbf{\Omega }})=\,\text{const}\,\times \det (g)\mathop{\prod}\limits _{m}d{\eta }_{m}\ d{\eta }^{*}_m\,.$$
(44)

The manifold \({\mathcal{M}}\) is also equipped with a symplectic structure that allows one to identify it as a phase-space. In particular, the symplectic form on \({\mathcal{M}}\) has the coordinate representation

$$\omega =-i\ \mathop{\sum} \limits_{mm^{\prime} }{g}_{mm^{\prime} }\ d{\eta }_{m}\wedge d{\eta }_{m^{\prime} }^{* }\,,$$
(45)

that can be used to define the Poisson brackets

$${\left\{f,g\right\}}_{PB}:=i\ \mathop{\sum} \limits_{mm^{\prime} }{g}^{mm^{\prime} }\left(\frac{\partial f}{\partial {\eta }_{m}}\frac{\partial g}{\partial {\eta }_{m^{\prime} }^{* }}-\frac{\partial f}{\partial {\eta }_{m^{\prime} }^{* }}\frac{\partial g}{\partial {\eta }_{m}}\right)\,,$$
(46)

with \({\sum }_{n}{g}_{mn}{g}^{nm^{\prime} }={\delta }_{m}^{m^{\prime} }\).

In the case of non-semisimple algebras, such as \({{\mathfrak{h}}}_{4}\) and \({{\mathfrak{h}}}_{6}\) for the harmonic and squeezed-harmonic oscillator, respectively, where a Cartan decomposition (39) is not available, analogous decompositions exist, and the same procedure can be adopted. This is explicitly done for \({{\mathfrak{h}}}_{4}\) at the end of this material, where we show that the results are the same as those obtained in the semisimple case.

Parametric representation with GCS

Parametric representations of composite systems can be built whenever a resolution of the identity upon the Hilbert space of one of the subsystems is available. In ref. 4, for instance, the representation is introduced via \(\int {\rm{d}}x\left|x\right\rangle \left\langle x\right|={\hat{{\Bbb{I}}}}_{C}\), where \(\left|x\right\rangle\) are the eigenstates of the position operator for one of two subsystems, and the integral is over the real axes. Our choice, which is pivotal to get to our final result, is based on the fact that parametric representations with GCS inherit from the group-theoretic construction some properties that are essential in order to follow the quantum-to-classical crossover and formally define a classical limit of a quantum theory, according to the large-N quantum approach.

The representation is defined as follows. Consider an isolated bipartite system Ψ = C + Γ with Hilbert space \({{\mathcal{H}}}_{{{\Psi }}}={{\mathcal{H}}}_{C}\otimes {{\mathcal{H}}}_{{{\Gamma }}}\), where Γ is the principal system and C its environment. The most general expression for a pure state of Ψ is

$$\left|{{\Psi }}\right\rangle \left.\right\rangle =\mathop{\sum} \limits_{\gamma \xi }{c}_{\gamma \xi }\left|\gamma \right\rangle \otimes \left|\xi \right\rangle \ \,\text{with}\,\ \mathop{\sum} \limits_{\gamma \xi }| {c}_{\gamma \xi }{| }^{2}=1\ ,$$
(47)

where \({\{\left|\gamma \right\rangle \}}_{{{\Gamma }}}\) and \({\{\left|\xi \right\rangle \}}_{C}\) are orthonormal bases for \({{\mathcal{H}}}_{{{\Gamma }}}\) and \({{\mathcal{H}}}_{C}\) respectively. Inserting the above-mentioned resolution of the identity upon \({{\mathcal{H}}}_{C}\), for which we choose the one provided by GCS, Eq. (38), one gets

$$\left|{{\Psi }}\right\rangle \left.\right\rangle =\int_{{\mathcal{M}}}d\mu ({\mathbf{\Omega }})\ \chi ({\mathbf{\Omega }})\ \left|{\mathbf{\Omega }}\right\rangle \otimes \left|\phi ({\mathbf{\Omega }})\right\rangle \ ,$$
(48)

where χ(Ω) is a function that can be chosen real, being defined via \({\chi }^{2}({\mathbf{\Omega }}):={\sum }_{\gamma }| {\sum }_{\xi }{c}_{\gamma \xi }\left\langle {\mathbf{\Omega }}| \xi \right\rangle {| }^{2}\). The element \(\left|\phi ({\mathbf{\Omega }})\right\rangle\) of \({{\mathcal{H}}}_{{{\Gamma }}}\) is normalized, and hence describe a pure state of Γ. Due to the normalization of \(\left|{{\Psi }}\right\rangle \left.\right\rangle\), it is

$$\int_{{\mathcal{M}}}d\mu ({\mathbf{\Omega }}){\chi }^{2}({\mathbf{\Omega }})=1\ ,$$
(49)

meaning that χ2(Ω) can be interpreted as a probability distribution on \({\mathcal{M}}\). The above expressions have a clear physical interpretation: reminding that each point \({\mathbf{\Omega }}\in {\mathcal{M}}\) is in one-to-one correspondence with a GCS \(\left|{\mathbf{\Omega }}\right\rangle \in {{\mathcal{H}}}_{C}\), we can say that \(\left|\phi ({\mathbf{\Omega }})\right\rangle\) is the state of Γ conditioned to C being in the GCS \(\left|{\mathbf{\Omega }}\right\rangle\), a circumstance that occurs with probability χ2(Ω) when Ψ is in the pure state \(\left|{{\Psi }}\right\rangle \left.\right\rangle\). This interpretation is consistent with the following relations41

$${\chi }^{2}({\mathbf{\Omega }})=\left\langle {\mathbf{\Omega }}\right|{\rho }_{C}\left|{\mathbf{\Omega }}\right\rangle \,,$$
(50)

and

$${\rho }_{{{\Gamma }}}=\int_{{\mathcal{M}}}d\mu ({\mathbf{\Omega }})\chi {({\mathbf{\Omega }})}^{2}\left|\phi ({\mathbf{\Omega }})\right\rangle \ \ \left\langle \phi ({\mathbf{\Omega }})\right|\,,$$
(51)

where \({\rho }_{{{\Gamma }}(C)}:={{\rm{Tr}}}_{C({{\Gamma }})}\left|{{\Psi }}\right\rangle \left.\right\rangle \ \left\langle \right.\left\langle {{\Psi }}\right|\). Notice that the diagonal-like form (51) of ρΓ is not generally granted for parametric representations such that the identity resolution is in terms of non-orthogonal states, as in the GCS case. In fact, it is the specific overcompleteness of GCS that ensures Eq. (51) to hold.

Finally, it is important to remind that, despite parametric representations allow one to use pure states \(\left|\phi ({\mathbf{\Omega }})\right\rangle\) to describe Γ, this should by no means be intended as if Γ were in a pure state. In fact, due to the parametric dependence of \(\left|\phi ({\mathbf{\Omega }})\right\rangle\) on Ω, the density operator ρΓ in Eq. (51) is not a projector, reflecting that C and Γ are entangled, as far as the form (47) of \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) stays general. To this respect, it is easily verified that when \(\left|{{\Psi }}\right\rangle \left.\right\rangle\) is separable the above parametric dependence dies out.

Derivation of the symbol of \({\hat{H}}_{C}\)

In this part, we express the symbol \(\left\langle \lambda \right|{\hat{H}}_{C}\left|\lambda \right\rangle\) of the clock Hamiltonian, in terms of the complex parameter λ: = Ω = ϱeiφ that defines the GCS \(\left|\lambda \right\rangle\) via \(\left|\lambda \right\rangle :={e}^{\hat{W}}\left|G\right\rangle\) with \(\left|G\right\rangle\) the clock reference state satisfying \({\hat{R}}_{m}\left|G\right\rangle =0\,\forall m\), \({\hat{D}}_{\delta }\left|G\right\rangle ={g}_{\delta }\left|G\right\rangle\), and \(\hat{W}:={\hat{W}}_{\ell }:={{{\Omega }}}_{\ell }{\hat{R}}_{\ell }^{\dagger }-{{{\Omega }}}_{\ell }^{* }{\hat{R}}_{\ell }\). Recalling that \({\hat{H}}_{C}=\varsigma {\hat{D}}_{1}+k{\hat{{\Bbb{I}}}}_{C}\) with k: = − ςg1 and ς2 = ± 1 such that ϵ: = ςd1 is real and positive, we write

$$\left\langle \lambda \right|{\hat{H}}_{C}\left|\lambda \right\rangle = \, k+\varsigma \left\langle G\right|{e}^{-\hat{W}}{\hat{D}}_{1}{e}^{\hat{W}}\left|G\right\rangle \\ = \, k+\varsigma \left\langle G\right|{\hat{D}}_{1}+[\hat{W},{\hat{D}}_{1}]+\frac{1}{2!}[\hat{W},[\hat{W},{\hat{D}}_{1}]]\\ \, +\frac{1}{3!}[\hat{W},[\hat{W},[\hat{W},{\hat{D}}_{1}]]]\\ \,+\frac{1}{4!}[\hat{W},[\hat{W},[\hat{W},[\hat{W},{\hat{D}}_{1}]]]]+...\left|G\right\rangle \\ = \, k+\varsigma \left\langle G\right|{\hat{D}}_{1}+[\hat{W},{\hat{D}}_{1}]+\mathop{\sum} \limits_{\delta }\left[\frac{1}{2!}(-2{d}_{1l}{d}_{\delta \ell }{\varrho }^{2}{\hat{D}}_{\delta })\right.\\ \, +\frac{1}{3!}(-2{d}_{1\ell }{d}_{\delta \ell }{\varrho }^{2}[\hat{W},{\hat{D}}_{\delta }])\\ \, +\frac{1}{4!}\mathop{\sum} \limits_{\theta }(-2{d}_{1\ell }{d}_{\theta \ell }{\varrho }^{2})(-2{d}_{\theta \ell }{d}_{\delta \ell }{\varrho }^{2}{\hat{D}}_{\delta })\left.+...\right]\left|G\right\rangle \\ = \, \varsigma \mathop{\sum} \limits_{\delta }{g}_{\delta }\left[\frac{1}{2!}(-2{\varrho }^{2}{d}_{1\ell }{d}_{\delta \ell })\right.\\ \, +\frac{1}{4!}\mathop{\sum} \limits_{\theta }(-2{\varrho }^{2}{d}_{1\ell }{d}_{\theta \ell })(-2{\varrho }^{2}{d}_{\theta \ell }{d}_{\delta \ell })\left.+...\right]\\ = \,\varsigma {d}_{1\ell }\mathop{\sum} \limits_{\delta }{g}_{\delta }{d}_{\delta \ell }\left(\mathop{\sum }\limits_{n=1}^{\infty }\frac{{(-1)}^{n}}{(2n)!}{(\sqrt{2}\varrho )}^{2n}{a}^{2n-2}\right)\\ = \, \epsilon {a}^{-2}{\varsigma }^{2}{b}^{2}\left(\cos \left(a\sqrt{2}\varrho \right)-1\right):={H}_{C}(\varrho ),$$
(52)

where \({a}^{2}={\sum }_{\theta }{d}_{\theta \ell }^{2}\) and ς2b2 = ∑δgδdδ. For the sake of a lighter notation, in what follows and in the main work we set ς2a2 = 2, which means that the raising and diagonal operators are multiplied by \(\sqrt{2{\varsigma }^{2}}/a\), and their eigenvectors are rescaled accordingly. We thus finally get

$$\left\langle \lambda \right|{\hat{H}}_{C}\left|\lambda \right\rangle =\frac{\epsilon {b}^{2}}{2}(\cos (2\varsigma \varrho )-1)\,.$$
(53)

The pullback-by-F and the Poisson brackets on \({{\mathcal{M}}}_{C}\)

In this part, we will explicitly calculate the Poisson brackets {, }C induced on \({{\mathcal{M}}}_{C}\) via the pullback-by-F. We recall that, given the manifolds \({{\mathcal{M}}}_{C}\) and \({{\mathcal{M}}}_{{{\Gamma }}}\) for the clock C and the evolving system Γ as from the GCS construction, the map \(F:{U}_{C}\subset {{\mathcal{M}}}_{C}\to {U}_{{{\Gamma }}}\subset {{\mathcal{M}}}_{{{\Gamma }}}\), is defined as

$$\left\{\begin{array}{lll}{q}_{j}=\sqrt{2}\ b\ \varsigma \ \sin \left(\varsigma \varrho \right)\cos (\varphi )\ {v}_{j},\\ {p}_{j}=\frac{\sqrt{2}\ b}{\varsigma }\ \sin \left(\varsigma \varrho \right)\sin (\varphi )\ {v}_{j},\quad\,\;\end{array}\right.$$
(54)

with \({\sum }_{j}{v}_{j}^{2}=1\). We remind that the Poisson brackets are defined on a generic symplectic manifold \({\mathcal{M}}\) starting from its symplectic form \(\omega =\frac{1}{2}{\sum }_{\mu \nu }{\omega }_{\mu \nu } {\rm{d}}{x}^{\mu }\wedge {\rm{d}}{x}^{\nu }\), via \(\{f,g\}={\sum }_{\mu \nu }{\omega }^{\mu \nu }\ {\partial }_{{x}_{\mu }}f\ {\partial }_{{x}_{\nu }}g\) with \({\sum }_{\sigma }{\omega }_{\mu \sigma }\ {\omega }^{\sigma \nu }={\delta }_{\mu }^{\nu }\), and xμ\((\mu =1,...,2n=\dim {\mathcal{M}})\), f, g are some coordinates and generic functions on \({\mathcal{M}}\), respectively. In fact, the Darboux theorem guarantees that there exists local coordinates xμ = (q1, . . . , qn, p1, . . . , pn) such that \(\omega ={\mathfrak{h}}\ \mathop{\sum }\nolimits_{j = 1}^{n}d{p}_{j}\wedge d{q}_{j}\) and \(\{f,g\}={{\mathfrak{h}}}^{-1}\ \mathop{\sum }\nolimits_{j = 1}^{n}\left({\partial }_{{q}_{j}}f\ {\partial }_{{p}_{j}}g-{\partial }_{{p}_{j}}f\ {\partial }_{{q}_{j}}g\right)\), with \({\mathfrak{h}}=const.\). This said, being (qj, pj) in Eq. (54) Darboux coordinates, i.e., \({\{{q}_{j},{p}_{j}\}}_{{{\Gamma }}}={{\mathfrak{h}}}^{-1}{\delta }_{ij}\), the symplectic form ωΓ on \({U}_{{{\Gamma }}}\subset {{\mathcal{M}}}_{{{\Gamma }}}\) is

$${\omega }_{{{\Gamma }}}={\mathfrak{h}}\ \mathop{\sum} \limits_{j}d{p}_{j}\wedge d{q}_{j}\,.$$
(55)

We can now calculate the pullback-by-F of ωΓ as

$${({\omega }_{{{\Gamma }}})}^{* }= \, {\mathfrak{h}}\ \mathop{\sum} \limits_{j}\left[\sqrt{2}b\ \cos \left(\varsigma \varrho \right)\sin (\varphi )\ {v}_{j}\ d\varrho \right.\\ \,+\left.\frac{\sqrt{2}b}{\varsigma }\ \sin \left(\varsigma \varrho \right)\cos (\varphi )\ {v}_{j}\ d\varphi \right]\\ \,\wedge \left[\sqrt{2}\ b{\varsigma }^{2}\ \cos \left(\varsigma \varrho \right)\cos (\varphi )\ {v}_{j}\ d\varrho \right.\\ \,-\left.\sqrt{2}b\varsigma \ \sin \left(\varsigma \varrho \right)\sin (\varphi )\ {v}_{j}\ d\varphi \right]\\ = \,{\mathfrak{h}}\ \mathop{\sum} \limits_{j}\left[-{b}^{2}\ \varsigma \ \sin \left(2\varsigma \varrho \right)\ {v}_{j}^{2}\right.{\sin }^{2}\varphi \ \ d\varrho \wedge d\varphi \\ \,+{b}^{2}\ \varsigma \ \sin \left(2\varsigma \varrho \right)\ {v}_{j}^{2}\left.\ \ \ {\cos }^{2}\varphi \ \ d\varphi \wedge d\varrho \right]\\ = \, {\mathfrak{h}}{b}^{2}\varsigma \ \sin \left(2\varsigma \varrho \right)\ \ d\varphi \wedge d\varrho.$$
(56)

Finally \({({\omega }_{{{\Gamma }}})}^{* }\) defines Poisson brackets on \({{\mathcal{M}}}_{C}\) via

$${\{{f}_{C},{g}_{C}\}}_{C}=\frac{1}{{\mathfrak{h}}{b}^{2}\ \varsigma \ \sin \left(2\varsigma \varrho \right)}\left(\frac{\partial {f}_{C}}{\partial \varrho }\frac{\partial {g}_{C}}{\partial \varphi }-\frac{\partial {f}_{C}}{\partial \varphi }\frac{\partial {g}_{C}}{\partial \varrho }\right).$$
(57)

We clarify that our choice (54) for the map F follows from the one suggested in ref. 25, but other choices are possible.

The Heisenberg algebra \({{\mathfrak{h}}}_{4}\)

When the Lie algebra \({\mathfrak{g}}\), to which the clock Hamiltonian \({\hat{H}}_{C}\) belongs, is semisimple, the GCS are built starting from the Cartan decomposition. However, a similar construction can be put forward for the non-semisimple algebra \({{\mathfrak{h}}}_{4}\). The latter is defined by the set \(\{\hat{n}={\hat{a}}^{\dagger }\hat{a},\hat{a},{\hat{a}}^{\dagger },\hat{{\Bbb{I}}}\}\) with commutation relations \([\hat{a},{\hat{a}}^{\dagger }]=\hat{{\Bbb{I}}},\ \ [\hat{a},\hat{{\Bbb{I}}}]=[{\hat{a}}^{\dagger },\hat{{\Bbb{I}}}]=0\). The GCS \(\left|\alpha \right\rangle\), usually called harmonic-oscillator coherent states or just coherent states, are in one-to-one correspondence with the points of the complex plane \({\Bbb{C}}\) and can be equivalently defined as \(\left|\alpha \right\rangle ={e}^{\alpha {\hat{a}}^{\dagger }-{\alpha }^{* }\hat{a}}\left|G\right\rangle ={e}^{-| \alpha {| }^{2}/2}\ {e}^{\alpha {\hat{a}}^{\dagger }}\left|G\right\rangle\) with \(\hat{n}\left|G\right\rangle =\hat{a}\left|G\right\rangle =0\), or as \(\hat{a}\left|\alpha \right\rangle =\alpha \left|\alpha \right\rangle\) with \(\alpha \in {\Bbb{C}}\). When the clock C admits a proper classical limit, the Schrödinger equation for the evolving system Γ can be obtained, as shown in the main work, implementing the PaW mechanism via the parametric representation with GCS, and considering a fixed GCS \(\left|\lambda \right\rangle ={e}^{\lambda {\hat{a}}^{\dagger }-{\lambda }^{* }\hat{a}}\left|G\right\rangle ={N}_{\varrho }{e}^{\lambda {\hat{a}}^{\dagger }}\left|G\right\rangle\) with λ = ϱeiφ, for which, being \([\hat{n},{e}^{{\lambda }^{* }\hat{a}}]=-{\lambda }^{* }\hat{a}{e}^{{\lambda }^{* }\hat{a}}\), it is \(\left\langle \lambda \right|{\hat{H}}_{C}\left|\alpha \right\rangle =i\epsilon \frac{d}{d\varphi }\langle \lambda | \alpha \rangle\), where \({\hat{H}}_{C}=\epsilon \hat{n}\). Again, the temporal parameter tQM turns out to be tQM = (\(\hbar\)/ϵ)φ. Moreover, since it is trivial to show that \({H}_{C}(\lambda )=\left\langle \lambda \right|{\hat{H}}_{C}\left|\lambda \right\rangle =\epsilon {\varrho }^{2}\), the considerations concerning the parameter ϱ and the stationary Schrödinger equation for Γ still apply. For what concerns the uncertainty relation, a phase-operator can be defined via \(\hat{a}={\hat{n}}^{1/2}{e}^{i\hat{\phi }}\). Finally, when Γ becomes macroscopic and presents a completely classical behavior, its dynamics is ruled by the Hamilton equations according to a temporal parameter tCL = tQM. This result can be obtained following the same line of reasoning of the main work and choosing the map F to be \({q}_{j}-i{p}_{j}={v}_{j}\sqrt{2}\varrho {e}^{i\varphi }\) with \({\sum }_{j}{v}_{j}^{2}=1\).

Data availability

No datasets were generated or analyzed during the current study.

References

  1. 1.

    Page, D. N. & Wootters, W. K. Evolution without evolution: dynamics described by stationary observables. Phys. Rev. D 27, 2885 (1983).

    ADS  Article  Google Scholar 

  2. 2.

    Gambini, R., Porto, R. A. & Pullin, J. Realistic clocks, universal decoherence, and the black hole information paradox. Phys. Rev. Lett. 93, 240401 (2004).

    ADS  MathSciNet  Article  Google Scholar 

  3. 3.

    Moreva, E. et al. Time from quantum entanglement: an experimental illustration. Phys. Rev. A 89, 052122 (2014).

    ADS  Article  Google Scholar 

  4. 4.

    Giovannetti, V., Lloyd, S. & Maccone, L. Quantum time. Phys. Rev. D 92, 045033 (2015).

    ADS  MathSciNet  Article  Google Scholar 

  5. 5.

    Marletto, C. & Vedral, V. Evolution without evolution and without ambiguities. Phys. Rev. D 95, 043510 (2017).

    ADS  Article  Google Scholar 

  6. 6.

    Leon, J. & Maccone, L. The Pauli objection. Found. Phys. 47, 1597 (2017).

    ADS  MathSciNet  Article  Google Scholar 

  7. 7.

    Moreva, E., Gramegna, M., Brida, G., Maccone, L. & Genovese, M. Quantum time: experimental multitime correlations. Phys. Rev. D 96, 102005 (2017).

    ADS  Article  Google Scholar 

  8. 8.

    Bryan, K. L. H. & Medved, A. J. M. Realistic clocks for a universe without time. Found. Phys. 48, 48 (2017).

    ADS  MathSciNet  Article  Google Scholar 

  9. 9.

    Gour, G., Jennings, D., Buscemi, F., Duan, R. & Marvian, I. Quantum majorization and a complete set of entropic conditions for quantum thermodynamics. Nat. Commun. 9, 5352 (2018).

  10. 10.

    Mendes, L. R. S. & Soares-Pinto, D. O. Time as a consequence of internal coherence. Proc. R. Soc. A Math. Phys. Eng. Sci. 475, 20190470 (2019).

    ADS  MathSciNet  Google Scholar 

  11. 11.

    Smith, A. R. H. & Ahmadi, M. Quantizing time: interacting clocks and systems. Quantum 3, 160 (2019).

    Article  Google Scholar 

  12. 12.

    Loveridge, L. & Miyadera, T. Relative quantum time. Found. Phys. 49, 549 (2019).

    ADS  MathSciNet  Article  Google Scholar 

  13. 13.

    Baumann, V. et al. Generalized probability rules from a timeless formulation of Wigner’s friend scenarios. Preprint at axRiv https://arxiv.org/abs/1911.09696, (2019).

  14. 14.

    Favalli, T. & Smerzi, A. Time observables in a timeless universe. Quantum 4, 354 (2020).

    Article  Google Scholar 

  15. 15.

    Maccone, L. & Sacha, K. Quantum measurements of time. Phys. Rev. Lett. 124, 110402 (2020).

    ADS  MathSciNet  CAS  Article  Google Scholar 

  16. 16.

    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. 11, 2672 (2020).

    ADS  CAS  Article  Google Scholar 

  17. 17.

    Lieb, E. H. The classical limit of quantum spin systems. Commun. Math. Phys. 31, 327 (1973).

    ADS  MathSciNet  Article  Google Scholar 

  18. 18.

    Berezin, F. A. Models of gross-neveu type are quantization of a classical mechanics with nonlinear phase space. Commun. Math. Phys. 63, 131 (1978).

    ADS  MathSciNet  Article  Google Scholar 

  19. 19.

    Yaffe, L. G. Large N limits as classical mechanics. Rev. Mod. Phys. 54, 407 (1982).

    ADS  MathSciNet  CAS  Article  Google Scholar 

  20. 20.

    Brézin, E. & Wadia, S. R. The Large N Expansion in Quantum Field Theory and Statistical Physics (World Scientific, 1993).

  21. 21.

    Coppo, A., Cuccoli, A., Foti, C. & Verrucchi, P. From a quantum theory to a classical one. Soft Computing 24, 10315 (2020).

    Article  Google Scholar 

  22. 22.

    Perelomov, A. M. Coherent states for arbitrary lie group. Commun. Math. Phys. 26, 222 (1972).

    ADS  MathSciNet  Article  Google Scholar 

  23. 23.

    Gilmore, R. Geometry of symmetrized states. Ann. Phys. 74, 391 – 463 (1972).

    MathSciNet  Article  Google Scholar 

  24. 24.

    Calvani, D., Cuccoli, A., Gidopoulos, N. I. & Verrucchi, P. Parametric representation of open quantum systems and cross-over from quantum to classical environment. Proc. Natl Acad. Sci. USA 110, 6748 (2013).

    ADS  CAS  Article  Google Scholar 

  25. 25.

    Zhang, W. M., Feng, D. H. & Gilmore, R. Coherent states: theory and some applications. Rev. Mod. Phys. 62, 867 (1990).

    ADS  MathSciNet  Article  Google Scholar 

  26. 26.

    Barni, G. Time and clocks. BS thesis, Università degli Studi di Firenze (2014).

  27. 27.

    Carruthers, P. & Nieto, M. M. Coherent states and the number-phase uncertainty relation. Phys. Rev. Lett. 14, 387 (1965).

    ADS  MathSciNet  Article  Google Scholar 

  28. 28.

    Vaglica, A. & Vetri, G. Coherent spin states and energy-phase uncertainty relation. Opt. Commun. 51, 239 (1984).

    ADS  Article  Google Scholar 

  29. 29.

    Bransden, B. H. & Joachain, C. J. Quantum Mechanics (Pearson Education, 2000).

  30. 30.

    Zurek, W. H. Decoherence, einselection, and the quantum origins of the classical. Rev. Mod. Phys. 75, 715 (2003).

    ADS  MathSciNet  Article  Google Scholar 

  31. 31.

    Liuzzo Scorpo, P., Cuccoli, A. & Verrucchi, P. Parametric description of the quantum measurement process. EPL (Europhys. Lett.) 111, 40008 (2015).

    ADS  Article  Google Scholar 

  32. 32.

    Rossi, M. A. C. et al. Effective description of the short-time dynamics in open quantum systems. Phys. Rev. A 96, 032116 (2017).

    ADS  Article  Google Scholar 

  33. 33.

    Foti, C., Heinosaari, T., Maniscalco, S. & Verrucchi, P. Whenever a quantum environment emerges as a classical system, it behaves like a measuring apparatus. Quantum 3, 179 (2019).

    Article  Google Scholar 

  34. 34.

    Foti, C. On the macroscopic limit of quantum systems. PhD thesis, Università degli Studi di Firenze (2019).

  35. 35.

    Vedral, V. Geometric phases and topological quantum computation. Int. J. Quantum Inf. 01, 1 (2003).

    Article  Google Scholar 

  36. 36.

    Nori, F. The dynamics of spinning light. Nat. Photonics 2, 717 (2008).

    ADS  Article  Google Scholar 

  37. 37.

    Rotondo, M. & Nambu, Y. Clock time in quantum cosmology. Universe 5, 66 (2019).

    ADS  CAS  Article  Google Scholar 

  38. 38.

    Van Raamsdonk, M. Building up spacetime with quantum entanglement. Int. J. Mod. Phys. D 19, 2429 (2010).

    ADS  Article  Google Scholar 

  39. 39.

    Glauber, R. J. The quantum theory of optical coherence. Phys. Rev. 130, 2529–2539 (1963).

    ADS  MathSciNet  Article  Google Scholar 

  40. 40.

    Lee, J. Introduction to Smooth Manifolds (Springer, 2012).

  41. 41.

    Calvani, D. The parametric representation of an open quantum system. PhD thesis, Università degli Studi di Firenze (2012).

Download references

Acknowledgements

We thank G. García-Pérez, S .Maniscalco, B. Sokolov, and F. Bonechi for amazing discussions, stimulating questions, and valuable suggestions. C.F. and P.V. also acknowledge the beauty of the Dolomites for inspiration during the Quantum Hiking 2019 international conference. P.V. gratefully acknowledges support from the Kavli Institute for Theoretical Physics @UC Santa Barbara, in the framework of the program Open Quantum System Dynamics, and all the discussions with the participants during the program itself. A. Cuccoli and C.F. acknowledge Fondazione CR Firenze for financial support within project 2018.0951. This work is done in the framework of the Convenzione operativa between the Institute for Complex Systems of the Consiglio Nazionale delle Ricerche (Italy) and the Physics and Astronomy Department of the University of Florence.

Author information

Affiliations

Authors

Contributions

All authors contributed to all aspects of the research.

Corresponding author

Correspondence to Caterina Foti.

Ethics declarations

Competing interests

The author declares no competing interests.

Additional information

Peer review information Nature Communications thanks Lorenzo Maccone and the other, anonymous, reviewer(s) for their contribution to the peer review of this work. Peer reviewer reports are available.

Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Supplementary information

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Foti, C., Coppo, A., Barni, G. et al. Time and classical equations of motion from quantum entanglement via the Page and Wootters mechanism with generalized coherent states. Nat Commun 12, 1787 (2021). https://doi.org/10.1038/s41467-021-21782-4

Download citation

Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

Search

Quick links

Nature Briefing

Sign up for the Nature Briefing newsletter — what matters in science, free to your inbox daily.

Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing