Résumé technique : Optimisation de la compensation d'erreurs probabiliste informée par la symétrie

Énoncé du problème

Les techniques de mitigation d'erreurs quantiques (QEM), telles que la compensation d'erreurs probabiliste (PEC), sont essentielles pour extraire des résultats précis des dispositifs quantiques de milieu intermédiaire bruyants (NISQ). Cependant, la PEC souffre d'une mise à l'échelle exponentielle des coûts d'échantillonnage avec la taille du système et la probabilité d'erreur. Bien que la détection d'erreurs quantiques (QED) puisse réduire ces coûts en effectuant une post-sélection sur les mesures de symétrie, le bruit inhérent aux circuits de mesure de symétrie peut annuler les bénéfices de la QED, éliminant potentiellement tout avantage par rapport à la PEC seule. Le problème central abordé est la manière de sélectionner de façon optimale les configurations de mesure de symétrie pour équilibrer la réduction des erreurs indétectables et l'introduction de bruit par le processus de mesure, afin de minimiser le surcoût total de mitigation.

Méthodologie

Les auteurs proposent un cadre pour la PEC+QED qui intègre la QED à la PEC, en traitant la sélection des mesures de symétrie comme un problème d'optimisation classique.

1. Cadre de mitigation hybride :

   • QED : Détecte les erreurs en mesurant des stabilisateurs (symétries) et en écartant les exécutions où la valeur propre mesurée dévie de la valeur attendue.
   • PEC : Appliquée uniquement aux erreurs « indétectables » restantes (celles qui commutent avec tous les stabilisateurs mesurés) pour annuler leur effet en moyenne.
   • Modèle de coût : Le coût d'échantillonnage total est le produit du surcoût de la PEC pour les erreurs indétectables et du surcoût de la QED (l'inverse de la probabilité de non-détection). Crucialement, le bruit introduit par les circuits de mesure de symétrie ($U_{SYM}$) est modélisé comme un coût supplémentaire qui augmente le biais ou la variance.

2. Formulation de l'optimisation :
   Les auteurs présentent la sélection de stabilisateurs comme une variante du problème de couverture d'ensemble. Étant donné un ensemble de stabilisateurs candidats $S$, l'objectif est de trouver un sous-ensemble $C \subseteq S$ qui minimise une fonction de coût $\zeta(C)$.

   • Objectif : Minimiser la somme du coût des erreurs non détectées (qui détermine le surcoût de la PEC) et du coût des mesures de symétrie elles-mêmes.
   • Approches :
     • Mitigation du circuit de symétrie : Suppose que les circuits de symétrie peuvent être mitigés pour supprimer le biais, minimisant ainsi le coût total de quasi-probabilité. Ceci est formulé comme un problème de couverture d'ensemble contraint dont le terme de bénéfice est sous-modulaire, permettant des algorithmes d'approximation gourmands (greedy) avec des garanties de performance.
     • Mesures de symétrie différées : Suppose que les symétries sont mesurées après l'observable, de sorte que le bruit de mesure ne biaise pas directement l'observable mais augmente la variance via de fausses détections. Cette formulation implique la différence de fonctions sous-modulaires, nécessitant des méthodes d'optimisation heuristiques.
   • Propagation d'erreurs : La méthode tient compte de la manière dont les erreurs se propagent à travers le circuit (spécifiquement à travers les couches de rotations de Clifford et de Pauli) pour déterminer quelles erreurs sont détectables au point de la mesure de symétrie.

3. Expériences numériques :
   Le cadre a été testé sur deux tâches quantiques distinctes :

   • Préparation d'états GHZ : Simulation d'états GHZ à $n$ qubits en utilisant des circuits à profondeur linéaire et logarithmique.
   • Dynamique du modèle de Fermi-Hubbard : Simulation de l'évolution temporelle d'un modèle de Fermi-Hubbard sans spin sur un réseau carré en utilisant le codage généralisé ultra-rapide (GSE).

Résultats clés

1. Distributions de sortie des états GHZ

