Improved Quantum Codes with Transversal T Gates

Construire un ordinateur quantique à grande échelle nécessite de résoudre un problème qui semble presque paradoxal : comment protéger des informations fragiles sans les détruire. Dans le monde quantique, l'acte même de vérifier les erreurs peut brouiller les données que vous tentez de sauvegarder. Pour éviter cela, les scientifiques s'appuient sur une stratégie appelée tolérance aux fautes, où l'information est répartie sur de nombreuses particules physiques, appelées qubits, de sorte que si l'une d'elles échoue, les autres maintiennent la ligne. La manière la plus efficace d'effectuer des calculs sur cette information distribuée est par des opérations « transversales ». Imaginez une chorale où chaque chanteur interprète une note spécifique exactement au même moment ; dans un code quantique, cela signifie appliquer une porte simple à chaque qubit physique simultanément pour créer une opération logique complexe sur les données encodées. Cette méthode est naturellement sûre car une erreur sur un qubit physique ne peut pas se propager à de nombreux autres pendant l'opération. Cependant, une loi fondamentale de la physique, connue sous le nom de théorème d'Eastin-Knill, dicte qu'aucun code quantique ne peut supporter un ensemble complet d'opérations universelles en utilisant uniquement ces méthodes transversales simples et sûres. Les scientifiques doivent donc trouver un moyen d'inclure au moins une opération difficile qui enfreint cette règle, ou trouver un code qui supporte une porte spécifique et cruciale de manière transversale tout en gérant le reste par d'autres moyens.

La porte au cœur de cette nouvelle recherche est la porte T, un type spécifique d'opération quantique qui est essentiel pour rendre les ordinateurs quantiques assez puissants pour résoudre des problèmes du monde réel. Bien que de nombreux codes quantiques puissent gérer un ensemble d'opérations plus simples appelées portes de Clifford de manière transversale, l'ajout de la porte T s'est avéré être un obstacle important. Pendant des années, les meilleures familles de codes quantiques connues capables de supporter une porte T transversale étaient bloquées avec de piètres mesures de performance. Soit elles devaient sacrifier la quantité d'informations qu'elles pouvaient stocker au profit de la protection contre les erreurs, soit elles ne pouvaient protéger qu'une petite quantité de données. Ces limitations signifiaient que pour construire un ordinateur utile, il faudrait un matériel physique impraticable, créant un surcoût massif qui rendait la construction à grande échelle lointaine. La question centrale pour les chercheurs a été de savoir s'il est possible de concevoir une famille de codes quantiques qui maintient un taux élevé de stockage d'informations tout en devenant plus forte à mesure que le système s'agrandit, tout en supportant cette porte T critique sans nécessiter de corrections complexes et sujettes aux erreurs.

Dans ce travail, un chercheur du Massachusetts Institute of Technology et d'IBM Research a développé un nouveau cadre qui élargit considérablement les possibilités de ces codes. L'étude introduit une méthode de construction de codes quantiques qui supportent la porte T transversale avec des paramètres auparavant jugés inaccessibles. Le chercheur y est parvenu en adaptant une classe de structures mathématiques connues sous le nom de codes monomiaux décroissants. Ces codes sont construits à partir de polynômes évalués sur une grille de points, et l'innovation du chercheur a consisté à sélectionner soigneusement quels points conserver et lesquels supprimer, un processus appelé ponction. En choisissant de supprimer des points selon un schéma structuré spécifique, le chercheur a pu créer des qubits logiques protégés par la structure restante. Crucialement, l'étude prouve qu'en utilisant un type spécifique de code polynomial pondéré et en le ponctuant en un ensemble de points soigneusement choisis, on peut créer des codes quantiques qui non seulement supportent la porte T, mais atteignent également un taux de stockage d'informations constant tandis que leur distance de correction d'erreurs augmente à mesure que le système s'étend. C'est la première fois qu'une telle combinaison est réalisée pour des codes supportant la porte T sans nécessiter d'étapes de correction supplémentaires.

