A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
From MaRDI portal
Publication:5145332
DOI10.1145/3209108.3209131zbMath1452.81080arXiv1705.11151OpenAlexW2964268018WikidataQ64356749 ScholiaQ64356749MaRDI QIDQ5145332
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)
Full work available at URL: https://arxiv.org/abs/1705.11151
Quantum computation (81P68) Quantum gates (81P65) Applications of Clifford algebras to physics, etc. (15A67) String diagrams and graphical calculi (18M30)
Related Items (15)
Unnamed Item ⋮ Universal Properties in Quantum Theory ⋮ Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
This page was built for publication: A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
