A compositional approach to quantum functions
From MaRDI portal
Publication:4586484
Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.) (05C60) Foundations, quantum information and its processing, quantum axioms, and philosophy (81P99) Coloring of graphs and hypergraphs (05C15) Games on graphs (graph-theoretic aspects) (05C57) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Games involving graphs (91A43)
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.
Recommendations
- scientific article; zbMATH DE number 1500664
- ANALYSIS OF QUANTUM FUNCTIONS
- On Functionally Commutative Quantum Systems
- A combinatorial approach to quantum random functions
- Compositional quantum logic
- Quantum functional analysis. Non-coordinate approach
- A quantum algebra approach to basic multivariable special functions
- scientific article; zbMATH DE number 3942238
- Extending stochastic and quantum functions
- Characterizing classes of functions computable by quantum parallelism
Cites work
- scientific article; zbMATH DE number 19504 (Why is no real title available?)
- scientific article; zbMATH DE number 1304613 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1553620 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 3337458 (Why is no real title available?)
- scientific article; zbMATH DE number 3384257 (Why is no real title available?)
- A new description of orthogonal bases
- A survey of graphical languages for monoidal categories
- All teleportation and dense coding schemes
- Categorical formulation of finite-dimensional quantum algebras
- Categories of quantum and classical channels
- Coherence for compact closed categories
- Compact quantum groups and their representation categories
- Completeness of \(\dagger\)-categories and the complex numbers
- Conic formulations of graph homomorphisms
- Constructing mutually unbiased bases from quantum Latin squares
- Dagger compact closed categories and completely positive maps (extended abstract)
- Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
- Estimating quantum chromatic numbers
- From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
- Graphs having no quantum symmetry
- Group-like structures in general categories. I. Multiplications and comultiplications
- Higher semantics of quantum protocols
- Idempotents in dagger categories (extended abstract)
- Interacting Quantum Observables
- Kochen–Specker Sets and the Rank-1 Quantum Chromatic Number
- Monads on dagger categories
- On the quantum chromatic number of a graph
- Quantum Zero-Error Source-Channel Coding and Non-Commutative Graph Theory
- Quantum automorphism groups of finite graphs
- Quantum automorphism groups of homogeneous graphs
- Quantum automorphism groups of vertex-transitive graphs of order \(\leq 11\)
- Quantum chromatic numbers via operator systems
- Quantum families of maps and quantum semigroups on finite quantum spaces
- Quantum graph homomorphisms via operator systems
- Quantum groups acting on 4 points
- Quantum homomorphisms
- Quantum pseudo-telepathy
- Quantum symmetry groups of finite spaces
- Representations of algebraic quantum groups and reconstruction theorems for tensor categories
- Tensor categories
- The Morita theory of quantum graph isomorphisms
- The formal theory of monads
- The geometry of tensor calculus. I
- Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
Cited in
(40)- Quantum no-signalling correlations and non-local games
- Synchronicity for quantum non-local games
- Some examples of quantum graphs
- Nonlocal games and quantum permutation groups
- The Frucht property in the quantum group setting
- Entanglement-invertible channels
- A category of quantum posets
- Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
- Higher orbitals of quizzy quantum group actions
- The finite dual coalgebra as a quantization of the maximal spectrum
- Quantum symmetries of quantum metric spaces and non-local games
- The quantum monad on relational structures
- Algebraic connectedness and bipartiteness of quantum graphs
- Transitive nonlocal games
- A state-space approach to quantum permutations
- Quantum symmetries of Hadamard matrices
- The quantum-to-classical graph homomorphism game
- A modular functor which is universal for quantum computation
- Spectral bounds for the quantum chromatic number of quantum graphs
- Random quantum graphs
- Quantum teleportation in the commuting operator framework
- Orthogonality for quantum Latin isometry squares
- Quantum Suplattices
- Covariant quantum combinatorics with applications to zero-error communication
- Discrete quantum structures. I: Quantum predicate logic
- ANALYSIS OF QUANTUM FUNCTIONS
- Quantum semigroups from synchronous games
- Classification of quantum graphs on M2 and their quantum automorphism groups
- Higher transitive quantum groups: theory and models
- \(\mathrm{C}^\ast\)-algebras. Abstracts from the workshop held August 7--13, 2022
- On quantum Cayley graphs
- Equivariant Tannaka-Krein reconstruction and quantum automorphism groups of discrete structures
- Unitary transformations of fibre functors
- Leavitt path algebras of quantum quivers
- Bigalois extensions and the graph isomorphism game
- Quantum extensions of ordinary maps
- Discrete quantum structures. II: Examples
- Quantum graphs: different perspectives, homomorphisms and quantum automorphisms
- Quantum sets
- The Morita theory of quantum graph isomorphisms
This page was built for publication: A compositional approach to quantum functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586484)
