2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
June 20, 2017 to June 23, 2017
Aleks Kissinger , Institute for Computing and Information Sciences, Radboud University, Netherlands
Sander Uijlen , Institute for Computing and Information Sciences, Radboud University, Netherlands
We present a categorical construction for modelling both definite and indefinite causal structures within a general class of process theories that include classical probability theory and quantum theory. Unlike prior constructions within categorical quantum mechanics, the objects of this theory encode fine-grained causal relationships between subsystems and give a new method for expressing and deriving consequences for a broad class of causal structures. To illustrate this point, we show that this framework admits processes with definite causal structures, namely one-way signalling processes, non-signalling processes, and quantum n-combs, as well as processes with indefinite causal structure, such as the quantum switch and the process matrices of Oreshkov, Costa, and Brukner. We furthermore give derivations of their operational behaviour using simple, diagrammatic axioms.
A. Kissinger and S. Uijlen, "A categorical semantics for causal structure," 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Reykjavik, Iceland, 2017, pp. 1-12.