Le calcul quantique promet de résoudre des problèmes de factorisation, de chimie quantique et de simulation de dynamique plus rapidement que les ordinateurs classiques, mais exige la tolérance aux fautes, c'est-à-dire la suppression des erreurs à un niveau utilisable par les algorithmes. Les architectures traditionnelles à code de surface sont fiables mais inefficaces : le rapport entre qubits physiques et logiques est élevé. Autour de ce travail gravite tout un domaine de correction d'erreurs quantiques et d'algorithmes quantiques : des recherches voisines ont déjà montré une accélération quantique d'un facteur plusieurs, des puces en silicium à 18 qubits, l'auto-réparation d'ordinateurs quantiques et des codes iceberg où les erreurs augmentent les performances. L'architecture vélo s'inscrit dans cette lignée, mais mise sur la modularité et les connexions longue distance entre qubits, ce qui ouvre la voie aux codes à faible densité de vérifications.
À la base se trouvent les codes bicycliques bidimensionnels, qui généralisent le code torique : les qubits et les vérifications sont placés sur un tore, et chaque vérification est en outre reliée à deux qubits éloignés via des connexions longue distance. Pour les codes gross (144 qubits physiques, 12 logiques, distance 12) et two-gross (288, 12, 18), nous construisons des circuits explicites de mesure de syndrome, des opérations logiques par déformation de code (chirurgie quantique) et l'injection d'états T à partir d'usines. La tolérance aux fautes a été vérifiée par simulation du bruit de circuit avec probabilité d'erreur p, incluant les erreurs de préparation, de mesure et de portes à deux qubits. Pour estimer les erreurs logiques rares, nous avons utilisé une méthode d'ajustement du spectre de défaillance, et les distances phénoménologiques ont été calculées par programmation en nombres entiers.
Pour le code gross, à p=10⁻³, l'erreur logique au repos est de 10⁻⁸·⁸, et pour two-gross de 10⁻²⁰·¹. À p=10⁻⁴, two-gross atteint 10⁻³⁸·³, soit plusieurs ordres de grandeur de moins que le code de surface de distance comparable. Les mesures intra-module et inter-modules ont des erreurs de l'ordre de 10⁻⁵–10⁻⁷ pour gross et de 10⁻⁹–10⁻¹⁸ pour two-gross. Les estimations de bout en bout pour des circuits aléatoires et la simulation du modèle d'Ising en champ transverse montrent qu'avec 5 000 qubits physiques et p=10⁻³, l'architecture vélo exécute 10 fois plus d'opérations logiques que le code de surface ; pour le modèle d'Ising, 8 138 qubits suffisent à p≈7×10⁻⁴, contre 58 à 73 000 pour le code de surface.
Ce travail montre que les codes à faible densité de vérifications peuvent être non seulement théoriquement plus efficaces, mais aussi pratiquement réalisables dans une architecture modulaire avec connexions longue distance. Contrairement aux travaux voisins qui examinent souvent des composants isolés (correction d'erreurs, compilation, usines d'états), nous assemblons ici une pile complète, de la connectivité physique à la compilation d'algorithmes et à l'estimation des ressources. C'est la première démonstration de bout en bout que la modularité et les connexions longue distance offrent un gain d'un ordre de grandeur en nombre de qubits logiques sans dégrader la fiabilité.
Les perspectives sont liées à l'amélioration des mesures inter-modules, dont les erreurs logiques limitent actuellement les performances globales. De nouvelles conceptions d'adaptateurs, l'optimisation du décodeur et des mesures parallèles sont possibles. Une autre direction est l'augmentation de la distance des codes : la famille des codes bicycliques permet une mise à l'échelle, ainsi que l'utilisation d'autres codes à faible densité de vérifications, jusqu'à des codes à vitesse constante. Enfin, on peut améliorer les usines d'états magiques en utilisant les connexions longue distance pour la cultivation ou la distillation.
L'architecture influencera la conception des processeurs quantiques, en particulier supraconducteurs, où les connexions longue distance sont déjà démontrées. Elle fixe également de nouvelles normes pour les compilateurs et les systèmes de correction d'erreurs.
Les prochaines étapes sont l'optimisation des opérations inter-modules et du décodeur, la recherche de circuits de mesure de syndrome avec une plus grande distance de circuit, ainsi que la réalisation d'un prototype de module sur du matériel réel.
En correction d'erreurs quantiques, la question de la réalisation pratique des codes à faible densité de vérifications reste ouverte : comment assurer la connectivité longue distance sans perte de qualité, comment décoder rapidement et précisément, comment mettre à l'échelle les modules. Ce travail relie directement ces problèmes en proposant des circuits et des estimations concrets, mais sans les résoudre complètement : par exemple, la distance de circuit pour le code gross est inférieure à la distance du code, et les mesures inter-modules nécessitent des améliorations.
Cette section s'adresse à l'auteur du travail et à ses collègues. Les travaux voisins ont été trouvés par une recherche sémantique dans notre archive, et non par correspondance de mots. Nous n'évaluons pas : nous montrons le champ autour.
Ce que fait ce travail
Cet article propose une architecture modulaire de calcul quantique inspirée du vélo, fondée sur des codes bicycliques bidimensionnels. Pour les codes gross et two-gross, des ensembles d'instructions logiques tolérantes aux pannes sont construits, les probabilités d'erreur sous bruit de circuit sont évaluées, et une stratégie de compilation est développée. Les estimations de ressources de bout en bout montrent qu'à nombre égal de qubits physiques, l'architecture vélo exécute des circuits logiques dix fois plus grands que les architectures à code de surface.
Où est sa force
La force de ce travail réside dans son approche de pile complète : de la connectivité physique et de la correction d'erreurs à la compilation d'algorithmes et à l'estimation des ressources, ce qui donne une vision globale de la faisabilité pratique des codes à faible densité de parité.
Vers où avancer
À essayer
Pourquoi cela peut compter
Si des ordinateurs quantiques modulaires utilisant des codes à faible densité de parité peuvent être réalisés sur les plateformes existantes, cela pourrait considérablement réduire les ressources nécessaires aux algorithmes quantiques pratiques et rapprocher leur exécution.
Travaux voisins dans notre archive
L'archive est vide autour de ce travail : l'analyse la plus proche n'est qu'à 0.56, contre 0,64 d'ordinaire. Il semble qu'on ait peu foré à côté.
Le code est nommé « gross » (de l'anglais « gross », soit 12 douzaines) parce qu'il code exactement 12 qubits logiques, autant que d'articles dans une douzaine de douzaines.