A Profunctorial Semantics for Quantum Supermaps

Abstract

We identify morphisms of strong profunctors as a categorification of quantum supermaps. These black-box generalisations of diagrams-with-holes are hence placed within the broader field of profunctor optics, as morphisms in the category of copresheaves on concrete networks. This enables the first construction of abstract logical connectives such as tensor products and negations for supermaps in a totally theory-independent setting. These logical connectives are found to be all that is needed to abstractly model the key structural features of the quantum theory of supermaps: black-box indefinite causal order, black-box definite causal order, and the factorisation of definitely causally ordered supermaps into concrete circuit diagrams. We demonstrate that at the heart of these factorisation theorems lies the Yoneda lemma and the notion of representability.

References in corpus (46)

• Quantum correlations with no causal order
• Informational derivation of Quantum Theory
• Quantum computations without definite causal structure
• Theoretical framework for quantum networks
• Probabilistic theories with purification
• Quantum Circuits Architecture
• Transforming quantum operations: quantum supermaps
• A mathematical theory of resources
• Computational advantage from quantum-controlled ordering of gates
• Enhanced communication with the assistance of indefinite causal order
• Perfect discrimination of no-signalling channels via quantum superposition of causal structures
• Exponential Communication Complexity Advantage from Quantum Superposition of the Direction of Communication
• Causal and localizable quantum operations
• Quantum Metrology with Indefinite Causal Order
• Quantum Refrigeration with Indefinite Causal Order
• Indefinite causal order enables perfect quantum communication with zero capacity channels
• Maximal incompatibility of locally classical behavior and global causal order in multi-party scenarios
• Quantum circuits with classical versus quantum control of causal order
• The space of logically consistent classical processes without causal order
• Modular categories as representations of the 3-dimensional bordism 2-category
• Theoretical framework for Higher-Order Quantum Theory
• Quantum and Classical Data Transmission through Completely Depolarising Channels in a Superposition of Cyclic Orders
• Quasistrict symmetric monoidal 2-categories via wire diagrams
• Coend calculus
• Causal structures and the classification of higher order quantum computations
• Indefinite causal structures for continuous-variable systems
• Profunctor Optics, a Categorical Update
• Commutativity
• Environment and classical channels in categorical quantum mechanics
• Open Diagrams via Coend Calculus
• Causal and compositional structure of unitary transformations
• Normal completely positive maps on the space of quantum operations
• Profunctor optics and traversals
• No-signalling constrains quantum computation with indefinite causal structure
• Quantum Supermaps are Characterized by Locality
• Coend Optics for Quantum Combs
• Seeing double through dependent optics
• A Mathematical Framework for Transformations of Physical Processes
• On the Pre- and Promonoidal Structure of Spacetime
• Projective characterization of higher-order quantum transformations
• Polycategorical Constructions for Unitary Supermaps of Arbitrary Dimension
• Duoidal Structures for Compositional Dependence
• Causality in Higher Order Process Theories
• Optics for Premonoidal Categories
• Collages of String Diagrams
• Challenges for extensions of the process matrix formalism to quantum field theory