L'article détaille deux approches principales pour construire ces codes. La première est une construction explicite, ce qui signifie que les étapes pour construire le code sont clairement définies et peuvent être suivies par un algorithme informatique. Cette méthode utilise une variation d'un objet mathématique bien connu appelé code de Reed-Muller, mais avec une nuance : le chercheur assigne différents « poids » aux variables du polynôme, rendant certaines parties du code plus lourdes ou plus significatives que d'autres. En ajustant ces poids et le schéma de points supprimés, le chercheur a démontré qu'il est possible de créer des codes qui stockent l'information à un taux constant tout en améliorant leur capacité à détecter et corriger les erreurs à mesure que le système s'agrandit. Ce résultat est significatif car il brise une barrière de longue date où les codes précédents ne pouvaient atteindre cette croissance qu'au détriment de leur taux de stockage. La seconde approche est une construction aléatoire, qui utilise la probabilité pour montrer que des paramètres encore meilleurs sont possibles, même si les étapes spécifiques pour les construire ne sont pas aussi simples à écrire. Cette méthode implique de protéger certains points de la suppression en utilisant une structure similaire à un hypergraphe, qui agit comme un bouclier pour des parties spécifiques du code, garantissant que l'information la plus critique reste intacte.

L'une des implications les plus profondes de ces découvertes concerne l'efficacité de la distillation d'états magiques, un processus nécessaire pour transformer des opérations quantiques bruitées en portes T de haute fidélité nécessaires au calcul. Dans les travaux précédents, l'efficacité de ce processus était limitée par un exposant spécifique qui déterminait la quantité de ressources physiques nécessaires pour créer une seule porte logique de haute qualité. Les nouveaux codes construits dans cette étude permettent à cet exposant d'approcher zéro, ce qui signifie que le surcoût requis pour créer ces portes essentielles devient négligeable à mesure que le système passe à l'échelle. Cela représente une amélioration spectaculaire par rapport aux meilleurs résultats précédents, où le surcoût demeurait une fraction significative des ressources totales. Le chercheur note également que, bien que les codes ne soient pas nécessairement des codes de contrôle de parité à faible densité (LDPC), qui sont une cible populaire pour l'implémentation matérielle, ils peuvent servir de couche logique puissante au-dessus d'autres codes ou être utilisés directement dans des architectures où les contraintes physiques sont moins rigides. Le travail fournit une expression mathématique sous forme fermée de la distance de ces codes ponctués, un résultat qui pourrait être utile dans d'autres domaines de la théorie de la communication classique et quantique.

L'étude ne prétend pas avoir résolu l'intégralité du problème de la construction d'un ordinateur quantique universel, ni suggère que ces codes spécifiques sont la seule voie possible. Elle écarte explicitement l'idée que les constructions précédentes étaient optimales, montant que les limites de ce qui est réalisable ont été repoussées. Le chercheur reconnaît que, bien que les constructions explicites soient une étape majeure, les constructions aléatoires suggèrent que des performances encore meilleures pourraient être possibles, bien qu'elles soient plus difficiles à implémenter directement. Le travail clarifie également que la propriété de la porte T transversale s'applique dans le sens le plus fort : appliquer la porte physique à chaque qubit produit directement la porte logique sur chaque qubit logique, sans nécessiter d'étapes de correction supplémentaires, ce qui simplifie le protocole de tolérance aux fautes. Cette clarté est une contribution clé, car les travaux précédents reposaient souvent sur des notions plus faibles de transversalité qui nécessitaient des opérations supplémentaires pour corriger les erreurs. En établissant ces nouveaux paramètres, la recherche ouvre un régime plus large de possibilités pour la conception de codes quantiques, suggérant que les compromis entre le taux de stockage et la protection contre les erreurs ne sont pas aussi rigides qu'on le croyait.

En fin de compte, cet article offre un nouveau plan directeur pour organiser l'information quantique afin de résister au bruit du monde physique tout en effectuant les opérations les plus difficiles requises pour le calcul. En repensant la façon de poncturer et de pondérer les codes mathématiques, le chercheur a montré qu'il est possible d'avoir le meilleur des deux mondes : une haute densité d'information et une protection croissante contre les erreurs, tout en supportant la porte T critique. Les résultats sont prouvés mathématiquement, fournissant une base solide pour les travaux futurs en correction d'erreurs quantiques. Alors que le domaine s'oriente vers la construction de systèmes quantiques plus larges et plus complexes, ces découvertes suggèrent que les coûts de surcoût associés à la tolérance aux fautes pourraient être inférieurs à ce qui était anticipé, rapprochant le rêve d'un ordinateur quantique à grande échelle et tolérant aux fautes de la réalité. Ce travail témoigne de la puissance de la structure mathématique pour résoudre des problèmes physiques, démontant qu'avec le bon agencement de l'information, les limitations du monde quantique peuvent être naviguées avec une efficacité surprenante.