Abstract: The problem of time is studied in a toy model for quantum gravity: Barbour and Bertotti’s timeless formulation of non-relativistic mechanics. We quantize this timeless theory using path integrals and compare it to the path integral quantization of parameterized Newtonian mechanics, which contains absolute time. In general, we find that the solutions to the timeless theory are energy eigenstates, as predicted by the usual canonical quantization. Nevertheless, the path integral formalism brings new insight as it allows us to precisely determine the difference between the theory with and without time. This difference is found to lie in the form of the constraints imposed on the gauge fixing functions by the boundary conditions. In the stationary phase approximation, the constraints of both theories are equivalent. This suggests that a notion of
Abstract: The problem of time is studied in a toy model for quantum gravity: Barbour and Bertotti’s timeless formulation of non-relativistic mechanics. We quantize this timeless theory using path integrals and compare it to the path integral quantization of parameterized Newtonian mechanics, which contains absolute time. In general, we find that the solutions to the timeless theory are energy eigenstates, as predicted by the usual canonical quantization. Nevertheless, the path integral formalism brings new insight as it allows us to precisely determine the difference between the theory with and without time. This difference is found to lie in the form of the constraints imposed on the gauge fixing functions by the boundary conditions. In the stationary phase approximation, the constraints of both theories are equivalent. This suggests that a notion of
We show that the emergence of time evolution in an otherwise timeless nonrelativistic closed quantum system -- viewed as a poor man's model of generally covariant quantum theory -- can be understood from the perspective of the path integral representation. As often happens in the functional integral approach, this viewpoint offers a more intuitive account of features that become cumbersome in the operator/Hilbert-space formulation. We show how Schrödinger evolution emerges once a clock degree of freedom is identified and placed in a suitable semiclassical `good-clock state'.
Our analysis has a consequence that extends to path integral formulations of generally covariant systems with action S (including gravity). In such theories certain transition amplitudes take the form exp(iS/ℏ)+exp(−iS/ℏ) rather than the expected `forward propagating' exp(iS/ℏ). This feature, known as the {\em cosine problem}, appears in concrete regularizations of the path integral, for example in the spin foam representation defining the physical inner product between spin network states in loop quantum gravity. Both formally and in explicit regularizations, this apparent difficulty has led some authors to seek modifications of the basic amplitudes to eliminate backward propagation.
Our model shows that the cosine problem is instead a natural consequence of time-reversal invariance of the fundamental dynamics together with the time-neutral boundary states commonly used in transition amplitudes. When a suitable clock system is identified and placed in a semiclassical `good-clock state', it introduces a time arrow selecting the `forward propagating' exp(iS/ℏ), without modifying the fundamental dynamics.
The analysis clarifies how time emerges under suitable conditions and emphasizes that, in the canonical formulation, quantum gravity is fundamentally timeless.
Jacobi's action principle is known to lead to a problem of time. For example, the timelessness of the Wheeler-DeWitt equation can be seen as resulting from using Jacobi's principle to define the dynamics of 3-geometries through superspace. In addition, using Jacobi's principle for nonrelativistic particles is equivalent classically to Newton's theory but leads to a time-independent Schr\"odinger equation upon Dirac quantization. In this paper, we study the mechanism for the disappearance of time as a result of using Jacobi's principle in these simple particle models. We find that the path integral quantization very clearly elucidates the physical mechanism for the timeless of the quantum theory as well as the emergence of duration at the classical level. Physically, this is the result of a superposition of clocks, which occurs in the quantum theory due to a sum over all histories. Mathematically, the timelessness is related to how the gauge fixing functions impose the boundary conditions in the path integral.
Starting from the canonical formalism of relativistic (timeless) quantum mechanics, the formulation of a timeless path integral is rigorously derived. The transition amplitude is reformulated as the sum, or functional integral, over all possible paths in the constraint surface specified by the (relativistic) Hamiltonian constraint, and each path contributes with a phase identical to the classical action divided by ℏ. The timeless path integral manifests the timeless feature as it is completely independent of the parametrization for paths. For the special case that the Hamiltonian constraint is a quadratic polynomial in momenta, the transition amplitude admits the timeless Feynman's path integral over the (relativistic) configuration space. Meanwhile, the difference between relativistic quantum mechanics and conventional nonrelativistic (with time) quantum mechanics is elaborated on in light of the timeless path integral.
The nature of time has long been debated in human history and nowadays is considered of central importance for understanding quantum gravity. We focus on and advocate the relational concept of time, which was put forward in the 17th century in opposition to Newton's absolute time, and only in 1990 explored in a quantum mechanical framework by Carlo Rovelli. After a historical introduction the mathematical models of time are carefully analyzed in chapter 1, followed by a discussion of the role of time played in fundamental theories. Using as an example nonrelativistic mechanics, the process of parametrization is explained, leading to a separation of a 'canonical time coordinate' from an arbitrary evolution parameter. The discussion of the role of time in special and general relativity as well as in quantum mechanics shows that more fundamental theories use less structure of time. This is followed by an exposition of the history of the relational concept of time, which negates the existence of an absolute duration and therefore often is called "timeless". Next it is shown how fundamental theories can be formulated and re-interpreted using this concept. We put emphasis on the hitherto neglected connection between relationalism and non-extensibility, while absolute time is shown to be unproblematic in classical mechanics just because of the possibility to extend the system without changing its nature. We conclude chapter 1 with a new axiomatic basis for the construction of time observables based on a simultaneity relation between 'observations', which are treated as a primitive concept and intuitively correspond to measurement events, but without knowing 'when' these events occur. There is no fundamental time observable; any observable qualifies as a time observable, if it allows to separate all instants. Chapter 2 gives a brief account of three main problems connected with time: a) The problem of the arrow of time. This has to be disentangled from the problem of irreversibility: a solution of the latter essentially excludes cyclic motions and is required for a solution of the former, which consists in showing that a fundamental direction between any two non-identical instants is physically meaningful. We give a formal definition of the arrow of time. This classical analysis is followed by a review of the problem of the arrow of time in quantum theory, where the situation becomes more complicated because of indeterminism. The discussion shows that there is no experimental evidence for a fundamental arrow of time, so that no contradiction with the relational concept of time arises. b) The problem of time measurement, which is of particular importance for the relational approach, in which time has no reality except if measured by a clock. In quantum theory useful time operators seem to be possible only within the more general formalism of positive operator valued measures (POVM). Clocks based on an oscillation mechanism do however require phase measurements; quantum phase operators can be defined as certain POVMs. Phase difference operators do also exist in the traditional Hilbert space formalism, if another quantization is used, as is done with relational quantization. c) The problem of quantum gravity is sketched only briefly. Chapter 3 introduces and discusses a model of Rovelli consisting of two oscillators with no external time. In this model one oscillator is considered as a clock and defines a relational time for the other one. In the first section we introduce this model and generalize it to a free massless scalar field in one dimension. We establish the relation between a single field mode and the infrared behaviour of the field through constants of motion. In the second section after a short review of canonical quantization we review Rovelli's quantization and generalize it to the free field. We could not prove the existence of the quantization map, but calculations using computer algebra indicate that the quantization does exist. For an enlarged algebra we are able to prove the nonexistence of a quantization map similar to a proof by Groenewold and van Hove. In chapter 4 we observe that a clock time always requires infinitely many degrees of freedom, and we make the hypothesis that a time observable is given by the infrared behaviour of quantum fields, leading to a classical notion of time when using algebraic quantum mechanics. This does however not solve the main problem of quantum relationalism: Which conditions determine a particular evolution?
Entertaining the possibility of time travel will invariably challenge dearly-held concepts in fundamental physics. It becomes relatively easy to construct multiple logical contradictions using differing starting points from various well-established fields of physics. Sometimes, the interpretation is that only a full theory of quantum gravity will be able to settle these logical contradictions. Even then, it remains unclear if the multitude of problems could be overcome. Yet as definitive as this seems to the notion of time travel in physics, such recourse to quantum gravity comes with its own, long-standing challenge to most of these counter-arguments to time travel: These arguments rely on time, while quantum gravity is (in)famously stuck with the problem of time. One attempt to answer this problem within the canonical framework resulted in the Page–Wootters formalism, and its recent gauge-theoretic reinterpretation as an emergent notion of time. Herein, we will begin a program to study toy models implementing the Hamiltonian constraint in quantum theory, with an aim toward understanding what an emergent notion of time can tell us about the (im)possibility of time travel.
Entertaining the possibility of time travel will invariably challenge dearly-held concepts in fundamental physics. It becomes relatively easy to construct multiple logical contradictions using differing starting points from various well-established fields of physics. Sometimes, the interpretation is that only a full theory of quantum gravity will be able to settle these logical contradictions. Even then, it remains unclear if the multitude of problems could be overcome. Yet as definitive as this seems to the notion of time travel in physics, such recourse to quantum gravity comes with its own, long-standing challenge to most of these counter-arguments to time travel: These arguments rely on time, while quantum gravity is (in)famously stuck with the problem of time. One attempt to answer this problem within the canonical framework resulted in the Page–Wootters formalism, and its recent gauge-theoretic reinterpretation as an emergent notion of time. Herein, we will begin a program to study toy models implementing the Hamiltonian constraint in quantum theory, with an aim toward understanding what an emergent notion of time can tell us about the (im)possibility of time travel.