A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics

DOI10.1145/3209108.3209131zbMATH Open1452.81080DBLPconf/lics/JeandelPV18arXiv1705.11151OpenAlexW2964268018WikidataQ64356749 ScholiaQ64356749MaRDI QIDQ5145332FDOQ5145332

Emmanuel Jeandel, Renaud Vilmart, Simon Perdrix

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

zbMATH Keywords

completenesscategorical quantum mechanicsClifford+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)

Cited In (27)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Completeness of the ZH-calculus
• Universal Properties in Quantum Theory
• 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
• 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}
• 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
• The ZX-calculus is complete for stabilizer quantum mechanics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)