Dynamical GKP codes

Les ordinateurs quantiques portent la promesse de résoudre des problèmes qui prendraient des millénaires aux supercalculateurs d'aujourd'hui pour être déchiffrés, mais ils sont incroyablement fragiles. Pour fonctionner, ils doivent protéger des fragments délicats d'information contre le moindre bruit, un peu comme essayer de maintenir debout un château de cartes en plein ouragan. Depuis des décennies, les scientifiques s'appuient sur une stratégie appelée correction d'erreurs quantiques, où l'information est répartie à travers de nombreux systèmes minuscules afin que, si une partie échoue, le message entier survive. Récemment, une nouvelle approche puissante est apparue, utilisant la nature continue et fluide des ondes lumineuses et sonores — plus précisément les vibrations de cavités électromagnétiques ou de résonateurs mécaniques — pour stocker cette information. Cette méthode, connue sous le nom de code Gottesman-Kitaev-Preslik, a déjà été construite en laboratoire à l'aide de circuits supraconducteurs et d'ions piégés. Elle est considérée comme l'une des voies les plus efficaces vers la construction d'une machine tolérante aux fautes car un seul oscillateur bien protégé peut accomplir le travail de nombreux bits quantiques standards.

Cependant, un fossé important subsistait dans la manière dont ces systèmes continus sont gérés. Alors que les chercheurs avaient développé des stratégies sophistiquées basées sur le temps pour protéger les bits quantiques standards par une séquence de mesures, ces techniques dynamiques n'avaient jamais été adaptées avec succès aux systèmes à ondes continues. Sans cet outil, les scientifiques manquaient d'un moyen de combiner les meilleures caractéristiques de différents codes de correction d'erreurs ou de passer de l'un à l'autre pour effectuer des calculs complexes. Dans une nouvelle étude, les chercheurs Jonathan Pelletier et Baptiste Royer de l'Université de Sherbrooke ont comblé ce fossé. Ils ont créé un nouveau cadre qui apporte ces stratégies de mesure dynamiques et temporelles au monde des codes quantiques à variables continues, enseignant ainsi aux systèmes à ondes comment utiliser les mêmes outils adaptatifs puissants qui étaient auparavant réservés aux bits quantiques standards.

Le cœur de cette réussite réside dans la compréhension de la gestion de l'information lorsque les règles de mesure changent au fil du temps. Dans l'approche standard, un code quantique est statique ; il est construit une fois et reste identique. Mais dans un code dynamique, le système évolue constamment. Imaginez un système de sécurité qui change ses serrures toutes les quelques minutes selon un calendrier précis. Si un intrus tente de s'introduire, le système doit être capable de suivre non seulement l'endroit où l'intrusion a eu lieu, mais aussi comment le changement des serrures affecte la sécurité de l'ensemble du bâtiment au fil du temps. Pelletier et Royer ont développé une carte mathématique pour suivre ces changements pour les systèmes à ondes. Ils ont montré qu'en mesurant des décalages spécifiques dans les motifs d'ondes selon une séquence précise, le système peut mettre à jour sa structure interne, passant efficacement entre différents types de protection sans perdre l'information stockée.

Pour que cela fonctionne, l'équipe a d'abord dû généraliser le concept même du code. Ils ont introduit un nouveau type de code qui agit comme un échafaudage flexible, permettant à certaines parties du système d'être mesurées et ajustées sans perturber l'information centrale. C'est similaire à la façon dont un bâtiment pourrait avoir un noyau central robuste qui soutient la structure, tandis que les murs extérieurs peuvent être réaménagés ou remplacés. En traitant le système à ondes comme ce type de structure flexible, ils ont pu dériver des règles claires sur la façon dont le système se met à jour après chaque mesure. Ces règles permettent aux chercheurs de prédire exactement comment les erreurs se comporteront et si le système peut toujours récupérer le message original après une séquence de perturbations.

L'un des résultats les plus frappants de ce travail est la création d'un exemple spécifique appelé code Floquet carré-hexagonal. Ce code combine les forces de deux conceptions existantes à ondes : le code carré et le code hexagonal. Chacune de ces conceptions originales possède son propre ensemble d'opérations logiques, ou « portes », qui peuvent être effectuées sur l'information. Le code carré est bon pour un certain ensemble d'opérations, tandis que le code hexagonal excelle dans un autre. En utilisant ce nouveau cadre dynamique, les chercheurs ont créé un système capable d'effectuer l'ensemble complet des opérations des deux conceptions. De plus, ce nouveau code combiné nécessite des mesures nettement plus courtes et moins exigeantes que celles nécessaires pour les codes individuels. En termes pratiques, cela signifie que le matériel nécessaire pour exécuter ces calculs pourrait être plus simple et plus fiable, car les mesures sont moins susceptibles d'introduire de nouvelles erreurs. Les chercheurs ont calculé que les mesures requises pour ce nouveau code sont environ vingt-six pour cent plus courtes que les mesures les plus courtes nécessaires pour le code carré standard, une réduction qui pourrait améliorer considérablement la fidélité de l'ensemble du système.

L'étude a également révélé un lien fascinant entre deux manières très différentes de mesurer les systèmes quantiques. Dans le monde des bits quantiques standards, les mesures sont discrètes et binaires, comme l'action de basculer un interrupteur. Dans le monde des ondes, une technique de mesure courante est la détection homodyne, qui mesure la position ou la quantité de mouvement continue d'une onde. Les chercheurs ont découvert que si une mesure implique une relation irrationnelle spécifique entre l'onde et l'outil de mesure, elle se comporte exactement comme cette détection homodyne continue. Cette découverte n'est pas seulement un détail technique ; elle relie le monde discret et numérique de la correction d'erreurs quantiques au monde continu et analogique des systèmes optiques et micro-ondes. Cela suggère qu'en choisissant soigneusement la manière dont ces mesures sont effectuées, les scientifiques peuvent effectivement simuler des mesures continues complexes à l'aide des outils de la correction d'erreurs discrètes, ouvrant de nouvelles façons de penser à la manière de contrôler et de protéger l'information quantique.

Les implications de ce travail vont au-delà d'un simple nouveau code. Il fournit une méthode générale pour calculer la distance d'un code dynamique, qui est une mesure de la capacité du système à résister aux erreurs. En identifiant une structure « persistante » qui reste stable tout au long de la séquence de mesure, les chercheurs ont montré qu'ils peuvent déterminer efficacement la capacité du système à corriger les erreurs. Cette méthode n'est pas limitée à l'exemple spécifique qu'ils ont construit ; elle s'applique à toute séquence de mesures dans ces systèmes à ondes. La capacité de calculer ces propriétés efficacement est cruciale pour la conception des futurs ordinateurs quantiques, car elle permet aux ingénieurs de tester et d'optimiser leurs conceptions avant de les construire.

En fin de compte, cette recherche démontre que les outils développés pour les bits quantiques standards peuvent être transférés avec succès au monde plus complexe et continu des systèmes à ondes. En combinant la flexibilité des séquences de mesure dynamiques avec la robustesse du codage à ondes, les auteurs ont identifié une nouvelle voie vers des ordinateurs quantiques plus efficaces et plus puissants. Le travail suggère que l'avenir de la correction d'erreurs quantiques ne réside peut-être pas dans le choix entre différents types de codes, mais dans le tissage dynamique de ceux-ci, créant des systèmes plus intelligents, plus adaptables et mieux protégés contre le bruit qui menace de détruire l'information.