Conference Papers Year : 2018

A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond

Renaud Vilmart

Abstract

We consider a ZX-calculus augmented with triangle nodes which is well-suited to reason on the so-called Toffoli-Hadamard fragment of quantum mechanics. We precisely show the form of the matrices it represents, and we provide an axiomatisation which makes the language complete for the Toffoli-Hadamard quantum mechanics. We extend the language with arbitrary angles and show that any true equation involving linear diagrams which constant angles are multiple of π are derivable. We show that a single axiom is then necessary and sufficient to make the language equivalent to the ZX-calculus which is known to be complete for Clifford+T quantum mechanics. As a by-product, it leads to a new and simple complete axiomatisation for Clifford+T quantum mechanics.
Fichier principal
Vignette du fichier
Toffoli-arxiv.pdf (639.56 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01762264 , version 1 (09-04-2018)

Identifiers

Cite

Renaud Vilmart. A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and Beyond. QPL 2018, Jun 2018, Halifax, Canada. pp.313-344, ⟨10.4204/EPTCS.287.18⟩. ⟨hal-01762264⟩
304 View
252 Download

Altmetric

Share

More