Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Clifford Hierarchy - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2022

Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Clifford Hierarchy

Résumé

The "Sum-Over-Paths" formalism is a way to symbolically manipulate linear maps that describe quantum systems, and is a tool that is used in formal verification. We give here a new set of rewrite rules for the formalism, and show that it is complete for "Toffoli-Hadamard", the simplest approximately universal fragment of quantum mechanics. We show that the rewriting is terminating, but not confluent (which is expected from the universality of the fragment). We do so using the connection between Sum-over-Paths and graphical language ZH-Calculus, and also show how the axiomatisation translates into the latter. Finally, we show how to enrich the rewrite system to reach completeness for the whole Clifford hierarchy.
Fichier principal
Vignette du fichier
SOP_TH.pdf (512.21 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03654438 , version 1 (28-04-2022)
hal-03654438 , version 2 (11-01-2023)

Identifiants

  • HAL Id : hal-03654438 , version 1

Citer

Renaud Vilmart. Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Clifford Hierarchy. 2022. ⟨hal-03654438v1⟩
134 Consultations
142 Téléchargements

Partager

Gmail Facebook X LinkedIn More