A categorical semantics for causal structure

MaRDI QIDQ5228885zbMATH OpenFDO

Authors Aleks Kissinger, Sander Uijlen

Publication date 13 August 2019

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

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)

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.

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

Cited in

(24)

• scientific article; zbMATH DE number 6708360 (Why is no real title available?)
• The space of logically consistent classical processes without causal order
• A categorical semantics for causal structure
• A universe of processes and some of its guises
• Quantum causal modelling
• scientific article; zbMATH DE number 6493374 (Why is no real title available?)
• Coend Optics for Quantum Combs
• On the Pre- and Promonoidal Structure of Spacetime
• Thinking about causation: a causal language with epistemic operators
• Propositional description of finite cause-effect structures
• A non-commutative Bayes' theorem
• Classical control, quantum circuits and linear logic in enriched category theory
• 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
• DisCoPy: monoidal categories in Python

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)