A compositional approach to quantum functions

DOI10.1063/1.5020566zbMATH Open1395.05112arXiv1711.07945OpenAlexW2770496093WikidataQ129308401 ScholiaQ129308401MaRDI QIDQ4586484FDOQ4586484

Authors: Benjamin Musto, David Reutter, Dominic Verdon 

Publication date: 13 September 2018

Published in: Journal of Mathematical Physics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/1711.07945

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

zbMATH Keywords

quantum automorphism groups of graphsquantum graph homomorphisms

Mathematics Subject Classification ID

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)

Cites Work

• On the quantum chromatic number of a graph
• Quantum graph homomorphisms via operator systems
• Quantum homomorphisms
• Conic formulations of graph homomorphisms
• Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number
• Kochen–Specker Sets and the Rank-1 Quantum Chromatic Number
• The geometry of tensor calculus. I
• Quantum symmetry groups of finite spaces
• From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories
• All teleportation and dense coding schemes
• Dagger compact closed categories and completely positive maps (extended abstract)
• Higher semantics of quantum protocols
• A survey of graphical languages for monoidal categories
• Interacting Quantum Observables
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tensor categories
• Compact quantum groups and their representation categories
• Group-like structures in general categories. I. Multiplications and comultiplications
• The formal theory of monads
• Quantum automorphism groups of vertex-transitive graphs of order \(\leq 11\)
• Quantum automorphism groups of homogeneous graphs
• Quantum automorphism groups of finite graphs
• Coherence for compact closed categories
• Title not available (Why is that?)
• Quantum groups acting on 4 points
• Idempotents in dagger categories (extended abstract)
• Monads on dagger categories
• A new description of orthogonal bases
• Quantum pseudo-telepathy
• Title not available (Why is that?)
• Quantum families of maps and quantum semigroups on finite quantum spaces
• Completeness of \(\dagger\)-categories and the complex numbers
• Categories of quantum and classical channels
• Categorical formulation of finite-dimensional quantum algebras
• Estimating quantum chromatic numbers
• Representations of algebraic quantum groups and reconstruction theorems for tensor categories
• Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers
• Graphs having no quantum symmetry
• Quantum chromatic numbers via operator systems
• Title not available (Why is that?)
• The Morita theory of quantum graph isomorphisms
• Quantum Zero-Error Source-Channel Coding and Non-Commutative Graph Theory
• Constructing mutually unbiased bases from quantum Latin squares

Cited In (40)

• Synchronicity for quantum non-local games
• Some examples of quantum graphs
• The Frucht property in the quantum group setting
• Entanglement-invertible channels
• Nonlocal games and quantum permutation groups
• A category of quantum posets
• Recursive Quantum Functions, Avoidable Points, & Shadow Points in Recursive Analysis
• The finite dual coalgebra as a quantization of the maximal spectrum
• Quantum symmetries of quantum metric spaces and non-local games
• Higher orbitals of quizzy quantum group actions
• 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
• Spectral bounds for the quantum chromatic number of quantum graphs
• A modular functor which is universal for quantum computation
• 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
• Leavitt path algebras of quantum quivers
• Unitary transformations of fibre functors
• Quantum extensions of ordinary maps
• Bigalois extensions and the graph isomorphism game
• Discrete quantum structures. II: Examples
• Quantum graphs: different perspectives, homomorphisms and quantum automorphisms
• Quantum sets
• Quantum no-signalling correlations and non-local games
• 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)