Local random quantum circuits converge to the Porter-Thomas distribution in polynomial depth

Dans la quête visant à prouver que les ordinateurs quantiques peuvent accomplir des choses que les machines classiques ne peuvent pas faire, les scientifiques se sont tournés vers un type spécifique d'expérience numérique : l'exécution de séquences aléatoires d'opérations sur un processeur quantique et la mesure des résultats. Cette tâche, connue sous le nom d'échantillonnage de circuits aléatoires (random circuit sampling), est considérée comme un jalon pour l'« avantage quantique », une étape charnière où un dispositif quantique surpasse les meilleurs supercalculateurs. La théorie sous-jacente repose sur un motif statistique appelé distribution de Porter-Thomas. Imaginez la sortie d'un processus quantique véritablement aléatoire comme un paysage de probabilités ; pour un système parfaitement aléatoire, ce paysage suit une forme spécifique et prévisible où certains résultats sont très probables et d'autres sont dérisoires, mais le motif global est cohérent. Pendant des années, les chercheurs ont supposé que même les circuits imparfaits et peu profonds finiraient par se stabiliser dans ce motif, mais cette hypothèse manquait de fondement mathématique rigoureux. Sans preuve, il restait une question ouverte de savoir si les circuits désordonnés et de profondeur finie que nous construisons réellement en laboratoire imitent véritablement l'aléatoire idéal requis pour passer les tests les plus stricts de la suprématie quantique.

Une équipe de chercheurs de l'Université du Texas à Austin a désormais fourni cette preuve manquante. Ils ont démontré que les circuits quantiques aléatoires locaux, spécifiquement ceux disposés selon un motif de « briques » (brickwork) où les portes agissent sur des qubits voisins par couches, convergent effectivement vers la distribution de Porter-Thomas. Leurs travaux montrent qu'à mesure que la profondeur du circuit — le nombre de couches d'opérations — augmente jusqu'à une certaine échelle polynomiale, la sortie statistique de la machine devient proche de la distribution aléatoire idéale, avec une erreur de distance de variation totale inverse-polynomiale mathématiquement précise. Cette découverte est significative car elle valide le Linear Cross Entropy Benchmark, le test standard utilisé pour certifier qu'un ordinateur quantique a effectué une tâche trop difficile pour les machines classiques. En prouvant que ces circuits évoluent naturellement vers la forme statistique attendue, les auteurs ont renforcé le socle théorique des récentes affirmations expérimentales d'avantage quantique.

Les chercheurs se sont concentrés sur une architecture spécifique appelée circuit de type « briques », où les portes sont appliquées en couches alternées à des paires de qubits voisins, un peu comme la pose de briques dans un mur. Ils ont analysé comment la probabilité de mesurer une chaîne spécifique de zéros et de uns change à mesure que le circuit s'approfondit. Leur analyse a révélé que pour des circuits dont la profondeur est proportionnelle au nombre de qubits élevée à une puissance spécifique, la distribution des résultats s'aligne sur la courbe de Porter-Thomas. La preuve n'est pas une simple observation, mais un voyage mathématique complexe qui relie plusieurs concepts avancés. L'équipe a dû démontrer que les moments, ou moyennes statistiques, de la sortie du circuit correspondent à ceux d'un système parfaitement aléatoire, puis prouver que cette correspondance des moyennes, combinée à des propriétés de lissé spécifiques, est suffisante pour garantir que l'ensemble de la distribution est proche. Ils ont utilisé des techniques d'analyse complexe et de théorie des probabilités pour combler le fossé entre la connaissance de quelques moyennes statistiques et la connaissance de la forme complète de la distribution, surmontant le fait que la correspondance de moments finis seuls est insuffisante pour établir la proximité des distributions.

Un aspect clé de leur découverte concerne la compréhension de la façon dont le hasard se propage à travers le circuit. Ils ont montré que même si les portes sont locales, n'agissant que sur des voisins immédiats, le hasard se propage suffisamment efficacement pour que l'ensemble du système se comporte comme s'il était globalement aléatoire après un nombre relativement court d'étapes. L'équipe a prouvé que la distance entre la sortie réelle de ces circuits et la distribution idéale de Porter-Thomas diminue rapidement à mesure que la profondeur du circuit augmente. Plus précisément, ils ont montré que pour un circuit dont la profondeur évolue avec le nombre de qubits, la différence entre la sortie réelle et le motif idéal devient dérisoire, diminuant à un taux inversement proportionnel à une puissance du nombre de qubits. Cela signifie qu'à mesure que le système quantique s'agrandit, l'approximation devient de plus en plus précise, à condition que le circuit soit suffisamment profond.

