Polynomial-time simulation of non-Clifford quantum error correction

Construire un ordinateur capable de résoudre des problèmes hors de portée de toute machine actuelle nécessite un équilibre délicat. Ces machines, connues sous le nom d'ordinateurs quantiques, reposent sur des particules qui peuvent exister dans plusieurs états à la fois, une propriété qui leur permet de traiter de vastes quantités d'informations simultanément. Cependant, cette même sensibilité les rend incroyablement fragiles ; le moindre dérangement de l'environnement les fait perdre leurs informations et échouer. Pour maintenir ces machines en fonctionnement, les scientifiques utilisent la correction d'erreurs, une méthode consistant à vérifier constamment le système et à corriger les erreurs avant qu'elles ne se propagent. Bien que les règles de base pour vérifier et corriger ces erreurs soient bien comprises, les opérations les plus puissantes que ces ordinateurs doivent effectuer nécessitent un type de correction plus complexe et moins prévisible. Pendant des années, simuler la manière dont ces corrections complexes se comportent sur un ordinateur standard a été presque impossible, forçant les chercheurs à deviner comment leurs conceptions résisteraient au bruit du monde réel.

Une équipe de chercheurs de l'Université d'Oxford et de la Freie Universität Berlin a maintenant développé un moyen de simuler ces circuits de correction d'erreurs quantiques complexes avec une précision et une rapidité parfaites. Ils ont découvert qu'une large classe de ces circuits, qui inclut les méthodes les plus prometteuses pour préparer les ressources spéciales nécessaires à l'informatique quantique universelle, suit un motif mathématique caché. Ce motif permet à l'état entier du système d'être décrit et suivi à l'aide d'un type spécifique de polynôme, une expression mathématique qui croît en complexité beaucoup plus lentement que le nombre de particules impliquées. En prouvant que ces circuits restent dans ce motif même lorsque des erreurs aléatoires surviennent, l'équipe a créé un nouvel outil de simulation capable de gérer des systèmes avec de nombreux sorties logiques, une tâche qui faisait auparavant planter ou saturer la mémoire d'autres logiciels de simulation.

Le défi de la simulation de ces circuits provient de la nature des erreurs et des corrections. Dans un ordinateur quantique standard, les erreurs sont souvent modélisées comme des inversions aléatoires de bits, semblables à une pièce de monnaie tombant sur pile ou face. Les chercheurs se sont concentrés sur une classe spécifique de circuits qui utilisent un ensemble d'opérations connues pour être difficiles à simuler classiquement. Ces circuits sont conçus pour prendre des états quantiques simples et stables et les transformer en états « magiques » plus complexes, qui sont essentiels pour effectuer la gamme complète de calculs dont un ordinateur quantique universel a besoin. Le problème est qu'à mesure que ces circuits grandissent, le nombre de façons possibles dont le système peut évoluer explose de manière exponentielle. Les méthodes de simulation traditionnelles tentent de suivre chaque possibilité, ce qui devient rapidement impossible à mesure que la taille du système augmente. Les chercheurs ont réalisé que, bien que le système paraisse chaotique, il adhère en réalité à une structure stricte. Ils ont découvert que chaque état intermédiaire dans ces circuits peut être décrit comme une superposition uniforme sur une forme géométrique spécifique, avec des phases qui suivent une règle polynomiale de troisième ordre.

Pour rendre cette découverte utile, l'équipe a introduit une nouvelle façon de considérer ces états, qu'elle appelle la formalisation diagonal-Clifford-and-Pauli. En termes plus simples, ils ont trouvé un moyen de représenter l'état quantique complexe à l'aide d'un ensemble d'opérateurs stabilisateurs plus faciles à gérer. Ces opérateurs sont construits à partir d'une combinaison de portes quantiques de base et d'opérations diagonales qui modifient les phases des états. En suivant ces opérateurs plutôt que la fonction d'onde complète, les chercheurs ont pu mettre à jour l'état du système après chaque porte et chaque mesure dans un temps qui croît de manière polynomiale avec la taille du système. Cela signifie que doubler le nombre de qubits ne double pas le temps requis pour simuler le circuit ; au lieu de cela, le temps augmente à un taux gérable, permettant la simulation de systèmes beaucoup plus grands qu'auparavant.

