Quantum subspace verification for error correction codes

Pour construire un ordinateur capable de résoudre des problèmes hors de portée de toute machine actuelle, les scientifiques font la course pour créer des ordinateurs quantiques. Ces dispositifs utilisent les règles étranges du monde subatomique pour traiter l'information de manières qui semblent impossibles dans notre expérience quotidienne. Cependant, ces machines sont incroyablement fragiles. La moindre perturbation due à la chaleur, aux vibrations ou au bruit électromagnétique peut provoquer le brouillage et la disparition de l'information qu'elles contiennent. Pour y remédier, les chercheurs utilisent une technique appelée correction d'erreurs quantiques. Au lieu de stocker une seule unité d'information sur une seule particule minuscule, ils la répartissent sur de nombreuses particules, créant ainsi un filet de sécurité. Si une particule commet une erreur, les autres peuvent aider à la corriger, un peu comme une chorale où un chanteur manquant une note ne gâche pas la chanson parce que le reste du groupe maintient l'air.

Le défi consiste à savoir si ce filet de sécurité fonctionne réellement. Dans le monde réel, ces systèmes quantiques sont bruyants, et les états « parfaits » que les scientifiques visent sont rarement atteints. Pour vérifier si un ordinateur quantique fait son travail, les scientifiques tentent généralement de mesurer l'ensemble du système pour voir à quel point il est proche de l'idéal. Mais cette méthode traditionnelle revient à essayer de compter chaque grain de sable sur une plage pour vérifier la taille de la plage ; cela demande tellement de temps et d'efforts que cela devient impossible pour des systèmes de grande envergure. Une nouvelle étude de Junjie Chen et de ses collègues propose une manière plus intelligente de vérifier la santé de ces systèmes de correction d'erreurs quantiques sans avoir besoin de mesurer chaque partie.

Les chercheurs ont réalisé que pour vérifier si un ordinateur quantique fonctionne correctement, vous n'avez pas besoin de connaître l'état exact de chaque particule. Vous avez seulement besoin de savoir si le système reste dans la « zone de sécurité » spécifique conçue par le code de correction d'erreurs. Ils ont développé un nouveau cadre appelé vérification de sous-espace quantique. Imaginez le code de correction d'erreurs comme une pièce spécifique dans un grand bâtiment. L'objectif est de s'assurer que l'ordinateur est à l'intérieur de cette pièce, et non pas nécessairement de cartographier chaque pouce de sa position à l'intérieur de celle-ci. En se concentrant sur cette zone plus large, l'équipe a créé une méthode qui utilise beaucoup moins de mesures pour confirmer que le système fonctionne comme prévu.

L'équipe a testé son idée sur deux types majeurs de codes de correction d'erreurs utilisés dans le domaine : les codes stabilisateurs et les codes de contrôle de parité à faible densité quantique. Les codes stabilisateurs sont comme un ensemble de règles qui dictent comment les particules doivent se comporter ensemble, tandis que l'autre type est une structure plus complexe et flexible, conçue pour gérer les erreurs efficacement. Les chercheurs ont démontré qu'en utilisant leur nouvelle méthode, ils pouvaient vérifier ces codes en utilisant uniquement des mesures locales. Cela signifie qu'ils avaient seulement besoin de vérifier de petits groupes de particules à la fois, plutôt que l'ensemble du système simultanément. Pour de nombreux codes courants, le nombre de configurations de mesure différentes requises était étonnamment faible, restant parfois constant même lorsque la taille de l'ordinateur augmentait.

Une découverte clé est que, pour certains codes avancés, l'effort requis pour vérifier le système ne croît pas avec le nombre de particules physiques utilisées. Par le passé, vérifier un système plus grand signifiait un travail exponentiellement plus important, devenant rapidement ingérable. Avec cette nouvelle approche, le travail reste gérable et, dans certains cas, l'effort de vérification dépend uniquement du nombre de pièces logiques d'information protégées, et non du nombre total de particules physiques qui les supportent. Il s'agit d'un changement significatif, car cela signifie que les scientifiques peuvent vérifier des ordinateurs quantiques à grande échelle sans avoir besoin de ressources qui deviennent incontrôlables.

Les chercheurs ont également combiné cette nouvelle méthode de vérification avec une technique existante pour estimer à quel point un état quantique spécifique correspond à une cible. Cette combinaison permet de vérifier la qualité des « états magiques », qui sont des états quantiques spéciaux et complexes nécessaires pour effectuer les calculs les plus puissants. Les méthodes précédentes pour vérifier ces états étaient si gourmandes en ressources qu'elles étaient impraticables pour de grands systèmes. Le nouveau protocole réduit le nombre de mesures nécessaires d'un facteur massif, rendant possible la vérification de ces états critiques de manière efficace.

L'étude offre une voie claire pour tester les ordinateurs quantiques à mesure qu'ils augmentent en taille. En utilisant la structure connue des codes de correction d'erreurs pour guider les mesures, l'équipe a montré qu'une vérification peut être effectuée avec une grande confiance en utilisant une fraction des ressources précédemment jugées nécessaires. Ce travail ne propose pas seulement une amélioration théorique ; il fournit un outil pratique qui peut être implémenté sur le matériel quantique actuel et futur. Alors que les scientifiques se rapprochent de la construction d'ordinateurs quantiques tolérants aux pannes, disposer d'un moyen fiable et efficace de vérifier leurs performances est essentiel. Ce nouveau cadre garantit que, lorsque ces machines seront enfin prêtes, nous saurons exactement à quel point elles fonctionnent bien.