No Arabic abstract
We discuss the construction of relational observables in time-reparametrization invariant quantum mechanics and we argue that their physical interpretation can be understood in terms of conditional probabilities, which are defined from the solutions of the quantum constraint equation in a generalization of the Page-Wootters formalism. In this regard, we show how conditional expectation values of worldline tensor fields are related to quantum averages of suitably defined relational observables. We also comment on how the dynamics of these observables can be related to a notion of quantum reference frames. After presenting the general formalism, we analyze a recollapsing cosmological model, for which we construct unitarily evolving quantum relational observables. We conclude with some remarks about the relevance of these results for the construction and interpretation of diffeomorphism-invariant operators in quantum gravity.
Parallel transport as dictated by a gauge field determines a collection of local reference systems. Comparing local reference systems in overlapping regions leads to an ensemble of algebras of relational kinematical observables for gauge theories including general relativity. Using an auxiliary cellular decomposition, we propose a discretization of the gauge field based on a decimation of the mentioned ensemble of kinematical observables. The outcome is a discrete ensemble of local subalgebras of ``macroscopic observables characterizing a measuring scale. A set of evaluations of those macroscopic observables is called an extended lattice gauge field because it determines a $G$-bundle over $M$ (and over submanifolds of $M$ that inherit a cellular decomposition) together with a lattice gauge field over an embedded lattice. A physical observable in our algebra of macroscopic observables is constructed. An initial study of aspects of regularization and coarse graining, which are special to this description of gauge fields over a combinatorial base, is presented. The physical relevance of this extension of ordinary lattice gauge fields is discussed in the context of quantum gravity.
In a spacetime divided into two regions $U_1$ and $U_2$ by a hypersurface $Sigma$, a perturbation of the field in $U_1$ is coupled to perturbations in $U_2$ by means of the holographic imprint that it leaves on $Sigma$. The linearized gluing field equation constrains perturbations on the two sides of a dividing hypersurface, and this linear operator may have a nontrivial null space. A nontrivial perturbation of the field leaving a holographic imprint on a dividing hypersurface which does not affect perturbations on the other side should be considered physically irrelevant. This consideration, together with a locality requirement, leads to the notion of gauge equivalence in Lagrangian field theory over confined spacetime domains. Physical observables in a spacetime domain $U$ can be calculated integrating (possibly non local) gauge invariant conserved currents on hypersurfaces such that $partial Sigma subset partial U$. The set of observables of this type is sufficient to distinguish gauge inequivalent solutions. The integral of a conserved current on a hypersurface is sensitive only to its homology class $[Sigma]$, and if $U$ is homeomorphic to a four ball the homology class is determined by its boundary $S = partial Sigma$. We will see that a result of Anderson and Torre implies that for a class of theories including vacuum General Relativity all local observables are holographic in the sense that they can be written as integrals of over the two dimensional surface $S$. However, non holographic observables are needed to distinguish between gauge inequivalent solutions.
Observable currents are locally defined gauge invariant conserved currents; physical observables may be calculated integrating them on appropriate hypersurfaces. Due to the conservation law the hypersurfaces become irrelevant up to homology, and the main objects of interest become the observable currents them selves. Gauge inequivalent solutions can be distinguished by means of observable currents. With the aim of modeling spacetime local physics, we work on spacetime domains $Usubset M$ which may have boundaries and corners. Hamiltonian observable currents are those satisfying ${sf d_v}F=-iota_VOmega_L+{sf d_h}sigma^F$ and a certain boundary condition. The family of Hamiltonian observable currents is endowed with a bracket that gives it a structure which generalizes a Lie algebra in which the Jacobi relation is modified by the presence of a boundary term. If the domain of interest has no boundaries the resulting algebra of observables is a Lie algebra. In the resulting framework algebras of observable currents are associated to bounded domains, and the local algebras obey interesting gluing properties. These results are due to considering currents that defined only locally in field space and to a revision of the concept of gauge invariance in bounded spacetime domains. A perturbation of the field on a bounded spacetime domain is regarded as gauge if: (i) the first order holographic imprint that it leaves in any hypersurface locally splitting a spacetime domain into two subdomains is negligible according to the linearized gluing field equation, and (ii) the perturbation vanishes at the boundary of the domain. A current is gauge invariant if the variation in them induced by any gauge perturbation vanishes up to boundary terms.
After a brief review of topological gravity, we present a superspace approach to this theory. This formulation allows us to recover in a natural manner various known results and to gain some insight into the precise relationship between different approaches to topological gravity. Though the main focus of our work is on the vielbein formalism, we also discuss the metric approach and its relationship with the former formalism.
We have previously shown (arXiv:1912.00033) that three approaches to relational quantum dynamics -- relational Dirac observables, the Page-Wootters formalism and quantum deparametrizations -- are equivalent. Here we show that this `trinity of relational quantum dynamics holds in relativistic settings per frequency superselection sector. We ascribe the time according to the clock subsystem to a POVM which is covariant with respect to its (quadratic) Hamiltonian. This differs from the usual choice of a self-adjoint clock observable conjugate to the clock momentum. It also resolves Kuchav{r}s criticism that the Page-Wootters formalism yields incorrect localization probabilities for the relativistic particle when conditioning on a Minkowski time operator. We show that conditioning instead on the covariant clock POVM results in a Newton-Wigner type localization probability commonly used in relativistic quantum mechanics. By establishing the equivalence mentioned above, we also assign a consistent conditional-probability interpretation to relational observables and deparametrizations. Finally, we expand a recent method of changing temporal reference frames, and show how to transform states and observables frequency-sector-wise. We use this method to discuss an indirect clock self-reference effect and explore the state and temporal frame-dependence of the task of comparing and synchronizing different quantum clocks.