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

(28)

• Propositional description of finite cause-effect structures
• Thinking about causation: a causal language with epistemic operators
• A non-commutative Bayes' theorem
• scientific article; zbMATH DE number 6708360 (Why is no real title available?)
• A universe of processes and some of its guises
• scientific article; zbMATH DE number 6493374 (Why is no real title available?)
• Causal categories: relativistically interacting processes
• Improvement in estimating the population mean using two-stage balanced groups ranked set sampling
• Terminality implies non-signalling
• Picturing indefinite causal structure
• DisCoPy: monoidal categories in Python
• Classical control, quantum circuits and linear logic in enriched category theory
• A categorical semantics for causal structure
• The space of logically consistent classical processes without causal order
• Quantum causal modelling
• Causal and causally separable processes
• Indefinite causal structures for continuous-variable systems
• Coend Optics for Quantum Combs
• On the Pre- and Promonoidal Structure of Spacetime
• Connecting processes with indefinite causal order and multi-time quantum states
• 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
• Quantum causal models: the merits of the spirit of Reichenbach's principle for understanding quantum causal structure
• Optics for premonoidal categories
• A profunctorial semantics for quantum supermaps
• Quantum coherence spaces revisited: a von Neumann (co)algebraic approach

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)