Une partie critique de leur travail a consisté à comprendre comment les mesures affectent ces circuits. En informatique quantique, la mesure d'une particule provoque l'effondrement de son état, et le résultat peut être aléatoire. Les chercheurs ont prouvé que, pour leur classe spécifique de circuits, certains types de mesures sont « compatibles », ce qui signifie qu'ils préservent la structure polynomiale sous-jacente. Ils ont montré que si une mesure est déterministe dans un circuit idéal sans bruit, ou si elle anticommute avec une contrainte spécifique du système, elle restera compatible même lorsqu'un bruit est introduit. Cette découverte est cruciale car elle permet à la simulation de procéder sans avoir besoin d'analyser chaque branche bruitée séparément. Au lieu de cela, les chercheurs peuvent vérifier les conditions sur le circuit idéal et être certains que la simulation restera efficace et précise même lorsque des fautes aléatoires sont insérées.

L'équipe a implémenté ces résultats dans un progiciel open-source appelé Merlin. Ils ont testé Merlin par rapport à plusieurs simulateurs existants sur des circuits conçus pour la distillation d'états magiques, un processus utilisé pour purifier les états quantiques bruités en états de haute qualité, et le changement de code (code switching), qui consiste à changer le code de correction d'erreurs utilisé par l'ordinateur. Lors de tests impliquant le protocole de distillation de Bravyi-Haah, où le nombre de sorties logiques augmente, Merlin a démontré une bien meilleure mise à l'échelle tant en temps d'exécution qu'en utilisation de la mémoire par rapport aux autres outils. Alors que d'autres simulateurs n'ont pas pu terminer la simulation d'un circuit de changement de code basé sur un code spécifique de grande taille en raison d'une saturation de la mémoire, Merlin a réussi à simuler l'ensemble du processus. Ce succès souligne une force complémentaire : alors que d'autres méthodes sont plus rapides pour les circuits petits et simples, Merlin excelle lorsque le nombre de sorties logiques augmente, un régime essentiel pour évaluer les protocoles à haut débit.

Les implications de ce travail s'étendent au-delà de la simple accélération des simulations. En fournissant un cadre capable de suivre l'état interne de ces circuits complexes de manière exacte, les chercheurs ont donné à la communauté un outil puissant pour concevoir et tester des architectures de tolérance aux fautes. Ils ont montré que les conditions pour une simulation efficace sont remplies par une grande variété de protocoles, incluant ceux basés sur des portes transversales, la fixation de jauge (gauge fixing) et l'extraction de syndromes. Cela signifie que les ingénieurs peuvent désormais utiliser Merlin pour évaluer les performances de nouveaux schémas de correction d'erreurs à des tailles de système auparavant inaccessibles. La capacité de simuler ces circuits de manière exacte, sans approximation, permet une évaluation précise des taux d'erreur logique et des besoins en ressources, qui sont des facteurs critiques pour déterminer la viabilité d'une conception d'ordinateur quantique.

Les chercheurs ont également noté que leur méthode n'est pas une solution universelle pour tous les circuits quantiques. Les circuits incluant certains types de mesures ou de portes qui ne correspondent pas au motif polynomial nécessitent toujours un temps exponentiel pour être simulés. Cependant, en étendant leur cadre pour inclure des décompositions d'états en une somme de ces états polynomiaux spéciaux, ils ont ouvert une voie vers la simulation de classes de circuits encore plus larges, bien qu'avec un coût dépendant du nombre de termes dans la décomposition. Cette approche reflète la manière dont d'autres méthodes de simulation gèrent la complexité, mais avec l'avantage d'une représentation de base plus efficace pour la classe spécifique de circuits pertinente pour la correction d'erreurs quantiques.

En fin de compte, ce travail offre une fenêtre claire sur le comportement des systèmes quantiques complexes dans des conditions réalistes. Il démontre que même en présence de bruit, certains circuits quantiques maintiennent une structure qui peut être exploitée pour une simulation classique efficace. Cette intuition valide non seulement la faisabilité de protocoles de correction d'erreurs spécifiques, mais offre également un nouveau prisme pour observer la dynamique interne des ordinateurs quantiques. Alors que le domaine s'oriente vers la construction de machines plus grandes et plus capables, des outils comme Merlin seront essentiels pour naviguer entre les compromis des différentes options de conception et pour garantir que la voie vers l'informatique quantique universelle soit bâtie sur un fondement de physique fiable et bien comprise.