Picturing Quantum Processes

DOI10.1017/9781316219317zbMath1405.81001OpenAlexW2598985404WikidataQ64356752 ScholiaQ64356752MaRDI QIDQ2970049

Bob Coecke, Aleks Kissinger

Publication date: 27 March 2017

Full work available at URL: https://doi.org/10.1017/9781316219317

zbMATH Keywords

diagrammatic reasoningentanglementqualitative featuresfundamental status of compositionnon-classical protocols

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) General and philosophical questions in quantum theory (81P05) Physics (00A79) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to quantum theory (81-01) Physics, astronomy, technology, engineering (aspects of mathematics education) (97M50)

Related Items (only showing first 100 items - show all)

Moore-Penrose Dagger Categories ⋮ Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation ⋮ Floquetifying the Colour Code ⋮ Microcanonical thermodynamics in general physical theories ⋮ Unnamed Item ⋮ A Categorical Reconstruction of Quantum Theory ⋮ A Finite Axiomatisation of Finite-State Automata Using String Diagrams ⋮ Completeness of Nominal PROPs ⋮ Generalized relations in linguistics \& cognition ⋮ Free quantum analogue of Coxeter group \(D_4\) ⋮ Construction of genuinely entangled subspaces and the associated bounds on entanglement measures for mixed states ⋮ On characterising assemblages in Einstein–Podolsky–Rosen scenarios ⋮ Holographic software for quantum networks ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ String Diagram Rewrite Theory I: Rewriting with Frobenius Structure ⋮ A no-go theorem for theories that decohere to quantum mechanics ⋮ Construction of genuinely entangled multipartite subspaces from bipartite ones by reducing the total number of separated parties ⋮ Terminality implies no-signalling\dots and much more than that ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The CBH characterisation theorem beyond algebraic quantum theory ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ Ambiguity and Incomplete Information in Categorical Models of Language ⋮ Categorical Probabilistic Theories ⋮ Towards Quantum Field Theory in Categorical Quantum Mechanics ⋮ Space in Monoidal Categories ⋮ Double Dilation $\neq$ Double Mixing (extended abstract) ⋮ Uniqueness of Composition in Quantum Theory and Linguistics ⋮ Unnamed Item ⋮ Executions in (Semi-)Integer Petri Nets are Compact Closed Categories ⋮ Higher-order CPM Constructions ⋮ Symmetric Monoidal Structure with Local Character is a Property ⋮ Universal Properties in Quantum Theory ⋮ The Safari of Update Structures: Visiting the Lens and Quantum Enclosures ⋮ DisCoPy: Monoidal Categories in Python ⋮ Symmetric Monoidal Categories with Attributes ⋮ Cyber Kittens, or Some First Steps Towards Categorical Cybernetics ⋮ Monoidal Width ⋮ Constructive simulation and topological design of protocols ⋮ The asymmetric quantum cloning region ⋮ QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer ⋮ A geometrical description of the universal \(1\rightarrow2\) asymmetric quantum cloning region ⋮ The groupoidal picture of quantum mechanics ⋮ Monoidal Width: Capturing Rank Width ⋮ Categorical foundations of gradient-based learning ⋮ Quantum entanglement: an analysis via the orthogonality relation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Categorical composable cryptography: extended version ⋮ Quantum states: an analysis via the orthogonality relation ⋮ Bidirectional processes -- in category theory, physics, engineering, \dots ⋮ Graphical CSS Code Transformation Using ZX Calculus ⋮ Light-Matter Interaction in the ZXW Calculus ⋮ Quantum Suplattices ⋮ Picturing Counting Reductions with the ZH-Calculus ⋮ Contextual equivalence for signal flow graphs ⋮ A New Syntax for Diagrammatic Logic: A Generic Figures Approach ⋮ A diagrammatic derivation of the Hermitian adjoint ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A graphical calculus for integration over random diagonal unitary matrices ⋮ Oracles and query lower bounds in generalised probabilistic theories ⋮ Quon language: surface algebras and Fourier duality ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ An automated deductive verification framework for circuit-building quantum programs ⋮ Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ Physical Computational Complexity and First-order Logic ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ Security proof for round-robin differential phase shift QKD ⋮ An arbitrarily concealing and practically binding quantum bit commitment protocol ⋮ Unnamed Item ⋮ Generalised Mermin-type non-locality arguments ⋮ Biunitary constructions in quantum information ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Unnamed Item ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ Graphical Conjunctive Queries. ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ Categorical quantum mechanics II: Classical-quantum interaction ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ Corelations are the prop for extraspecial commutative Frobenius monoids ⋮ The Mathematics of Text Structure

This page was built for publication: Picturing Quantum Processes