Process-Matrix Formalism in Quantum Causality

• Process-Matrix Formalism is a quantum framework that describes correlations among local operations without a fixed causal order using process matrices and the generalized Born rule.
• It employs the Choi–Jamiołkowski isomorphism and link product to model superposed or entangled causal structures, as exemplified by the quantum switch.
• The framework underpins advanced quantum circuits like QC–QC and multi-round process matrices, providing insights into composability and spacetime-embedded quantum dynamics.

The process-matrix formalism is a higher-order quantum framework for describing correlations among operations performed in locally well-defined laboratories without presupposing a global causal order. It generalizes the standard quantum formalism by allowing for indefinite, superposed, or even entangled causal structures, thereby encompassing processes that violate causal inequalities and cannot be simulated by any conventional quantum circuit with a fixed sequence of events. Central constructs include process matrices, operationalized through the Choi–Jamiołkowski isomorphism, the generalized Born rule, and explicit causal constraints. Over the last decade, rigorous mathematical analyses have clarified the relations of process matrices to multi-time quantum states, pseudo-density matrices, composability issues, and implementability in quantum spacetime models.

1. Mathematical Structure of the Process-Matrix Formalism

A process matrix $W$ specifies the joint statistics for local operations performed by multiple agents, each operating an input–output laboratory. For $N$ agents $\{A_k\}$ with input Hilbert spaces $H^{A^I_k}$ and output Hilbert spaces $H^{A^O_k}$, $W$ acts as

$$W \in L\left(H^P \otimes \bigotimes_k H^{A^I_kA^O_k} \otimes H^F\right),$$

where $H^P$ and $H^F$ denote global “past” and “future” systems, respectively. The framework utilizes the Choi isomorphism, assigning each CP map $\mathcal{M}: L(H^X) \to L(H^Y)$ a Choi matrix

$N$0

Joint outcome probabilities for local operations $N$1 are determined by the generalized Born rule: $N$2 where $N$3 denotes the link product, providing the connection between Choi representations of sequential composition. For every choice of trace-preserving CP maps $N$4, the induced $N$5 map must also be trace-preserving.

The validity constraints on $N$6, originally formulated by Oreshkov, Costa, and Brukner, include positivity ($N$7), trace normalization ($N$8), and a linear projector constraint encoding "no-signaling from the future": $N$9 For bipartite systems, these reduce to explicit partial-trace conditions such as $\{A_k\}$0 and corresponding projectors on output systems. Device-independent constraints are expressed compactly using the notation $\{A_k\}$1, capturing the requirement that $\{A_k\}$2 must not allow communication from future to past (Salzger, 2023, Silva et al., 2017, Liu et al., 2023).

2. Causal Structure: Definite, Indefinite, and Causal (Non)Separability

A process matrix is said to have definite causal order if it is compatible with a fixed (partial) ordering of laboratories. For example, a process $\{A_k\}$3 is fixed-order if it takes the form $\{A_k\}$4. A process $\{A_k\}$5 is causally separable if it admits a convex decomposition

$\{A_k\}$6

for some $\{A_k\}$7. Otherwise, $\{A_k\}$8 is causally nonseparable and can, in principle, violate causal inequalities. Notably, the paradigmatic quantum switch process exhibits causal nonseparability, implementing a coherent superposition of "A before B" and "B before A" via a control qubit (Salzger, 2023, Apadula et al., 3 Apr 2026, Silva et al., 2017).

A distinction emerges between indefinite temporal order (concerning global time parameterization) and indefinite causal order (who can signal to whom). Process matrices enable indefinite causal order even in scenarios with fixed temporal ordering under pre- and post-selection, as demonstrated by mapping such processes to entangled two-time quantum states (Silva et al., 2017).

3. Quantum Circuits with Quantum-Controlled Causal Order (QC–QC) and Composability

The class of "quantum circuits with quantum control of causal order" (QC–QC) captures processes in which the sequence of laboratory operations is coherently controlled by ancilla registers. In the Choi-picture, this is specified by constructing a sequence of controlled-unitaries

$\{A_k\}$9

with a control register $H^{A^I_k}$0 whose basis encodes action history. The process matrix for pure circuits is built by sequentially star-multiplying the Choi vectors of the unitaries and tracing out internal ancilla.

Operationally, process-matrix–quantum circuits with classical or quantum control fall into fixed, classical, or quantum control classes (QC–FO, QC–CC, and QC–QC, respectively). QC–QC encompasses all laboratories that can be coherently superposed in operational order and is identified, under restrictive assumptions, as the only class implementable within a fixed global acyclic spacetime (Salzger, 2023).

