The quantum monad on relational structures

DOI10.4230/LIPICS.MFCS.2017.35MaRDI QIDQ5111249zbMATH OpenFDO

Authors Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata

Publication date 26 May 2020

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

zbMATH Keywords

monadsquantum computationnon-local games

Mathematics Subject Classification ID

Applications of game theory (91A80) Quantum algorithms and complexity in the theory of computing (68Q12) Quantum computation (81P68) Eilenberg-Moore and Kleisli constructions for monads (18C20) Applications of universal algebra in computer science (08A70)

Recommendations

• Quantum homomorphisms
• The quantum-to-classical graph homomorphism game
• Quantum and Classical Structures in Nondeterminstic Computation
• A compositional approach to quantum functions
• Graph homomorphisms for quantum players

Cites work

• scientific article; zbMATH DE number 42073 (Why is no real title available?)
• scientific article; zbMATH DE number 2117181 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Algebras, synchronous games, and chromatic numbers of graphs
• An Operational Interpretation of Negative Probabilities and No-Signalling Models
• Analysis of Boolean Functions
• Bell-Kochen-Specker theorem: a proof with 18 vectors.
• Brownian local minima, random dense countable sets and random equivalence classes
• Categorical quantum mechanics
• Characterization of binary constraint system games
• Conjunctive-query containment and constraint satisfaction
• Contextuality, Cohomology and Paradox
• Convexity, duality and effects
• Elements of finite model theory.
• Generic trace semantics and graded monads
• Monads on symmetric monoidal closed categories
• Notes on joint measurability of quantum observables
• On the quantum chromatic number of a graph
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Perfect commuting-operator strategies for linear system games
• Quantum and non-signalling graph isomorphisms
• Quantum homomorphisms
• Simple unified form for the major no-hidden-variables theorems
• The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
• The cohomology of non-locality and contextuality
• The pebbling comonad in finite model theory
• Tsirelson's problem and an embedding theorem for groups arising from non-local games

Cited in

(16)

• Quantum advantage and CSP complexity
• Categories of empirical models
• Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
• Game comonads \& generalised quantifiers
• Game comonads \& generalised quantifiers
• A categorical account of composition methods in logic
• Closing Bell boxing black box simulations in the resource theory of contextuality
• Effect semantics for quantum process calculi
• Quantum advantage and CSP complexity
• Relating structure and power: comonadic semantics for computational resources
• The sheaf-theoretic structure of definite causality
• Continuous-variable nonlocality and contextuality
• A complete characterization of all-versus-nothing arguments for stabilizer states
• scientific article; zbMATH DE number 7453174 (Why is no real title available?)
• Quantum extensions of ordinary maps
• Quantum sets

This page was built for publication: The quantum monad on relational structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5111249)