⚛️ quantum physics

Quantum codes from classical annealing

Cet article introduit un algorithme de recuit simulé adaptatif qui découvre avec succès des codes de correction d'erreurs quantiques CSS et « auto-duaux avec logiques équivalentes » (SWEL) de pointe, présentant des taux de codage élevés et de grandes distances, offrant ainsi des candidats prometteurs tant pour les architectures tolérantes aux fautes que pour les démonstrations matérielles à court terme.

Auteurs originaux : Michael A. Perlin, Matthew Steinberg, Ben Criger

Publié 2026-07-23

📖 7 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Michael A. Perlin, Matthew Steinberg, Ben Criger

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de construire une bibliothèque capable de survivre à un ouragan. Dans le monde de l'informatique quantique, cette « bibliothèque » est une collection de fragments d'informations fragiles appelés qubits. Contrairement aux livres robustes sur votre étagère, les qubits sont comme des bulles de savon ; le moindre contact avec la chaleur, le bruit ou une onde électromagnétique parasite peut les faire éclater, détruisant ainsi la donnée à l'intérieur. Pour empêcher cela, les scientifiques utilisent une astuce appelée Correction d'Erreur Quantique. Au lieu d'écrire une histoire sur une seule bulle fragile, ils répartissent l'histoire sur de nombreuses bulles selon un motif spécial. Si une bulle éclate, le motif permet de reconstruire l'histoire à partir des autres.

Cependant, il y a un pièal : plus vous utilisez de bulles pour protéger l'histoire, moins vous pouvez raconter d'histoires à la fois. C'est le compromis entre la fiabilité (la capacité du code à protéger contre les erreurs) et l'efficacité (la quantité d'informations utiles que l'on peut stocker). Les scientifiques recherchent des « codes magiques » — des motifs qui offrent le meilleur des deux mondes : une protection élevée sans gaspiller trop de bulles. Ce document plonge dans cette quête, utilisant une recherche informatique ingénieuse pour trouver de nouveaux motifs hautement efficaces qui pourraient aider à construire les ordinateurs quantiques du futur.

La Grande Quête des Codes : Trouver le Bouclier Parfait

