Introduction aux codes du CLD dans la communication quantique

Les systèmes de communication quantique tirent parti des principes de la mécanique quantique pour permettre une transmission sécurisée des données, la distribution de clé quantique (QKD) démontrant déjà la viabilité commerciale. Cependant, le déploiement pratique de ces systèmes dépend de façon critique de la correction des erreurs, car les canaux quantiques sont intrinsèquement bruyants et les qubits fragiles. Les codes de vérification de la parité de faible densité (LDPC), une classe de codes correcteurs d'erreurs qui ont atteint des performances quasi-shannon-limit dans les communications classiques, sont maintenant adaptés aux contextes quantiques.

Comprendre les codes du CLD

Les codes LDPC ont été introduits par Robert Gallager en 1963, mais n'ont été adoptés que dans les années 90 après que les algorithmes de décodage aient été améliorés. L'idée centrale est un code de correction des erreurs linéaires défini par une matrice de contrôle de parité clairsemée , c'est-à-dire une matrice avec très peu d'entrées non nulles. La propriété de sparsity permet un décodage itératif efficace en utilisant la propagation des croyances (également connue sous le nom d'algorithme de sum-product), ce qui donne une probabilité de décodage maximale avec une faible complexité.

Dans la communication classique, les codes LDPC peuvent fonctionner à moins de 0,0045 dB de la limite Shannon pour les canaux de bruit gaussien (AWGN) blancs additifs, ce qui en fait une norme dans des applications telles que DVB-S2, WiMAX et 5G NR. Les codes sont généralement décrits par leurs distributions de degrés : le degré variable de nœud et de contrôle du degré de nœud, qui ensemble déterminent le comportement de performance et de convergence du code.

Pour les systèmes quantiques, les codes LDPC classiques ne peuvent pas être appliqués directement parce que les erreurs quantiques comprennent les bit-flips (), les phase-flips ([) et les combinaisons ([). Les codes de correction des erreurs quantiques doivent satisfaire aux conditions de correction des erreurs Knill-Laflamme. Une approche courante consiste à construire des codes LDPC quantiques à partir des codes LDPC classiques en utilisant la construction CSS (Calderbank-Shor-Steane) qui produit un code stabilisant. Cette méthode nécessite deux codes LDPC classiques — un pour les erreurs de type et un pour les erreurs de type — qui satisfont à une condition d'orthogonalité mutuelle.

Ces codes promettent de réduire sensiblement le nombre de codes de surface qubit, qui sont actuellement la famille la plus étudiée de codes quantiques correcteurs d'erreurs. Par exemple, un code LDPC quantique avec un taux fini de 0,1 et une échelle de distance comme n^0.5 peut obtenir des codes de surface plus bas que les codes de surface pour les grandes tailles de blocs. Cependant, le décodage des codes LDPC quantiques demeure un défi important parce que l'algorithme de propagation des croyances doit être adapté pour traiter les erreurs dégénérées, phénomène unique aux codes quantiques où différentes configurations d'erreurs produisent le même syndrome.

Principes fondamentaux de la communication quantique

Canaux quantiques et modèles de bruit

Contrairement aux canaux symétriques binaires classiques, les canaux quantiques sont modélisés par des cartes de trace-conservation entièrement positives (CPTP). Les modèles de bruit courants comprennent le canal dépolarisant (où chaque qubit est remplacé par un état mixte maximal avec probabilité p), le canal bit-flip, le canal phase-flip et le canal d'amortissement de l'amplitude. En pratique, les canaux quantiques réalistes subissent également des effets corrélés du bruit et de la mémoire, ce qui complique la conception de la correction des erreurs.

Pour les systèmes de détection par satellite, la turbulence atmosphérique et la lumière de fond entraînent des erreurs supplémentaires. La correction des erreurs doit fonctionner efficacement sur ces différents profils sonores, et les codes LDPC offrent la flexibilité pour être optimisés pour des statistiques de canaux spécifiques.

Répartition des clés quantiques et rapprochement des erreurs

Dans les protocoles QKD tels que BB84 ou E91, deux parties (Alice et Bob) échangent des états quantiques pour générer une clé secrète partagée. Après la transmission quantique, elles effectuent la réconciliation d'erreur, une étape classique de post-traitement où elles corrigent les écarts en utilisant des codes correcteurs d'erreurs. Les codes LDPC classiques sont déjà utilisés dans les systèmes commerciaux QKD pour la réconciliation, obtenant une grande efficacité près de la limite Shannon. Cependant, ces codes fonctionnent sur des bits classiques dérivés de mesures quantiques, et non sur les qubits eux-mêmes.

Pour une introduction détaillée à la correction quantique des erreurs, voir Nielsen et Chuang's classic text ou des revues récentes telles que cet article Nature sur la correction quantique des erreurs.

Les défis dans la mise en œuvre des codes de CLD dans les systèmes quantiques

Bruit quantique et modèles d'erreur

Les canaux de communication classiques sont bien modélisés par les canaux AWGN ou binaires symétriques, mais les canaux quantiques impliquent une superposition et un enchevêtrement. Les erreurs peuvent se produire simultanément dans plusieurs bases, et le modèle d'erreur le plus simple – le canal dépolarisant – introduit déjà trois types d'erreurs indépendants (X, Y[, Z) avec une probabilité égale.

De plus, les codes quantiques doivent faire face à la propagation d'erreur pendant la mesure du syndrome : une seule erreur physique peut se propager à plusieurs qubits de données à travers le circuit de mesure. Les codes LDPC avec générateurs de stabilisateurs de poids élevé (communs dans les constructions classiques) sont particulièrement sujets à cette question, exigeant des protocoles d'extraction du syndrome tolérant les défauts qui augmentent le nombre de qubits et la profondeur de la porte. La conception de stabilisateurs de faible poids pour les codes LDPC quantiques est un domaine de recherche actif, avec des méthodes comme sparse CSS codes et codes d'extension quantique[ visant à maintenir les poids des générateurs petits.

Décohérence quantique et contraintes de temps

Les qubits ont des temps de cohérence finis – le T1 temps de relaxation et le T[2 temps de gradation – qui limitent la durée de correction des erreurs. Dans les qubits supraconducteurs, les temps de cohérence de pointe sont de quelques centaines de microsecondes, tandis que les temps de porte sont de dizaines à des centaines de nanosecondes. Cela impose un budget strict : tout le cycle de correction des erreurs (y compris les mesures du syndrome, le décodage et les opérations correctives) doit être terminé dans la fenêtre de cohérence du qubit.

Pour répondre aux contraintes de temps, des décodeurs efficaces sur le matériel sont en cours de développement, comme des décodeurs itératifs stochastiques de propagation de croyances et analogiques. Pour les codes LDPC quantiques, des décodeurs basés sur le syndrome utilisant l'algorithme des décimations guidées ou des corrections dégénérées peuvent réduire le nombre d'itérations. Toutefois, aucune architecture de décodeur existante ne permet simultanément d'atteindre la vitesse, la faible puissance et la tolérance aux défauts requises pour les ordinateurs quantiques pratiques.

Complexité de conception du code

La conception d'un bon code LDPC quantique est plus complexe que son homologue classique. Premièrement, le code doit être un code stabilisateur, ce qui implique que la matrice de contrôle doit se déplacer (c'est-à-dire que le produit intérieur symlectique de deux lignes est zéro). Pour les codes CSS, cela se réduit à H X * H Z^T = 0. L'atteinte de ce résultat tout en maintenant la sparosité et la bonne distance n'est pas triviale. Deuxièmement, le code doit avoir un seuil d'erreur élevé ] – le taux d'erreur physique maximal en dessous duquel les taux d'erreur logique peuvent être supprimés arbitrairement en augmentant la taille du code.

Troisièmement, les effets de grandeur finie sont plus prononcés dans les codes quantiques en raison de la dégénérescence logique. Les petits codes quantiques de LDPC ont souvent une faible distance minimale par rapport aux codes classiques ayant la même longueur de bloc, et les défaillances de décodage peuvent être catastrophiques en raison d'erreurs logiques qui modifient l'état codé. [[]]]]]]][FLT][FLT][FLT][F][F

Pour une étude exhaustive des constructions de codes quantiques de CLD, voir ce document de 2022 de Babar et al.

Demandes de ressources et surcoûts de Qubit

Pour un qubit logique codé avec un code de taux LDPC quantique rk/]n, le nombre de qubits physiques requis est nm, où m est le nombre de qubits de syndrome. Dans la construction CSS, mmn] - k[bit:17]]mmmmmmmmmmmmm=00]m[F=00]m=

