---
title: Indefinite Causal Orders
url: https://www.emergentmind.com/topics/indefinite-causal-orders
type: topic
---

# Indefinite Causal Orders

Indefinite causal order refers to physical processes in which the causal sequence of events is not fixed, even probabilistically, and may be genuinely in quantum superposition. This challenges the classical and even standard quantum mechanical view that operations or events in space-time always have a definite order (such as “A before B” or “B before A”). Indefinite causal order (ICO) has become a rigorous and operationally testable concept, with implications in quantum information processing, thermodynamics, quantum metrology, and the foundations of quantum theory, including quantum gravity scenarios.

## 1. Formalism and Mathematical Definitions

The most general framework to describe processes with indefinite causal order is the process matrix formalism. Here, the correlations between operations performed by local parties (e.g., Alice and Bob in separate laboratories) are encoded in a positive semidefinite operator called the process matrix $W$, which acts on the tensor product of the input/output Hilbert spaces of all parties [2208.02550, 2506.04607].

For two parties with input/output spaces $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$, the process matrix $W \in L(H_{A_1} \otimes H_{A_2} \otimes H_{B_1} \otimes H_{B_2})$ defines joint probabilities for their local operations (instruments) inserted into the process:
\[
p(a,b|x,y) = \operatorname{Tr}[(M_{a|x}^{A_1A_2} \otimes M_{b|y}^{B_1B_2})\, W].
\]
A process matrix is **causally separable** if it admits a decomposition as a convex mixture of definite-order processes:
\[
W_\text{sep} = q\, W^{A \prec B} + (1-q)\, W^{B \prec A}, \quad 0 \leq q \leq 1.
\]
If no such decomposition exists, $W$ is causally non-separable and displays indefinite causal order [2208.02550, 2506.04607]. There exist necessary and sufficient linear constraints (positivity, trace, and "no open ends") that process matrices must satisfy to yield valid probability distributions [2208.02550, 2506.04607].

Indefinite causal order can be more generally described at the level of **higher-order supermaps** (e.g., the quantum switch or $N$-switch), which map collections of operations into new operations in a way compatible with local quantum mechanics but not reducible to a fixed global causal structure [2512.08635].

## 2. Foundational Principles and Axiomatic Approaches

The central operational distinction captured by ICO is formalized by the **parity-erasure principle**, which characterizes all higher-order processes compatible with indefinite order in operational probabilistic theories (OPTs). The principle asserts that for every nonempty subset $I$ of the parties, no output statistics can ever reveal the parity (xor) of the locally input bits across that subset. This is equivalent to a set of linear constraints that every process with ICO must obey [2512.08635]:
\[
\sum_{x_i \in \{0,1\}} (-1)^{\sum_{i\in I} x_i} \, \operatorname{Tr}_{A_{i\notin I}} [\sigma_{(x_1,\dots,x_N)}] = 0.
\]
Processes obeying parity erasure cannot transmit global parity information across branches of their internal causal structure, distinguishing ICO from any mixture of definite orders.

From a category-theoretic and sheaf-theoretic standpoint, indefinite causal order can be understood as the **failure to glue** local, definite-order process descriptions into a single global section over the poset (category) of definite causal contexts [2601.16494]. Causal nonseparability (ICO) is then precisely the structural inability to consistently assign a global explanation from local ones, formalizing "no hidden definite order."

A seven-valued contextual classifier further refines the meta-logical landscape, separating variations across contexts (classical mixtures) from genuine contextual indeterminacy (ICO) [2601.16494].

## 3. Physical Realizations: The Quantum Switch and Beyond

The **quantum switch** is the canonical example of an ICO process and operates as a higher-order transformation (supermap) where the order of two or more operations is coherently controlled by an ancillary degree of freedom (typically a qubit) [2506.04607, 2202.12886]:
\[
|\Psi_\text{out}\rangle = \frac{1}{\sqrt{2}} \left[ |0\rangle_C \otimes U_B U_A |\psi_0\rangle_T + |1\rangle_C \otimes U_A U_B |\psi_0\rangle_T \right].
\]
In the process-matrix formalism, the quantum switch’s process matrix $W_\text{switch}$ is not causally separable and cannot be decomposed as a mixture of $A \prec B$ and $B \prec A$ [1803.04302]. This enables new types of correlations and functionalities that are impossible in any classical or classically mixed causal structure.

Generalizations include $N$-switches (switches over $N$ operations) and multipartite indefinite order processes. Relativistic and gravitational quantum switch proposals instantiate ICO using superpositions of worldline orderings, with recent work establishing the diffeomorphism-invariant and operational status of ICO in both optical and gravitational implementations [2211.15685].

## 4. Operational Signatures and Experimental Verification

