arXiv · 2508.11762
Unitary causal decompositions: a characterisation via lattice theory
Abstract
If a unitary transformation has a circuit representation with no directed path from input $a$ to output $b$, then $a$ does not influence $b$ through the overall unitary. Conversely, if a unitary satisfies a number of no-influence conditions, it is natural to wonder whether a circuit decomposition exists in which all of them are represented by absences of paths. Such decompositions are known as causal decompositions; determining their existence in general is a central open problem in the study of causal structure in quantum theory. We present progress towards a general solution by considering the special case of unitary causal decompositions, i.e. decompositions in terms of unitary circuits in the traditional quantum circuit formalism that do not require the generalisation to 'extended' or 'routed' quantum circuits prompted by earlier research on this topic. We identify a combinatorial condition that characterises precisely those sets of no-influence constraints $G$ for which any unitary transformation satisfying $G$ admits a unitary causal decomposition representing the constraints. Our approach is systematic, grounded in lattice theory and finite-dimensional operator algebra, and offers hope for extensions to more general (e.g. routed unitary) causal decompositions in the future.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Tein van der Lugt, Robin Lorenz. 2026-09-14. Unitary causal decompositions: a characterisation via lattice theory. https://arxiv.org/abs/2508.11762
Cite the original work for its findings. Save a collection to share your selection of sources.