---
title: Unitary Causal Decompositions
url: https://www.emergentmind.com/topics/unitary-causal-decompositions
type: topic
---

# Unitary Causal Decompositions

Unitary causal decompositions are the quantum counterpart of the classical idea that correlations explained by a complete common cause should factorize. In the formulation introduced for quantum channels, the central question is when an input system \(A\) can be regarded as the complete common cause of outputs \(B\) and \(C\). Under the assumption that quantum dynamics is fundamentally unitary, the answer is expressed as a structural theorem: compatibility with \(A\) as a complete common cause is equivalent to a factorization of the channel’s Choi operator, to vanishing quantum conditional mutual information on a normalized Choi state, and to a direct-sum-of-tensor-products decomposition of \(H_A\) [1609.09487].

## 1. Classical antecedents and the quantum motivation

The starting point is Reichenbach’s principle. In its qualitative form, if two variables \(Y\) and \(Z\) are statistically dependent, then there should be a causal explanation: \(Y\) causes \(Z\), \(Z\) causes \(Y\), or a common cause \(X\) causes both. In contrapositive form, ancestral independence implies statistical independence,
\[
P(YZ)=P(Y)P(Z).
\]
Its quantitative form says that if the correlation between \(Y\) and \(Z\) is explained purely by a common cause, and \(X\) is a complete common cause, then
\[
P(YZ|X)=P(Y|X)P(Z|X).
\]
Unitary causal decompositions arise from asking for the quantum analogue of this factorization requirement [1609.09487].

The classical principle is challenged by Bell correlations. In a Bell experiment, one typically seeks to explain correlations between distant measurement outcomes by a common cause in their joint past together with local influences of settings. Bell’s theorem shows that, within classical causal models, observed violations of Bell inequalities cannot be explained without fine-tuning. This undermines the classical Reichenbach-style common-cause explanation for quantum correlations and motivates a quantum generalization [1609.09487].

Later process-theoretic work sharpened the surrounding landscape. Oreshkov and Giarmatzi distinguished causality from causal separability, exhibited tripartite quantum processes that are causal but not causally separable, and introduced extensibly causal and extensibly causally separable processes to address activation of non-causality by entangled ancillas [1506.05449]. That broader context clarifies why unitary causal decompositions are not merely a translation of classical conditional independence into operator language, but part of a reworking of causal explanation for intrinsically quantum processes.

## 2. Channels, Choi operators, and complete common causes

For a quantum channel from \(A\) to \(B\), assuming \(A\) is initially uncorrelated with its environment, the CPTP map is represented by a basis-independent Choi operator
\[
\rho_{B|A} := \sum_{ij} E_{B|A}(|i\rangle_A\langle j|)\otimes |i\rangle_{A^*}\langle j|
\]
acting on \(H_B\otimes H_{A^*}\), with
\[
\operatorname{Tr}_B(\rho_{B|A}) = I_{A^*}.
\]
Composition with an input state is implemented by the linking operator
\[
\tau^{id}_{\mathcal A} := \sum_{lm} |l\rangle_{A^*}\langle m|\otimes |l\rangle_A\langle m|,
\]
so that
\[
\rho_B = \operatorname{Tr}_{\mathcal A}\!\big(\rho_{B|A}\,\tau^{id}_{\mathcal A}\,\rho_A\big).
\]
This is the quantum analogue of summing over a hidden common cause in the classical formula \(P(Y)=\sum_X P(Y|X)P(X)\) [1609.09487].

The notion of causal influence is defined first at the level of unitary dilations. For a unitary channel from inputs \(A\bar A\) to outputs \(B\bar B\), represented by \(\rho^U_{B\bar B|A\bar A}\), one says that \(A\) has no causal influence on \(B\) iff
\[
\rho_{B|A\bar A}:=\operatorname{Tr}_{\bar B}(\rho^U_{B\bar B|A\bar A})
= I_{A^*}\otimes \rho_{B|\bar A}.
\]
Equivalently, the marginal at \(B\) is independent of any operation on \(A\) prior to the unitary [1609.09487].

A channel \(\rho_{BC|A}\) is compatible with “\(A\) is a complete common cause of \(B\) and \(C\)” if there exist ancillas \(\lambda_B,\lambda_C\) prepared in product state \(\rho_\lambda=\rho_{\lambda_B}\otimes \rho_{\lambda_C}\), together with a unitary dilation \(U\) on \(\lambda_B A \lambda_C\) to outputs \(B D C\), such that \(\lambda_B\) has no causal influence on \(C\), \(\lambda_C\) has no causal influence on \(B\), and the original channel is recovered by tracing out \(D\) and linking in the ancilla states:
\[
\rho_{BC|A}
=
\operatorname{Tr}_{D,\mathfrak l_B,\mathfrak l_C}
\!\big(
\rho^U_{BDC|A\lambda_B\lambda_C}\,
\tau^{id}_{\mathfrak l_B}\rho_{\lambda_B}\,
\tau^{id}_{\mathfrak l_C}\rho_{\lambda_C}
\big).
\]
The role of the ancillas is strictly local: they may influence one output each, but not both [1609.09487].

