A Complete Equational Theory for Quantum Circuits - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

A Complete Equational Theory for Quantum Circuits

Résumé

We introduce the first complete equational theory for quantum circuits. More precisely, we introduce a set of circuit equations that we prove to be sound and complete: two circuits represent the same unitary map if and only if they can be transformed one into the other using the equations. The proof is based on the properties of multi-controlled gates – that are defined using elementary gates – together with an encoding of quantum circuits into linear optical circuits, which have been proved to have a complete axiomatisation.
Fichier principal
Vignette du fichier
2206.10577.pdf (1.43 Mo) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03926757 , version 1 (08-02-2024)

Identifiants

Citer

Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron. A Complete Equational Theory for Quantum Circuits. 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩. ⟨hal-03926757⟩
141 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More