**Causal witnesses** generalize the entanglement witness framework to the process-matrix context: a causal witness $S$ is a Hermitian operator such that $\operatorname{Tr}[S W_\text{sep}] \geq 0$ for all causally separable $W_\text{sep}$, and $\operatorname{Tr}[S W] < 0$ for some $W$ definitively certifying causal nonseparability [1608.01683, 1803.04302]. Experimental measurements of negative causal witness expectation values decisively verify indefinite causal order.

Device-independent verification of ICO, paralleling the Bell-test paradigm, has been demonstrated using a recent Bell-like causal inequality (“VBC inequality”), which is violated by the quantum switch and rules out all classical hidden-variable definite-order models under natural assumptions [2506.16949]. Such device-independent protocols elevate ICO to the status of a certifiable quantum resource.

## 5. Functional and Resource-Theoretic Consequences

**Quantum communication:** Indefinite causal order enables tasks not possible with fixed (even random) causal structures. For example, it enables perfect quantum communication across two or more independent zero-capacity (e.g., entanglement-breaking) channels—with the quantum switch, two zero-capacity Pauli channels can be "activated" to yield a perfect channel, an effect impossible by any superposition of spatial paths [1810.10457].

For classical and quantum communication, ICO can provide strict one-shot zero-error advantages in certain channel noise regimes (e.g., amplitude-damping), but not for all channels (e.g., Pauli). Importantly, these advantages disappear in the asymptotic (many-use, entanglement-assisted) regime, where definite or indefinite order protocols become equivalent [2510.08507].

**Quantum metrology:** ICO can enhance quantum Fisher information (QFI) and estimation precision beyond all causally separable or fixed-order strategies for certain noisy channels (e.g., amplitude damping composed with unitary rotation), but not for depolarizing, Pauli, or thermalizing channels. Genuine quantum control of causal order (QC–QC class) can deliver strict metrological advantages [2312.12172, 2207.04838].

**Quantum thermodynamics:** ICO enables single-shot and probabilistic advantages in work extraction and thermodynamic tasks. In work-extraction games with cooperating Maxwell’s demons, ICO can increase the probability of jointly extracting zero energy—violating causal inequalities—but the average extractable work is still bounded by the best definite-order protocol unless specific interactions are engineered [2208.02550]. For quantum batteries and refrigerators, ICO outperforms classical orderings in several scenarios—including full charging, nonunitary protocols, and measurement-based stabilization [2003.00794, 2105.12466].

**Resource theory perspectives:** Indefinite causal order functions as a distinct, dynamical resource, independent of entanglement or non-signaling correlations. It supports a resource theory where the set of "free" operations comprises causally separable supermaps, and the resource is process nonseparability [2510.08507, 1810.10457].

## 6. Theoretical Extensions and Generalizations

**Relativistic and quantum-gravitational contexts:** ICO is realized not only in laboratory photonic or atomic systems, but also in theoretical proposals involving superpositions of spacetime geometries ("gravitational switch") and retrocausal electron-positron trajectories in extreme fields [2202.12886, 2211.15685]. The invariance of ICO under quantum diffeomorphisms and its operational meaningfulness in both quantum-mechanical and general-relativistic settings have been established, showing that optical and gravitational realizations instantiate the same physical notion [2211.15685].

**Knot theory and topological invariants:** Recent work constructs knot-theoretic representations of the causal relations in ICO scenarios, showing that the degree and pattern of causal indefiniteness is captured by invariants such as the quadratic term in the Alexander–Conway polynomial of the corresponding knot. This establishes a new bridge between quantum causal structures and low-dimensional topology, with operational encoding in multipartite quantum circuits [2409.11448].

**Contextual semantics and sheaf-theoretic approaches:** The semantic underpinnings of ICO can be formalized using the category of contexts (definite orders), sheaves of admissible models, and contextual classifiers, revealing connections to the generalized contextuality paradigm in quantum foundations [2601.16494].

## 7. Open Questions, Debates, and Outlook

Open theoretical issues include the physical realizability of all process matrices (especially those violating causal inequalities), the role of resource-theoretic monotones for ICO, and the precise link between ICO and quantum computational advantage. Debates focus on the operational status of event definitions in laboratory ICO experiments, the necessity (or not) of superposed spacetime metrics, and the ultimate boundaries imposed by quantum gravity.

Indefinite causal order constitutes a robust and operationally defined quantum resource, rigorously tested in experiment and formalized in general process-theoretic, topological, and categorical frameworks. It is an active area of research at the intersection of quantum information, quantum thermodynamics, quantum foundations, and quantum gravity [1608.01683, 2003.00794, 2506.04607, 2409.11448, 2601.16494].

Source: https://www.emergentmind.com/topics/indefinite-causal-orders