A Semantic Framework for Reproducible Variational Quantum Algorithm Execution Records

Résumé Technique : Un cadre sémantique pour l'exécution reproductible des enregistrements d'algorithmes quantiques variationnels

Énoncé du problème
Les algorithmes quantiques variationnels (VQA) sont des flux de travail hybrides quantiques-classiques largement utilisés dans le calcul quantique de l'ère NISQ (Noisy Intermediate-Scale Quantum) pour des applications allant de la chimie quantique à l'optimisation et l'apprentissage automatique. Cependant, la reproductibilité des expériences VQA est actuellement entravée par la fragmentation du contexte d'exécution. Une seule exécution VQA dépend d'une interaction complexe de facteurs, notamment la structure de l'ansatz, la représentation de l'Hamiltonien, la configuration de l'optimiseur, le nombre de mesures (shots), la calibration du backend, les modèles de bruit, les techniques de mitigation, les graines aléatoires (seeds), les critères d'arrêt et les versions logicielles. Dans la pratique actuelle, ces métadonnées critiques sont dispersées entre le code source, les fichiers de configuration, les journaux (logs), les métadonnées du backend, les descriptions de modèles de bruit et les descriptions de publications de recherche. Cette dispersion rend difficile la reproduction des résultats, le débogage des échecs, la comparaison de différentes exécutions ou la réutilisation des artefacts expérimentaux. Les cadres logiciels quantiques existants fournissent des outils pour construire des circuits et exécuter des algorithmes, mais manquent d'une représentation sémantique standardisée et lisible par machine de l'enregistrement complet de l'exécution, laissant les relations entre les composants implicites et spécifiques à chaque outil.

Méthodologie
Pour répondre à ces défis, les auteurs proposent un cadre soutenu par une ontologie qui modélise les enregistrements d'exécution VQA comme des artefacts d'ingénierie logicielle structurés. La méthodologie se compose de trois couches principales :

