Aspects théoriques et pratiques de la vérification des ordinateurs quantiques.

Résumé L'informatique quantique passe à une vitesse fulgurante d'un domaine purement académique à un cadre entièrement industriel. Des progrès rapides sont réalisés tant dans les réalisations physiques des puces quantiques que dans leurs applications logicielles potentielles. En revanche, nous ne constatons pas une croissance aussi rapide dans les méthodologies de conception et de vérification des machines quantiques à grande échelle. Dans cet ouvrage, nous décrivons le domaine de la vérification des ordinateurs quantiques. Nous discutons des concepts sous-jacents de ce domaine, de ses défis théoriques et pratiques, et des approches les plus récentes pour relever ces défis. L'objectif de cet article est de faciliter les premiers efforts d'adaptation et de création de méthodologies de vérification pour les ordinateurs et systèmes quantiques. Sans ces efforts précoces, un écart débilitant pourrait se former entre l'état de l'art des technologies physiques de bas niveau pour les ordinateurs quantiques et notre capacité à construire des circuits quantiques intégrés à moyenne, grande et très grande échelle (M/L/VLSIQ).