Causality in Higher Order Process Theories

by   Matt Wilson, et al.
University of Oxford

Quantum supermaps provide a framework in which higher order quantum processes can act on lower order quantum processes. In doing so, they enable the definition and analysis of new quantum protocols and causal structures. Recently, key features of quantum supermaps were captured through a general categorical framework, which led to a framework of higher order process theories (HOPT). The HOPT framework models lower and higher order transformations in a single unified theory, with its mathematical structure shown to coincide with the notion of a closed symmetric monoidal category. Here we provide an equivalent construction of the HOPT framework from four simple axioms of process-theoretic nature. We then use the HOPT framework to establish connections between foundational features such as causality, determinism and signalling, alongside exploring their interaction with the mathematical structure of *-autonomy.


page 1

page 2

page 3

page 4


A Mathematical Framework for Transformations of Physical Processes

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

Higher-order causal theories are models of BV-logic

The Caus[-] construction takes a compact closed category of basic proces...

Additive Poisson Process: Learning Intensity of Higher-Order Interaction in Stochastic Processes

We present the Additive Poisson Process (APP), a novel framework that ca...

Higher-Order Quantum-Inspired Genetic Algorithms

This paper presents a theory and an empirical evaluation of Higher-Order...

Unifying Causal Inference and Reinforcement Learning using Higher-Order Category Theory

We present a unified formalism for structure discovery of causal models ...

Coend Optics for Quantum Combs

We compare two possible ways of defining a category of 1-combs, the firs...

Please sign up or login with your details

Forgot password? Click here to reset