## 3. Equivalent characterizations of the unitary quantum Reichenbach principle

The main theorem states that, for a channel \(\rho_{BC|A}\), four conditions are equivalent. The equivalence is the core content of unitary causal decomposition in the original sense [1609.09487].

| Characterization | Content |
|---|---|
| Quantum compatibility | A unitary dilation exists with ancillas \(\lambda_B,\lambda_C\) that can only locally influence \(B\) and \(C\) |
| Factorization | \(\rho_{BC|A}=\rho_{B|A}\rho_{C|A}\) and \([\rho_{B|A},\rho_{C|A}]=0\) |
| QCMI condition | \(I(B:C|A)=0\) on \(\hat\rho_{BC|A}:=(1/d_A)\rho_{BC|A}\) |
| Hilbert-space structure | \(H_A=\bigoplus_i H_{A_i^L}\otimes H_{A_i^R}\) and \(\rho_{BC|A}=\sum_i (\rho_{B|A_i^L}\otimes \rho_{C|A_i^R})\) |

The factorization condition,
\[
\rho_{BC|A}=\rho_{B|A}\rho_{C|A},
\]
is the channel-level quantum analogue of \(P(YZ|X)=P(Y|X)P(Z|X)\). Because the factors commute, the product is an ordinary operator product. The paper explicitly notes that no separate star-product operation is required in this convention [1609.09487].

The QCMI formulation uses the trace-one operator
\[
\hat\rho_{BC|A}:=\frac{1}{d_A}\rho_{BC|A}.
\]
Then
\[
I(B:C|A)=0
\]
is equivalent to the logarithmic identity
\[
\log \hat\rho_{BC|A}+\log \hat\rho_{\cdot|A}
=
\log \hat\rho_{B|A}+\log \hat\rho_{C|A},
\]
and therefore to equality in strong subadditivity. The structural form of equality is supplied by the Hayden–Jozsa theorem, yielding
\[
H_A=\bigoplus_i H_{A_i^L}\otimes H_{A_i^R}.
\]
This is the precise sense in which the input can be split into sectors on which the causal influence toward \(B\) and \(C\) separates [1609.09487].

The theorem extends to any number of outputs. For a channel \(\rho_{B_1\cdots B_k|A}\), compatibility with \(A\) as complete common cause, product factorization with pairwise commutation,
\[
\rho_{B_1\cdots B_k|A}=\rho_{B_1|A}\cdots \rho_{B_k|A},
\qquad
[\rho_{B_i|A},\rho_{B_j|A}]=0,
\]
vanishing \(I(B_i:\bar B_i|A)\) for each \(i\), and a direct-sum-of-tensor-products decomposition
\[
H_A=\bigoplus_i (H_{A_i^1}\otimes \cdots \otimes H_{A_i^k})
\]
are again equivalent [1609.09487].

A frequent misconception is that such a factorization amounts to unrestricted broadcasting of quantum information. The theorem says something more restrictive: the allowed channels are exactly those for which the input Hilbert space decomposes into sectors that further tensor-factorize, so that local CPTP maps act separately on the relevant factors. This is consistent with the no-broadcasting perspective emphasized in the original analysis [1609.09487].

## 4. Quantum causal models and the quantum Markov condition

The factorization theorem is embedded in a formalism of quantum causal models. For a DAG with nodes \(A_1,\dots,A_n\), each node is assigned an input Hilbert space \(H_{A_i}\) and its dual output \(H_{A_i}^*\). Each node carries a local channel \(\rho_{A_i|\mathrm{Parents}(i)}\), acting on \(H_{A_i}\otimes H_{\mathrm{Parents}(i)}^*\), and these local channels are required to commute pairwise:
\[
[\rho_{A_i|\mathrm{Parents}(i)},\rho_{A_j|\mathrm{Parents}(j)}]=0.
\]
The global operator is then
\[
\sigma_{\mathfrak A_1\cdots \mathfrak A_n}
=
\prod_{i=1}^n \rho_{A_i|\mathrm{Parents}(i)}.
\]
This operator is the quantum Markov state for the DAG [1609.09487].

