One of the most fundamental open problems in physics is the unification of general relativity and quantum theory to a theory of quantum gravity. An aspect that might become relevant in such a theory is that the dynamical nature of causal structure present in general relativity displays quantum uncertainty. This may lead to a phenomenon known as indefinite or quantum causal structure, as captured by the process matrix framework. Due to the generality of that framework, however, for many process matrices there is no clear physical interpretation. A popular approach towards a quantum theory of gravity is the Page-Wootters formalism, which associates to time a Hilbert space structure similar to spatial position. By explicitly introducing a quantum clock, it allows to describe time-evolution of systems via correlations between this clock and said systems encoded in history states. In this paper we combine the process matrix framework with a generalization of the Page-Wootters formalism in which one considers several observers, each with their own discrete quantum clock. We describe how to extract process matrices from scenarios involving such observers with quantum clocks, and analyze their properties. The description via a history state with multiple clocks imposes constraints on the physical implementation of process matrices and on the perspectives of the observers as described via causal reference frames. While it allows for describing scenarios where different definite causal orders are coherently controlled, we explain why certain non-causal processes might not be implementable within this setting.
One of the most fundamental open problems in physics is the unification of general relativity and quantum theory to a theory of quantum gravity. An aspect that might become relevant in such a theory is that the dynamical nature of causal structure present in general relativity displays quantum uncertainty. This may lead to a phenomenon known as indefinite or quantum causal structure, as captured by the process matrix framework. Due to the generality of that framework, however, for many process matrices there is no clear physical interpretation. A popular approach towards a quantum theory of gravity is the Page-Wootters formalism, which associates to time a Hilbert space structure similar to spatial position. By explicitly introducing a quantum clock, it allows to describe time-evolution of systems via correlations between this clock and said systems encoded in history states. In this paper we combine the process matrix framework with a generalization of the Page-Wootters formalism in which one considers several observers, each with their own discrete quantum clock. We describe how to extract process matrices from scenarios involving such observers with quantum clocks, and analyze their properties. The description via a history state with multiple clocks imposes constraints on the physical implementation of process matrices and on the perspectives of the observers as described via causal reference frames. While it allows for describing scenarios where different definite causal orders are coherently controlled, we explain why certain non-causal processes might not be implementable within this setting.
One of the most fundamental open problems in physics is the unification of general relativity and quantum theory to a theory of quantum gravity. An aspect that might become relevant in such a theory is that the dynamical nature of causal structure present in general relativity displays quantum uncertainty. This may lead to a phenomenon known as indefinite or quantum causal structure, as captured by the process matrix formalism. Due to the generality of that framework, however, for many process matrices there is no clear physical interpretation. A popular approach towards a quantum theory of gravity is the Page-Wootters formalism, which associates to time a Hilbert space structure similar to spatial position. By explicitly introducing a quantum clock, it allows to describe time-evolution of systems via correlations between this clock and said systems encoded in history states. In this paper we combine the process matrix framework with a generalization of the Page-Wootters formalism in which one considers several agents, each with their own discrete quantum clock. We describe how to extract process matrices from scenarios involving such agents with quantum clocks, and analyze their properties. The description via a history state with multiple clocks imposes constraints on the implementation of process matrices and on the perspectives of the agents as described via causal reference frames. While it allows for scenarios where different definite causal orders are coherently controlled, we explain why certain noncausal processes might not be implementable within this setting.
The process-matrix formalism describes quantum processes without assuming a fixed global causal order, but the physical meaning of indefinite causal order remains open. We address this question within histories theory, where temporal ordering and dynamical evolution are distinct structures. We show that the decoherence functional admits coherent superpositions of dynamics. In measurement settings, under suitable factorization conditions, these generate process matrices. Thus, we identify process-matrix indefinite causal order as an operationally restricted realization of the more general phenomenon of superposition of dynamics. Histories theory also admits a distinct kinematical notion of indefinite order, in which the ordering of physical events is itself a history observable. The resulting distinction between event order and intervention order clarifies the relation between indefinite causal order, quantum dynamics, and spacetime structure.
In general relativity, the causal structure between events is dynamical, but it is definite and observer-independent; events are point-like and the membership of an event A in the future or past light-cone of an event B is an observer-independent statement. When events are defined with respect to quantum systems however, nothing guarantees that the causal relationship between A and B is definite. We propose to associate a causal reference frame corresponding to each event, which can be interpreted as an observer-dependent time according to which an observer describes the evolution of quantum systems. In the causal reference frame of one event, this particular event is always localised, but other events can be ‘smeared out’ in the future and in the past. We do not impose a predefined causal order between the events, but only require that descriptions from different reference frames obey a global consistency condition. We show that our new formalism is equivalent to the pure process matrix formalism (Araújo et al 2017 Quantum 1 10). The latter is known to predict certain multipartite correlations, which are incompatible with the assumption of a causal ordering of the events—these correlations violate causal inequalities. We show how the causal reference frame description can be used to gain insight into the question of realisability of such strongly non-causal processes in laboratory experiments. As another application, we use causal reference frames to revisit a thought experiment Zych et al (arXiv: 1708.00248 ) where the gravitational time dilation due to a massive object in a quantum superposition of positions leads to a superposition of the causal ordering of two events.
The Page-Wootters formalism is a proposal for reconciling the background-dependent, quantum-mechanical notion of time with the background independence of general relativity. However, the physical meaning of this framework remains debated. In this work, we compare two consistent approaches to the Page-Wootters formalism to clarify the operational meaning of evolution and measurements with respect to a temporal quantum reference frame. The so-called "twirled observable" approach implements measurements as operators that are invariant with respect to the Hamiltonian constraint. The "purified measurement" approach instead models measurements dynamically by modifying the constraint itself. While both approaches agree in the limit of ideal clocks, a natural generalization of the purified measurement approach to the case of non-ideal, finite-resource clocks yields a radically different picture. We discuss the physical origin of this discrepancy and argue that these approaches describe operationally distinct situations. Moreover, we show that, for non-ideal clocks, the purified measurement approach yields a time non-local evolution equation, which can lead to non-unitary evolution. Moreover, it implies a fundamental limitation to the operational definition of the temporal order of events. Nevertheless, unitarity and definite temporal order can be restored if we assume that time is discrete.
One of the key ways in which quantum mechanics differs from relativity is that it requires a fixed background reference frame for spacetime. In fact, this appears to be one of the main conceptual obstacles to uniting the two theories. Additionally, a combination of the two theories is expected to yield non-classical, or "indefinite", causal structures. In this paper, we present a background-independent formulation of the process matrix formalism – a form of quantum mechanics that allows for indefinite causal structure – while retaining operationally well-defined measurement statistics. We do this by postulating an arbitrary probability distribution of measurement outcomes across discrete "chunks" of spacetime, which we think of as physical laboratories, and then requiring that this distribution be invariant under any permutation of laboratories. We find (a) that one still obtains nontrivial, indefinite causal structures with background independence, (b) that we lose the idea of local operations in distinct laboratories, but can recover it by encoding a reference frame into the physical states of our system, and (c) that permutation invariance imposes surprising symmetry constraints that, although formally similar to a superselection rule, cannot be interpreted as such.
Indefinite causal order (ICO) has been studied via higher-order quantum processes (e.g.\ the quantum switch), process matrices, and quantum-gravity proposals involving superposed causal structure, yet the meaning of ``indefiniteness'' and its relation to definite-order explanations often remain opaque.
Part~I develops a category-theoretic formulation of definite-order explainability as a gluing problem: each definite causal ordering (a partial order/DAG type) is treated as a context, and causal separability amounts to a consistent global section (possibly after convex mixing), whereas causal nonseparability is a failure-to-glue. We also introduce a compact seven-valued contextual classifier -- an intuitionistic elaboration -- that separates variation across contexts from genuine indeterminacy.
Part~II applies this framework to a quantum-gravity motivated setting where the fundamental time is a parametric ordering variable τ, distinct from geometric (spacetime) time. Adopting a stochastic-quantization perspective on spin-network dynamics (Hilbert space not assumed fundamental) and reading the Wheeler--DeWitt condition as an equilibrium/stationarity constraint, we interpret ICO as indeterminacy of the parametric order of coarse-grained relational interventions, even when the microscopic update process is globally ordered by τ. Together, the two parts provide a common language for comparing ICO criteria and for stating precisely what ``no hidden definite order'' means.