Supplementarity is necessary for quantum diagram reasoning

DOI10.4230/LIPICS.MFCS.2016.76MaRDI QIDQ4608639zbMATH OpenFDO

Authors Simon Perdrix, Quanlong Wang

Publication date 21 March 2018

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

zbMATH Keywords

categorical quantum mechanicscompletenessquantum computingquantum diagram reasoningZX-calculus

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum computation (81P68)

Recommendations

• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
• Diagrammatic reasoning beyond Clifford+T quantum mechanics
• A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
• The ZX-calculus is incomplete for quantum mechanics
• scientific article; zbMATH DE number 7327933

Cited in

(13)

• Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
• Y-calculus: a language for real matrices derived from the ZX-calculus
• scientific article; zbMATH DE number 7447789 (Why is no real title available?)
• Optimising Clifford circuits with quantomatic
• A simplified stabilizer ZX-calculus
• ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
• Completeness of the ZX-calculus
• 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
• Well-tempered ZX and ZH calculi
• Scalable spider nests ({\dots}or how to graphically grok transversal non-Clifford gates)
• Minimality in finite-dimensional ZW-calculi

This page was built for publication: Supplementarity is necessary for quantum diagram reasoning

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