A feasible and unitary programming language with 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 : 2023

A feasible and unitary programming language with quantum control

Résumé

We introduce PUNQ, a novel quantum programming language with quantum control, which features higher-order programs that can be superposed, enabling quantum control via quantum conditionals. Our language boasts a type system guaranteeing both unitarity and polynomial-time normalization. Unitarity is achieved by using a special modality for superpositions while requiring orthogonality among superposed terms. Polynomial-time normalization is achieved using a linear-logic-based type discipline employing Barber and Plotkin duality along with a specific modality to account for potential duplications. This type discipline also guarantees that derived values have polynomial size. PUNQ seamlessly combines the two modalities: quantum circuit programs uphold unitarity, and all programs are evaluated in polynomial time, ensuring their feasibility.
Fichier principal
Vignette du fichier
punq.pdf (511.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04266203 , version 1 (31-10-2023)
hal-04266203 , version 2 (15-11-2023)
hal-04266203 , version 3 (04-03-2024)

Licence

Identifiants

Citer

Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva. A feasible and unitary programming language with quantum control. 2023. ⟨hal-04266203v1⟩
86 Consultations
30 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More