aiqbench analysis
This paper advances the understanding of causal structure in quantum theory by establishing a combinatorial condition for unitary causal decompositions using lattice theory. It addresses a central open problem regarding whether specific no-influence constraints can be represented by traditional quantum circuits without directed paths between certain inputs and outputs. The systematic approach grounded in finite-dimensional operator algebra provides a rigorous foundation for future extensions to more complex routed circuit models.
Unitary causal decompositions: a characterisation via lattice theory
arXiv:2508.11762v2 Announce Type: replace 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.
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.
23+11 pages. v2, accepted to Quantum, improves the proof of Lemma 5.3 in Appendix B and overall presentation
Quantum Physics (quant-ph); Combinatorics (math.CO); Rings and Algebras (math.RA)
arXiv:2508.11762 [quant-ph]
(or arXiv:2508.11762v2 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2508.11762 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 306 words
Related coverage

Unitary causal decompositions: a characterisation via lattice theory
Quantum Journal · Sep 30, 2026

Researchers define when a quantum circuit has a ‘causal’ structure
Quantum Zeitgeist · Sep 30, 2026

Stabilizer Ranks, Barnes Wall Lattices and Magic Monotones
Quantum Journal · Jul 29, 2026

Faster Quantum Simulation Of Markovian Open Quantum Systems Via Randomisation
Quantum Journal · Sep 3, 2026