Causality in Higher Order Process Theories

Abstract

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, the key features of quantum supermaps were captured through a general categorical framework, which when iterated yields the framework of higher order process theories (HOPT) [89]. The HOPT framework combines lower and higher order transformations in a single unified theory, with its mathematical structure shown to coincide with the notion of a closed 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, and to explore their interaction with the mathematical structure of * -autonomy.

Time symmetry in quantum theories and beyond

“…• The process-theoretic nature also means that it should be more directly comparable to the frameworks for higher-order processes such as Refs. [45,10,76]. Section 4.5 provides a simple proof of principle application in this direction.…”

“…Does QNeut subsume the frameworks for higher-order processes of [45,10]? Moreover, can QNeut be viewed as a higher-order process theory in the sense of [76]?…”