Exponential lower bounds on the fermionic Gaussian rank of magic states and the bosonic coherent state rank of Fock states

Dans la quête pour comprendre comment l'univers fonctionne à ses plus petites échelles, les physiciens s'appuient depuis longtemps sur une astuce puissante : si un système est suffisamment simple, nous pouvons calculer son comportement avec un ordinateur standard. Pendant des décennies, une classe spécifique de systèmes quantiques — ceux impliquant des particules qui suivent des règles strictes d'exclusion et de symétrie, connues sous le nom de fermions — a pu être simulée efficacement. Ces systèmes, souvent décrits comme « libres » ou « gaussiens », se comportent de manière prévisible et ordonnée, ce que les machines classiques peuvent gérer sans effort. Cependant, pour construire un véritable ordinateur quantique puissant, les scientifiques doivent introduire un ingrédient spécial qui brise cet ordre. Ils appellent ces ingrédients des « états magiques ». Ce sont des configurations quantiques hautement complexes qui, lorsqu'elles sont ajoutées aux systèmes simples, débloquent la capacité d'effectuer des calculs qu'il est impossible pour les ordinateurs classiques de suivre. La question centrale pour les chercheurs a été : quel travail supplémentaire un ordinateur classique doit-il fournir pour simuler ces états magiques ? La réponse réside dans un nombre appelé le « rang », qui compte essentiellement combien de pièces simples et ordonnées sont nécessaires pour construire un seul élément complexe et magique.

Pendant des années, les scientifiques savaient que ce nombre devait être élevé, mais ils ne pouvaient pas prouver exactement à quel point. Ils savaient qu'il augmentait rapidement à mesure que l'on ajoutait plus d'états magiques, mais les meilleures preuves mathématiques ne montraient qu'une croissance quadratique lente, alors que les simulations les plus basiques suggéraient qu'il pourrait croître de manière exponentielle. Cet écart laissait une énorme incertitude dans le domaine. Si le nombre augmentait lentement, il pourrait être possible de simuler ces ordinateurs quantiques puissants sur des machines ordinaires après tout. S'il augmentait de façon exponentielle, cela confirmerait que les ordinateurs quantiques resteraient une classe de machines distincte et supérieure. Dans une étude récente, Oliver Reardon-Smith, du Centre de physique théorique de l'Académie polonaise des sciences, a enfin réduit cet écart pour un type spécifique et critique d'état magique. En développant une nouvelle méthode mathématique, le chercheur a prouvé que le nombre de pièces simples nécessaires pour construire ces états complexes ne se contente pas de croître rapidement ; il explose de manière exponentielle, avec une borne inférieure d'environ 1,4 élevé à la puissance du nombre de copies. Bien que l'article note qu'un écart important subsiste entre cette nouvelle borne inférieure et la borne supérieure connue de 2 élevé à la puissance du nombre de copies, et que la valeur exacte du rang dans cette région est totalement inconnue pour plus de deux copies, ce résultat renforce considérablement la preuve d'une complexité exponentielle.

L'étude se concentre sur une configuration spécifique à quatre particules, un état qui agit comme un bloc de construction fondamental pour la logique quantique, capable d'échanger les positions des particules. Le chercheur a posé une question simple : si vous prenez deux de ces états et les combinez, combien d'états simples et ordonnés devez-vous ajouter pour recréer le résultat ? Les méthodes précédentes ne pouvaient pas exclure la possibilité qu'un petit nombre d'états simples suffise. Le travail de Reardon-Smith démontre que cela est impossible. Pour seulement deux copies de l'état, la preuve montre qu'il faut au moins quatre états simples pour le reconstruire. Lorsque l'on passe à l'échelle de nombreuses copies, l'exigence ne fait pas que doubler ; elle se multiplie par un facteur d'environ 1,4 pour chaque nouvelle copie ajoutée. Cela signifie qu'en ajoutant plus d'états magiques, l'effort de calcul requis pour les simuler sur un ordinateur classique monte en flèche, confirmant que ces systèmes sont effectivement intraitables pour les machines classiques, du moins selon les bornes inférieures prouvées.

Pour parvenir à cette conclusion, le chercheur a employé une technique qui agit comme un microscope à haute résolution pour les structures mathématiques. Au lieu d'essayer de construire l'état complexe à partir de zéro, la méthode analyse l'état en le projetant dans un espace mathématique différent. Imaginez essayer de comprendre la forme d'un objet 3D complexe en regardant son ombre ; si l'ombre est simple, l'objet peut être simple, mais si l'ombre est incroyablement complexe, l'objet doit être complexe. Dans ce cas, le chercheur a construit une matrice spécifique, une grille de nombres représentant l'état, et a prouvé que pour les états magiques, cette grille est toujours pleine d'informations indépendantes. En revanche, pour les états simples et ordonnés, la grille est toujours très mince et répétitive. En comparant l'« épaisseur » de ces grilles, le chercheneur a montré que peu importe la façon dont vous essayez de combiner les états simples, vous ne pourrez jamais générer l'épaisseur requise pour correspondre à l'état magique, à moins d'en utiliser un nombre immense. Cette méthode a fourni une borne inférieure inattaquable, prouvant que la complexité est inhérente et inévitable.

Les conclusions s'étendent également au-delà de l'état spécifique à quatre particules à une classe plus large de systèmes quantiques impliquant des ondes de lumière et de son, appelés bosons. Dans ce domaine, le cherchenaire a abordé une conjecture de longue date sur le nombre de motifs d'ondes simples nécessaires pour créer un état spécifique de lumière hautement excité. L'étude a confirmé que le nombre de motifs requis est exactement égal au produit du nombre de particules dans chaque mode plus un. Ce résultat tranche un débat qui persistait dans le domaine, montrant que la complexité de ces états basés sur la lumière est déterminée par la distribution spécifique des particules à travers les modes. De plus, l'étude a examiné ce qui se passe lorsque la simulation n'est pas parfaite. Dans le monde réel, les ordinateurs travaillent souvent avec des approximations, acceptant une infime erreur pour gagner du temps. Le chercheur a prouvé que même si l'on autorise une petite marge d'erreur, le nombre d'états simples requis reste presque aussi élevé que le nombre exact. La complexité ne disparaît pas simplement parce que l'on accepte d'être légèrement moins précis.

Ce travail est significatif car il lève un doute majeur sur la puissance des ordinateurs quantiques. Pendant un certain temps, il existait un espoir persistant que des astuces mathématiques ingénieuses permettraient aux ordinateurs classiques de simuler ces états magiques efficacement, peut-être en trouvant un moyen de les décrire avec moins de pièces que prévu. Cette étude ferme cette porte pour les états examinés, du moins concernant les bornes inférieures prouvées. Elle confirme que la « magie » est réelle et que le coût computationnel de sa simulation est au moins exponentiel, croissant à un taux d'environ 1,4 par copie. Les résultats suggèrent qu'à mesure que les ordinateurs quantiques passent à l'échelle, l'ajout de plus de ces états magiques les rendra de plus en plus difficiles à imiter pour les machines classiques, sécurisant ainsi l'avantage de la technologie quantique. Bien que le nombre exact de pièces nécessaires pour des systèmes plus larges reste un sujet de raffinement futur, car l'écart entre les bornes inférieure et supérieure est encore large, la direction est désormais claire : la complexité croît à un rythme qui garantit que les ordinateurs quantiques resteront un outil unique et puissant, bien au-delà de la portée de la simulation classique.