Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0804.0054 · Cambridge University Press eBooks

Formalism locality in quantum theory and quantum gravity

Lucién Hardy

Published Jun 10, 2010• 15 citations
arXivHTMLPDF

Abstract

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).

DOI
10.1017/cbo9780511676550.005

Related papers

Towards quantum gravity: a framework for probabilistic theories with non-fixed causal structure

Lucien Hardy

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.

arXiv:gr-qc/0608043•Journal of Physics A Mathematical and Theoretical•Mar 7, 2007•213 citations

Towards Quantum Gravity: A Framework for Probabilistic Theories with Non-Fixed Causal Structure

Lucién Hardy

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.

•Aug 9, 2006•124 citations

Quantum Indefinite Spacetime: Part II

Ding Jia

We adopt an operational mode of thinking to study spacetime fluctuations and their impacts on questions of quantum gravity. Particular emphasis is put on studying causal structure fluctuations. The study is guided by the principle of causal neutrality, which says that fundamental concepts and laws of physics should be stated without assuming a definite spacetime causal structure. Most traditional concepts and theories of physics violate this principle. A major theme of this thesis is to upgrade the traditional concepts and theories in accordance with the principle of causal neutrality. \n \nAmong other things, the thesis include works on the following. (1) An axiomatic derivation of the complex Hilbert space structure of quantum theory without assuming definite causal structure. (2) A so-called causally neutral quantum field theory (CNQFT) framework for algebraic quantum physics allowing indefinite causal structure. (3) A proposal that causal fluctuation regularizes quantum field ultraviolet divergences (UV) and that the UV regularizing correlation functions with causal fluctuations characterize the UV structure of physical states. (4) A study on quantitative measures of causality. (5) A so-called ``correlation networks'' framework to study quantum theory with indefinite causal structure, which generalizes previous frameworks. (6) New definitions of entanglement and entanglement measures that conform to the causal neutrality principle. (7) Ideas on finding a causally neutral analogue of Einstein's equation for quantum spacetime. (8) A simple theorem showing that the communication capacities of general correlations (with definite or indefinite causal structure) defined with respect to state transmission can be reduced to those of channels.

•Sep 10, 2018•0 citations

Time and causality in quantum gravity

Charis Anastopoulos

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.

gr-qcCross-listedarXiv:2609.22890•Sep 22, 2026

A diagrammatic language for the Causaloid framework

Nitica Sakharwade, Lucién Hardy

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).

arXiv:2407.01522•Jul 1, 2024•0 citations

A formalism-local framework for general probabilistic theories, including quantum theory

Lucién Hardy

In this paper we consider general probabilistic theories pertaining to circuits that satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region of space–time employ only mathematical objects associated with that region. We call this formalism locality. It incorporates the idea that space and time should be treated on an equal footing. Formulations that use a foliation of space--time to evolve a state do not have this property, nor do histories-based approaches. An operation has inputs and outputs (through which systems travel), for example, A circuit is built by wiring together operations such that we have no open inputs or outputs left over. A fragment is a part of a circuit and may have open inputs and outputs, for example, We show how each operation is associated with a certain mathematical object, which we call a duotensor (this is like a tensor but with a bit more structure). The following diagram shows how a duotensor is represented graphically: We can link duotensors together such that black and white dots match up to get the duotensor corresponding to any fragment. The following diagram shows the duotensor for the above fragment: Links represent summation over the corresponding indices. We can use such duotensors to make probabilistic statements pertaining to fragments. Since fragments are the circuit equivalent of arbitrary space–time regions, we have formalism locality. The probability for a circuit is given by the corresponding duotensorial calculation (which is a scalar since there are no indices left over). We show how to put classical probability theory and quantum theory into this framework.

arXiv:1005.5164•Mathematical Structures in Computer Science•Feb 28, 2013•43 citations
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).
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.
We adopt an operational mode of thinking to study spacetime fluctuations and their impacts on questions of quantum gravity. Particular emphasis is put on studying causal structure fluctuations. The study is guided by the principle of causal neutrality, which says that fundamental concepts and laws of physics should be stated without assuming a definite spacetime causal structure. Most traditional concepts and theories of physics violate this principle. A major theme of this thesis is to upgrade the traditional concepts and theories in accordance with the principle of causal neutrality. \n \nAmong other things, the thesis include works on the following. (1) An axiomatic derivation of the complex Hilbert space structure of quantum theory without assuming definite causal structure. (2) A so-called causally neutral quantum field theory (CNQFT) framework for algebraic quantum physics allowing indefinite causal structure. (3) A proposal that causal fluctuation regularizes quantum field ultraviolet divergences (UV) and that the UV regularizing correlation functions with causal fluctuations characterize the UV structure of physical states. (4) A study on quantitative measures of causality. (5) A so-called ``correlation networks'' framework to study quantum theory with indefinite causal structure, which generalizes previous frameworks. (6) New definitions of entanglement and entanglement measures that conform to the causal neutrality principle. (7) Ideas on finding a causally neutral analogue of Einstein's equation for quantum spacetime. (8) A simple theorem showing that the communication capacities of general correlations (with definite or indefinite causal structure) defined with respect to state transmission can be reduced to those of channels.
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.
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).
In this paper we consider general probabilistic theories pertaining to circuits that satisfy two very natural assumptions. We provide a formalism that is local in the following very specific sense: calculations pertaining to any region of space–time employ only mathematical objects associated with that region. We call this formalism locality. It incorporates the idea that space and time should be treated on an equal footing. Formulations that use a foliation of space--time to evolve a state do not have this property, nor do histories-based approaches. An operation has inputs and outputs (through which systems travel), for example, A circuit is built by wiring together operations such that we have no open inputs or outputs left over. A fragment is a part of a circuit and may have open inputs and outputs, for example, We show how each operation is associated with a certain mathematical object, which we call a duotensor (this is like a tensor but with a bit more structure). The following diagram shows how a duotensor is represented graphically: We can link duotensors together such that black and white dots match up to get the duotensor corresponding to any fragment. The following diagram shows the duotensor for the above fragment: Links represent summation over the corresponding indices. We can use such duotensors to make probabilistic statements pertaining to fragments. Since fragments are the circuit equivalent of arbitrary space–time regions, we have formalism locality. The probability for a circuit is given by the corresponding duotensorial calculation (which is a scalar since there are no indices left over). We show how to put classical probability theory and quantum theory into this framework.