Interacting quantum observables: categorical algebra and diagrammatics

DOI10.1088/1367-2630/13/4/043016zbMath1448.81025OpenAlexW3104500086WikidataQ62472265 ScholiaQ62472265MaRDI QIDQ5135836

Ross Duncan, Bob Coecke

Publication date: 24 November 2020

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

Full work available at URL: https://doi.org/10.1088/1367-2630/13/4/043016

Mathematics Subject Classification ID

Finite-dimensional groups and algebras motivated by physics and their representations (81R05) Quantum measurement theory, state operations, state preparations (81P15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum state spaces, operational and probabilistic concepts (81P16) Dagger categories, categorical quantum mechanics (18M40)

Related Items (68)

How device-independent approaches change the meaning of physical theory ⋮ Quantum double aspects of surface code models ⋮ Quantum and braided ZX calculus* ⋮ Interacting Hopf algebras ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ String diagram rewrite theory II: Rewriting with symmetric monoidal structure ⋮ Quantum probabilities as Dempster-Shafer probabilities in the lattice of subspaces ⋮ Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ Unnamed Item ⋮ The CBH characterisation theorem beyond algebraic quantum theory ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ Infinite-dimensional Categorical Quantum Mechanics ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ Mermin Non-Locality in Abstract Process Theories ⋮ Categories of relations as models of quantum theory ⋮ The ZX-calculus as a language for topological quantum computation ⋮ Categorical Probabilistic Theories ⋮ Towards Quantum Field Theory in Categorical Quantum Mechanics ⋮ Categorifying the ZX-calculus ⋮ Evolving graphs with semantic neutral drift ⋮ Constructive simulation and topological design of protocols ⋮ Frobenius monoidal functors from (co)Hopf adjunctions ⋮ Coend Optics for Quantum Combs ⋮ On the Pre- and Promonoidal Structure of Spacetime ⋮ Unnamed Item ⋮ Graphical CSS Code Transformation Using ZX Calculus ⋮ Light-Matter Interaction in the ZXW Calculus ⋮ Picturing Counting Reductions with the ZH-Calculus ⋮ The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality ⋮ Floquetifying the Colour Code ⋮ HYPERMATRIX ALGEBRA AND IRREDUCIBLE ARITY IN HIGHER-ORDER SYSTEMS: CONCEPTS AND PERSPECTIVES ⋮ Axioms for the category of Hilbert spaces and linear contractions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ RCFT with defects: Factorization and fundamental world sheets ⋮ 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 ⋮ Quantum picturalism for topological cluster-state computing ⋮ Unnamed Item ⋮ Digital quantum groups ⋮ A framework for phase and interference in generalized probabilistic theories ⋮ The structure of sum-over-paths, its consequences, and completeness for Clifford ⋮ The algebra of partial equivalence relations ⋮ Categories of quantum and classical channels ⋮ Game theoretic security of quantum bit commitment ⋮ Algebraic graph rewriting with controlled embedding ⋮ Unnamed Item ⋮ An arbitrarily concealing and practically binding quantum bit commitment protocol ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generalised Mermin-type non-locality arguments ⋮ The calculus of signal flow diagrams. I: Linear relations on streams. ⋮ Möbius operators and non-additive quantum probabilities in the Birkhoff-von Neumann lattice ⋮ The ZX-calculus is complete for stabilizer quantum mechanics ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ Demonstration of the no-hiding theorem on the 5-qubit IBM quantum computer in a category-theoretic framework ⋮ A complete graphical calculus for Spekkens' toy bit theory

Uses Software

• Quantomatic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
• Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7--11, 2008. Proceedings, Part II
• New structures for physics
• Graphical reasoning in compact closed categories for quantum computation
• Cartesian bicategories. I
• Coherence for compact closed categories
• The geometry of tensor calculus. I
• Quantum probability - quantum logic
• Braided tensor categories
• Braided compact closed categories with applications to low dimensional topology
• Fundamentals of algebraic graph transformation
• Coherence in closed categories
• The logic of quantum mechanics
• Toy Quantum Categories (Extended Abstract)
• Phase Groups and the Origin of Non-locality for Qubits
• De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure
• Dagger Compact Closed Categories and Completely Positive Maps
• Axiomatic Description of Mixed States From Selinger's CPM-construction
• POVMs and Naimark's Theorem Without Sums
• Introduction to Categories and Categorical Logic
• Physics, Topology, Logic and Computation: A Rosetta Stone
• A Survey of Graphical Languages for Monoidal Categories
• Entanglement in many-body systems
• Von Neumann and lattice theory
• A Concise Guide to Complex Hadamard Matrices
• Introducing categories to the practicing physicist
• The measurement calculus
• Classical and quantum structuralism
• Graph States and the Necessity of Euler Decomposition
• Environment and Classical Channels in Categorical Quantum Mechanics
• Rewriting Measurement-Based Quantum Computations with Generalised Flow
• The Compositional Structure of Multipartite Quantum Entanglement
• Quantum and Classical Structures in Nondeterminstic Computation
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Abstract Physical Traces
• Term Rewriting and All That
• A single quantum cannot be cloned
• Bases in Diagrammatic Quantum Protocols

This page was built for publication: Interacting quantum observables: categorical algebra and diagrammatics