A compositional approach to quantum functions

Abstract

We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum graphs, which captures the quantum graphs and quantum graph homomorphisms recently discovered in the study of nonlocal games and zero-error communication, and relates them to quantum automorphism groups of graphs considered in the setting of compact quantum groups. We show that the 2-categories of quantum sets and quantum graphs are semisimple and characterise existing notions of quantum permutations and quantum graph isomorphisms as dagger-dualisable 1-morphisms in these 2-categories.

arXiv comment57 pages, final version

References in corpus (26)

• A survey of graphical languages for monoidal categories
• All Teleportation and Dense Coding Schemes
• Quantum Symmetry Groups of Finite Spaces
• Quantum Picturalism
• Quantum Pseudo-Telepathy
• Notes on Compact Quantum Groups
• Zero-error communication via quantum channels, non-commutative graphs and a quantum Lovasz theta function
• Estimating quantum chromatic numbers
• Categorical formulation of quantum algebras
• Graph Homomorphisms for Quantum Players
• Quantum families of maps and quantum semigroups on finite quantum spaces
• Biunitary constructions in quantum information
• A quantum protocol to win the graph colouring game on all Hadamard graphs
• The Morita theory of quantum graph isomorphisms
• Completeness of dagger-categories and the complex numbers
• Quantum source-channel coding and non-commutative graph theory
• Constructing Mutually Unbiased Bases from Quantum Latin Squares
• Kochen-Specker Sets and the Rank-1 Quantum Chromatic Number
• Higher Quantum Theory
• Category Theory Using String Diagrams
• The Quantum Monad on Relational Structures
• From Subfactors to Categories and Topology I. Frobenius algebras in and Morita equivalence of tensor categories
• Quantum automorphism groups of vertex-transitive graphs of order $\le 11$
• Quantum Functions
• Representations of algebraic quantum groups and reconstruction theorems for tensor categories
• Quantum relations

Cited by in corpus (30)

• Bigalois extensions and the graph isomorphism game
• The Morita theory of quantum graph isomorphisms
• The quantum-to-classical graph homomorphism game
• Orthogonality for Quantum Latin Isometry Squares
• Quantum sets
• Quantum graphs: different perspectives, homomorphisms and quantum automorphisms
• Some examples of quantum graphs
• Classification of Quantum Graphs on $M_2$ and their Quantum Automorphism Groups
• Random quantum graphs
• Unitary transformations of fibre functors
• Quantum Semigroups from Synchronous Games
• Quantum teleportation in the commuting operator framework
• The Frucht property in the quantum group setting
• Covariant quantum combinatorics with applications to zero-error communication
• Entanglement-symmetries of covariant channels
• A state-space approach to quantum permutations
• A category of quantum posets
• Discrete quantum structures
• Quantum graphs, subfactors and tensor categories I
• Quantum symmetry vs nonlocal symmetry
• Non-local games and quantum symmetries of quantum metric spaces
• The finite dual coalgebra as a quantization of the maximal spectrum
• Entanglement-invertible channels
• Algebraic connectedness and bipartiteness of quantum graphs
• Quantum partial automorphisms of finite graphs
• Transitive Nonlocal Games
• Modelling questions for transitive quantum groups
• Complete Classification of Directed Quantum Graphs on M2
• Quantum Suplattices
• Duals of finite quantum permutation groups