ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics

DOI10.4230/LIPICS.MFCS.2017.11zbMATH Open1447.81077arXiv1702.01945MaRDI QIDQ5111225FDOQ5111225

Emmanuel Jeandel, Quanlong Wang, Simon Perdrix, Renaud Vilmart

Publication date: 26 May 2020

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

Recommendations

• Supplementarity is necessary for quantum diagram reasoning
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• Diagrammatic reasoning beyond Clifford+T quantum mechanics
• The ZX-calculus is incomplete for quantum mechanics
• scientific article

zbMATH Keywords

quantum computingincompletenessClifford+TZX-calculus

Mathematics Subject Classification ID

Quantum computation (81P68) String diagrams and graphical calculi (18M30) Quantum gates (81P65) Applications of Clifford algebras to physics, etc. (15A67)

Cites Work

• A complete graphical calculus for Spekkens' toy bit theory
• Interacting Quantum Observables
• Graph States and the Necessity of Euler Decomposition
• The ZX-calculus is incomplete for quantum mechanics
• Title not available (Why is that?)
• Axiomatic description of mixed states from Selinger's CPM-construction
• Environment and Classical Channels in Categorical Quantum Mechanics
• Rewriting Measurement-Based Quantum Computations with Generalised Flow
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• Title not available (Why is that?)
• Graphical Conjunctive Queries.
• Addition and differentiation of ZX-diagrams
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The ZX-calculus is incomplete for quantum mechanics
• The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
• Well-tempered ZX and ZH calculi
• The ZX-calculus is complete for stabilizer quantum mechanics

This page was built for publication: ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics

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