The ZX-calculus is complete for stabilizer quantum mechanics

DOI10.1088/1367-2630/16/9/093021zbMath1451.81014arXiv1307.7025OpenAlexW3103730115WikidataQ64356747 ScholiaQ64356747MaRDI QIDQ3386971

Miriam Backens

Publication date: 12 January 2021

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

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

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Quantum measurement theory, state operations, state preparations (81P15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum gates (81P65)

Related Items (34)

Classical control and quantum circuits in enriched category theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Equational Reasoning with Context-Free Families of String Diagrams ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ Mermin Non-Locality in Abstract Process Theories ⋮ Categorical Probabilistic Theories ⋮ Towards Quantum Field Theory in Categorical Quantum Mechanics ⋮ Unnamed Item ⋮ Graphical CSS Code Transformation Using ZX Calculus ⋮ Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation ⋮ 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 ⋮ The structure of sum-over-paths, its consequences, and completeness for Clifford ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generalised Mermin-type non-locality arguments ⋮ Biunitary constructions in quantum information ⋮ On the role of the basis of measurement in quantum gate teleportation ⋮ Unnamed Item ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} ⋮ A complete graphical calculus for Spekkens' toy bit theory

Cites Work

• Stabilizer notation for Spekkens' toy theory
• Phase Groups and the Origin of Non-locality for Qubits
• Dagger Compact Closed Categories and Completely Positive Maps
• Strong Complementarity and Non-locality in Categorical Quantum Mechanics
• Quantum Computation and Quantum Information
• Interacting Quantum Observables
• Graph States and the Necessity of Euler Decomposition
• Rewriting Measurement-Based Quantum Computations with Generalised Flow
• Interacting quantum observables: categorical algebra and diagrammatics
• Quantum picturalism for topological cluster-state computing

This page was built for publication: The ZX-calculus is complete for stabilizer quantum mechanics