De plus, les processeurs quantiques ont actuellement des nombres limités de qubits (=100–50 pour les systèmes basés sur la porte, des milliers pour les simulateurs quantiques analogiques).L'exécution d'une mémoire quantique corrigée par erreur nécessite au moins quelques centaines de qubits pour même un qubit logique unique avec suppression d'erreur utile.La qualité physique du qubit—mesurée par les fidélités et la cohérence des portes—doit également s'améliorer.Les fidélités actuelles des portes à deux qubits dans les systèmes supraconducteurs sont d'environ 99,5 à 99,9 %, ce qui peut être insuffisant pour que les codes de surface atteignent le seuil de rentabilité.

Possibilités et orientations futures

Sécurité accrue dans la distribution des clés quantiques

Les codes LDPC quantiques peuvent améliorer directement les systèmes QKD en permettant de plus longues distances sécurisées[ et des taux de clé plus élevés[. Dans le QKD indépendant des appareils de mesure (DDI-QKD), les erreurs de préparation et de détection imparfaites de l'état peuvent être corrigées à l'aide de codes LDPC efficaces. La structure à faible densité permet un codage et un décodage à haute vitesse sur matériel classique, cruciaux pour la génération de clé en temps réel.

Pour une étude de cas des codes de CLD dans QKD, voir cet article de Journal of Lightwave Technology.

Réseaux et répéteurs quantiques évolutives

Un des grands défis de la communication quantique est de passer de liens point à point à un internet quantique à grande échelle. Les répéteurs de quantité qui utilisent la correction d'erreur peuvent surmonter la perte de transmission en scindant le canal en segments et en effectuant des échanges d'entêtements. Les architectures de répéteurs actuels utilisent principalement le code de surface ou des codes CSS simples avec des frais élevés.

[100]]=100]][FLT:[F][F][

Correction d'erreur hybride classique-quante

Une direction prometteuse est des codes concaténé où un code LDPC quantique externe est combiné avec un code de surface interne ou un code de répétition. Cette approche hybride tire parti des forces de chacun : le code intérieur gère des taux d'erreur élevés avec une correction rapide et faible, tandis que le code LDPC quantique externe réduit les erreurs résiduelles à des niveaux extrêmement bas. Cette concaténation a été analysée pour la mémoire quantique et offre un chemin vers l'obtention des taux d'erreur logiques 10 pour le calcul quantique à grande échelle.

Un autre paradigme hybride est les codes polaires classical-quantum combinés avec le décodage de la propagation de croyances de style LDPC. En utilisant des canaux d'information latérale classiques ou d'effacement, ces systèmes peuvent obtenir un débit plus élevé. La combinaison de distillation classique et de correction d'erreur quantique sera cruciale pour les réseaux quantiques de première génération, où le calcul quantique totalement tolérant aux défauts n'est pas encore disponible.

Progrès dans le décodage des algorithmes et du matériel

La mise au point de décodeurs efficaces pour les codes LDPC quantiques est un domaine de recherche dynamique. La propagation traditionnelle des croyances souffre de dégradation de la performance due aux cycles du graphique Tanner et de la dégénérescence. Plusieurs modifications ont été proposées:

  • Production de croyances dégénérées: permet des messages qui représentent des opérateurs logiques, permettant au décodeur de traiter différentes configurations d'erreurs qui produisent le même syndrome comme équivalent.
  • Décodage des statistiques ordonnées (OSD)[: traitement post-traitement de la sortie de propagation des croyances pour améliorer la correction des erreurs au coût d'un calcul supplémentaire.
  • Message neuronal passant: former des réseaux neuronaux récurrents pour mettre en œuvre le décodage itératif, en atteignant des seuils quasi optimaux avec moins d'itérations.
  • Décodeurs améliorés d'apprentissage de la machine: utilisez l'apprentissage profond pour prédire les configurations d'erreurs directement à partir de syndromes, contournant les algorithmes itératifs pour les petits codes.

Du côté matériel, Des décodeurs ASIC pour les codes LDPC quantiques sont en cours de conception qui fonctionnent à des températures cryogéniques, consommant une puissance minimale pour éviter de chauffer le processeur quantique. Ces décodeurs doivent également être eux-mêmes tolérants aux défauts, car toute erreur classique dans le traitement du syndrome peut être désastreuse.

Cryptographie post-quante et pollinisation croisée

Le développement de codes quantiques LDPC pour la communication est également bénéfique pour la cryptographie postquantique classique. De nombreux schémas candidats dans le processus de normalisation postquantique du NIST (par exemple, BIKE, HQC, Classic McEliece) s'appuient sur des codes correcteurs d'erreurs, et les codes LDPC sont de plus en plus attentifs en raison de leurs frais généraux plus bas. Les algorithmes optimisés pour le décodage quantique LDPC – comme la propagation de croyances avec OSD – peuvent être directement appliqués à la cryptographie basée sur le code, ce qui permet des implémentations plus rapides et plus sécurisées.

Conclusion

La mise en oeuvre des codes LDPC dans les systèmes de communication quantique présente une frontière de recherche multiforme avec des défis redoutables et des possibilités de transformation.Les obstacles techniques – y compris les modèles de bruit complexes, les contraintes de vitesse du décodeur, les complexités de conception des codes et les frais généraux élevés du qubit – les progrès coordonnés de la demande dans la théorie du codage, l'ingénierie matérielle et le développement d'algorithmes.

À mesure que le matériel quantique mûrira et que les premiers qubits logiques tolérants aux défauts deviendront opérationnels, les codes LDPC quantiques joueront probablement un rôle central dans la construction de l'internet quantique. L'interaction entre la construction théorique du code, la mise en œuvre pratique du décodeur et les capacités des appareils physiques déterminera à quelle vitesse ces codes prometteurs passeront de la théorie à la pratique.

Pour plus de détails, le lecteur intéressé est dirigé vers l'examen approfondi "Codes de la LDPC de Quantum : L'état de la technique" et l'enquête sur le décodage indicatif pour la correction quantique des erreurs