1. Construction de l'ontologie OWL : Le cœur du cadre est une ontologie OWL (Web Ontology Language) conçue pour capturer les entités et les relations impliquées dans l'expérimentation VQA. L'ontologie comprend 71 classes, 35 propriétés d'objet et 33 propriétés de type de données. Elle est organisée en modules conceptuels couvrant :

   • Exécution et Flux de travail : Modélisation de la boucle d'exécution hybride, incluant les étapes de préparation du circuit, de transpilation, d'exécution, de mesure et d'optimisation classique.
   • Algorithme et Problème : Représentation d'algorithmes spécifiques (ex. VQE, QAOA), d'Hamiltoniens de problème (incluant les décompositions de Pauli) et de fonctions de coût.
   • Circuit et Paramètres : Définition d'ansatzes (ex. UCCSD, hardware-efficient), de circuits paramétrés et d'assignations de paramètres.
   • Optimisation : Capture des optimiseurs classiques, des critères de convergence et des traces d'optimisation.
   • Backend et Ressources : Description du matériel quantique, des simulateurs, des données de calibration et des ressources de calcul (y compris les clusters HPC utilisés pour les parties classiques).
   • Bruit et Mitigation : Modélisation des modèles de bruit (ex. dépolarisation, amortissement d'amplitude) et des techniques de mitigation d'erreurs (ex. ZNE, M3).
   • Mesure et Résultats : Enregistrement des stratégies de mesure, des résultats et des résultats numériques finaux.
   • Contexte Logiciel : Suivi des packages logiciels, des versions et des environnements d'exécution.

2. Validation SHACL : Le cadre utilise le langage SHACL (Shapes Constraint Language) pour valider les enregistrements d'exécution. Ces contraintes vérifient la complétude structurelle (ex. s'assurer qu'une exécution est liée à un algorithme, un circuit et un résultat) et la cohérence au niveau des valeurs (ex. vérifier que les nombres de shots sont non négatifs, que les chaînes de Pauli sont valides et que les valeurs du vocabulaire sont supportées). La validation est effectuée avec l'inférence RDF activée pour appliquer les contraintes à travers les hiérarchies de classes.

3. Requêtage SPARQL : Le cadre utilise SPARQL pour récupérer les informations pertinentes pour la reproductibilité. Des requêtes de compétence sont définies pour répondre à des questions spécifiques concernant l'exécution, telles que l'identification des composants algorithmiques, la récupération des énergies finales, l'analyse des décompositions d'Hamiltonien et l'audit des environnements logiciels.

Contributions clés
Le papier présente quatre contributions principales :

• Une ontologie OWL : Un modèle sémantique complet pour les métadonnées d'exécution VQA, couvrant les informations sur l'algorithme, le niveau du circuit, le backend, le bruit, l'optimisation, l'environnement logiciel, les ressources de calcul haute performance (HPC) et les résultats.
• Une couche de validation SHACL : Un ensemble de contraintes conçues pour détecter automatiquement les enregistrements d'exécution VQA incomplets, malformés ou incohérents.
• Des requêtes de compétence SPARQL : Un ensemble de requêtes spécifiquement formulées pour récupérer les métadonnées essentielles à la reproductibilité, au débogage et à la comparaison.
• Une étude de cas VQE : Une évaluation utilisant des enregistrements d'exécution de l'algorithme de l'Eigensolver Quantique Variationnel (VQE), incluant des enregistrements valides ainsi que des exemples intentionnellement incomplets ou incohérents, afin de démontrer les capacités du cadre en matière de représentation, de validation et de requêtage.

Résultats
Le cadre a été évalué à l'aide d'un scénario VQE contrôlé. Les résultats ont démontré les points suivants :

• Représentation : L'ontologie a réussi à capturer la structure d'un enregistrement d'exécution hybride quantique-classique complet, liant le résultat numérique final aux choix de configuration spécifiques (ansatz, optimiseur, backend, modèle de bruit, etc.) qui l'ont produit.
• Validation : Appliquée à un enregistrement VQE valide, les contraintes SHACL n'ont retourné aucune violation. À l'inverse, un enregistrement intentionnellement invalide a produit 20 violations, détectant avec succès des problèmes tels que l'absence d'informations sur le résultat, des termes de Pauli malformés, des plages numériques invalides, des erreurs de type de données et des valeurs de vocabulaire non supportées.
• Requêtage : Les requêtes SPARQL ont réussi à récupérer les composants clés de l'enregistrement valide, notamment l'ansatz, l'optimiseur, les détails du backend, les termes de l'Hamiltonien, les versions logicielles et les résultats finaux. Les requêtes ont également correctement identifié l'enregistrement invalide comme une exécution "terminée" manquant d'informations associées au résultat.
• Disponibilité des artefacts : Les auteurs ont publié un package de réplication contenant l'ontologie, les règles de validation, des exemples d'enregistrements et des scripts, comprenant 71 classes OWL et 528 triplets RDF d'ontologie.

Signification et Revendications
Le papier affirme que ce cadre favorise des expérimentations VQA plus fiables en rendant les enregistrements d'exécution explicites, vérifiables et réutilisables. En représentant le contexte d'exécution sous forme d'artefacts structurés et lisibles par machine plutôt que sous forme de texte ou de code dispersés, le cadre répond à un problème critique de métadonnées et de traçabilité dans l'ingénierie logicielle quantique. Les auteurs soutiennent que cette approche permet l'inspection automatique des enregistrements d'exécution pour identifier les métadonnées manquantes ou malformées avant que les résultats ne soient réutilisés, comparés ou publiés.

Le papier maintient une portée modeste concernant ses revendications. Il stipule explicitement que l'étude de cas démontre la faisabilité plutôt que la scalabilité. Les auteurs reconnaissent des limites, notamment le besoin d'une évaluation des performances sur des ensembles de données de benchmarking à grande échelle, la nécessité d'outils pour exporter automatiquement les enregistrements à partir de cadres existants (ex. Qiskit, PennyLane), et la nécessité d'une stratégie de versionnage pour gérer l'évolution rapide des logiciels et matériels quantiques. Ce travail est positionné comme une étape fondamentale vers un traitement systématique des expériences VQA en tant qu'artefacts d'ingénierie logicielle, plutôt que comme une solution complète à tous les défis de l'ingénierie logicielle quantique.