Higher-order causal theories are models of BV-logic

by   Will Simmons, et al.

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.


page 1

page 3

page 5

page 9

page 11

page 13

page 21

page 27


Causality in Higher Order Process Theories

Quantum supermaps provide a framework in which higher order quantum proc...

On the linear structure of cones

For encompassing the limitations of probabilistic coherence spaces which...

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...

Models of Linear Logic based on the Schwartz ε-product

From the interpretation of Linear Logic multiplicative disjunction as th...

A Mathematical Framework for Transformations of Physical Processes

We observe that the existence of sequential and parallel composition sup...

Noncommutative coherence spaces for full linear logic

We propose a model of full propositional linear logic based on topologic...

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

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