Unitary causal decompositions: a characterisation via lattice theory
The episode discusses a paper characterizing unitary causal decompositions using lattice theory. The researchers established that a combinatorial condition called the C3 exclusion property precisely determines when a relation is representable in non-routed unitary circuits. This provides a concrete test to check if desired causal constraints can be implemented in quantum hardware.