Skip to Main content Skip to Navigation
Conference papers

Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics

Emmanuel Jeandel 1 Simon Perdrix 1 Renaud Vilmart 1
1 MOCQUA - Designing the Future of Computational Models
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : The ZX-Calculus is a graphical language for diagrammatic reasoning in quantum mechanics and quantum information theory. An axiomatisation has recently been proven to be complete for an approximatively universal fragment of quantum mechanics, the so-called Clifford+T fragment. We focus here on the expressive power of this axiomatisation beyond Clifford+T Quantum mechanics. We consider the full pure qubit quantum mechanics, and mainly prove two results: (i) First, the axiomatisation for Clifford+T quantum mechanics is also complete for all equations involving some kind of linear diagrams. The linearity of the diagrams reflects the phase group structure, an essential feature of the ZX-calculus. In particular all the axioms of the ZX-calculus are involving linear diagrams. (ii) We also show that the axiomatisation for Clifford+T is not complete in general but can be completed by adding a single (non linear) axiom, providing a simpler axiomatisation of the ZX-calculus for pure quantum mechanics than the one recently introduced by Ng&Wang.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01716501
Contributor : Renaud Vilmart <>
Submitted on : Friday, February 23, 2018 - 4:56:05 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:25 PM
Long-term archiving on: : Friday, May 25, 2018 - 12:51:17 PM

File

beyond_clifford+T-arxiv.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart. Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. The 33rd Annual Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.569--578, ⟨10.1145/3209108.3209139⟩. ⟨hal-01716501⟩

Share

Metrics

Record views

272

Files downloads

263