Trinity of relational quantum dynamics

The problem of time in quantum gravity calls for a relational solution. Using quantum reduction maps, we establish a previously unknown equivalence between three approaches to relational quantum dynamics: (1) relational observables in the clock-neutral picture of Dirac quantization, (2) Page and Wootters' (PW) Schr\"odinger picture formalism, and (3) the relational Heisenberg picture obtained via symmetry reduction. Constituting three faces of the same dynamics, we call this equivalence the trinity. In the process, we develop a quantization procedure for relational Dirac observables using covariant positive operator-valued measures which encompass nonideal clocks and resolve the nonmonotonicity issue of realistic quantum clocks reported by Unruh and Wald. The quantum reduction maps reveal this procedure as the quantum analog of gauge-invariantly extending gauge-fixed quantities. We establish algebraic properties of these relational observables. We extend a recent ``clock-neutral'' approach to changing temporal reference frames, transforming relational observables and states, and demonstrate a clock dependent temporal nonlocality effect. We show that Kucha r r's criticism, alleging that the conditional probabilities of the PW formalism violate the constraint, is incorrect. They are a quantum analog of a gauge-fixed description of a gauge-invariant quantity and equivalent to the manifestly gauge-invariant evaluation of relational observables in the physical inner product. The trinity furthermore resolves a previously reported normalization ambiguity and clarifies the role of entanglement in the PW formalism. The trinity finally permits us to resolve Kucha r r's criticism that the PW formalism yields wrong propagators by showing how conditional probabilities of relational observables give the correct transition probabilities. Unlike previous proposals, our resolution does not invoke approximations, ideal clocks or ancilla systems, is manifestly gauge invariant, and easily extends to an arbitrary number of conditionings.