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

DOI10.4230/LIPICS.MFCS.2017.11MaRDI QIDQ5111225zbMATH OpenFDO

Authors Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart, Quanlong Wang

Publication date 26 May 2020

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

zbMATH Keywords

Clifford+Tincompletenessquantum computingZX-calculus

Mathematics Subject Classification ID

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

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

Cites work

• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• A complete graphical calculus for Spekkens' toy bit theory
• A simplified stabilizer ZX-calculus
• Axiomatic description of mixed states from Selinger's CPM-construction
• Finite dimensional Hilbert spaces are complete for dagger compact closed categories
• Graph states and the necessity of Euler decomposition
• Interacting Quantum Observables
• Making the stabilizer ZX-calculus complete for scalars
• Pivoting makes the \textsc{zx}-calculus complete for real stabilizers
• Rewriting measurement-based quantum computations with generalised flow
• Supplementarity is necessary for quantum diagram reasoning
• The ZX-calculus is complete for the single-qubit Clifford+T group
• The ZX-calculus is incomplete for quantum mechanics
• Y-calculus: a language for real matrices derived from the ZX-calculus

Cited in

(19)

• Y-calculus: a language for real matrices derived from the ZX-calculus
• scientific article; zbMATH DE number 7449988 (Why is no real title available?)
• The ZX-calculus is complete for stabilizer quantum mechanics
• Supplementarity is necessary for quantum diagram reasoning
• The ZX-calculus is incomplete for quantum mechanics
• A simplified stabilizer ZX-calculus
• Graphical Conjunctive Queries.
• Completeness of the ZX-calculus
• Two complete axiomatisations of pure-state qubit quantum computing
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• Diagrammatic reasoning beyond Clifford+T quantum mechanics
• scientific article; zbMATH DE number 7327933 (Why is no real title available?)
• The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
• Addition and differentiation of ZX-diagrams
• Addition and differentiation of ZX-diagrams
• Well-tempered ZX and ZH calculi
• A generic normal form for ZX-diagrams and application to the rational angle completeness
• A near-minimal axiomatisation of ZX-calculus for pure qubit quantum mechanics
• Minimality in finite-dimensional ZW-calculi

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)