Operational predictions are extracted by interventions. A quantum instrument \(\{E^{k_i}_{A_i}\}\) at node \(A_i\) is represented by
\[
\tau^{k_i}_{\mathfrak A_i}
:=
\sum_{lm}
E^{k_i}_{A_i}(|l\rangle_{A_i^*}\langle m|)
\otimes |l\rangle_{A_i}\langle m|,
\]
and the joint outcome probabilities are
\[
P(k_1,\dots,k_n)
=
\operatorname{Tr}
\big[
\sigma_{\mathfrak A_1\cdots \mathfrak A_n}
(\tau^{k_1}_{\mathfrak A_1}\otimes \cdots \otimes \tau^{k_n}_{\mathfrak A_n})
\big].
\]
At a node with a complete-common-cause role, unitary causal decomposition becomes the local causal Markov condition: if \(A\) is the complete common cause of \(B\) and \(C\), then
\[
\rho_{BC|A}=\rho_{B|A}\rho_{C|A}.
\]
Thus the quantum Reichenbach theorem is a local structural axiom inside the DAG semantics [1609.09487].

Barrett, Lorenz, and Oreshkov later showed that any unitary quantum circuit has a causal structure corresponding to a directed acyclic graph, that marginalizing over local noise sources yields a process satisfying a Markov condition with respect to that graph, and that there is a converse. They also introduced an intrinsically quantum notion analogous to conditional independence, proved a quantum d-separation theorem, and formulated quantum analogues of the three rules of do-calculus [1906.10726]. This places unitary causal decompositions within a broader program in which causal structure is defined directly at the level of quantum processes rather than only at the level of classical outcomes.

## 5. Examples, nonexamples, and operational interpretation

Three examples in the original work delineate the scope of the theorem. A bipartite unitary \(U:A\!D\to B\!C\) has a trivial dilation, so \(AD\) is the complete common cause of \(B\) and \(C\). Accordingly,
\[
\rho_{BC|AD}=\rho_{B|AD}\rho_{C|AD},
\qquad
I(B:C|AD)=0
\]
on the normalized Choi operator [1609.09487].

The qubit copying examples are more diagnostic.

| Example | Choi structure | Result |
|---|---|---|
| Incoherent copy | \(|000\rangle\langle000|+|111\rangle\langle111|\) on \(BCA^*\) | Factorizes, \(I(B:C|A)=0\) |
| Coherent copy | Proportional to \((|000\rangle+|111\rangle)(\langle000|+\langle111|)\) | Does not factorize, \(I(B:C|A)=1\) |
| Bipartite unitary \(AD\to BC\) | Trivial dilation | \(AD\) is complete common cause |

The incoherent copy measures \(A\) in the computational basis and prepares \(|00\rangle\) or \(|11\rangle\). Its Choi operator factorizes, so \(A\) is a complete common cause of \(B\) and \(C\). By contrast, the coherent copy
\[
\alpha|0\rangle_A+\beta|1\rangle_A \mapsto \alpha|00\rangle_{BC}+\beta|11\rangle_{BC}
\]
has a Choi operator proportional to a GHZ projector; on the normalized Choi state,
\[
I(B:C|A)=1.
\]
Hence it does not factorize. The paper interprets this through the dilation: a CNOT-style implementation lets the target back-act on the control, so an ancilla can function as an additional common cause. The failure is therefore not a mere technicality of representation, but a statement about causal completeness [1609.09487].

The Bell case gives the broader causal significance. Classical causal models require
\[
P(YZ|X)=P(Y|X)P(Z|X)
\]
for a complete common cause \(X\). Quantum causal models do not demand classical joint distributions across descendant variables. Instead, common-cause structure is encoded by Choi-operator factorization and vanishing QCMI. Channels producing Bell-type correlations across measurement outcomes generally do not satisfy
\[
\rho_{BC|A}=\rho_{B|A}\rho_{C|A}
\]
with a single \(A\) as complete common cause of the underlying quantum systems. This is the intended quantum analogue of the failure of classical common-cause explanation in Bell scenarios [1609.09487].

