General relativity is a deterministic theory with non-fixed causal structure. Quantum theory is a probabilistic theory with fixed causal structure. In this paper, we build a framework for probabilistic theories with non-fixed causal structure. This combines the radical elements of general relativity and quantum theory. We adopt an operational methodology for the purposes of theory construction (though without committing to operationalism as a fundamental philosophy). The key idea in the construction is physical compression . A physical theory relates quantities. Thus, if we specify a sufficiently large set of quantities (this is the compressed set), we can calculate all the others. We apply three levels of physical compression. First, we apply it locally to quantities (actually probabilities) that might be measured in a particular region of spacetime. Then we consider composite regions. We find that there is a second level of physical compression for a composite region over and above the first level physical compression for the component regions. Each application of first and second level physical compression is quantified by a matrix. We find that these matrices themselves are related by the physical theory and can therefore be subject to compression. This is the third level of physical compression. The third level of physical compression gives rise to a new mathematical object which we call the causaloid. From the causaloid for a particular physical theory we can calculate everything the physical theory can calculate. This approach allows us to set up a framework for calculating probabilistic correlations in data without imposing a fixed causal structure (such as a background time). We show how to put quantum theory in this framework (thus providing a new formulation of this theory). We indicate how general relativity might be put into this framework and how the framework might be used to construct a theory of quantum gravity.
General relativity is a deterministic theory with non-fixed causal structure. Quantum theory is a probabilistic theory with fixed causal structure. In this paper, we build a framework for probabilistic theories with non-fixed causal structure. This combines the radical elements of general relativity and quantum theory. We adopt an operational methodology for the purposes of theory construction (though without committing to operationalism as a fundamental philosophy). The key idea in the construction is physical compression . A physical theory relates quantities. Thus, if we specify a sufficiently large set of quantities (this is the compressed set), we can calculate all the others. We apply three levels of physical compression. First, we apply it locally to quantities (actually probabilities) that might be measured in a particular region of spacetime. Then we consider composite regions. We find that there is a second level of physical compression for a composite region over and above the first level physical compression for the component regions. Each application of first and second level physical compression is quantified by a matrix. We find that these matrices themselves are related by the physical theory and can therefore be subject to compression. This is the third level of physical compression. The third level of physical compression gives rise to a new mathematical object which we call the causaloid. From the causaloid for a particular physical theory we can calculate everything the physical theory can calculate. This approach allows us to set up a framework for calculating probabilistic correlations in data without imposing a fixed causal structure (such as a background time). We show how to put quantum theory in this framework (thus providing a new formulation of this theory). We indicate how general relativity might be put into this framework and how the framework might be used to construct a theory of quantum gravity.
General relativity is a deterministic theory with non-fixed causal structure. Quantum theory is a probabilistic theory with fixed causal structure. In this paper we build a framework for probabilistic theories with non-fixed causal structure. This combines the radical elements of general relativity and quantum theory. The key idea in the construction is physical compression. A physical theory relates quantities. Thus, if we specify a sufficiently large set of quantities (this is the compressed set), we can calculate all the others. We apply three levels of physical compression. First, we apply it locally to quantities (actually probabilities) that might be measured in a particular region of spacetime. Then we consider composite regions. We find that there is a second level of physical compression for the composite region over and above the first level physical compression for the component regions. Each application of first and second level physical compression is quantified by a matrix. We find that these matrices themselves are related by the physical theory and can therefore be subject to compression. This is the third level of physical compression. This third level of physical compression gives rise to a new mathematical object which we call the causaloid. From the causaloid for a particular physical theory we can calculate verything the physical theory can calculate. This approach allows us to set up a framework for calculating probabilistic correlations in data without imposing a fixed causal structure (such as a background time). We show how to put quantum theory in this framework (thus providing a new formulation of this theory). We indicate how general relativity might be put into this framework and how the framework might be used to construct a theory of quantum gravity.
Introduction Indefinite causal structure poses particular problems for theory formulation since many of the core ideas used in the usual approaches to theory construction depend on having definite causal structure. For example, the notion of a state across space evolving in time requires that we have some definite causal structure so we can define a state on a space-like hypersurface. We will see that many of these problems are mitigated if we are able to formulate the theory in a formalism-local (or F-local) fashion. A formulation of a physical theory is said to be F-local if, in making predictions for any given arbitrary space-time region, we need only refer to mathematical objects pertaining to that region. This is a desirable property both on the grounds of efficiency and since, if we have indefinite causal structure, it is not clear how to select some other space-time region on which our calculations may depend. The usual ways of formulating physical theories (the time-evolving state picture, the histories approach, and the local-equations approach) are not F-local. We set up a framework for probabilistic theories with indefinite causal structure. This, the causaloid framework, is F-local. We describe how quantum theory can be formulated in the causaloid framework (in an F-local fashion). This provides yet another formulation of quantum theory. This formulation, however, may be particularly relevant to the problem of finding a theory of quantum gravity. The problem of quantum gravity is to find a theory that reduces in appropriate limits to general relativity and quantum theory (including, at least, those situations in which those two theories have been experimentally confirmed).
The Causaloid framework is an operational approach aimed to house both the radical aspects of General Relativity -- dynamic causal structure, and Quantum Theory -- indefiniteness, to provide a scaffolding that might be suitable for Quantum Gravity by providing a landscape of theories that allow for indefinite causal structure. One may consider it as a generalisation of generalised probability theories (or GPTs) where a priori regions are not assumed to have any given causal relationship, to incorporate the possibility of indefinite causal structure. Since its conception, there have been many advances in the field of indefinite causal structure mostly stemming from the work of Chiribella et al. on the quantum switch and supermaps and from Oreshkov et al. on causal inequalities and process matrices. These approaches have systems moving along wires and use Hilbert space structure. They violate the standard causality constraints of Quantum Theory and, in this sense, can be regarded as post-quantum. The Causaloid approach does not necessarily have systems moving along wires or Hilbert spaces. This is the first paper in a trilogy of papers aiming to close the gap between the Causaloid (that allows for GPTs) and post-quantum studies that employ Hilbert spaces. To do so in the present paper, we provide a diagrammatic language for the Causaloid framework along with new terminology for the three levels of physical compression (called Tomographic, Compositional, and Meta compression).
The problem of time in quantum gravity is often presented as a consequence of applying quantum theory to general relativity. These notes adopt a broader perspective. We first examine how time enters classical mechanics, relativity, quantum theory, and quantum field theory, distinguishing three principal aspects: causal order, temporal duration, and the present. This analysis shows that the conceptual difficulties associated with time do not arise only when gravity is quantised. Tensions between causal structure, clocks, observables, and measurement are already present in the theories from which quantum gravity is constructed. We then survey responses to the problem of time across the principal approaches to quantum gravity. These include canonical and Wheeler-DeWitt quantisation, path-integral and histories formulations, perturbative and background-dependent approaches, causal sets, and twistor theory. The programmes are compared according to whether they retain an external time, render time problematic through quantisation, or incorporate causal or temporal structure into their foundations. Particular emphasis is placed on questions arising from quantum foundations and relativistic quantum information. We conclude by examining linearised gravity and weak-gravity quantum systems. This regime shows that the problem of time is not confined to Planck-scale physics, but arises already in attempts to provide a predictive and operationally meaningful quantum description of spacetime near flat geometry.
In this paper we develop an operational formulation of General Relativity similar in spirit to existing operational formulations of Quantum Theory. To do this we introduce an operational space (or op-space) built out of scalar fields. A point in op-space corresponds to some nominated set of scalar fields taking some given values in coincidence. We assert that op-space is the space in which we observe the world. We introduce also a notion of agency (this corresponds to the ability to set knob settings just like in Operational Quantum Theory). The effects of agents' actions should only be felt to the future so we introduce also a time direction field. Agency and time direction can be understood as effective notions. We show how to formulate General Relativity as a possibilistic theory and as a probabilistic theory. In the possibilistic case we provide a compositional framework for calculating whether some operationally described situation is possible or not. In the probabilistic version we introduce probabilities and provide a compositional framework for calculating the probability of some operationally described situation. Finally we look at the quantum case. We review the operator tensor formulation of Quantum Theory and use it to set up an approach to Quantum Field Theory that is both operational and compositional. Then we consider strategies for solving the problem of Quantum Gravity. By referring only to operational quantities we are able to provide formulations for the possibilistic, probabilistic, and (the nascent) quantum cases that are manifestly invariant under diffeomorphisms.
The Causal Set hypothesis for Quantum Gravity asserts that the smooth Lorentzian spacetime manifold of General Relativity is only an approximation to a fundamental microscopic discrete structure: a locally-finite partially-ordered set. The points of this set are akin to the point-events of the spacetime manifold, and the order-relations among these points are akin to the causal-relations among these point-events. The local-finiteness condition implies a fundamental discreteness and provides an important [conformal] factor needed for the continuum approximations. In this dissertation, we address two aspects toward the formulation of a quantum dynamics for causal sets. The first aspect concerns the dynamics of a zero-mass classical scalar field on a background causal set, Poisson-sampled from an Alexandrov interval in (1 + 1)-dimensional Minkowski spacetime. Our numerical simulations suggest that actions can be defined for such a scalar field, expressed solely in terms of the causal set and the scalar field, which approximates the corresponding classical action on the continuum Minkowski spacetime. This result may help us describe matter and gauge fields in a local and Lorentz-invariant way on a causal set, a discrete structure now being considered as the arena for spacetime physics. More importantly, it may help us formulate an action for the causal set itself, which would be used in a sum-over-histories approach to describe the quantum dynamics of causal sets. The second aspect concerns Quantum Measure Theory, a new approach to quantum dynamics inspired by the sum-over-histories approach, which is better suited to formulating the dynamics of causal sets and of other alternative structures for spacetime. To better understand the mathematical structure underlying this new approach, we derive some algebraic identities involving the sum-rules of the Quantum Measure and its generalizations. We conclude with a discussion on possible applications and open problems concerning these aspects.