Meet-in-the-Middle Compilation of the $[\mathrm{CNOT}]$ Class with Fibonacci Anyons

Dans la quête de la construction d'une machine capable de résoudre des problèmes impossibles pour les ordinateurs d'aujourd'hui, les scientifiques explorent une voie qui repose sur les règles étranges de l'infiniment petit. Contrairement aux ordinateurs classiques, qui traitent l'information à l'aide de bits qui sont soit zéro, soit un, les ordinateurs quantiques utilisent des bits quantiques, ou qubits. Ces qubits peuvent exister dans un état délicat d'être à la fois zéro et un en même temps, ce qui leur permet d'effectuer des calculs complexes en parallèle. Cependant, cet état est incroyablement fragile. La moindre perturbation due à la chaleur, aux vibrations ou au bruit électromagnétique peut provoquer l'effondrement de l'information, un problème connu sous le nom de décohérence. Pour y remédier, les ingénieurs tentent généralement de protéger les qubits ou d'ajouter des couches supplémentaires de correction d'erreurs, mais ces méthodes nécessitent souvent des milliers de composants physiques pour créer une seule unité logique stable.

Une approche différente, connue sous le nom de calcul quantique topologique, tente de résoudre cette fragilité à la source en changeant la nature même des porteurs d'information. Au lieu d'utiliser des particules standards, cette méthode utilise des quasi-particules exotiques appelées anyons. Imaginez ces anyons comme des fils se déplaçant dans un espace à deux dimensions. Lorsque vous en échangez deux, ils ne se contentent pas de rebondir l'un sur l'autre ; ils se tissent l'un autour de l'autre, créant un tressage. L'information n'est pas stockée dans les particules elles-mêmes, mais dans la forme du tressage qu'elles forment. Comme l'information dépend uniquement de la forme globale du tissage et non des détails précis du mouvement des fils, elle est naturellement protégée contre les petites erreurs. Si les fils oscillent légèrement, la forme du tressage reste la même, et l'information survit.

Le type spécifique d'anyon qui a captivé l'attention des chercheurs est l'anyon de Fibonacci. Ces particules possèdent une propriété unique : lorsque deux d'entre elles fusionnent, elles peuvent soit disparaître dans le néant, soit se combiner pour former un autre anyon de Fibonacci. Cette règle simple crée une structure mathématique riche qui, en théorie, permet un calcul quantique universel. Cependant, il y a un piège. Pour effectuer un calcul utile, ces anyons doivent être disposés en groupes pour représenter des qubits logiques. Lorsque les chercheurs tentent de tresser six anyons de Fibonacci pour créer une porte à deux qubits — une opération fondamentale qui lie deux morceaux d'information ensemble — un problème survient. L'espace mathématique où vivent ces tresses possède cinq dimensions, mais un système à deux qubits n'en nécessite que quatre. Cette cinquième dimension supplémentaire agit comme une fuite. Si le tressage n'est pas parfait, une partie de l'information quantique peut s'échapper de l'espace à quatre dimensions prévu et tomber dans cette cinquième dimension inutilisable. Une fois l'information fuitée là, elle est perdue, et le calcul échoue. L'objectif est donc de trouver un motif de tressage spécifique qui maintienne l'information verrouillée dans le bon espace tout en effectuant l'opération logique nécessaire.

Dans une étude récente, des chercheurs se sont donné pour mission de trouver le motif de tressage parfait pour cette tâche. Ils se sont concentrés sur une classe spécifique d'opérations équivalentes à la porte CNOT, un bloc de construction standard en informatique quantique qui permet à un qubit de contrôler un autre. Le défi consistait à trouver une séquence de mouvements de tressage qui effectuerait cette porte avec une fuite quasi nulle. Comme le nombre de séquences de tressage possibles croît de manière exponentielle avec le nombre de mouvements, trouver la meilleure solution revient à chercher une aiguille unique dans une botte de foin qui s'agrandit chaque seconde. Les tentatives précédentes reposaient sur des suppositions aléatoires ou des améliorations itératives, qui manquaient souvent les meilleures solutions.

L'équipe de cette étude a adopté une approche différente, utilisant une puissance de calcul massive pour vérifier systématiquement chaque option possible dans un intervalle défini. Ils ont construit un pipeline spécialisé fonctionnant sur des processeurs graphiques haute performance, leur permettant de tester des tresses bien plus longues que ce que quiconque avait fait auparavant. Ils ont commencé par vérifier toutes les séquences possibles en utilisant cinq mouvements de base, étendant leur recherche à une longueur de vingt et un étapes. À cette longueur, ils ont trouvé une tresse qui effectuait la porte avec une erreur de fuite d'environ 0,004, ce qui est meilleur que les meilleurs résultats trouvés par échantillonnage aléatoire dans des études précédentes, même si ces recherches aléatoires examinaient des séquences beaucoup plus longues.

Pour aller plus loin, les chercheurs ont réalisé qu'ils n'avaient pas besoin de vérifier chaque possibilité. Ils ont découvert que beaucoup des tresses complexes qu'ils recherchaient pouvaient être construites en utilisant seulement trois des cinq mouvements de base. En restreignant leur recherche à ce ensemble plus petit, ils pouvaient explorer des séquences beaucoup plus longues sans manquer de temps. Ils ont appliqué d'autres raccourcis intelligents, ne regardant que les tresses commençant et finissant par un mouvement spécifique, puis en se concentrant sur les tresses qui sont des palindromes — des séquences qui se lisent de la même manière à l'endroit et à l'envers. Ces restrictions ont considérablement réduit le nombre d'options à vérifier tout en garantissant qu'ils ne manqueraient pas les meilleures solutions.

En utilisant ces méthodes optimisées, l'équipe a étendu sa recherche exhaustive à des tresses de soixante-douze étapes. Dans cet immense espace, ils ont trouvé une tresse spécifique de soixante-neuf étapes qui effectuait la porte à deux qubits avec un taux d'erreur d'environ une partie sur dix milliards. C'est un nombre incroyablement petit, indiquant que l'information est restée presque parfaitement dans l'espace prévu. Les chercheurs ont également prouvé mathématiquement que la fuite ne peut pas être réduite à exactement zéro pour une longueur de tresse finie, mais qu'elle peut s'en approcher arbitrairement à mesure que la tresse s'allonge. Ils ont montré que la probabilité de trouver une tresse à faible fuite par pur hasard chute si rapidement avec la longueur que la recherche aléatoire devient inutile pour les séquences longues. Au lieu de cela, leur méthode consistant à restreindre soigneusement l'espace de recherche s'est avérée bien plus efficace.

L'étude démontre qu'en combinant l'intuition mathématique et la puissance de calcul brute, il est possible de trouver des moyens hautement efficaces de manipuler l'information quantique. Les chercheurs n'ont pas seulement trouvé une bonne tresse, ils ont établi un chemin clair pour en trouver de meilleures à l'avenir. Ils ont montré que les meilleures solutions ne sont pas cachées dans le bruit aléatoire, mais peuvent être découvertes en comprenant la structure du problème et en effectuant une recherche systématique. Ce travail constitue un exemple concret de la manière dont la protection topologique peut être exploitée pour créer des portes quantiques fiables, rapprochant le domaine de la construction d'un ordinateur capable de résoudre des problèmes dépassant la portée des machines classiques. Les conclusions confirment que, si le chemin vers un ordinateur quantique topologique pleinement fonctionnel est complexe, les outils pour le naviguer deviennent plus aiguisés et plus précis.