Exact sampling beyond Fock inputs and linear optics: photon-number superpositions, photonic matrix-product states, adaptive and non-linear circuits
Cet article étend l'algorithme d'échantillonnage exact de Clifford et Clifford au-delà des entrées à photon unique et de l'optique linéaire pour traiter les superpositions de nombres de photons, les états de produit de matrices photoniques, les mesures adaptatives et les circuits non linéaires en établissant un lemme de chaîne d'ensembles général qui permet un échantillonnage exact et efficace avec inférence a posteriori.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par l'auteur. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
Dans la course silencieuse pour prouver que les machines quantiques peuvent accomplir des choses impossibles pour les ordinateurs classiques, la lumière est apparue comme un candidat de premier plan. L'idée est simple mais profonde : envoyer des flux de particules individuelles de lumière, appelées photons, à travers un labyrinthe complexe de miroirs et de séparateurs de faisceaux. À mesure que ces particules rebondissent, elles interfèrent les unes avec les autres de manières incroyablement difficiles à prédire. Si vous pouviez prédire exactement où chaque photon finirait, vous résoudriez un problème si difficile qu'il ferait s'effondrer toute la hiérarchie de la théorie informatique moderne. Ce défi, connu sous le nom d'échantillonnage de bosons (boson sampling), repose sur l'hypothon que les sources de lumière sont parfaites, émettant exactement un photon à la fois. Cependant, les dispositifs du monde réel sont rarement parfaits. Leurs sources de lumière peuvent être un peu floues, émettant un mélange de rien et d'un photon, ou les particules peuvent être intriquées selon des motifs complexes. De plus, les machines elles-mèmes peuvent modifier leur trajectoire en plein vol en fonction de ce qu'elles voient, ou inclure des éléments qui bousculent les règles de l'optique standard. Pendant des décennies, les scientifiques ont lutté pour simuler ces scénarios imparfaits du monde réel sur un ordinateur classique. Si un ordinateur ne peut pas simuler le dispositif, il ne peut pas vérifier si le dispositif fonctionne réellement ou s'il démontre véritablement un avantage quantique.
Une équipe de chercheurs de Quandela en France a maintenant construit un nouvel ensemble d'outils pour résoudre ce problème exact. Ils ont développé une méthode pour simuler ces dispositifs photoniques complexes avec une précision parfaite, même lorsque les sources de lumière sont imparfaites ou que le circuit inclut des changements adaptatifs et des éléments non linéaires. Leur travail prolonge une percée précédente qui permettait aux ordinateurs de simuler des expériences parfaites à photon unique. La nouvelle méthode fonctionne en traitant la simulation non pas comme un calcul unique et massif, mais comme un processus étape par étape de construction d'un résultat, un photon à la fois. Imaginez essayer de prédire l'arrangement final d'un jeu de cartes en les distribuant une par une. Si vous connaissez les règles de l'interaction entre les cartes, vous pouvez calculer la probabilité que la carte suivante soit d'une couleur spécifique en fonction des cartes déjà distribuées. Les chercheurs ont trouvé un moyen d'appliquer cette logique à la lumière, même lorsque le « jeu » est désordonné ou que les règles changent à mi-chemin.
Le cœur de leur découverte est une intuition mathématique qui leur permet de gérer quatre types distincts de complexité qui bloquaient auparavant la simulation exacte. Premièrement, ils ont abordé les sources qui émettent une superposition de vide et d'un photon unique. Dans ces cas, le nombre de photons n'est pas fixe ; il fluctue. Les chercheurs ont montré qu'en traitant les sources inutilisées comme un arrière-plan caché et en les ajoutant au calcul dans un ordre aléatoire, ils pouvaient calculer les probabilités exactement. Cette approche a révélé que la difficulté de simuler ces sources croît au même rythme que la simulation d'un photon unique ayant traversé un filtre de perte, un coût gérable pour les ordinateurs actuels.
Deuxièmement, ils ont traité un type de source de lumière plus exotique : un émetteur quantique possédant une mémoire interne, tel qu'un minuscule spin à l'intérieur d'un point quantique. Cette mémoire entremêle les photons au fur et à mesure de leur émission, créant un état connu de état de matrice de produits de photons (photonic matrix-product state). Simuler cela nécessite généralement de suivre une quantité d'informations qui croît de manière exponentielle. L'équipe a trouvé un moyen de compresser cette information en découpant le calcul en petits intervalles. Ils ont montré que l'intrication complexe pouvait être réduite à une somme courte de carrés d'amplitudes, maintenant ainsi l'efficacité du calcul. Sur les chaînes spécifiques de photons qu'ils ont testées, le nombre de termes requis pour cette somme est resté étonnamment faible, souvent un ou deux seulement, même à mesure que la simulation progressait.
Troisièmement, l'équipe a adapté sa méthode pour des circuits qui changent de comportement en fonction des mesures prises pendant l'expérience. C'est ce qu'on appelle l'optique linéaire adaptative. Dans ces machines, un détecteur compte les photons, et ce décompte indique à la machine quels miroirs déplacer pour l'étape suivante. Pour simuler cela, les chercheurs sont partis du résultat connu des mesures adaptatives et ont travaillé à rebours, construisant une chaîne de possibilités qui respectait ces décomptes. Si un chemin simulé contredisait les décomptes mesurés, ils le rejetaient et réessayaient. Leurs modèles suggèrent que même avec trois modes adaptatifs, le temps supplémentaire requis est négligeable, restant dans les dix pour cent du temps nécessaire pour une simulation standard.
Enfin, ils ont abordé les sites non linéaires, où un seul faisceau de lumière interagit avec lui-même pour changer sa phase, un processus qui brise les règles standard de l'optique linéaire. Ici, les règles mathématiques naturelles de leur méthode étape par étape échouaient. Au lieu de forcer la méthode à fonctionner, ils ont utilisé une stratégie différente : ils ont simulé le circuit comme un mélange de plusieurs chemins linéaires standards, puis ont accepté ou rejeté le résultat final sur la base d'une probabilité précise. Cette méthode de rejet est exacte, ce qui signifie qu'elle produit la bonne réponse à chaque fois, bien qu'elle nécessite parfois d'exécuter la simulation plusieurs fois pour trouver un résultat accepté. Pour un type spécifique de phase non linéaire, la méthode accepte un résultat environ la moitié du temps, ce qui la rend environ quatre fois plus lente que la simulation standard à photon unique, mais reste faisable.
Les chercheurs ont validé chacun de ces quatre échantillonneurs en comparant leurs résultats à des simulations de force brute puissantes sur de petites instances, où les résultats correspondaient parfaitement. Ils ont ensuite exécuté leur code sur un processeur graphique haut de gamme pour mesurer le temps réellement requis. Les résultats confirment que pour les sources en superposition, les circuits adaptatifs et les sites non linéaires, la difficulté exponentielle du problème ne s'aggrave pas ; elle suit simplement le même taux que le cas standard à photon unique, avec peut-être un petit multiplicateur constant. Pour les états de matrice de produits de photons intriqués, la vitesse dépend de la façon dont le nombre de termes de leur calcul croît à mesure que le système s'agrandit, une question qui reste ouverte pour les systèmes très vastes.
Ce travail ne prétend pas avoir résolu le problème de la simulation de tous les dispositifs quantiques pour toujours, ni suggère que ces machines sont faciles à construire. Au contraire, il fournit un moyen rigoureux et exact de les tester. En prouvant que ces dispositifs complexes et imparfaits peuvent être simulés efficacement, les chercheurs ont levé un obstacle majeur à la vérification de l'avantage quantique. Ils ont montré que l'écart entre ce qu'un dispositif quantique peut faire et ce qu'un ordinateur classique peut calculer ne s'élargit pas nécessairement par les imperfections ou les contrôles adaptatifs. Les outils qu'ils ont construits sont désormais en libre accès (open source), permettant à d'autres scientifiques d'utiliser les leurs pour tester leurs propres dispositifs photoniques, garantissant que lorsqu'une machine prétend faire quelque chose d'impossible, nous avons un moyen fiable de vérifier si elle dit la vérité.
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.