The Relational Clock: Page–Wootters Structure in Loop Quantum Cosmology (Paper 5 of the LQG–LQC Intertwiner Series)

IntroductionThe problem of time in quantum gravity is the following. General relativity is a diffeomorphism-invarianttheory: there is no preferred time variable, and the Hamiltonian constraint ˆHΨ=0impliesthat all physical states are ‘frozen’ in the sense that they carry no manifest time dependence [Dirac 1964; DeWitt1967]. Yet quantum mechanics requires time as a background parameter against which evolution is measured. Reconciling these two facts — the timelessness of diffeomorphism-invariant quantum gravity andthe temporal structure required for quantum measurement theory — is the problem of time [Isham 1993;Kuchař 1992]. The problem is not merely philosophical: it has concrete consequences for the interpretation of quantum cosmological perturbations, including those that seed the CMB anisotropies we observetoday.One of the most elegant proposed resolutions is the Page–Wootters (PW) mechanism [Page & Wootters 1983]: time is not a background parameter but a relational quantity, encoded in correlations betweena ‘clock’ subsystem and the rest of the universe. Physical time is the reading of the clock, and quantumevolution is the conditional state of the system given a particular clock reading. This idea has been placedon rigorous mathematical footing by Höhn, Smith & Lock (HSL) [2021], who proved the equivalence ofthree apparently distinct quantization procedures — the Dirac constraint quantization, the Page–Woottersmechanism, and the deparametrized Heisenberg picture — under a precise set of conditions. The HSL result reduces the problem of time, for any system satisfying those conditions, to the problem of identifyinga clock with the right algebraic properties.In Loop Quantum Cosmology (LQC), relational time has been implemented using material degreesof freedom: a minimally-coupled massless scalar field ϕ [Ashtekar, Pawlowski & Singh 2006], a GFTcondensate [Gielen&Sindoni2016], ordustfields[Brown&Kuchař1995; Pawlowski2014]. Alloftheseare material clocks: dynamical degrees of freedom that must be added to, or identified within, the mattercontent of the model. No worked example exists in which the clock arises from the algebraic structure ofthe kinematic Hilbert space itself — as an invariant of the theory’s gauge group rather than an additionalfield. Such an algebraic clock would be conceptually preferable: it requires no extension of the Hilbertspace, its back-reaction on geometry is controlled, and it is not subject to the multiple-choice ambiguity[Kuchař 1992] that afflicts material clock choices when the system has multiple degrees of freedom.√This paper provides the first such example. The LQCbounce, treated via the Pöschl–Teller (PT) effective potential established in the companion series [Hillard 2026a–d], admits a spectral threshold κzero =2that is fixed by the zero of theSU(2)CasimirpolynomialW(κ) = κ3(κ2−2)/[C·sinh(πκ/2)], whereC =3.60329... is the Hillard constant [Hillard 2026, Paper 8]. This zero is a representation-theoreticinvariant of the kinematic Hilbert space: it exists prior to any dynamical input, before any clock is chosen. Weshowthatκzero instantiates the full HSL relational clock construction. The Clock DecompositionTheorem (Section 3) establishes the tensor product factorization ˜Hkin ≈ HC ⊗HS and constructs thecovariant POVM on HS. TheTemporalTrinityFormula(Section4)isidentifiedastheHSLclockreadingin all three quantization pictures, with explicit clock-change map Tη→ϕ (Appendix A). The result holdsexactly: κzero is not a perturbative approximation to a clock but a genuine algebraic invariant.A relational clock that is an algebraic invariant makes a concrete, falsifiable prediction. The signchange multipole ℓ∗ — the CMB multipole at which the LQC bounce imprint changes sign in the powerspectrum [Hillard 2026a] — is precisely the PW temporal origin in Fourier space: ℓ∗ = κzeroηB/η0.When GFT interactions of strength ε are included, the PT potential is deformed to Uε = −λeff(λeff +1)sech2(κ) with λeff(0) = 1, which remains within the exactly solvable PT family (Section 6). Thethreshold shifts to κzero(ε) = √2 − ε, giving the exact non-perturbative prediction:δ(ℓ∗)ℓ∗ =√1 −ε/2−1≈−ε/4+O(ε2).(1)The sign is negative: GFT interactions push ℓ∗ to lower multipoles. The detection threshold for LiteBIRDis εcrit ≈ 4/ℓ∗, placing the prediction within reach of the near-term CMB survey (Section 5). This is thefirst quantitative prediction from a relational clock interpretation of the LQC bounce.Aword on the relationship between this paper and the companion series [Hillard 2026a–d]. The PWinterpretation of the bounce established here depends on W(κ) only through its functional form: W(κ) ∝κ3(κ2−2). Anyfunctionwiththatpolynomialzerostructurehasascatteringthreshold at κzero = √2, andany such function in the Hamiltonian constraint generates the relational clock construction of Sections 34. Thevalidity of the LQGderivation of W in[Hillard2026a]istherefore not a prerequisite for the resultsof this paper. The companion series and the present paper are mutually reinforcing rather than circularlydependent: [Hillard 2026a] provides the physical motivation and precise form of W; this paper providesthe relational interpretation that explains why κzero has the value it has.The paper is organised as follows. Section 2reviewstherelevant background onLQC,thePTeffectivepotential, and the HSL formalism. Section 3 establishes the Clock Decomposition Theorem: spectralfactorization (Proposition 3.1), covariant POVM, and temporal origin. Section 4 identifies the TemporalTrinity Formula in all three HSL pictures. Section 5 derives the physical inner product by group averagingand the full observational prediction (Table 1). Section 6 proves that the intertwiner deformation is shapeinvariant and promotes the prediction to an exact formula (Theorem 6.3). Appendix A constructs theclock-change map Tη→ϕ explicitly.Main results at a glance. Clock Decomposition Theorem (Section 3): ˜Hkin ≈ HC ⊗HS +O(ε). ThePOVM E(dκ) = |W(κ)|2/∥W∥2dκ is covariant. κzero = √2 is the temporal origin. Trinity Formula(Section 4): Ntotal = N∗ + ln(κzeroηBkpiv/ℓ∗) is a Dirac observable, clock-change invariant. Exactprediction (Sections 5–6): eq. (1). LiteBIRD detection threshold εcrit ≈ 4/ℓ∗. First algebraic PW clockin LQC(Section5.4): κzero isanSU(2)Casimirinvariant, notamaterialdegreeoffreedom. Back-reactionis O(ε); no Hilbert space extension is needed.