Formal Methods for Quantum Algorithms - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

Formal Methods for Quantum Algorithms

Résumé

This chapter introduces both the requirements and challenges for an efficient use of formal methods in quantum computing and the current most promising research directions. While the recent progress in quantum hardware opens the door for significant speedup in cryptography as well as additional key areas (biology, chemistry, optimization, machine learning, etc), quantum algorithms are still hard to implement right, and the validation of quantum programs is a challenge. As an alternative strategy, formal methods are prone to play a decisive role in the emerging field of quantum software. The chapter also introduces several existing solutions for the formal verification of quantum compilation and the equivalence of quantum program runs. The vast majority of quantum algorithms are described within the context of the quantum co-processor model, i.e. an hybrid model where a classical computer controls a quantum co-processor holding a quantum memory.
Fichier principal
Vignette du fichier
main.pdf (637.4 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

cea-04479879 , version 1 (27-02-2024)

Identifiants

  • HAL Id : cea-04479879 , version 1

Citer

Christophe Chareton, Sébastien Bardin, Dong Ho Lee, Benoît Valiron, Renaud Vilmart, et al.. Formal Methods for Quantum Algorithms. Handbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656. ⟨cea-04479879⟩
26 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More