A fidelity metric for quantum annealing benchmarked by extreme scaling quantum Monte-Carlo simulations

Résumé Technique : Une métrique de fidélité pour le recuit quantique évaluée par des simulations de Monte-Carlo quantique à mise à l'échelle extrême

Énoncé du problème
Les évaluations actuelles du recuit quantique (QA) sont principalement pragmatiques, mesurant la performance uniquement par la vitesse ou le taux de réussite de la résolution de problèmes d'optimisation spécifiques (généralement formulés sous forme de QUBO — Optimisation Binaire Non Contrainte Quadratique). Les auteurs soutiennent que cette approche est « intrinsèquement fragile » car les résultats dépendent fortement de l'instance spécifique du problème et de l'algorithme classique utilisé comme référence. De plus, cette méthodologie ne parvient pas à distinguer les limitations intrinsèques du processus de recuit (par exemple, l'amincissement exponentiel des écarts énergétiques menant à des transitions de Landau-Zener) des limitations matérielles extrinsèques (par exemple, le bruit, la décohérence, la température finie). Par conséquent, il existe un manque de métrique robuste pour quantifier la fidélité du processus de recuit quantique lui-même, indépendamment de la qualité de la solution finale.

Méthodologie
Le papier propose une nouvelle métrique de fidélité : la précision ($\epsilon$) de l'équation d'état $E(h_x) \equiv \langle \hat{H} \rangle$ pendant le processus de recuit. Cette métrique est analogue à la « fidélité par porte » dans l'informatique quantique à portes. Pour obtenir l'équation d'état expérimentalement, il faudrait mesurer à la fois l'énergie longitudinale ($\langle \hat{H}_z \rangle$) et l'énergie du champ transverse ($\langle \hat{H}_x \rangle$) à différents points du programme de recuit.

Pour établir des valeurs de référence pour $\epsilon$ et tester les limites de la simulation classique, les auteurs emploient deux variantes du recuit quantique simulé (SQA) utilisant des techniques de Monte-Carlo quantique (QMC) sur des systèmes d'atomes de Rydberg :

1. Monte-Carlo Quantique Variationnel (VMC) :

   • Ansatz : Les auteurs utilisent un « ansatz thermique » inspiré du recuit thermique simulé. La fonction d'onde est modélisée par $\psi(n) \propto e^{-E_{\text{eff}}(n)/2}$, où l'énergie effective $E_{\text{eff}}(n)$ est une fonctionnelle d'énergie classique modifiée.
   • Variantes : Ils testent un « ansatz thermique simple » ($E_{\text{eff}} = \beta_{\text{eff}} F(n)$) et un « ansatz thermique décalé » ($E_{\text{eff}} = \beta_{\text{eff}} F(n) + \sum \beta_k N_k(n)$) pour capturer la brisure de symétrie.
   • Échelle : Cette approche est peu coûteuse en calcul, permettant des simulations sur un seul CPU jusqu'à 100 000 000 d'atomes ($N=10^8$).
   • Précision : Atteint une précision estimée de $\epsilon \sim 10^{-2} - 10^{-3}$.

2. Monte-Carlo de Fonction de Green (GFMC) :

   • Méthode : Une méthode post-VMC qui fait évoluer l'ansatz variationnel dans le temps imaginaire pour projeter sur le véritable état fondamental. Elle est non biaisée et exempte du problème de signe pour les modèles d'Ising à champ transverse.
   • Échelle : Simulations effectuées jusqu'à 100 000 atomes ($N=10^5$).
   • Précision : Atteint une précision plus élevée avec $\epsilon \sim 10^{-4}$.

Les auteurs utilisent ces méthodes pour calculer l'équation d'état pour des atomes de Rydberg sur des réseaux carrés et triangulaires, ainsi que pour une instance QUBO réelle (problème « fallen angel » lié à la gestion des risques financiers).

Résultats clés

• Scalabilité et Précision : L'approche VMC avec l'ansatz thermique a réussi à simuler des systèmes allant jusqu'à $10^8$ atomes avec une erreur relative $\delta E/E_0 < 10^{-2}$. L'approche GFMC a atteint $\epsilon \sim 10^{-4}$ pour $N=10^5$.
• Localisation de l'erreur : L'erreur relative dans l'équation d'état culmine précisément à l'endroit où l'écart énergétique se referme (transitions de phase), ce qui correspond au régime où les transitions de Landau-Zener se produisent. Loin de ces points critiques, l'erreur est nettement plus faible.
• Comparaison avec les expériences : Les auteurs estiment que les plateformes expérimentales d'atomes de Rydberg actuelles opèrent avec une précision nettement inférieure à ces références classiques. Les simulations classiques surpassent les plateformes expérimentales actuelles en termes de taille de système et de précision de plusieurs ordres de grandeur.
• Benchmarking QUBO : Pour l'instance QUBO « fallen angel », l'ansatz thermique simple a produit une erreur relative de $\approx 10^{-3}$. Les auteurs notent que si l'erreur de la solution finale ($\delta F/F$) peut être réduite arbitrairement en augmentant le nombre de tirages (shots), l'erreur de l'équation d'état ($\delta E/E_0$) constitue une mesure plus intrinsèque de la capacité du matériel ou de l'algorithme.
• Thermique vs Quantique : L'étude suggère que dans une précision de $\epsilon \sim 10^{-2} - 10^{-3}$, un recuiseur quantique est effectivement indiscernable de son équivalent thermique classique, impliquant que le bruit expérimental actuel peut masquer de véritables avantages quantiques.

Signification et Revendications
Le papier affirme que la mesure de la précision de l'équation d'état est une étape cruciale pour l'évaluation du QA car :

1. Elle fournit un diagnostic direct des mécanismes dominants causant les écarts par rapport à l'évolution adiabatique idéale (distinguant les problèmes d'écart intrinsèques du bruit extrinsèque).
2. Elle offre une métrique indépendante du matériel qui ne dépend pas de la difficulté spécifique d'une instance QUBO choisie.
3. Elle impose une contrainte sévère aux futurs matériels : pour démontrer un avantage quantique, les plateformes expérimentales doivent atteindre une précision de l'équation d'état qui surpasse ces références classiques (spécifiquement $\epsilon < 10^{-4}$ pour de grands systèmes).

Les auteurs concluent que l'ansatz variationnel thermique, « trompeusement simple », est un outil puissant pour simuler le QA, suggérant que la voie pour comprendre les avantages quantiques réside peut-être dans l'identification de régimes où les fluctuations quantiques procurent un avantage distinct par rapport même aux simulations thermiques classiques les plus sophistiquées. Ils ne prétendent pas que le QA est actuellement supérieur aux heuristiques classiques ; ils fournissent plutôt les outils pour tester rigoureusement cette hypothèse à l'avenir.