The Many-Worlds Calculus: Representing Quantum Control - 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

The Many-Worlds Calculus: Representing Quantum Control

Résumé

We propose a new typed graphical language for quantum computation, based on compact categories with biproducts. Our language generalizes existing approaches such as ZX-calculus and quantum circuits, while offering a natural framework to support quantum control: it natively supports "quantum tests". The language comes equipped with a denotational semantics based on linear applications, and an equational theory. Through the use of normal forms for the diagrams, we prove the language to be universal, and the equational theory to be complete with respect to the semantics.
Fichier principal
Vignette du fichier
main.pdf (1.06 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03654190 , version 1 (28-04-2022)
hal-03654190 , version 2 (03-08-2022)

Identifiants

Citer

Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart. The Many-Worlds Calculus: Representing Quantum Control. 2022. ⟨hal-03654190v1⟩
403 Consultations
367 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More