Barriers to dequantization of near-term molecular electronic structure methods
Cet article prouve que, sous la conjecture généralisée , la simulation classique de certains algorithmes quantiques à court terme pour la structure électronique moléculaire est difficile, excluant ainsi les stratégies de déquantification basées sur l'échantillonnage pour les ansatz incorporant à la fois des corrélations statiques et dynamiques et soulignant la nécessité du matériel quantique pour résoudre des systèmes catalytiques complexes.
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 le monde de la chimie, comprendre comment les atomes s'assemblent pour former des molécules est une question de comptage d'électrons et de prédiction de leurs mouvements. Pour les molécules simples, les scientifiques s'appuient depuis longtemps sur de puissants programmes informatiques pour résoudre ces énigmes, traitant les électrons comme s'ils étaient des voyageurs indépendants se déplaçant à travers un paysage lisse. Cependant, la nature est souvent plus complexe qu'un paysage lisse. Dans de nombreux processus chimiques importants, comme lorsqu'une liaison chimique se rompt ou lorsqu'un atome métallique agit comme un catalyseur pour accélérer une réaction, les électrons deviennent profondément intriqués. Ils cessent de se comporter comme des voyageurs indépendants et commencent à se déplacer dans une danse coordonnée et chaotique où la position de l'un affecte instantanément les autres. Ce phénomène, connu sous le nom de corrélation forte, crée un mur computationnel que les ordinateurs classiques ne peuvent franchir. La complexité mathématique croît si rapidement que même les superordinateurs les plus puissants du monde ne peuvent calculer l'énergie de ces systèmes avec la précision requise pour comprendre leur fonctionnement.
C'est ici qu'entre en scène la promesse de l'informatique quantique. Contrairement aux ordinateurs classiques qui traitent l'information sous forme de bits de zéro et de un, les ordinateurs quantiques utilisent des bits quantiques, ou qubits, qui peuvent exister dans de nombreux états à la la fois. Cela leur permet de mimer directement le comportement des électrons, contournant potentiellement le mur computationnel qui bloque les machines classiques. Mais une question critique a persisté : ces machines quantiques sont-elles réellement nécessaires, ou un nouvel algorithme classique ingénieux pourrait-il éventuellement résoudre ces problèmes aussi bien ? Une équipe de chercheurs de l'Université de Californie à Berkeley a maintenant apporté une réponse significative pour une classe spécifique et vitale de problèmes chimiques. Ils ont démontré que pour les systèmes moléculaires les plus difficiles — ceux impliquant la rupture de liaisons et des catalyseurs métalliques complexes — il n'existe probablement aucun moyen efficace pour un ordinateur classique de simuler le comportement quantique des électrons, selon l'hypothèse largement admise que la hiérarchie polynomiale ne s'effondre pas (une condition liée à la conjecture généralisée P ≠ NP). Leurs travaux suggèrent que pour percer les secrets de ces systèmes, nous devons nous tourner vers le matériel quantique.
Les chercheurs ont concentré leur investigation sur une nouvelle génération d'algorithmes quantiques conçus pour fonctionner sur les machines imparfaites et bruitées disponibles aujourd'hui. Ces algorithmes, connus sous le nom de solveurs de valeurs propres quantiques non orthogonaux, fonctionnent en préparant un ensemble de différents états de « référence ». Considérez ces états comme différents croquis de l'arrangement électronique de la molécule, chacun dessiné d'une perspective ou d'une base orbitale légèrement différente. L'algorithme combine ensuite ces croquis pour trouver l'image la plus précise de l'énergie de la molécule. L'étape clé de ce processus consiste à calculer à quel point ces différents croquis se chevauchent les uns avec les autres. Si un ordinateur classique pouvait facilement calculer ces chevauchements, il pourrait simuler l'ensemble du processus quantique sans avoir besoin d'un ordinateur quantique. Cette possibilité, connue sous le nom de déquantification, rendrait l'avantage quantique caduc.
Pour tester cela, l'équipe a construit une preuve mathématique rigoureuse montrant que pour certains types d'états de référence, calculer ces chevauchements est computationnellement difficile pour un ordinateur classique de manière efficace, en supposant que la conjecture généralisée P ≠ NP soit vérifiée. Ils ont démontré que si un ordinateur classique pouvait effectuer cette tâche efficacement, cela impliquerait un effondrement de toute la hiérarchie de la complexité computationnelle, un scénario que les mathématiciens jugent impossible. La preuve repose sur le concept de « magie fermionique », une ressource quantique spécifique que possèdent ces états de référence. Lorsque ces états sont pivotés dans différentes bases orbitales, ils génèrent un motif de probabilités si complexe et si étendu qu'aucun algorithme classique ne peut le prédire ou l'échantillonner sans un temps impossible, à condition que la hiérarchie polynomiale ne s'effondre pas. Les chercheurs ont montré que cette difficulté s'applique à deux approches de pointe pour la chimie quantique à court terme : l'une qui utilise des combinaisons linéaires d'états de produit de matrices, et une autre qui utilise des circuits de clusters Jastrow unitaires. Les deux méthodes sont conçues pour capturer les corrélations statiques et dynamiques difficiles présentes dans les molécules réelles.
Les implications de cette découverte sont profondes pour l'avenir de la découverte chimique. Les chercheurs ont appliqué leur analyse de complexité à des systèmes catalytiques du monde réel, tels que le cofacteur fer-molybdène trouvé dans les enzymes nitrogénases, qui aide à convertir l'azote atmosphérique en ammoniac, et le complexe de l'évolution de l'oxygène dans les plantes, qui scinde l'eau pour libérer de l'oxygène. Ces systèmes impliquent des atomes de métaux de transition avec de multiples électrons non appariés, créant les corrélations très fortes que les ordinateurs classiques peinent à gérer. L'étude confirme que les algorithmes quantiques conçus pour aborder ces problèmes spécifiques sont probablement la seule voie possible, car les raccourcis les plus prometteurs que les ordinateurs classiques auraient pu utiliser pour contourner le besoin de matériel quantique sont exclus sous les hypothèses de complexité standard. En prouvant que les éléments de matrice hors diagonale entre ces états quantiques ne peuvent pas être approximés efficacement par des méthodes d'échantillonnage classiques pour les familles d'états spécifiques qu'ils ont analysées, l'équipe a établi une barrière robuste à la déquantification.
Cela ne signifie pas que les ordinateurs classiques sont inutiles. Pour les molécules plus simples où les électrons se comportent de manière plus indépendante, les méthodes classiques restent la référence. Cependant, pour les systèmes qui régissent la catalyse, la rupture de liaison et la chimie complexe de la vie, la barrière à la déquantification est désormais démontrée comme étant insurmontable sous les hypothèses mathématiques standard. Les chercheurs soulignent que leurs résultats tiennent pour les classes spécifiques d'états qu'ils ont analysées, en supposant que la hiérarchie polynomiale ne s'effondre pas. Ils notent également que bien que leur preuve repose sur des conditions idéales et sans bruit, la difficulté fondamentale reste un argument fort pour la nécessité des dispositifs quantiques. À mesure que le matériel quantique s'améliore et que la correction d'erreurs devient plus robuste, ces algorithmes pourraient bientôt être utilisés pour simuler les structures électroniques de catalyseurs qui ont laissé les scientifiques perplexes pendant des décennies.
La voie à suivre consiste à affiner ces méthodes quantiques pour qu'elles fonctionnent sur les machines actuelles et imparfaites. Les chercheurs indiquent que les circuits requis pour préparer ces états complexes sont étonnamment peu profonds, ce qui signifie qu'ils peuvent être exécutés sur des dispositifs à court terme avec un nombre limité de qubits. Par exemple, simuler le complexe de l'évolution de l'oxygène pourrait nécessiter des circuits avec seulement quelques centaines de portes à deux qubits, une échelle qui est à la portée de la technologie en développement. Bien que la pleine puissance des ordinateurs quantiques tolérants aux fautes soit encore à des années de distance, ce travail fournit une feuille de route claire. Il identifie les problèmes spécifiques où les ordinateurs quantiques offriront un véritable avantage et prouve que pour les défis les plus difficiles de la structure électronique moléculaire, il n'y a probablement aucun substitut classique. L'ère de la simulation des systèmes chimiques les plus complexes approche enfin, non pas parce que nous avons trouvé un meilleur moyen de compter sur une machine classique, mais parce que nous avons prouvé que la nature quantique de ces systèmes exige une solution quantique.
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.