The quantum monad on relational structures

DOI10.4230/LIPICS.MFCS.2017.35zbMATH Open1441.68055arXiv1705.07310MaRDI QIDQ5111249FDOQ5111249

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

Publication date: 26 May 2020

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

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

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)

Cites Work

• On the quantum chromatic number of a graph
• Quantum homomorphisms
• Title not available (Why is that?)
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Categorical quantum mechanics
• Title not available (Why is that?)
• The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
• Simple unified form for the major no-hidden-variables theorems
• Analysis of Boolean Functions
• Characterization of Binary Constraint System Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Elements of finite model theory.
• Conjunctive-query containment and constraint satisfaction
• Monads on symmetric monoidal closed categories
• Convexity, Duality and Effects
• The Cohomology of Non-Locality and Contextuality
• Contextuality, Cohomology and Paradox
• Bell-Kochen-Specker theorem: a proof with \(18\) vectors.
• An Operational Interpretation of Negative Probabilities and No-Signalling Models
• Brownian local minima, random dense countable sets and random equivalence classes
• Notes on joint measurability of quantum observables
• Tsirelson’s problem and an embedding theorem for groups arising from non-local games
• Title not available (Why is that?)
• Quantum and non-signalling graph isomorphisms
• Algebras, synchronous games, and chromatic numbers of graphs
• Generic Trace Semantics and Graded Monads.
• Perfect commuting-operator strategies for linear system games

Cited In (11)

• Partially ordered fuzzy power set monads on the category of L-sets and their associated categories of topological space objects
• Relating Structure and Power: Comonadic Semantics for Computational Resources
• Game comonads \& generalised quantifiers
• Closing Bell boxing black box simulations in the resource theory of contextuality
• Categories of Empirical Models
• The sheaf-theoretic structure of definite causality
• A complete characterization of all-versus-nothing arguments for stabilizer states
• Continuous-variable nonlocality and contextuality
• Title not available (Why is that?)
• 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)