--- title: 'Clock Ambiguity: Internal Time & Operational Challenges' url: https://www.emergentmind.com/topics/clock-ambiguity type: topic --- # Clock Ambiguity: Internal Time & Operational Challenges Clock ambiguity appears in several technically distinct settings. In time-reparameterization-invariant and Page–Wootters-type frameworks, the choice of internal time or clock can change the effective dynamics associated with a single stationary state [0708.2743, 2604.21805]. In gravitating superpositions, a coherent superposition of the large and small object introduces an ambiguity in the definition of a common time for both states [1401.0176]. In synchronization theory, spacetime curvature implies obstacles to synchronization, while real symbol-handling requires a notion of “logical synchronization” distinct from Einstein synchronization [1911.04434]. In metrology and sensing, ambiguity arises when phase readout leaves the inversion region of Ramsey interrogation [1501.03709] and when bistatic systems suffer timing and carrier-frequency offsets due to unsynchronized clocks [2507.09215]. Taken together, these uses suggest a common theme: time becomes operationally non-unique when it is tied to physical subsystems, measurement channels, or reference conventions rather than supplied as a fixed external parameter. ## 1. Internal time and the original ambiguity in reparameterization-invariant theories In time-reparameterization-invariant theories, the total Hamiltonian vanishes as a first-class constraint, and in Dirac quantization one imposes $$ H\,|\Psi\rangle=0,\qquad H=0. $$ Time is then recovered by splitting the full Hilbert space into a clock subsystem and the rest, $$ \mathcal H_S=\mathcal H_C\otimes\mathcal H_R, $$ choosing a clock basis $\{\ket{t_i}_C\}$, and conditioning the physical state on the clock reading: $$ \ket{\psi(t_i)}_R\equiv\sum_j\alpha_{ij}\ket{j}_R. $$ For sufficiently fine-grained clock labels, successive conditional states define unitary steps and an effective Hamiltonian through $$ U_i=\exp\!\bigl(-\tfrac{i}{\hbar}H_{\rm eff}(t_i)\,\Delta t\bigr). $$ Albrecht and Iglesias show that a different choice of clock corresponds to a different tensor-factorization and basis, and that for any desired new set of coefficients $\beta_{ij}$ there exists a unitary $M$ on $\mathcal H_S$ such that the same physical state can be rewritten with those coefficients. Hence the same superspace state can be seen, under a different clock choice, as evolving under any desired Hamiltonian $H'_{\rm eff}(t')$ [0708.2743]. This construction gives the original meaning of clock ambiguity in the problem of time. The ambiguity is not merely a relabeling of a fixed dynamics: the apparent laws of physics extracted from the same constrained state depend on which subsystem is designated as clock. Albrecht and Iglesias argue that this threatens predictivity unless one supplements the formalism with additional selection criteria. Their proposed criterion is quasi-separability, defined by a Hamiltonian of the form $$ H=H_A\otimes \openone_B+\openone_A\otimes H_B+H_{\rm int}, \qquad \|H_{\rm int}\|\ll\|H_A\|,\|H_B\|, $$ because small interaction terms allow subsystems to maintain their identity. They further compare a local quantum field theory Hamiltonian with a completely random Hamiltonian and argue that any random Hamiltonian, constructed in a sufficiently large space, can yield a “good enough” approximation to a local field theory [0708.2743]. ## 2. Stronger theorems, noninteracting clocks, and the status of the ambiguity The Page–Wootters framework begins from a globally stationary state on $$ H=H_{(c)}\otimes H_{(r)}, $$ with Wheeler–DeWitt constraint $$ H|\Psi\rangle=0, $$ and, in the noninteracting case, $$ H=H_{(c)}\otimes I_{(r)}+I_{(c)}\otimes H_{(r)}. $$ A time operator $T_{(c)}$ on the clock subsystem defines generalized eigenvectors $\{|t\rangle\}$, and the conditional state $$ |\psi(t)\rangle := \langle t|\Psi\rangle \big/ \sqrt{\langle\Psi|(|t\rangle\langle t|\otimes I_{(r)})|\Psi\rangle} $$ obeys an effective Schrödinger equation. In the ideal non-interacting case, this reduces to $$ i\,\partial_t\,|\psi(t)\rangle = H_{(r)}\,|\psi(t)\rangle. $$ Stoica argues that the ambiguity is stronger than the original Albrecht result: for continuous and discrete unbounded time, the ambiguity extends to both histories and Hamiltonians, including noninteracting ones, and only the dimension of the Hilbert space remains [2604.21805]. A central controversy concerns whether the ambiguity disappears if the clock and the rest of the world do not interact. Marletto and Vedral claimed that uniqueness can be recovered by demanding that, after a change of tensor-product structure, the transformed Hamiltonian still has no interaction term. Stoica argues that their proof relies on an incorrect mathematical assumption. The counterexample is two qubits with $$ H=\sigma_z\otimes I + I\otimes \sigma_z, $$ for which the swap operator $S$ is nonlocal, satisfies $[S,H]=0$, and leaves the Hamiltonian noninteracting: $$ S H S^\dagger = H. $$ Nonlocality of the transformation therefore does not force $H_{\rm int}\neq 0$ [2604.21805]. Stoica also argues that the ambiguity cannot simply be eliminated by fiat. Spacetime symmetries require some relativity of clock versus system, while maximal ambiguity would predict incorrect correlations between outcomes and their records, making even knowledge impossible. The proposed way out is to invoke the physical meaning of operators: one specifies a complete set of generating observables whose physical interpretations are fixed, and these observables induce a unique tensor-product structure. This suggests that the mathematical freedom of clock choice must be constrained by physically labeled observables if a unique, physically meaningful clock–system split is to be recovered [2604.21805]. ## 3. Relational clock changes and internal clocks in quantum cosmology A distinct response to the multiple-choice problem is to treat different clock choices as different perspectives on a single clock-choice-neutral Dirac quantized theory. In the parametrized free particle, one has canonical pairs $(q,p)$ and $(t,p_t)$ subject to the first-class constraint $$ C_H=p_t+p^2\approx 0. $$ Dirac quantization promotes this to $$ \hat C_H=\hat p_t+\hat p^2 $$ on the kinematical Hilbert space $\mathcal H_{\rm kin}=L^2(\mathbb R^2,dq\,dt)$, and the physical Hilbert space is the kernel of $\hat C_H$. One may then deparametrize with respect to the $t$-clock, where the gauge-invariant observables are $$ Q(\tau)=2p\,\tau+\bigl(q_0-2p\,t_0\bigr),\qquad P(\tau)=p, $$ or with respect to the $q$-clock, where the time-of-arrival observable is $$ T(X)=t_0+\frac{X-q_0}{2p}. $$ Because $1/p$ is singular at $p=0$, the $q$-clock requires a split into left- and right-moving sectors and a regularization of the inverse-momentum operator. The switch between the two clock choices is implemented by first trivializing the constraint and then projecting onto the corresponding gauge-fixing surface; the concatenated map $$ \mathcal S_{t\to q\pm}=\Phi_\pm\,\Phi_t^{-1} $$ acts as the clock-switch map between reduced theories [1810.04153]. Within this framework, the multiple-choice problem is reframed as a feature rather than an inconsistency. The Dirac Hilbert space carries all clock choices simultaneously, in analogy to a manifold carrying all coordinate charts. Yet the switch is not classically innocuous: quantum uncertainties lead to discontinuity in the relational dynamics when switching clocks, because the relevant relational observables do not commute. The mismatch between “when clock $t$ reads $\tau_f$, clock $q$ reads $X_i$” and the inverse statement is therefore of order $\hbar$ [1810.04153]. Quantum cosmology provides a second internal-clock setting. For flat, homogeneous minisuperspace models with a perfect fluid in Schutz formalism, the first-order action is $$ S=\int dt\;\Bigl[p_A\,\dot q^A+p_T\,\dot T-N\bigl(\mathscr H(q,p)+p_T\bigr)\Bigr], $$ with $$ \mathscr H(q,p)=\tfrac12\,\mathscr G^{AB}(q)\,p_Ap_B+U(q). $$ Because the fluid Hamiltonian enters linearly, the constraint $\mathscr H+p_T=0$ becomes the Schrödinger equation $$ i\hbar\,\partial_T\Psi(q,T)=\hat{\mathscr H}\Psi(q,T), $$ so the fluid variable $T$ acts as an internal time. However, operator-ordering ambiguity remains. For $D\ge 2$, requiring manifest covariance under point-canonical transformations and invariance under arbitrary lapse rescalings fixes the curvature coupling to $$ \xi=\tfrac{D-2}{8(D-1)}, $$ and infinitely many reorderings collapse to a single physical quantum theory. For $D=1$, the lapse rescaling symmetry is lost in the quantum theory, and the description remains essentially ambiguous [2501.11680]. ## 4. Gravitational time-dilation ambiguity and Penrosian collapse A different notion of clock ambiguity arises in the thought experiment of a clock containing a massive object in a superposition of radii. The object has the same mass $m$ in both branches but different radii $R_1$ and $R_2$. In branch $i$, the weak-field metric component is $$ g_{00}^{(i)}\simeq -(1+2\Phi_i/c^2), \qquad \Phi_i=-Gm/R_i, $$ and the proper time over a common coordinate interval $[0,T]$ is $$ \tau_i=\int_0^T\sqrt{-g_{00}^{(i)}}\,dt \simeq T(1+\Phi_i/c^2). $$ The proper-time difference is therefore $$ \Delta\tau\equiv \tau_2-\tau_1 = T\,Gm/c^2\,(1/R_1-1/R_2). $$ Since a quantum state carrying rest energy $E_{\rm rest}=mc^2$ acquires a phase $e^{-iE_{\rm rest}\tau/\hbar}$, the branch-dependent proper times generate a relative phase $$ \Delta\phi=(mc^2/\hbar)\,\Delta\tau = T\,(Gm^2/\hbar)\,(1/R_1-1/R_2). $$ The paper asserts that a coherent superposition of the large and small object introduces an ambiguity in the definition of a common time for both states, and that the wave function collapse will occur when this phase difference becomes of order unity. Setting $\Delta\phi\simeq 1$ gives $$ T_c\simeq \hbar\big/\!\bigl[Gm^2(1/R_1-1/R_2)\bigr], $$ equivalently $T_c\simeq \hbar/E_G$, with gravitational self-energy $E_G\sim Gm^2|1/R_1-1/R_2|$ [1401.0176]. This argument is conceptually distinct from the problem-of-time literature. In ordinary quantum mechanics, a single global time parameter implies that only energy differences matter, while the mean energy is physically irrelevant. Here each branch carries its own proper time, so even the absolute rest-energy $mc^2$ enters the phase accumulation. The result is a concrete mechanism by which time-dilation differences are translated into a loss of coherent unitary evolution. The derivation depends on the weak-field, slow-motion limit, first-order expansion in $\Phi/c^2$, neglect of back-reaction or stress beyond the static gravitational potential, and the heuristic Penrosian criterion $\Delta\phi\sim 1$ [1401.0176]. ## 5. Synchronization, curvature, and the operational construction of time Einstein synchronization defines time through round-trip light signaling. If clock $A$ emits at reading $t_A$, clock $B$ receives at $t_B$, and $A$ receives the echo at $t'_A$, then Einstein synchronization requires $$ t'_A-t_B=t_B-t_A. $$ Logical synchronization, by contrast, is formulated for symbol-handling agents equipped with adjustable cyclic clocks and one-way clock tapes. If agent $A$ sends a symbol on square $a$ and agent $B$ records it on square $b$, the transmission relation is $$ \xrightarrow{\;AB\;}\subset \{(a,b)\}. $$ Logical synchronization requires that arrivals occur during a receptive phase of the receiving clock: $$ |\phi_B(b)-\phi_{\rm aim}|<\tfrac12\,\Delta\phi_{\rm tol}. $$ The paper emphasizes that the timing of symbol arrival within the allowed phase cannot be registered by the process that recognizes distinct symbols, so phase steering requires an additional analog sensing mechanism. In generic curved spacetime, Einstein synchronization can be achieved, even allowing clock-rate adjustments, only for selected pairs of clocks; synchronizing some pairs necessarily precludes synchronizing other pairs [1911.04434]. The “horse race” example sharpens the point. Pairwise comparisons of three arrivals can yield $$ a