Considérez la conception d'un code de correction d'erreur quantique comme la recherche du verrou parfait pour un coffre au trésor. Vous voulez un verrou qui soit incroyablement difficile à crocheter (une distance élevée, signifiant qu'il peut résister à de nombreuses erreurs) mais aussi assez léger pour être transporté (un taux de codage élevé, signifiant qu'il ne gaspille pas trop d'espace). Pendant longtemps, les scientifiques ont su que de tels verrous devraient exister, sur la base de théories mathématiques, mais trouver les plans spécifiques pour eux a été comme chercher une aiguille dans une botte de foin de la taille d'une galaxie.

Les auteurs de ce document, des chercheurs de JPMorgan Chase et de Quantinuum, ont décidé de cesser de chercher l'aiguille à la main et ont plutôt construit un moteur de recherche robotisé pour faire le travail à leur place. Ils ont utilisé une technique appelée recuit simulé. Pour comprendre cela, imaginez que vous essayiez de trouver le point le plus bas dans une vaste chaîne de montagnes embrumée. Si vous vous contentez de descendre, vous pourriez rester coincé dans une petite vallée et penser que vous avez atteint le fond. Mais si vous sautez occasionnellement vers le haut (simulant la chaleur), vous pouvez échapper à ces petites vallées et continuer à chercher jusqu'à trouver la vallée la plus profonde et la plus parfaite. Dans ce cas, les « vallées » sont de bons codes quantiques, et la « hauteur » est le nombre d'erreurs que le code peut gérer.

L'équipe s'est concentrée sur deux types spécifiques de codes, qu'ils appellent codes CSS et codes SWEL.

Les codes CSS sont comme un bouclier à double couche. Ils utilisent un motif pour attraper les erreurs de « type X » (basculements) et un autre pour attraper les erreurs de « type Z » (déphasages). Ils sont populaires car ils sont relativement faciles à manipuler.
Les codes SWEL (Self-Dual with Equivalent Logicals) sont une version spéciale et sophistiquée des codes CSS. Ils sont « auto-duaux », ce qui signifie que les couches X et Z sont des images miroirs l'une de l'autre. Cette symétrie est un superpouvoir : elle permet d'effectuer certaines opérations quantiques (portes) simplement en appliquant la même action à chaque qubit physique en même temps. Cela les rend beaucoup plus faciles à utiliser dans de réels ordinateurs quantiques à tolérance de pannes.

Les chercheurs ont lancé leur moteur de recherche sur des codes allant jusqu'à 50 qubits physiques (les bulles) et au moins 4 qubits logiques (les histoires réelles racontées). Ils ne cherchaient pas n'importe quel code ; ils cherchaient ceux qui battaient la « borne de Gilbert-Varshamov » théorique. Voyez cette borne comme un panneau de limitation de vitesse sur l'autoroute du codage quantique. Elle vous indique la vitesse maximale (meilleure distance) que vous devriez pouvoir atteindre pour un nombre donné de qubits. La recherche des auteurs a trouvé des codes qui ont fréquemment atteint ou même dépassé cette limite de vitesse, ce qui signifie qu'ils ont trouvé des boucliers meilleurs que ce que les prédictions mathématiques standards suggéraient comme étant possibles pour ces tailles.

L'un des aspects les plus intelligents de leur méthode était la façon dont ils mesuraient la « qualité ». Habituellement, on compte simplement combien d'erreurs un code peut corriger. Mais les chercheurs ont réalisé que deux codes pourraient corriger le même nombre d'erreurs, pourtant l'un pourrait être beaucoup plus susceptible d'échouer dans un scénario réel car il possède plus de « points faibles ». Pour remédier à cela, ils ont créé une « fonction d'énergie » personnalisée qui agissait comme un détecteur ultra-sensible. Elle ne se contentait pas de compter les erreurs ; elle comptait le nombre de façons dont un code pouvait échouer à son point le plus faible. Cela a aidé leur moteur de recherche à éviter de rester bloqué sur des « plateaux plats » où de nombreux codes se ressemblaient, le guidant plutôt vers les conceptions véritablement supérieures.

Après avoir exécuté leurs simulations, l'équipe a produit une liste des meilleurs codes trouvés, détaillés dans les annexes du document. Ce ne sont pas de simples réflexions théoriques ; ce sont des plans concrets. Par exemple, ils ont trouvé un code utilisant 20 qubits physiques pour stocker 6 qubits logiques avec une distance de 4, et un autre utilisant 50 qubits physiques pour stocker 6 qubits logiques avec une distance de 8. Beaucoup de ces codes possèdent moins d'« opérateurs logiques de poids minimal » (points faibles) que les records précédents, ce qui les rend plus robustes.

Le document souligne également que ces codes sont particulièrement prometteurs pour le matériel quantique « de transition » (near-term). Bien que les ordinateurs quantiques massifs et parfaits soient encore à des années de distance, les machines d'aujourd'hui sont petites et bruyantes. Ces nouveaux codes offrent un moyen d'extraire plus de travail utile de ces machines petites et imparfaites. De plus, parce que les codes SWEL permettent des portes « transversales » spéciales (des opérations qui ne nécessitent pas de câblage complexe), ils pourraient être la clé pour construire des ensembles de portes à tolérance de pannes, essentiels pour exécuter des algorithmes complexes sans que l'ordinateur ne plante.

En résumé, ce document ne prétend pas avoir résolu tout le mystère de la correction d'erreur quantique. Au lieu de cela, il fournit une nouvelle carte puissante et un ensemble d'outils de haute qualité. En utilisant un algorithme de recherche adaptatif, les auteurs ont découvert une collection de « codes semences » qui sont prêts à être utilisés dans les futures architectures quantiques. Ils démontrent que, même avec les limites du matériel actuel, nous pouvons trouver des moyens hautement efficaces et robustes pour protéger l'information quantique, nous rapprochant ainsi du jour où les ordinateurs quantiques pourront s'attaquer à des problèmes impossibles pour les supercalculateurs d'aujourd'hui.

Résumé technique : Codes quantiques issus du recuit classique

Énoncé du problème

La correction d'erreurs quantiques (QEC) est essentielle pour le calcul quantique tolérant aux fautes (FT) à grande échelle. Cependant, les familles de codes connues imposent souvent des surcoûts de ressources prohibitifs. Les codes topologiques (par exemple, les codes de surface) sont contraints par la borne de Bravyi-Poulin-Terhal, ce qui limite leurs taux d'encodage. Les codes de contrôle de parité à faible densité (qLDPC) offrent des paramètres asymptotiques favorables mais nécessitent des interactions à longue portée et un décodage complexe, ce qui les rend difficiles à implémenter sur le matériel actuel de type NISQ. Bien que la concaténation de codes offre une voie vers des surcoûts spatio-temporels constants, elle repose sur des codes « graines » de haute qualité possédant des taux d'encodage élevés et des distances importantes.

La recherche par force brute de tels codes est généralement intraitable car l'espace des codes stabilisateurs croît exponentiellement avec la longueur de bloc $n$ , et le calcul de la distance d'un code est un problème NP-difficile. Par conséquent, il existe un besoin de méthodes numériques efficaces pour découvrir des codes stabilisateurs quantiques de taille modérée ( $n \le 50$ ) qui atteignent des taux d'encodage ( $k/n$ ) et des distances ( $d$ ) élevés, égalant ou dépassant les bornes théoriques, spécifiquement pour les architectures capables de supporter des interactions à longue portée (par exemple, les ions piégés ou les atomes neutres).

Méthodologie

Les auteurs introduisent un algorithme de recuit simulé adaptatif pour rechercher des codes quantiques optimaux au sein de deux classes spécifiques :

Codes CSS : Codes de Calderbank-Shor-Steane, qui permettent une préparation d'état et un décodage relativement simples pour la tolérance aux fautes (FT).
Codes SWEL : Une sous-classe de codes CSS nommée « Self-Dual with Equivalent Logicals » (Auto-duaux avec logiques équivalentes). Ces codes satisfont des conditions de symétrie spécifiques ( $H_X = H_Z$ et opérateurs logiques $L_X = L_Z$ ) qui garantissent des implémentations transversales des portes de Hadamard logique ( $H^{\otimes k}$ ) et de Phase ( $S^{\otimes k}$ ), facilitant la construction d'ensembles de portes FT.

Espace de recherche et mouvements

Initialisation : Au lieu de partir de codes triviaux, l'algorithme utilise un « warm start » en appliquant une porte préservant le caractère CSS ou SWEL à un code trivial.
- Pour les codes CSS, l'espace de recherche est échantillonné via le groupe linéaire général $GL(n, \mathbb{F}_2)$ .
- Pour les codes SWEL, l'espace de recherche est échantillonné via le groupe orthogonal $O(n, \mathbb{F}_2)$ .
Distribution de proposition (Mouvements) :
- CSS : Les mouvements sont générés en appliquant des portes CNOT aléatoires entre des paires de qubits. Le Théorème 1 établit que les portes CNOT peuvent transformer n'importe quel code CSS en un autre avec les mêmes paramètres de rang.
- SWEL : Les mouvements sont générés en appliquant des « portes élémentaires préservant le SWEL », qui agissent sur quatre qubits. Le Théorème 5 prouve que ces portes, combinées à des permutations, peuvent traverser tout l'espace des codes SWEL.

Fonction d'énergie

Pour éviter les « plateaux stériles » (barren plateaux) où la distance du code reste constante malgré des changements locaux, les auteurs définissent une fonction d'énergie $E(C)$ qui sert de substitut au taux d'erreur logique dans un modèle de bruit à capacité de code.
$E(C) = \frac{\log m}{\log(1/p)} - d$
où $d$ est la distance du code, $m$ est le nombre d'opérateurs logiques non triviaux de poids minimal, et $p$ est le taux d'erreur physique (fixé à $10^{-3}$ ). Cette fonction pénalise les codes ayant des distances plus élevées (énergie plus faible) et, de manière cruciale, départage les codes de même distance en favorisant ceux ayant moins d'opérateurs logiques de poids minimal ( $m$ ).

Recuit adaptatif

L'algorithme utilise un calendrier de température adaptatif pour empêcher le système de se figer sur des plateaux ou des minima locaux dégénérés. La température est ajustée à chaque époque en fonction des différences d'énergie observées des mouvements proposés, ciblant un taux d'acceptation ascendant spécifique. Un facteur de mémoire est utilisé pour amortir les fluctuations de température.

Post-traitement

Après avoir trouvé un code via le recuit, un algorithme glouton est appliqué pour réduire le poids des générateurs de stabilisateurs. Cette étape minimise la complexité des mesures de syndrome sans altérer la distance du code ou ses opérateurs logiques.

Contributions clés

Cadre algorithmique : Le développement d'un algorithme de recuit simulé adaptatif spécifiquement conçu pour la recherche de codes quantiques CSS et SWEL, utilisant des propriétés de théorie des groupes pour assurer une couverture complète de l'espace de recherche.
Caractérisation SWEL : Un cadre théorique rigoureux (Théorèmes 3 et 4) définissant les codes SWEL et prouvant que l'ensemble des portes préservant le SWEL (isomorphe à $O(n, \mathbb{F}_2)$ ) est suffisant pour générer tous les codes SWEL à partir d'une graine triviale.
Substitut d'énergie : La formulation d'une fonction d'énergie combinant la distance du code avec le décompte des opérateurs logiques de poids minimal, résolvant efficacement les plateaux discrets qui entravent l'optimisation directe de la distance.
Découverte de codes à l'état de l'art : L'identification de nombreux nouveaux codes pour des longueurs de bloc allant jusqu'à $n=50$ qui surpassent les codes connus indexés sur qecdb.org.

Résultats

Les auteurs présentent un tableau complet des codes découverts (Annexe F) avec des paramètres $[n, k, d]$ où $n \le 50$ et $k \ge 4$ .

Performance : De nombreux codes CSS et SWEL découverts atteignent des distances qui égalent ou dépassent la borne de Gilbert-Varshamov quantique ( $d_{QGV}$ ) et la borne de Gilbert-Varshamov spécifique aux codes CSS ( $d_{CSS}$ ).
Comparaison : Les résultats sont comparés aux meilleurs codes connus sur qecdb.org. Dans de nombreux cas, les nouveaux codes offrent des distances plus élevées pour le même $n$ et $k$ , ou un $k$ plus élevé pour le même $n$ et $d$ .
Taux d'erreur logique : En utilisant des simulations de Monte Carlo avec échantillonnage préférentiel, les auteurs estiment les taux d'erreur logique pour ces codes. Les résultats valident que la fonction d'énergie identifie avec succès les codes présentant des taux d'erreur logique plus faibles, particulièrement pour les distances $d > 4$ .
Spécificités SWEL : Les codes SWEL découverts possèdent la structure nécessaire pour les portes de Clifford logiques transversales. Par exemple, le code SWEL $[20, 6, 4]$ a été trouvé possédant au moins 2 304 portes de Clifford transversales de type SWAP.

Signification et revendications

L'article affirme que ces codes optimisés numériquement servent de codes graines favorables pour les architectures de calcul tolérantes aux fautes basées sur la concaténation de codes. En fournissant des codes à haut taux et haute distance pour des tailles de blocs modérées, ils peuvent être utilisés pour construire des qubits logiques à plus grande échelle avec des surcoûts réduits.

De plus, les auteurs soulignent le potentiel de ces codes pour des démonstrations sur du matériel proche du futur (near-term). Spécifiquement, ils notent que les plateformes d'ions piégés et d'atomes neutres, qui supportent des interactions à longue portée, sont bien adaptées à l'implémentation de ces codes. Les codes SWEL sont particulièrement significatifs car leurs ensembles de portes transversales permettent la construction d'ensembles de portes de Clifford tolérantes aux fautes sans avoir recours à la distillation complexe d'états magiques pour les opérations de Clifford.

Les auteurs restent modestes quant à la scalabilité immédiate de l'algorithme de recherche, notant que le temps d'exécution exponentiel du calcul de la distance limite la recherche à $n \le 50$ . Ils suggèrent que les travaux futurs pourraient inclure la parallélisation de l'évaluation de la fonction d'énergie, l'amélioration des calendriers de recuit ou l'incorporation de techniques d'apprentissage automatique pour étendre la recherche à des longueurs de bloc plus importantes. Ils proposent également que la concaténation de codes utilisant ces graines (par exemple, combiner des codes Iceberg $[8, 6, 2]$ avec des codes $[38, 12, 6]$ ) pourrait engendrer des architectures pratiques pour l'informatique quantique à échelle commerciale.