A major issue historically unresolved in the process-matrix setting is composability: arbitrary composition of processes (e.g., feeding the output of one process as input to another) may violate the process constraints. However, embedding processes into a spacetime structure using the causal-box framework restores composability by treating process matrices as specific cases of process boxes, themselves closure-stable under loop composition (Salzger, 2023).

4. Extensions: Multi-Round Process Matrices and Higher-Order Indefinite Causality

The formalism generalizes naturally to multi-round scenarios, where each party operates sequentially over multiple quantum nodes (multi-round process matrix, "MPM"). An MPM $H^{A^I_k}$1 is a multilinear map over the tensor product of all parties' input/output spaces across all time steps. Local operations correspond to quantum combs (sequences of CP maps with internal memory).

Causal nonseparability in the multi-round setting is more subtle. Operators can be causally separable in the one-round sense but become causally nonseparable when internal side channels across rounds (inside a laboratory) are exploited, allowing for violation of causal inequalities through entangled multi-round strategies (Hoffreumon et al., 2020).

The hierarchy of higher-order maps includes these multi-round process matrices, embedding the process-matrix framework within the general landscape of quantum supermaps and higher-order transformations.

5. Relations to Multi-Time States and Pseudo-Density Matrices

Process matrices admit an explicit equivalence to a subset of "linear two-time states" (pre- and post-selected quantum states) via the construction of η-states: $H^{A^I_k}$2 All linear two-time states—those giving rise to bilinear outcome probabilities for arbitrary CP instruments—are in one-to-one correspondence with process matrices. This connection enables a recipe for physically implementing any process matrix probabilistically using pre-selection, local operations, and post-selection on maximally entangled states (Silva et al., 2017, Liu et al., 2023).

Furthermore, process matrices and their operational predictions can be mapped to pseudo-density matrices (PDMs) via multi-time-state intermediaries, unifying various approaches to spatiotemporal quantum correlations. The trace-norm negativity in the PDM captures the "temporal entanglement" inherent in indefinite causal structure and matches the operational features of the process-matrix framework (Liu et al., 2023).

6. Spacetime Embedding, Frame Perspectives, and Physical Realizability

The process-matrix formalism is fundamentally perspective-neutral; physical implementability requires extending $H^{A^I_k}$3 to processes embedded in spacetime, with quantum reference frames explicitly included. Recent work establishes that coordinate parametrizations—causal reference frames (CRF) and time-delocalized subsystems (TDS)—constitute changes of basis on a higher-order object $H^{A^I_k}$4 encoding the global process. No foliation-preserving unitary can transform between these parametric representations without altering the past–future partition (Apadula et al., 3 Apr 2026).

By incorporating background spacetime ("causal boxes") and quantum reference systems (e.g., clocks or localized observers), one can construct composable, operationally equivalent representations of QC–QC processes and process boxes. This mapping enables unitary transformations between frame perspectives, so long as they are supplemented by "frame data" specifying operational boundaries. Within this framework, it can be shown every process box admits a unitary extension (Stinespring dilation). A conjecture states that any process box defined on a generic time poset can be reduced to a representation over equally spaced discrete time steps, up to operational equivalence (Salzger, 2023, Apadula et al., 3 Apr 2026).

A plausible implication is that, from the spacetime-embedded viewpoint, the only empirically realizable process matrices are those admitting a dynamical realization as valid quantum circuits with quantum-controlled superpositions of order—i.e., QC–QC circuits (Salzger, 2023). The composability and physicality of genuinely non-QC–QC processes, particularly those that maximally violate causal inequalities, remain open areas of research and directly impact the foundational program of quantum gravity.

7. Open Questions and Future Directions

Key open directions include characterizing the necessary and sufficient conditions for a process matrix to admit physical realization with explicit quantum reference frames in a dynamical spacetime, extending the compositional framework to cover dynamical or curved spacetime backgrounds, weakening the operational restrictions (e.g., relaxing fully active agent or local order requirements), and generalizing to multi-agent, multi-round, or infinite-dimensional laboratories. A further crucial question concerns the classification and operational capabilities of processes violating multi-round causal inequalities, and the embedding of the process-matrix formalism into a general theory of spatiotemporal quantum symmetries and gravitationally dynamical scenarios (Salzger, 2023, Apadula et al., 3 Apr 2026, Hoffreumon et al., 2020).

The continued interplay between foundational, operational, and physical viewpoints within the process-matrix formalism is expected to further deepen understanding of quantum causal structure, composability, and the boundary between abstract process-theoretic models and physically implementable quantum spacetime dynamics.