A constructive reading of the theorem is also available. Given a unitary dilation \(U_{AE\to BCE'}\) and the hypothesis that \(A\) is the complete common cause of \(B\) and \(C\), one can test no-influence constraints on the dilation, compute \(I(B:C|A)\) on the normalized Choi operator, extract the Hayden–Jozsa decomposition of \(H_A\), and, if needed, build a corresponding dilation from block-diagonal unitaries. This turns the theorem into a practical structural criterion rather than a purely existential one [1609.09487].

## 6. Compositional, cyclic, and lattice-theoretic generalizations

Subsequent work broadened the notion of causal decomposition from common-cause factorization of channels to the relation between causal structure and compositional structure of unitary transformations. In cyclic quantum causal models, a unitary process still factorizes into commuting local channels for its causal structure. Within that framework, all unitarily extendible bipartite processes are causally separable, and for unitary processes causal nonseparability is equivalent to cyclicity of the causal structure [2002.12157].

Lorenz and Barrett showed that ordinary circuit decompositions need not make all no-influence constraints simultaneously evident. To remedy this, they introduced extended circuit diagrams, whose key additional compositional operation is direct sum alongside sequential and tensor-product composition. For large classes of finite-dimensional unitaries they derived causally faithful extended circuit decompositions, and they formulated the hypothesis that every finite-dimensional unitary transformation has such a decomposition [2001.07774].

A later lattice-theoretic result gave a sharp criterion for when traditional unitary circuits suffice. For a set \(G\) of no-influence constraints, every unitary transformation satisfying \(G\) has a unitary causal decomposition in the traditional circuit formalism iff \(G\) satisfies the \(C_3\)-exclusion property; equivalently, in the canonical concept lattice \(L_G\), there is no more than one path between each input and output [2508.11762]. In one dimension, an analogous constructive characterization was obtained for locality-preserving dynamics: for \(N\ge 4r+1\), a unitary channel is a 1D QCA of radius \(r\) iff it can be decomposed into a unitary routed circuit of nearest-neighbour interactions, and this decomposition can be chosen translation-invariant in the translation-invariant case [2506.22219].

Subsystem-decomposition methods supplied a different generalization. A framework based on changes of tensor-product structure showed that some cyclic circuits can be mapped to temporal circuits on time-delocalised subsystems while preserving composed probabilities. However, in the quantum switch there is no single isomorphism
\[
J:\bigotimes_{i=1}^8 H^{T_i}\otimes H^{C_i}\to \bigotimes_{i=1}^8 H^{\tilde T_i}\otimes H^{\tilde C_i}
\]
that relates Alice’s and Bob’s temporal decompositions for all local operations. The proof uses invariants of unitary similarity and, for a particular choice of operations, the mismatch
\[
\operatorname{Tr}[\Omega^{(A)}\Omega^{(A)\dagger}] = 2^{15}+2^{13},
\qquad
\operatorname{Tr}[\Omega^{(B)}\Omega^{(B)\dagger}] = 2^{15}
\]
to rule out a universal subsystem change \(J\) [2411.16504]. A plausible implication is that “unitary causal decomposition” now names a family of closely related structural programs rather than a single theorem.

## 7. Related uses in semicausal circuits and graph-based dynamics

The decomposition idea also appears in explicitly semicausal settings. In a circuit model of black hole evaporation, semicausality means \(B\nrightarrow A\): degrees of freedom inside the horizon cannot signal to degrees of freedom outside. The structural theorem there states that a tripartite unitary on \(BXA\) is semicausal iff it admits
\[
U^{(\mathrm{BXA})}
=
\big(U^{(\mathrm{BX})}\otimes 1^{(\mathrm A)}\big)
\big(1^{(\mathrm B)}\otimes U^{(\mathrm{XA})}\big),
\]
or, with local pre- and post-unitaries,
\[
U^{(\mathrm{BXA})}
=
\big(U^{(\mathrm{BX})}\otimes U^{(\mathrm A)}\big)
\big(U^{(\mathrm B)}\otimes U^{(\mathrm{XA})}\big).
\]
Iterating this layered semicausal decomposition yields entropy bounds
\[
|\mathcal S_k-\mathcal S_{k-1}|\le \ln 2,
\qquad
0\le \mathcal S_k\le \min(k,n-k)\ln 2,
\]
so that any entropy curve lies within a Page-like triangular envelope [2310.04744].

In quantum causal graph dynamics, the object is a vertex-preserving causal unitary on a Hilbert space spanned by finite labelled graphs. The main structure theorem states that any such unitary admits a finite-depth decomposition into local unitaries:
\[
U|\psi\rangle
=
\Big(\prod_{u\in V}\mu_u\Big)\Big(\prod_{u\in V}K_u\Big)|\psi\rangle,
\]
where each \(\mu_u\) is 1-local, each \(K_u\) is localized on \(N_{r+1}(u)\), and
\[
[K_u,K_v]=0
\]
for all \(u\ne v\). The depth is \(2\), and the result extends block-representation ideas from QCA to time-varying graphs and superpositions of graphs [1607.06700].

A more background-independent variant appears in discrete unitary causal theories of quantum gravity. There, global evolution is decomposed into local unitary replacement rules acting on non-overlapping initial and final evolution regions, and the physical inner product is a sum over histories with amplitudes given by products of local transition amplitudes. The resulting inner product is Hermitian and fully gauge-degenerate under spacetime diffeomorphisms generated by local evolution moves [1201.2489]. These constructions are not the same theorem as the unitary quantum Reichenbach principle, but they preserve its central theme: causal constraints become explicit through a decomposition of unitary dynamics into structurally local pieces.

Source: https://www.emergentmind.com/topics/unitary-causal-decompositions