arXiv:2605.25302 · Classical and Quantum Gravity

Causal Order Cannot Be An Observable

Declan Maguire, Fabio Costa

quant-phgr-qcSubmitted May 24, 2026• Announced May 26, 2026• 0 citations

Abstract

Recent developments in the formalisation of quantum causal structures have made it possible to test and compare hypotheses about causal structure empirically, rather than being a-priori assumptions. Such differences in causal structure may be leveraged to distinguish between the processes they belong to, akin to distinguishing between quantum states known to belong to different eigenspaces of an observable. So how far this analogy can be pushed? Can causal order be interpreted as a kind of observable? Can it be measured? To this end we construct a completely operational definition of observables in terms of `discrimination tasks'. This begins with some base set of classes (analogous to a quantum observable's eigenspaces) before we impose three conditions on how these classes relate under discrimination tasks. These conditions recover the properties of a standard observable, letting us apply this definition to non-state entities such as quantum processes, which naturally encode causal structure. These conditions can be described in plain language as (1) `members of any class are perfectly distinguishable from members of any other' (i.e. our classes are `sharp'), (2) `entities perfectly distinguishable pairwise are all perfectly distinguishable by a joint intervention', and (3) `if all members of a class are perfectly distinguishable from an entity, then the whole class is perfectly distinguishable from it jointly'. By analysing classes of quantum processes having strict causal orders, we find causal classes which are sharp but violate condition 2, and classes which violate condition 3. This implies that causal order cannot be an observable. We note cases in the literature which claim to prove the opposite, and discuss them. We find their analyses presume special circumstances equivalent to conditions (2) and (3), and so do not contradict our own findings.

Journal reference: Declan Maguire and Fabio Costa 2026 Class. Quantum Grav. 43 195006
DOI: 10.1088/1361-6382/aea696

Related papers

Correlations and quantum circuits with dynamical causal order

Raphaël Mothe, Alastair A. Abbott, Cyril Branciard

Requiring that the causal structure between different parties is well-defined imposes constraints on the correlations they can establish, which define so-called causal correlations. Some of these are known to have a "dynamical" causal order in the sense that their causal structure is not fixed a priori but is instead established on the fly, with for instance the causal order between future parties depending on some choice of action of parties in the past. Here we identify a new way that the causal order between the parties can be dynamical: with at least four parties, there can be some dynamical order which can nevertheless not be influenced by the actions of past parties. This leads us to introduce an intermediate class of correlations with what we call non-influenceable causal order, in between the set of correlations with static (non-dynamical) causal order and the set of general causal correlations. We then define analogous classes of quantum processes, considering recently introduced classes of quantum circuits with classical or quantum control of causal order---the latter being the largest class within the process matrix formalism known to have a clear interpretation in terms of coherent superpositions of causal orders. This allows us to formalise precisely in which sense certain quantum processes can have both indefinite and dynamical causal order.

arXiv:2507.07992Jul 10, 20250 citations

Identification of Causal Influences in Quantum Processes

Isaac Friend, Aleks Kissinger

Though the topic of causal inference is typically considered in the context of classical statistical models, recent years have seen great interest in extending causal inference techniques to quantum and generalized theories. Causal identification is a type of causal inference problem concerned with recovering from observational data and qualitative assumptions the causal mechanisms generating the data, and hence the effects of hypothetical interventions. A major obstacle to a theory of causal identification in the quantum setting is the question of what should play the role of "observational data," as any means of extracting data at a certain locus will almost certainly disturb the system. Hence, one might think a priori that quantum measurements are already too much like interventions, so that the problem of causal identification trivializes. This is not the case. Fixing a limited class of quantum instruments (namely the class of all projective measurements) to play the role of "observations," we note that as in the classical setting, there exist scenarios for which causal identification is not possible. We then present sufficient conditions for quantum causal identification, starting with a quantum analogue of the well-known "front-door criterion" and finishing with a broader class of scenarios for which the effect of a single intervention is identifiable. These results emerge from generalizing the process-theoretic account of classical causal inference due to Jacobs, Kissinger, and Zanasi beyond the setting of Markov categories, and thereby treating the classical and quantum problems uniformly.

arXiv:2311.08882Electronic Proceedings in Theoretical Computer ScienceNov 14, 20230 citations

Identification of causal influences in quantum processes

Isaac Friend, Aleks Kissinger

Recent years have seen great interest in extending causal inference concepts developed in the context of classical statistical models to quantum theory. So far, this program has only barely addressed causal identification, a type of causal inference problem concerned with recovering from observational data and qualitative assumptions the causal relationships generating the data, and hence the effects of hypothetical interventions. A major obstacle to a theory of causal identification in the quantum setting is the question of what should play the role of “observational data,” as any means of extracting data at a locus will almost certainly disturb the system. One might think that quantum measurements are already too much like interventions, so that the problem of causal identification is trivialized. This is not the case: when we fix a limited class of quantum measurement instruments (namely, the class of all projective measurements) to play the role of “observations,” there exist scenarios for which causal identification is impossible. In this paper, we present a framework, based on process theories (also known as strict symmetric monoidal categories), for studying quantum causal identification scenarios on the same footing as their classical counterparts. Within this framework, we present sufficient conditions for quantum causal identification in networks with unobserved confounding systems, including quantum analogs of the well-known “back-door” and “front-door” criteria. These results arise from a type of causal model designed to facilitate the transfer of inference techniques from the classical to the quantum setting. Published by the American Physical Society 2024

