La simulation quantique de la structure électronique des molécules est considérée comme l'une des applications les plus prometteuses des ordinateurs quantiques. Le parcours standard comprend la transformation de Jordan-Wigner, suivie de la décomposition des opérateurs en chaînes de Pauli. Cependant, une telle décomposition précoce masque les corrélations entre les termes, qui étaient transparentes dans la représentation fermionique. Ce travail poursuit la lignée initiée par Sato et ses collègues pour les équations aux dérivées partielles, où les paires de chaînes d'échelle étaient diagonalisées directement. Les travaux voisins dans les archives concernent les portes non hermitiennes, la suprématie quantique, les horloges et la mémoire quantiques, ainsi que l'optimisation des portes et le contrôle des systèmes quantiques. Cet article se distingue quelque peu, mais s'inscrit dans le groupe des algorithmes quantiques et de la correction d'erreurs.
Les auteurs utilisent la transformation de Jordan-Wigner pour mapper les opérateurs fermioniques de création et d'annihilation sur des qubits. Au lieu de décomposer en chaînes de Pauli, ils diagonalisent les paires de chaînes d'échelle (Lasp) via la préparation d'un état GHZ et le codage de parité. Le circuit pour un opérateur à deux particules comprend une transformation GHZ, un codage de parité et une rotation Z multi-contrôlée. Pour trois opérateurs partageant quatre indices (une triade), un circuit unifié est construit, où les portes sont éliminées par commutation et réécritures locales. L'ordonnancement des triades avec un qubit de rotation fixe et un changement minimal des indices permet d'éliminer en cascade les portes CX aux frontières.
Pour le cas complexe, le circuit d'un opérateur fermionique Lasp à deux particules correspond à 16 chaînes de Pauli, mais ne contient pas d'erreur de trottérisation. L'optimisation de la triade réduit le nombre de portes CX de 36 à 12, tout en conservant trois portes C3RZ. Pour une séquence de O(n) triades convenablement ordonnées, le nombre de portes CX diminue de O(n^2) à O(n). Dans le cas réel, les trois portes C3RZ forment une rotation uniformément contrôlée qui se décompose en seulement huit portes CX. La version contrôlée du circuit est obtenue en ajoutant un contrôle aux rotations Z multi-contrôlées.
Ce travail montre que la préservation de la structure de haut niveau des opérateurs fermioniques permet une optimisation inaccessible après la décomposition en chaînes de Pauli. Contrairement aux approches voisines, qui se concentrent sur des portes individuelles ou des groupes de chaînes, l'optimisation est ici menée au niveau d'opérateurs entiers et de leurs triplets. Cela élargit l'espace des simplifications possibles et offre une voie systématique vers des circuits plus efficaces. Ce résultat est particulièrement important pour les premiers ordinateurs quantiques, où chaque porte compte.
Les auteurs prévoient de rechercher systématiquement des ordres appropriés de triades et des compositions efficaces de plusieurs groupes de triades ordonnées. Une généralisation à d'autres transformations fermioniques et à des hamiltoniens plus complexes est possible. Il serait également intéressant d'étudier le comportement des circuits proposés sur du matériel réel, en tenant compte du bruit et des contraintes de connectivité des qubits.
L'approche influence directement la chimie quantique, la science des matériaux et la pharmacie, où la simulation de la structure électronique est cruciale. La réduction du nombre de portes accélère les calculs et diminue les exigences en matière de correction d'erreurs.
Les prochaines étapes comprennent la mise en œuvre des circuits proposés sur de véritables processeurs quantiques et leur comparaison avec les méthodes existantes. Il est également nécessaire de développer des algorithmes de recherche automatique des ordres optimaux de triades pour des molécules spécifiques.
En chimie quantique, le problème de la mise à l'échelle des simulations exactes vers de grandes molécules reste ouvert. Ce travail réduit le coût en portes, mais ne résout pas la question fondamentale de savoir comment éviter la croissance exponentielle du nombre de paramètres. Le lien avec le problème du choix de la base et la précision de la trottérisation nécessite également une étude plus approfondie.
Le circuit pour un opérateur à deux particules, qui nécessiterait 16 chaînes de Pauli dans l'approche standard, tient ici en une seule rotation multi-contrôlée. C'est comme si un accord orchestral complexe était écrit avec une seule note.
L'idée de préserver la structure plutôt que de la décomposer en éléments simples rappelle l'approche du roman « Anathem » de Neal Stephenson, où les scientifiques manipulent des concepts complexes dans leur ensemble, sans les réduire à des primitives.