Digital-Analog Counterdiabatic Quantum Optimization with Trapped Ions

Résumé Technique : Optimisation Quantique de Type Digital-Analog avec des Ions Piégés

Énoncé du Problème
L'article traite du défi que représente la résolution de problèmes d'Optimisation Binaire Non Contrainte Quadratique (QUBO) sur les dispositifs quantiques actuels de type NISQ (Noisy Intermediate-Scale Quantum), plus précisément les processeurs à ions piégés. Bien que le calcul quantique contre-diabatique numérisé (DCQC) offre des améliorations de mise à l'échelle polynomiale par rapport aux méthodes adiabatiques conventionnelles, les implémentations purement numériques nécessitent des profondeurs de circuit considérables. Cette profondeur dépasse les temps de cohérence du matériel actuel, limitant ainsi la taille des problèmes solubles. Les auteurs identent la nécessité d'une approche hybride qui tire parti de la connectivité tout-à-tous et des capacités multi-qubits des ions piégés pour réduire la profondeur du circuit sans sacrifier la flexibilité requise pour les tâches d'optimisation.

Méthodologie
Les auteurs proposent un algorithme d'Optimisation Quantique de Type Digital-Analog (DACQO) adapté aux architectures d'ions piégés. La méthodologie centrale implique :

1. Formulation du Hamiltonien : Le problème QUBO cible est encodé dans l'état fondamental d'un Hamiltonien $H_f$. Pour accélérer l'évolution vers cet état fondamental, l'algorithme utilise des termes de pilotage contre-diabatiques dérivés de l'expansion par commutateurs imbriqués du potentiel de jauge adiabatique (AGP). La première approximation de l'AGP introduit des termes locaux et bilocaux impliquant des opérateurs de Pauli ($\sigma_x, \sigma_y, \sigma_z$).
2. Blocs Analogiques (Portes GMS) : Au lieu de décomposer toutes les interactions en portes à un et deux qubits, l'algorithme utilise des portes Globales de Mølmer-Sørensen (GMS) comme blocs analogiques. Ces portes peuvent générer des interactions simultanées à corps multiples (termes 2-locaux et n-locaux effectifs) à travers un sous-ensemble d'ions en utilisant un champ uniforme. La porte GMS spécifique est définie par $U_{MS}^k(\theta, \phi) = \exp[-i\frac{\theta}{4}(\cos\phi S_x + \sin\phi S_y)^2]$.
3. Encodage Hybride : L'évolution en temps continu régie par le Hamiltonien CD est numérisée à l'aide d'un schéma de Trotterisation. Les couches « analogiques » consistent en des portes GMS qui implémentent directement les termes d'interaction multi-qubits. Celles-ci sont entrelacées avec des couches « numériques » composées de rotations de qubits uniques pour corriger les phases, éliminer les termes parasites (par exemple, les termes $\sigma_y\sigma_y$ indésirables) et introduire de l'inhomogénéité (variations des forces de couplage $J_{ij}$) si nécessaire.
4. Structure Algorithmique :
   • Cas Homogène : Pour un couplage uniforme, l'algorithme utilise des blocs GMS à 4 qubits pour intriquer les ions voisins, suivis de portes de conjugaison pour supprimer les termes parasites et de rotations de qubits uniques.
   • Cas Inhomogène : Pour un couplage non uniforme, l'algorithme introduit des rotations locales pour moduler les forces d'interaction. Cela nécessite le remplacement systématique des blocs analogiques par $k(k-1)/2$ blocs complétés par des rotations locales, augmentant la profondeur du circuit mais maintenant l'avantage hybride.

Contributions Clés

• Protocole Spécifique au Matériel : L'article présente un protocole DAQC spécifiquement conçu pour les processeurs à ions piégés, exploitant les capacités natives des portes GMS pour implémenter efficacement les termes CD d'ordre élevé.
• Réduction de la Profondeur de Circuit : En utilisant des blocs analogiques pour l'intrication multi-qubits, les auteurs démontrent une réduction significative de la profondeur de circuit par rapport aux simulations purement numériques. Cela permet à l'algorithme de cibler des instances de problèmes plus larges (nécessitant plus de qubits) dans les limites de temps de cohérence des dispositifs actuels.
• Analyse du Seuil de Fidélité : L'étude calcule la fidélité minimale des portes requise pour que les blocs analogiques surpassent les simulations purement numériques. Elle conclut que pour des systèmes allant jusqu'à 20 qubits, des fidélités de blocs analogiques dans la plage 98 % – 99 % sont suffisantes pour surpasser la performance numérique, et 99 % – 99,5 % sont nécessaires pour atteindre les seuils de précision minimaux. Ces seuils sont rapportés comme étant à la portée du matériel de pointe.
• Projections de Scalabilité : Les auteurs projettent qu'avec la technologie actuelle, l'approche DACQO peut résoudre des problèmes d'optimisation impliquant jusqu'à 55 qubits dans le temps de cohérence, alors qu'une approche purement numérique nécessiterait d'étendre considérablement le temps de cohérence (par exemple, de ~1,8 s à ~2,8 s pour 100 qubits).

Résultats

• Probabilité de Succès : Les simulations sur un modèle d'Ising homogène à 4 qubits montrent que l'algorithme DACQO surpasse la performance de la simulation purement numérique lorsque la fidélité du bloc analogique dépasse environ 94 %.
• Scalabilité : L'analyse du problème de l'Ensemble Indépendant Maximal (MIS) sur des graphes à 16 nœuds démontre que l'approche hybride réduit le temps d'exécution d'un facteur d'environ 1,6x à 2x par rapport aux simulations numériques.
  • Pour les graphes non pondérés et à poids mixtes, l'augmentation de la taille du bloc analogique réduit davantage le temps d'exécution.
  • Pour les graphes totalement non uniformes (inhomogènes), la réduction optimale est obtenue avec de plus petits blocs analogiques (2 qubits), car les blocs plus larges entraînent une pénalité de profondeur due à la surcharge nécessaire pour introduire l'inhomogénéité.
• Efficacité du Temps d'Exécution : Pour un problème de 100 qubits, l'approche DACQO nécessite un temps de cohérence d'environ 1,8 seconde, ce qui représente une réduction de 55 % par rapport à la méthode purement numérique qui nécessite environ ~2,8 secondes.

Signification et Revendications
L'article affirme que le paradigme DACQO constitue une voie viable vers l'avantage quantique pour les problèmes d'optimisation sur le matériel NISQ actuel. En co-concevant l'algorithme avec les capacités spécifiques des processeurs à ions piégés (spécifiquement les portes GMS), la méthode permet la résolution d'instances de problèmes plus larges (≥20 qubits) qui seraient autrement inaccessibles en raison de la décohérence.

Les auteurs soulignent que cette approche assouplit l'exigence stricte de concevoir des portes à deux qubits de très haute fidélité, suggérant que se concentrer sur des portes analogiques ayant une fidélité « raisonnable » (98 % – 99,5 %), complétées par des portes numériques, est une voie plus pratique pour la mise à l'échelle. De plus, l'article note que les progrès futurs dans les blocs analogiques programmables et inhomogènes (tels que les portes XX rapides) pourraient améliorer davantage la scalabilité pour les problèmes non homogènes et se rapprocher de la limite de vitesse quantique. Ce travail positionne l'encodage digital-analogique comme une étape critique vers la résolution de problèmes d'optimisation combinatoire pertinents pour l'industrie.