• Circuits à profondeur linéaire : Pour les circuits à profondeur linéaire, les stabilisateurs locaux standards (ex: $Z_i Z_{i+1}$) étaient insuffisants pour fournir un avantage par rapport à la PEC seule car le coût de bruit de la mesure de ces stabilisateurs l'emportait sur la réduction du surcoût de la PEC. L'optimisation a identifié que des stabilisateurs non locaux (ex: $Z_0 Z_{n-1}$) étaient nécessaires pour obtenir un bénéfice net. Avec des stabilisateurs non locaux optimisés, la PEC+QED a atteint une réduction de l'Erreur Quadratique Totale (TSE) de près d'un ordre de grandeur par rapport à la PEC pour $n=50$.
• Circuits à profondeur logarithmique : Ces circuits plus peu profonds sont moins affectés par le bruit d'attente (idling noise), rendant le coût relatif des mesures de symétrie plus élevé. Par conséquent, l'avantage de la PEC+QED sur la PEC était plus restreint. Bien qu'un avantage ait existé pour $n \ge 15$, les coûts d'échantillonnage empiriques étaient souvent comparables à la PEC seule pour des $n$ plus grands, soulignant la sensibilité de l'approche à la structure du circuit et à la propagation des erreurs.

2. Dynamique temporelle du modèle de Fermi-Hubbard

• Estimation de l'observable : Pour un réseau $2 \times 2$, la PEC+QED a systématiquement surpassé la PEC et la QED seules pour l'estimation des termes de l'Hamiltonien et des produits d'opérateurs de sommet. Elle a obtenu la plus faible erreur quadratique moyenne (RMSE) à travers tous les temps d'évolution.
• Corrélateurs :
  • Corrélateur de charge à deux points : La PEC+QED a maintenu la RMSE la plus faible, avec des taux de dégradation de performance plus proches de la QED que de la PEC à mesure que la profondeur du circuit augmentait.
  • Corrélateur de charge radial : Pour des valeurs proches de zéro, la PEC et la PEC+QED étaient comparables, suggérant que l'avantage est plus prononcé pour les observables ayant des amplitudes de signal plus grandes.
• Scalabilité et stabilisateurs partiels : À mesure que la taille du réseau $m$ augmentait, le surcoût d'échantillonnage pour toutes les méthodes croissait de manière super-exponentielle. Cependant, le cadre d'optimisation a révélé que pour des systèmes plus grands ($m=5, 6$), mesurer seulement un sous-ensemble de stabilisateurs (ex: 78–83 % des opérateurs de boucle disponibles) minimisait le surcoût total de l'échantillonnage. Cette configuration « partielle » réduisait le surcoût par rapport à la mesure de tous les stabilisateurs, l'économie augmentant avec la taille du système.

Signification et affirmations

L'article affirme que l'adaptation de l'utilisation des techniques de QEM au circuit spécifique est cruciale pour obtenir des avantages pratiques. Les principales contributions sont :

1. Optimisation de l'usage des symétries : Les auteurs démontrent qu'appliquer aveuglément toutes les symétries disponibles est sous-optimal. En formulant la sélection des stabilisateurs comme un problème d'optimisation classique, on peut supprimer systématiquement l'impact des mesures de symétrie bruitées.
2. Avantage dépendant du contexte : L'avantage de la PEC+QED n'est pas universel ; il dépend fortement de la structure du circuit (ex: profondeur linéaire vs logarithmique) et de la distribution des erreurs détectables. Dans certains cas (GHZ à profondeur linéaire), les stabilisateurs non locaux sont essentiels ; dans d'autres (Fermi-Hubbard), des ensembles de stabilisateurs partiels sont optimaux.
3. Valeur à court terme des principes de tolérance aux fautes : Les résultats suggèrent que les principes de conception tolérants aux fautes, tels que l'utilisation de codes stabilisateurs et de la vérification de symétrie, peuvent apporter une valeur immédiate pour les dispositifs de l'ère NISQ lorsqu'ils sont combinés avec la compensation d'erreurs probabiliste, à condition que les configurations de mesure soient soigneusement optimisées.
4. Scalabilité : La capacité de réduire le surcoût de mitigation en mesurant des sous-ensembles de stabilisateurs dans des systèmes plus larges indique une voie pour porter ces techniques hybrides vers des simulations plus complexes.

Les auteurs concluent que bien que la PEC+QED ne remplace pas le besoin d'un calcul quantique entièrement tolérant aux fautes (FTQC), elle offre une stratégie viable pour combler le fossé entre le matériel bruyant actuel et l'avantage quantique pratique, à condition que les compromis entre capacité de détection et bruit de mesure soient rigoureusement gérés par l'optimisation.