Physical Review AApr 29, 20242 citations

Time-delocalized quantum subsystems and operations: on the existence of processes with indefinite causal structure in quantum mechanics

Ognyan Oreshkov

It has been shown that it is theoretically possible for there to exist higher-order quantum processes in which the operations performed by separate parties cannot be ascribed a definite causal order. Some of these processes are believed to have a physical realization in standard quantum mechanics via coherent control of the times of the operations. A prominent example is the quantum SWITCH, which was recently demonstrated experimentally. However, the interpretation of such experiments as realizations of a process with indefinite causal structure as opposed to some form of simulation of such a process has remained controversial. Where exactly are the local operations of the parties in such an experiment? On what spaces do they act given that their times are indefinite? Can we probe them directly rather than assume what they ought to be based on heuristic considerations? How can we reconcile the claim that these operations really take place, each once as required, with the fact that the structure of the presumed process implies that they cannot be part of any acyclic circuit? Here, I offer a precise answer to these questions: the input and output systems of the operations in such a process are generally nontrivial subsystems of Hilbert spaces that are tensor products of Hilbert spaces associated with systems at different times---a fact that is directly experimentally verifiable. With respect to these time-delocalized subsystems, the structure of the process is one of a circuit with a causal cycle. This provides a rigorous sense in which processes with indefinite causal structure can be said to exist within the known quantum mechanics. I also identify a whole class of isometric processes, of which the quantum SWITCH is a special case, that admit a physical realization on time-delocalized subsystems. These results unveil a novel structure within quantum mechanics, which may have important implications for physics and information processing.

arXiv:1801.07594QuantumDec 2, 201976 citations

Quantum superpositions of causal orders as an operational resource

Márcio M. Taddei, Ranieri V. Nery, Leandro Aolita

Causal nonseparability refers to processes where events take place in a coherent superposition of different causal orders.These may be the key resource for experimental violations of causal inequalities and have been recently identified as resources for concrete information-theoretic tasks.Here, we take a step forward by deriving a complete operational framework for causal nonseparability as a resource.Our first contribution is a formal definition for the specific notion of quantum control of causal orders, a stronger form of causal nonseparability-with the celebrated quantum switch as best-known example-where the causal orders of events for a target system are coherently controlled by a control system.We then build a resource theory-for both generic causal nonseparability as well as quantum control of causal orders-with a physically motivated class of free operations, based on process-matrix concatenations.We present the framework explicitly in the mindset with a control register.However, our machinery is totally versatile, being directly applicable also to scenarios with a target register alone.Moreover, an important subclass of our operations is free not only with respect to causal nonseparability and quantum control of causal orders but it also preserves the very causal structure of causal processes.Hence, our treatment contains, as a built-in feature, the basis of a resource theory of quantum causal networks too.As applications, first, we establish a simple sufficient condition for pure-process free convertibility.This imposes a hierarchy of quantum control of causal orders with the quantum switch at the top.Second, we prove that causal-nonseparability distillation exists.More precisely, we show how to convert multiple copies of a process with arbitrarily little causal nonseparability into fewer copies of a quantum switch.Our findings reveal conceptually new, unexpected phenomena, with both fundamental and practical implications.

arXiv:1903.06180Physical Review ResearchDec 13, 201915 citations

Characterising transformations between quantum objects, 'completeness' of quantum properties, and transformations without a fixed causal order

Simon Milz, Marco Túlio Quintino

Many fundamental and key objects in quantum mechanics are linear mappings between particular affine/linear spaces. This structure includes basic quantum elements such as states, measurements, channels, instruments, non-signalling channels and channels with memory, and also higher-order operations such as superchannels, quantum combs, n-time processes, testers, and process matrices which may not respect a definite causal order. Deducing and characterising their structural properties in terms of linear and semidefinite constraints is not only of foundational relevance, but plays an important role in enabling the numerical optimisation over sets of quantum objects and allowing simpler connections between different concepts and objects. Here, we provide a general framework to deduce these properties in a direct and easy to use way. While primarily guided by practical quantum mechanical considerations, we also extend our analysis to mappings between general linear/affine spaces and derive their properties, opening the possibility for analysing sets which are not explicitly forbidden by quantum theory, but are still not much explored. Together, these results yield versatile and readily applicable tools for all tasks that require the characterisation of linear transformations, in quantum mechanics and beyond. As an application of our methods, we discuss how the existence of indefinite causality naturally emerges in higher-order quantum transformations and provide a simple strategy for the characterisation of mappings that have to preserve properties in a 'complete' sense, i.e., when acting non-trivially only on parts of an input space.

arXiv:2305.01247QuantumJul 17, 20241 citation