Indefinite Causal Order in Quantum Processes

• Indefinite causal order is a quantum phenomenon where operations occur in a coherent superposition of different sequences, defying fixed classical causality.
• It employs the process-matrix framework to model causal nonseparability, with paradigmatic examples like the quantum switch demonstrating its operational advantages.
• ICO drives innovations across quantum information, thermodynamics, and gravity by enabling protocols that exceed the limitations of fixed-order circuits.

An indefinite causal order (ICO) is a quantum-mechanical phenomenon in which the causal ordering of events or operations is not fixed, even in principle. Unlike classical or standard quantum processes—where events are embedded within a spacetime or circuit with a definite (possibly random but well-defined) partial order—processes with ICO exhibit operational features that cannot be explained as any probabilistic mixture over definite orders. Paradigmatic models of ICO, such as the quantum switch, allow two or more operations to act in a coherent superposition of alternative orders. The mathematical formalism underpinning ICO is the process-matrix framework, which generalizes quantum circuits by dispensing with any global causal structure, and in which indefinite causal order is rigorously identified with causal nonseparability of the process matrix (Escandón-Monardes, 5 Jun 2025). ICO is of foundational importance and is a highly active frontier in quantum information, quantum foundations, quantum thermodynamics, and quantum gravity.

1. Mathematical Foundations: Process-Matrix Formalism and Causal Nonseparability

The process-matrix formalism provides a fully general framework for describing multipartite quantum processes without assuming any fixed causal background (Escandón-Monardes, 5 Jun 2025). In the bipartite case, two parties Alice (A) and Bob (B) possess input ($A_I$, $B_I$) and output ($A_O$, $B_O$) Hilbert spaces, upon which they act with local CP maps represented by Choi operators $M^{A_I A_O}_{a|x}$ and $M^{B_I B_O}_{b|y}$, parameterized by classical settings ($x, y$) and outcomes ($a, b$). A process matrix $$W \in \mathcal{L}(A_I \otimes A_O \otimes B_I \otimes B_O)$$ assigns joint probabilities,

$$p(a, b|x, y) = \mathrm{Tr}\left[ (M^{A_I A_O}_{a|x} \otimes M^{B_I B_O}_{b|y})\, W \right]$$

subject to linear constraints ensuring positivity, normalization, and "no output-to-input" signaling (i.e., operational compatibility with quantum theory). If $W$ can be written as a convex combination of fixed-order processes (e.g., $W = q W^{A \prec B} + (1-q) W^{B \prec A}$, with $0 \leq q \leq 1$), it is causally separable. Otherwise, $W$ is causally nonseparable and encodes indefinite causal order (Francica, 2022).

The paradigmatic example is the quantum switch, where two channels are applied in a coherent superposition of alternative orders, controlled by an auxiliary quantum system ("control qubit"), giving a process matrix that cannot be decomposed into mixtures of definite-order processes (Escandón-Monardes, 5 Jun 2025).

2. Operational and Semantic Characterizations

Beyond process matrices, category-theoretic, semantic, and resource-theoretic frameworks clarify ICO's conceptual status.

Category-Theoretic "Failure-to-Glue"

Each definite-order causal structure (partial order or DAG type) is treated as a "context" in a small category, with presheaves assigning to each context the convex set of compatible process descriptions. Causal separability is equivalent to the existence of a global section (i.e., "gluing" all local models into a single, context-independent process). Failure of this gluing—i.e., the absence of a compatible global section—precisely captures causal nonseparability and thus ICO (Ghose, 23 Jan 2026). This formalism also accommodates higher-order and quantum-gravity-motivated settings, such as parametric time, where ICO is associated with coarse-grained interventions whose effective temporal ordering remains indeterminate even if the underlying update process is totally ordered by a hidden parameter.

Seven-Valued Contextual Classifier

To rigorously separate context-dependent variation from genuine indeterminacy, a seven-valued classifier is introduced, distinguishing pure context dependence (TF), true order-indeterminacy (I), and their coexistence (TFI), with T=“supported somewhere,” F=“refuted somewhere,” I=“indeterminate somewhere.” ICO necessarily exhibits values involving I, demarcating it from classical or merely random mixtures (Ghose, 23 Jan 2026).

3. Physical Models and Realizations

Quantum Switch and Higher-Order Circuits

The quantum switch is a physical or experimental realization of ICO, manifesting genuine non-classical features in both theory and laboratory systems. In the switch, two operations $\mathcal{A}$ and $\mathcal{B}$ are applied in the order $\mathcal{B} \circ \mathcal{A}$ if the control qubit is in $|0\rangle$, and $\mathcal{A} \circ \mathcal{B}$ if in $|1\rangle$; if the control is prepared in a superposition, both orders are coherently realized. Such supermaps cannot be constructed from any classical (even probabilistic) mixture of fixed-order circuits (Escandón-Monardes, 5 Jun 2025).

Recent extensions include the use of indefinite causal order as a resource in quantum machine learning, where coherently superposing gate orderings dramatically enhances model expressivity and performance relative to classical or fixed-order quantum circuits (Ma et al., 2024).

Causal Inequalities, Witnesses, and Device-Independent Verification

Causal inequalities—analogous to Bell inequalities—bound the correlations achievable by causally separable processes. Violations of these inequalities, such as the Guess-Your-Neighbor’s-Input (GYNI) bound $p_{\text{succ}} \leq \frac{1}{2}$, certify causal nonseparability (Francica, 2022). While not every causally nonseparable process (notably the quantum switch) violates a causal inequality, dedicated causal witnesses—Hermitian observables non-negative on all separable processes and negative on some nonseparable ones—provide semidefinite-program certifiable diagnosis of ICO (Araújo et al., 2015, Goswami et al., 2018, Rubino et al., 2016).

