A categorical semantics for causal structure

zbMATH Open1442.68146arXiv1701.04732MaRDI QIDQ5228885FDOQ5228885

Authors: Aleks Kissinger, Sander Uijlen 

Publication date: 13 August 2019

Abstract: We present a categorical construction for modelling causal structures within a general class of process theories that include the theory of classical probabilistic processes as well as 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. We show that this framework enables one to define families of processes which are consistent with arbitrary acyclic causal orderings. In particular, one can define one-way signalling (a.k.a. semi-causal) processes, non-signalling processes, and quantum $n$-combs. Furthermore, our framework is general enough to accommodate recently-proposed generalisations of classical and quantum theory where processes only need to have a fixed causal ordering locally, but globally allow indefinite causal ordering. To illustrate this point, we show that certain processes of this kind, such as the quantum switch, the process matrices of Oreshkov, Costa, and Brukner, and a classical three-party example due to Baumeler, Feix, and Wolf are all instances of a certain family of processes we refer to as $extrm{SOC}_n$ in the appropriate category of higher-order causal processes. After defining these families of causal structures within our framework, we give derivations of their operational behaviour using simple, diagrammatic axioms.

Full work available at URL: https://arxiv.org/abs/1701.04732

Recommendations

• A categorical semantics for causal structure
• Causal categories: relativistically interacting processes
• Indefinite causal structures for continuous-variable systems
• Picturing indefinite causal structure
• Causal and causally separable processes

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Quantum state spaces, operational and probabilistic concepts (81P16)

Cited In (24)

• A categorical semantics for causal structure
• Quantum causal modelling
• A universe of processes and some of its guises
• Coend Optics for Quantum Combs
• On the Pre- and Promonoidal Structure of Spacetime
• Title not available (Why is that?)
• Thinking about causation: a causal language with epistemic operators
• Propositional description of finite cause-effect structures
• A non-commutative Bayes' theorem
• Terminality implies non-signalling
• Causal and causally separable processes
• Causal categories: relativistically interacting processes
• Improvement in estimating the population mean using two-stage balanced groups ranked set sampling
• Indefinite causal structures for continuous-variable systems
• A diagrammatic approach to information transmission in generalised switches
• Causality in higher order process theories
• The sheaf-theoretic structure of definite causality
• Categorical semantics for time travel
• Connecting processes with indefinite causal order and multi-time quantum states
• Picturing indefinite causal structure
• Title not available (Why is that?)
• DisCoPy: monoidal categories in Python
• Title not available (Why is that?)
• The space of logically consistent classical processes without causal order

This page was built for publication: A categorical semantics for causal structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5228885)