Encoding High-level Quantum Programs as SZX-diagrams - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Encoding High-level Quantum Programs as SZX-diagrams

Résumé

The Scalable ZX-calculus is a compact graphical language used to reason about linear maps between quantum states. These diagrams have multiple applications, but they frequently have to be constructed in a case-by-case basis. In this work we present a method to encode quantum programs implemented in a fragment of the linear dependently typed Proto-Quipper-D language as families of SZX-diagrams. We define a subset of translatable Proto-Quipper-D programs and show that our procedure is able to encode non-trivial algorithms as diagrams that grow linearly on the size of the program.

Dates et versions

hal-03794958 , version 1 (03-10-2022)

Identifiants

Citer

Agustín Borgna, Rafael Romero. Encoding High-level Quantum Programs as SZX-diagrams. QPL2022, Jun 2022, Oxford, United Kingdom. ⟨hal-03794958⟩
29 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More