Device-independent protocols, involving tailored Bell-type inequalities for the quantum switch, have recently been realized experimentally, achieving statistically significant violations of the relevant causal bounds and closing the gap between theoretical and operational certification of ICO (Richter et al., 20 Jun 2025).

Simulating ICO via Non-Markovian Dynamics

Any causally nonseparable process can, in principle, be simulated via a causally ordered quantum circuit acting on system plus environment, followed by postselection on an ancillary measurement. This requires non-Markovian, entangled resources; strictly Markovian circuits cannot give rise to ICO, highlighting a direct connection between non-Markovianity, entanglement, and causal indefiniteness (Milz et al., 2017).

4. ICO in Quantum Thermodynamics and Resource Theory

ICO has been proposed as a resource in quantum thermodynamics, enabling protocols such as refrigeration cycles unattainable for any fixed order of operations. For example, the combination of thermalizing channels in an ICO can produce final states or extract work in ways forbidden for any classical or fixed-order quantum sequencing (Felce et al., 2020, Chen et al., 2021). In a "Maxwell's demon" work extraction game, ICO allows exceeding single-shot success probabilities beyond the causal bound ($p_{\rm succ} > 1/2$ in violation of the corresponding causal inequality), though average work extraction may still be bounded by separable limits unless explicit interactions between subsystems are engineered (Francica, 2022).

However, in a detailed resource-theoretic analysis, it has been shown that any "advantage" previously attributed to ICO in terms of free energy or ergotropy can be matched (or surpassed) by causally ordered but non-Markovian processes; ICO cannot be considered a stand-alone thermodynamic resource without careful restriction of allowed auxiliary systems and interactions (Capela et al., 2022). A fair resource theory of causal nonseparability in thermodynamics remains an open problem.

5. Quantum Gravity, Knot Theory, and Fundamental Causal Structure

In the context of quantum gravity, ICO arises naturally when the causal structure of spacetime itself becomes a quantum variable. Superpositions of spacetime metrics, or of worldline arrangements, give rise to operational scenarios where the causal relation between events is branch-dependent and cannot be globally fixed, even in principle (Escandón-Monardes, 5 Jun 2025). The equivalence of optical and gravitational quantum switches is established by an invariant relativistic definition of causal order, based on the sign of the difference in proper times between events along worldlines, and the invariance of this observable under both classical and quantum diffeomorphisms (Hamette et al., 2022).

Recent work has formalized the topological invariance of ICO, establishing a direct connection to knot theory. Diagrammatic and knot-theoretic representations of event orderings in superposed spacetimes reveal that definite and maximally indefinite causal orders correspond to topological invariants (e.g., the second coefficient of the Conway polynomial of the associated knot) (Fedida et al., 2024).

6. Extensions, Generalized Theories, and Resource Limits

The ICO concept extends beyond quantum theory. In "boxworld" (generalized probabilistic theories based on gbits), higher-order process tensors subject only to no-signaling preservation and physical system-exchange constraints yield a polytope of correlations strictly larger than those achievable by quantum ICO processes, including stronger violations of causal inequalities (Bavaresco et al., 2024). The precise boundary between quantum-physical ICO and the larger class of post-quantum indefinite-order correlations remains the subject of active investigation.

Fundamental resource-theoretic analyses reveal that ICO confers strict one-shot advantages in classical communication over definite order, but this advantage is non-generic and can vanish in the asymptotic regime; in particular, entanglement-assisted protocols suffice to achieve all possible asymptotic capacities—even indefinite causal order offers no further improvement (Zhao et al., 9 Oct 2025).

7. Open Questions, Debates, and Outlook

• Physical vs. mathematical realizability: Not all mathematically well-defined (causally nonseparable) process matrices correspond to quantum-implementable processes. The quantum switch itself does not violate any device-independent causal inequality, and the "boundary" between physical and merely formal ICO resources remains under investigation (Escandón-Monardes, 5 Jun 2025).
• Resource characterization: It remains unsettled whether the operative resource in ICO-empowered protocols is coherence of the causal-control system, genuine causal indefiniteness, operator noncommutativity, or some combination (Escandón-Monardes, 5 Jun 2025, Ma et al., 2024).
• Quantum logic and interpretational issues: Superpositions in causal order challenge classical logical structures, warranting new quantum-logical frameworks for causal propositions (Filatov et al., 2021, Ghose, 23 Jan 2026).
• Expanding the experimental toolkit: Loophole-free device-independent certification, multipartite and higher-rank ICO processes, and concrete extensions to quantum-gravity-motivated systems are pressing experimental directions (Richter et al., 20 Jun 2025, Escandón-Monardes, 5 Jun 2025).
• Resource-theoretic structure: A rigorous, implementation-aware resource theory for causal nonseparability—both in information-theoretic and thermodynamic domains—remains an open frontier, particularly in specifying the "free" operations and accounting for auxiliary systems and memory effects (Capela et al., 2022, Zhao et al., 9 Oct 2025).

Indefinite causal order is thus a unifying theme at the intersection of quantum information, foundations, quantum gravity, and resource theory, providing both operational advantages and conceptual challenges, with its mathematical structure, physical instantiations, and resource-theoretic properties continuing to drive fundamental research across multiple disciplines.