Local-dimension-invariant low-density parity-check stabilizer codes

Les ordinateurs quantiques promettent de résoudre des problèmes qui prendraient des millénaires à être déchiffrés par des machines ordinaires, mais ils sont notoirement fragiles. L'information qu'ils détiennent est facilement brouillée par le moindre murmure de chaleur ou de vibration. Pour protéger ces données délicates, les scientifiques utilisent une stratégie appelée correction d'erreurs, qui consiste à répartir un seul morceau d'information sur de nombreuses parties physiques afin que, si une partie échoue, le message entier survive. Pendant des années, cette stratégie s'est appuyée presque exclusivement sur des systèmes à deux états, connus sous le nom de qubits, qui fonctionnent comme de minuscules interrupteurs étant soit sur, soit hors tension. Cependant, la nature offre plus que de simples deux états. De nombreux systèmes physiques, tels que les ondes lumineuses ou les atomes vibrants, peuvent exister dans de nombreux états différents simultanément. Ce sont les qudits. L'utilisation de ces systèmes plus riches pourrait rendre les ordinateurs quantiques plus puissants et plus efficaces, mais traduire les filets de sécurité éprouvés conçus pour les interrupteurs à deux états vers ces systèmes à états multiples a été un obstacle tenace.

La difficulté fondamentale réside dans une exigence mathématique de sécurité. Lorsque les chercheurs tentent d'adapter un code d'un système à deux états vers un système à plusieurs états, ils doivent s'assurer que le code reste stable quel que soit le nombre d'états disponibles. Une méthode précédente existait pour faire cela, mais elle comportait une restriction sévère : pour garantir que le code protège réellement les données, le nombre d'états dans le système devait être un nombre premier supérieur à une valeur de coupure massive, souvent impraticable. Cela signifiait que pour de nombreux systèmes physiques prometteurs, la méthode était théoriquement solide mais pratiquement inutile car le nombre d'états requis était trop élevé pour être construit ou contrôlé.

Dans ce travail, les chercheurs ont cherché à abaisser cette barrière impossible. Ils se sont concentrés sur un type de code très efficace connu sous le nom de code de contrôle de parité à faible densité. Ceux-ci sont spéciaux car ils sont « creux », ce qui signifie que chaque morceau d'information est vérifié par seulement quelques règles, plutôt que par un réseau complexe de nombreuses règles. En se concentrant sur ces structures creuses, l'équipe a découvert que la valeur de coupure massive n'était pas une loi fondamentale de la nature, mais un artefact de la manière dont les codes étaient précédemment construits. Ils ont découvert qu'en réorganisant soigneusement les signes et les connexions au sein de la structure du code, ils pouvaient réduire considérablement le nombre d'états requis. Dans certains cas, le nombre d'états nécessaires a été réduit au tout premier nombre pour lequel le code a été conçu, ou à une valeur qui croît très lentement, indépendamment de la taille de l'ordinateur.

Les chercheurs n'ont pas seulement trouvé un nombre plus petit ; ils ont expliqué ce que ce nombre signifie réellement dans le monde réel. Ils ont montré que cette valeur de coupure est directement liée à la précision requise dans les expériences physiques. Pour les systèmes qui utilisent des ondes continues de lumière ou de son pour stocker des données, ce nombre représente la manière dont les ondes doivent être focalisées, ou « comprimées », pour éviter les erreurs. Leurs nouveaux nombres plus bas impliquent que l'équipement physique nécessaire pour exécuter ces codes n'a pas besoin d'être aussi parfait ou extrême que ce que l'on pensait auparavant. Cela rend le rêve d'utiliser des systèmes à états multiples pour l'informatique quantique nettement plus réalisable.

Pour y parvenir, l'équipe a développé une nouvelle façon de construire ces codes qui repose sur la géométrie spécifique des connexions entre les parties. Ils ont prouvé que pour de nombreux types de codes courants, en particulier ceux dérivés des systèmes plus simples à deux états, il est possible d'organiser les composants de sorte que les nombres dangereux et élevés n'apparaissent tout simplement pas. Ils ont démontré que si les connexions entre les parties sont suffisamment creuses, le code reste sûr même avec un nombre beaucoup plus petit d'états. Cette découverte ouvre la porte à l'utilisation d'une plus grande variété de matériaux physiques et de conceptions pour les ordinateurs quantiques, rapprochant le domaine des machines capables d'exploiter tout le potentiel du monde quantique sans être freinées par des contraintes mathématiques impossibles.

L'étude a également exploré comment ces codes se comportent sur différentes formes, telles que les surfaces de sphères ou des géométries courbes plus complexes. Ils ont constaté que même sur ces formes inhabituelles, la nouvelle méthode pouvait créer des codes stables avec des exigences minimales. Cela suggère que l'approche est robuste et flexible, capable de s'adapter aux diverses manières dont la nature peut être exploitée pour le calcul. En supprimant la nécessité d'un nombre d'états excessivement grand, les chercheurs ont effectivement dégagé un obstacle majeur, transformant une possibilité théorique en un défi d'ingénierie pratique qui est désormais à portée de main. Le travail confirme que le chemin vers des ordinateurs quantiques puissants n'est pas bloqué par un mur insurmontable, mais plutôt par une porte qui était auparavant verrouillée par une clé trop grande pour être tenue ; ils ont maintenant forgé une clé qui convient.