Unitary causal decompositions: a characterisation via lattice theory
- 1Department of Computer Science, University of Oxford, Oxford, United Kingdom
- 2Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada
- 3Quantinuum, London, United Kingdom
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.
Related
- Minimal unitary representations of time-invariant causal quantum channels
- A quantum algorithm for meshless lattice Boltzmann method with unitary interpolation
- Non-Unitary Quantum Butterfly Effect: Theory and Experiment
- Full macroscopic thermalization and the formation of Schrödinger's cats by unitary time evolution in the weakly perturbed Ising model - Applications of the Roos-Sugimoto-Teufel-Tumulka-Vogel theory
- Simulating the non-unitary Yang-Lee conformal field theory on the fuzzy sphere
BibTeX
@article{lugt2026unitary,
title = {{Unitary causal decompositions: a characterisation via lattice theory}},
author = {Tein van der Lugt and Robin Lorenz},
journal = {Quantum},
year = {2026},
month = sep,
doi = {10.22331/q-2026-09-30-2218},
url = {https://quantum-journal.org/papers/q-2026-09-30-2218/},
note = {CC BY 4.0},
}
RIS
TY - JOUR
TI - Unitary causal decompositions: a characterisation via lattice theory
AU - Tein van der Lugt
AU - Robin Lorenz
PY - 2026
DA - 2026/09/30
JO - Quantum
DO - 10.22331/q-2026-09-30-2218
UR - https://quantum-journal.org/papers/q-2026-09-30-2218/
AB - 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.
SN - 2521-327X
ER -