Clear Sky Science · fr
Calcul quantique tolérant aux fautes à variables continues sous bruit général
Pourquoi maîtriser la lumi e8re bruit e9e compte
Les ordinateurs quantiques promettent de r e9soudre des probl e8mes qui d e9passent les machines d e9diques d e9sormais, de la simulation de mol e9cules complexes e0 l e9optimisation de la logistique mondiale. Plusieurs des plateformes matérielles les plus extensibles reposent sur la lumi e8re, o f9 l e9information n b4est pas port e9e par des particules isol e9es mais par les oscillations continues d e2une onde e9lectromagn e9tique. Le probl e8me est que la lumi e8re r e9elle est bruit e9e : de minuscules tremblements, pertes et distorsions peuvent rapidement submerger l e9information quantique fragile. Cet article montre, pour la premi e8re fois de mani e8re rigoureuse, que m eame sous des types de bruit tr e8s g e9n e9raux et r e9alistes, un ordinateur quantique e0 base de lumi e8re peut tout de m eame fonctionner de mani e8re fiable e0 condition d e2 eatre construit correctement.
Des ondes lisses aux bits quantiques num e9riques
Dans les syst e8mes optiques ab e0 variables continues bb, l e9information est stock e9e dans l e9 amplitude et la phase d e2un champ lumineux, qui peuvent varier de mani e8re continue. Cela facilite la g e9n e9ration et la manipulation de grands r e9seaux de faisceaux de lumi e8re intriqu e9s, une voie attrayante vers du mat e9riel quantique extensible. Mais la plupart des th e9ories de calcul quantique fiable ont e9t e9 d e9velopp e9es pour des syst e8mes discrets e0 deux niveaux b4les qubits b4 et pour des mod e8les d 27erreur relativement simples. Un outil central pour combler ce foss e9 est le code Gottesman a00Kitaev a00Preskill (GKP), qui int e8gre habilement un seul qubit dans les degr e9s de libert e9 continus d 27un oscillateur. Le code organise des e9tats quantiques de sorte que de petits d e9calages de l e2amplitude ou de la phase de la lumi e8re se comportent comme des erreurs de qubit famili e8res pouvant, en principe, eatre corrig e9es. Les analyses ant e9rieures ne portaient toutefois que sur des bruits tr e8s sp e9cifiques, comme des d e9calages al e9atoires purement gaussiens, et s b4appuyaient souvent sur des e9tats de code id e9alis e9s et physiquement impossibles.
Red e9finir ce qui compte comme une erreur corrigeable
La premi e8re e9tape des auteurs consiste e0 donner une description plus r e9aliste des e9tats encod e9s GKP et des erreurs, sans s b4appuyer sur des hypoth e8ses non physiques. Ils utilisent un cadre math e9matique appel e9 d e9composition en sous-syst e8me stabilisateur, qui scinde l e9espace d e9tat complet de la lumi e8re en deux parties : l e2une porte le qubit logique et l e2autre enregistre l e9information de ab syndrome bb sur les erreurs. Dans ce sch e9ma, ils d e9finissent un ab filtre r bb, qui demande efficacement e0 quel point l e9 e9tat s b4 e9carte de la r e9gion sans erreur dans cet espace de syndrome. Un e9tat GKP approximatif est alors caract e9ris e9 non pas par une grille parfaite de pics e0 la delta, mais par la mani e8re dont il est confin e9 dans un petit carreau autour de l e2origine. Tant que l e9 e9tat reste dans ce carreau, le qubit encod e9 peut encore eatre interpr e9t e9 comme propre, m eame si la fonction d e2onde sous-jacente est d e9sordonn e9e.
Ma eetriser e0 la fois bruit et e9nergie
Les syst e8mes optiques r e9els font face e0 deux probl e8mes entrelac e9s : les erreurs s b4accumulent avec le temps et l e9 e9nergie du champ lumineux peut cro eetre sans limite e0 mesure que les portes sont appliqu e9es. Les mesures standard du bruit, utilis e9es pour les qubits, supposent l e2acc e8s e0 des e9tats de test d e2 e9nergie arbitraire et jugent donc m eame de minuscules d e9rapages de phase dans la lumi e8re comme ab extr eamement mauvais bb. Pour e9viter ce verdict peu r e9aliste, les auteurs adoptent une notion de distance entre processus physiques contraints en e9nergie, qui ne compare que la mani e8re dont les canaux agissent sur des e9tats en dessous d e2un seuil de nombre de photons fix e9. Ils con e7oivent ensuite un type sp e9cifique d b4 e9tape de correction d e2erreur, fond e9e sur la t e9l e9portation quantique, qui transf e8re r e9p e9t e9ment l e9information logique dans des e9tats GKP nouvellement pr e9par e9s d e2 e9nergie mod e9r e9e. Cette proc e9dure de type Knill corrige non seulement les erreurs de type d e9placement mais r e9initialise e9galement en continu l e9 e9nergie, assurant que les e9tats encod e9s ne deviennent jamais excessivement fragiles.
Du bruit de laboratoire brouillon e0 des erreurs logiques nettes
Avec ces outils, l e9article d e9finit une large classe de bruits physiquement r e9alistes e2ind e9pendants et markoviens, mais par ailleurs assez g e9n e9raux. Chaque mode optique peut subir des pertes, des rotations de phase al e9atoires, une pr e9paration imparfaite d e2 e9tats GKP, une r e9solution finie des d e9tecteurs ou d e2autres distorsions non gaussiennes, e0 condition que leur intensit e9 globale soit born e9e au sens contraint par l e9 e9nergie et n b4ajoute pas plus qu e2une quantit e9 limit e9e de d e9placement sup e9mentaire. Les auteurs montrent que, lorsque ce type de bruit agit sur un circuit tol e9rant aux fautes fond e9 sur GKP, ses effets continus compliqu e9s se traduisent par un mod e8le de bruit effectif sur les qubits logiques qui est local et markovien, comme dans le cadre standard o f9 existent d e9j e0 des th e9or e8mes de seuil puissants. Ils bornent de mani e8re cruciale l e2intensit e9 de ce bruit logique en fonction de quelques param e8tres accessibles exp e9rimentalement : le d e9placement maximal autoris e9, la force d e2erreur tol e9r e9e et un plafond d e2 e9nergie.
Un vrai seuil pour l e2informatique quantique e0 base de lumi e8re
En combinant leur traduction du bruit physique en bruit de qubit logique avec des r e9sultats connus pour les codes de qubits concat e9s, les auteurs d e9montrent un th e9or e8me de seuil complet pour le calcul quantique e0 variables continues. En termes simples, il existe un niveau non nul de bruit optique g e9n e9ral en dessous duquel on peut, en encodant et en superposant des codes correcteurs d 27erreurs, rendre le calcul global aussi fiable que souhait e9, avec seulement un surco fbt polylogarithmique en ressources. Le travail souligne e9galement une diff e9rence qualitative entre architectures bas e9es sur la lumi e8re et celles bas e9es sur des qubits : dans les syst e8mes e0 variables continues, la gestion soigneuse de l e9 e9nergie n b4est pas qu e2un d e9tail d e2ing e9nierie mais une exigence fondamentale pour la tol e9rance aux fautes. Ce cadre rigoureux offre d e9sormais aux exp e9rimentateurs un ensemble concret d e2objectifs e0 atteindre e2en termes d e2asservissement (squeezing), de pertes, de stabilit e9 de phase et de performance des d e9tecteurs, pour guider la construction d e2ordinateurs quantiques tol e9rants aux fautes et extensibles, construits e0 partir de lumi e8re bruit e9e.
Citation: Matsuura, T., Menicucci, N.C. & Yamasaki, H. Continuous-variable fault-tolerant quantum computation under general noise. Nat Commun 17, 1709 (2026). https://doi.org/10.1038/s41467-026-69036-5
Mots-clés: informatique quantique à variables continues, code GKP, correction d 27erreurs quantiques, tol e9rance aux fautes, syst e8mes quantiques optiques