A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
From MaRDI portal
Publication:5145332
DOI10.1145/3209108.3209131zbMATH Open1452.81080DBLPconf/lics/JeandelPV18arXiv1705.11151OpenAlexW2964268018WikidataQ64356749 ScholiaQ64356749MaRDI QIDQ5145332FDOQ5145332
Authors: Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart 
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Abstract: We introduce the first complete and approximatively universal diagrammatic language for quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by Coecke and Duncan, complete for the so-called Clifford+T quantum mechanics by adding four new axioms to the language. The completeness of the ZX-Calculus for Clifford+T quantum mechanics was one of the main open questions in categorical quantum mechanics. We prove the completeness of the Clifford+T fragment of the ZX-Calculus using the recently studied ZW-Calculus, a calculus dealing with integer matrices. We also prove that the Clifford+T fragment of the ZX-Calculus represents exactly all the matrices over some finite dimensional extension of the ring of dyadic rationals.
Full work available at URL: https://arxiv.org/abs/1705.11151
Recommendations
- ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
- The ZX-calculus is complete for stabilizer quantum mechanics
- The ZX-calculus is complete for the single-qubit Clifford+T group
- Qutrit ZX-calculus is complete for stabilizer quantum mechanics
- Complete axiomatizations for quantum actions
- scientific article
- The ZX-calculus is incomplete for quantum mechanics
- Axiomatic quantum mechanics and completeness
- scientific article; zbMATH DE number 915616
- Quantum and braided ZX calculus
Quantum computation (81P68) String diagrams and graphical calculi (18M30) Quantum gates (81P65) Applications of Clifford algebras to physics, etc. (15A67)
Cited In (39)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Addition and differentiation of ZX-diagrams
- Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing
- Complete axiomatizations for quantum actions
- 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
- Optimising Clifford circuits with quantomatic
- Completeness of the ZH-calculus
- Universal Properties in Quantum Theory
- A simplified stabilizer ZX-calculus
- ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
- Y-calculus: a language for real matrices derived from the ZX-calculus
- Qutrit ZX-calculus is complete for stabilizer quantum mechanics
- Title not available (Why is that?)
- Semantics for a lambda calculus for string diagrams
- Title not available (Why is that?)
- Quantum algorithms and oracles with the scalable ZX-calculus
- Supplementarity is necessary for quantum diagram reasoning
- Diagrammatic reasoning beyond Clifford+T quantum mechanics
- Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes
- Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
- ZX-rules for 2-qubit \(\text{2-qubit Clifford}+\text{T}\) quantum circuits
- And-gates in ZX-calculus: spider nest identities and QBC-completeness
- An algebraic axiomatisation of ZX-calculus
- Well-tempered ZX and ZH calculi
- Diagrammatic differentiation for quantum machine learning
- A diagrammatic axiomatisation of fermionic quantum circuits
- The ZX-calculus is complete for the single-qubit Clifford+T group
- The ZX-calculus is complete for stabilizer quantum mechanics
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Two complete axiomatisations of pure-state qubit quantum computing
- Addition and differentiation of ZX-diagrams
This page was built for publication: A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145332)