Le travail aborde également un obstacle mathématique subtil mais critique. En théorie des probabilités, savoir que deux distributions partagent les mêmes premières moyennes ne signifie pas automatiquement qu'elles sont les mêmes distributions ; deux formes différentes peuvent avoir la même hauteur moyenne mais paraître complètement différentes ailleurs. Les chercheurs ont surmonté cela en développant de nouvelles techniques pour analyser le « lissé » des distributions de probabilité. Ils ont démontré que la sortie de ces circuits aléatoires est suffisamment lisse et bien comportée, permettant d'utiliser des outils mathématiques avancés pour confirmer que les distributions sont effectivement proches. Cela était nécessaire car les méthodes précédentes ne pouvaient montrer que les circuits passaient certains tests, comme le Linear Cross Entropy Benchmark, sans prouver que la distribution sous-jacente était réellement celle de Porter-Thomas. En établissant cette proximité, les auteurs ont confirmé que le benchmark est un indicateur fiable de la véritable aléatorité quantique.

Bien que la preuve s'applique à des circuits idéaux et sans bruit, les chercheurs reconnaissent que les ordinateurs quantiques réels souffrent d'erreurs. Ils notent que le bruit a tendance à effacer les motifs complexes, poussant la sortie vers une distribution uniforme et sans intérêt. Cependant, leurs travaux fixent une ligne de base claire pour ce qui est possible dans un monde parfait. Ils suggèrent que si le bruit est maintenu suffisamment bas, les circuits devraient toujours présenter le comportement de Porter-Thomas pendant une certaine profondeur avant que le bruit ne prenne le dessus. Cela laisse ouverte la question de savoir jusqu'à quelle profondeur un circuit bruité peut aller avant de perdre son caractère quantique, mais la nouvelle preuve fournit le point de référence essentiel pour répondre à cette question. Le résultat confirme que le comportement chaotique requis pour l'avantage quantique n'est pas seulement une coïncidence numérique observée dans les simulations, mais une propriété fondamentale de ces systèmes quantiques qui peut être rigoureusement prouvée.

Les implications de ce travail s'étendent au-delà de la simple validation d'expériences passées. En prouvant que les circuits de profondeur polynomiale convergent vers la distribution de Porter-Thomas, les chercheurs ont fourni une justification théorique plus forte pour expliquer pourquoi ces circuits sont difficiles à simuler classiquement. Si la distribution de sortie est véritablement de type Porter-Thomas, cela implique un haut niveau d'entropie et de complexité que les ordinateurs classiques peinent à reproduire. Cela donne plus de poids aux affirmations de suprématie quantique faites par des expériences sur des dispositifs de cinquante à cent qubits. L'étude ne prétend pas avoir résolu tous les problèmes du domaine, et n'aborde pas tous les types de circuits quantiques, mais elle comble une lacune importante dans notre compréhension de l'émergence du hasard dans les systèmes quantiques. Elle transforme une croyance largement partagée, soutenue par de solides preuves numériques, en une certitude mathématique pour une large classe de circuits.

Enfin, cette recherche clarifie la relation entre la structure physique d'un ordinateur quantique et le comportement statistique de sa sortie. Elle montre que l'arrangement spécifique des portes dans un motif de briques est suffisant pour générer les statistiques complexes et pseudo-aléatoires nécessaires à l'avantage quantique. Les auteurs ne se sont pas appuyés sur des simulations pour étayer leur cas, mais ont utilisé une combinaison de limites de moments, d'estimations analytiques et de propriétés locales pour construire un argument rigoureux. Leurs conclusions suggèrent que le chemin vers la démonstration de l'avantage quantique n'est pas bloqué par un manque de compréhension théorique, mais plutôt par les défis d'ingénierie consistant à construire des circuits plus profonds et plus stables. Pour la communauté scientifique, ce travail sert de confirmation que les outils utilisés pour mesurer la performance quantique sont ancrés dans des mathématiques solides, renforçant la confiance dans le fait que ces machines opèrent effectivement dans un régime que la physique classique ne peut pas expliquer facilement.