Indefinite Causal Orders

• Indefinite causal order is a quantum phenomenon where the order of events is superposed, defying classical fixed sequences.
• The quantum switch and N-switch techniques operationalize ICO, using ancillary control to create non-separable causal structures.
• ICO enables novel advantages in quantum communication, metrology, and thermodynamics, verified through causal witnesses and resource-theoretic frameworks.

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 (Francica, 2022, Escandón-Monardes, 5 Jun 2025).

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 (Francica, 2022, Escandón-Monardes, 5 Jun 2025). There exist necessary and sufficient linear constraints (positivity, trace, and "no open ends") that process matrices must satisfy to yield valid probability distributions (Francica, 2022, Escandón-Monardes, 5 Jun 2025).

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 (Liu et al., 9 Dec 2025).

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 (Liu et al., 9 Dec 2025): $$\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 (Ghose, 23 Jan 2026). 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) (Ghose, 23 Jan 2026).

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) (Escandón-Monardes, 5 Jun 2025, Drezet, 2022): $$|\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 $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$0 is not causally separable and cannot be decomposed as a mixture of $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$1 and $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$2 (Goswami et al., 2018). This enables new types of correlations and functionalities that are impossible in any classical or classically mixed causal structure.

Generalizations include $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$3-switches (switches over $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$4 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 (Hamette et al., 2022).

4. Operational Signatures and Experimental Verification

Causal witnesses generalize the entanglement witness framework to the process-matrix context: a causal witness $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$5 is a Hermitian operator such that $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$6 for all causally separable $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$7, and $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$8 for some $H_{A_1}, H_{A_2}, H_{B_1}, H_{B_2}$9 definitively certifying causal nonseparability (Rubino et al., 2016, Goswami et al., 2018). 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 (Richter et al., 20 Jun 2025). 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 (Chiribella et al., 2018).

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 (Zhao et al., 9 Oct 2025).

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 (Mothe et al., 2023, Procopio, 2022).

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 (Francica, 2022). For quantum batteries and refrigerators, ICO outperforms classical orderings in several scenarios—including full charging, nonunitary protocols, and measurement-based stabilization (Felce et al., 2020, Chen et al., 2021).

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 (Zhao et al., 9 Oct 2025, Chiribella et al., 2018).

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 (Drezet, 2022, Hamette et al., 2022). 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 (Hamette et al., 2022).

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 (Fedida et al., 2024).

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 (Ghose, 23 Jan 2026).

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 (Rubino et al., 2016, Felce et al., 2020, Escandón-Monardes, 5 Jun 2025, Fedida et al., 2024, Ghose, 23 Jan 2026).