Higher-order causal theories are models of BV-logic

05/23/2022
by   Will Simmons, et al.
0

The Caus[-] construction takes a compact closed category of basic processes and yields a *-autonomous category of higher-order processes obeying certain signalling/causality constraints, as dictated by the type system in the resulting category. This paper looks at instances where the base category C satisfies additional properties yielding an affine-linear structure on Caus[C] and a substantially richer internal logic. While the original construction only gave multiplicative linear logic, here we additionally obtain additives and a non-commutative, self-dual sequential product yielding a model of Guglielmi's BV logic. Furthermore, we obtain a natural interpretation for the sequential product as "A can signal to B, but not vice-versa", which sits as expected between the non-signalling tensor and the fully-signalling (i.e. unconstrained) par. Fixing matrices of positive numbers for C recovers the BV category structure of probabilistic coherence spaces identified by Blute, Panangaden, and Slavnov, restricted to normalised maps. On the other hand, fixing the category of completely positive maps gives an entirely new model of BV consisting of higher order quantum channels, encompassing recent work in the study of quantum and indefinite causal structures.

READ FULL TEXT

page 1

page 3

page 5

page 9

page 11

page 13

page 21

page 27

07/30/2021

Causality in Higher Order Process Theories

Quantum supermaps provide a framework in which higher order quantum proc...
01/13/2020

On the linear structure of cones

For encompassing the limitations of probabilistic coherence spaces which...
12/30/2021

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

After reminding what coherences spaces are and how they interpret linear...
12/20/2017

Models of Linear Logic based on the Schwartz ε-product

From the interpretation of Linear Logic multiplicative disjunction as th...
04/08/2022

A Mathematical Framework for Transformations of Physical Processes

We observe that the existence of sequential and parallel composition sup...
03/15/2018

Noncommutative coherence spaces for full linear logic

We propose a model of full propositional linear logic based on topologic...
05/11/2021

Asynchronous Template Games and the Gray Tensor Product of 2-Categories

In his recent and exploratory work on template games and linear logic, M...