Thermodynamic-limit dispersion relations on trapped-ion quantum hardware

Cet article démontre la faisabilité du calcul des énergies de l'état fondamental et des dispersions des quasi-particules dans la limite thermodynamique pour le modèle d'Ising en champ transverse à l'aide d'un processeur quantique à ions piégés de 20 qubits dans le cadre d'une expansion numérique des amas liés, tout en relevant les défis de l'amplification du bruit lors du traitement post-classique non linéaire grâce à des techniques novatrices telles que le test CX.

L'essentiel

La Vue d'Ensemble : Résoudre un Énigme Géant avec des Pièces Minuscules

Imaginez que vous essayez de comprendre comment se comporte une foule massive et infinie de personnes. Vous ne pouvez pas observer tout le monde en même temps ; la foule est trop grande et les interactions trop complexes.

Dans le monde de la physique, cette « foule infinie » est appelée la limite thermodynamique. Les scientifiques veulent savoir comment les particules interagissent dans un matériau infini, mais les ordinateurs classiques (ceux que nous utilisons aujourd'hui) butent sur un mur lorsqu'ils tentent de simuler ces systèmes immenses et fortement connectés. Ils s'embourbent dans les mathématiques.

Ce document décrit une nouvelle façon de résoudre ce problème en utilisant un ordinateur quantique (une machine spéciale qui utilise les lois de la physique quantique pour calculer). Cependant, au lieu d'essayer de simuler toute la foule infinie d'un coup — ce qui est impossible pour les petits ordinateurs quantiques actuels — les chercheurs ont utilisé une stratégie ingénieuse appelée Développement Numérique des Amas Liés (NLCE).

L'Analogie :
Imaginez la foule infinie comme une immense mosaïque. Au lieu d'essayer de peindre l'ensemble d'un coup, les chercheurs peignent de minuscules tuiles séparées (de petits amas de particules). Ils utilisent ensuite une recette mathématique spéciale pour assembler ces tuiles et prédire à quoi ressemble l'image infinie entière.

Le Défi : Le « Bruit » dans la Pièce

Les chercheurs ont utilisé un véritable ordinateur quantique (une machine à ions piégés de 20 qubits) pour peindre ces minuscules tuiles. Mais il y a un piège : les ordinateurs quantiques actuels sont « bruyants ». C'est comme essayer de peindre un chef-d'œuvre dans une pièce où les lumières clignotent et où le vent fait voler la peinture.

Le problème spécifique qu'ils ont abordé est que leur recette mathématique nécessite un traitement postérieur non linéaire.

• Analogie simple : Imaginez que vous mesurez la température d'une tasse de café. C'est un nombre simple. Mais si vous devez calculer la racine carrée de cette température, ou diviser une mesure par une autre, de petites erreurs dans votre mesure initiale sont amplifiées massivement.
• L'Affirmation du Document : Les chercheurs se sont demandé : « Notre ordinateur quantique est-il assez précis pour nous donner des nombres qui n'exploseront pas lorsque nous effectuerons ces opérations mathématiques délicates plus tard ? »

Les Outils Qu'ils Ont Utilisés

Pour rendre cela possible, ils ont combiné plusieurs techniques différentes :

1. Le « Résolveur d'Amas » (VQE vs ASP) :
   Pour peindre les minuscules tuiles, ils ont utilisé deux méthodes différentes :

   • VQE (Variational Quantum Eigensolver) : Imaginez cela comme un étudiant passant un examen. L'ordinateur essaie une solution, reçoit une note, apprend de l'erreur et réessaie jusqu'à obtenir la meilleure réponse.
   • ASP (Adiabatic State Preparation) : Imaginez cela comme tourner lentement un cadran. Vous commencez avec un système simple et vous le transformez très lentement en celui complexe que vous souhaitez.
   • Résultat : L'« étudiant » (VQE) a mieux réussi que le « cadran lent » (ASP) sur ce matériel spécifique, probablement parce que le cadran lent a pris trop de temps et s'est trop embrouillé à cause du bruit.

2. Le « PCAT » (La Colle) :
   Une fois qu'ils ont eu les données des minuscules tuiles, ils devaient les coller ensemble pour qu'elles ne se désagrègent pas. Ils ont utilisé une méthode appelée PCAT.

   • La Métaphore : Imaginez que vous avez deux structures Lego séparées. Si vous les collez simplement avec du ruban adhésif, elles pourraient vaciller. Le PCAT est une colle spéciale qui garantit que la structure combinée se comporte exactement comme les deux structures séparées le feraient si elles faisaient partie d'un immense ensemble Lego infini. Cela implique des mathématiques lourdes (inversion de matrices et racines carrées) qui amplifient tout bruit.

3. Le « Test CX » (Une Façon Plus Intelligente de Mesurer) :
   Habituellement, pour obtenir les données nécessaires à ces mathématiques, les scientifiques utilisent un outil de mesure standard appelé le « test de Hadamard ». Les auteurs ont réalisé que cet outil était trop lourd et compliqué pour leur machine bruyante.

   • L'Innovation : Ils ont inventé un outil plus simple qu'ils appellent le test CX.
   • L'Analogie : Si le test de Hadamard est comme utiliser une grue industrielle lourde pour soulever une plume, le test CX est comme utiliser une pince à épiler. C'est beaucoup plus léger, plus rapide et moins susceptible de faire tomber des choses, mais il fait toujours le travail. Ils ont constaté que pour leur problème mathématique spécifique, ils n'avaient pas besoin de mesurer une valeur « globale », ils pouvaient donc éviter complètement le levage lourd.

Ce Qu'ils Ont Découvert

L'équipe a testé cela sur un modèle appelé le Modèle d'Ising à Champ Transverse (un test standard pour la physique quantique) dans trois formes différentes : une ligne, une ligne avec une torsion et un échelle.

• Les Bonnes Nouvelles : Dans de nombreux cas, l'ordinateur quantique bruyant a produit des données qui, après l'application des mathématiques délicates, ressemblaient très fortement à la réponse correcte. Le « test CX » a bien fonctionné, et la méthode « VQE » était suffisamment robuste pour gérer le bruit.
• Les Mauvaises Nouvelles : La méthode « cadran lent » (ASP) était trop profonde et trop bruyante pour bien fonctionner pour l'instant. De plus, lorsqu'ils ont tenté de briser une symétrie spécifique en physique (en ajoutant un champ longitudinal), les mathématiques sont devenues si sensibles au bruit que l'ordinateur actuel ne pouvait pas voir les minuscules corrections nécessaires.
• La Conclusion : Le document prouve que le matériel quantique actuel est tout juste assez bon pour gérer ces problèmes mathématiques complexes et non linéaires. Les résultats ne sont pas parfaits, mais ils sont « reconnaissables » et s'approchent du bon comportement.

La Conclusion Essentielle

Les chercheurs ont démontré avec succès que l'on peut utiliser un petit ordinateur quantique bruyant pour résoudre des problèmes concernant des systèmes infinis, à condition d'utiliser une stratégie intelligente « basée sur les tuiles » (NLCE) et un outil de mesure plus léger (test CX).

Ils ont montré que, bien que les machines d'aujourd'hui soient encore un peu instables, elles atteignent un point où elles peuvent fournir des données suffisamment précises pour que des mathématiques classiques complexes les transforment en prédictions scientifiques utiles. C'est une preuve de concept que nous sommes sur la bonne voie pour utiliser les ordinateurs quantiques pour des problèmes de physique réels que les ordinateurs classiques ne peuvent tout simplement pas résoudre.

Résumé technique

Résumé technique : Relations de dispersion dans la limite thermodynamique sur du matériel quantique à ions piégés

Énoncé du problème
Le calcul des propriétés des systèmes quantiques à N corps dans la limite thermodynamique constitue un défi central en physique de la matière condensée, en particulier pour les systèmes fortement corrélés où les méthodes classiques rencontrent des limitations fondamentales. Bien que les ordinateurs quantiques offrent une voie potentielle, les dispositifs actuels à échelle intermédiaire bruyants (NISQ) sont contraints par le nombre de qubits et les fidélités des portes, limitant les calculs directs à de petites tailles de systèmes très éloignées de la limite thermodynamique. De plus, l'extraction de propriétés dans la limite thermodynamique nécessite souvent un traitement post-classique non linéaire (tel que l'inversion de matrice et les racines carrées) des valeurs d'attente quantiques. Une question ouverte cruciale est de savoir si le matériel actuel peut fournir des valeurs d'attente avec une précision suffisante pour résister à ces opérations non linéaires sans que les erreurs ne soient amplifiées au point de rendre les résultats inutiles.

Méthodologie
Les auteurs proposent et mettent en œuvre un cadre combinant les développements en amas liés numériques (NLCE) avec des algorithmes quantiques (QA), dénommé NLCE+QA. Cette approche calcule les énergies de l'état fondamental et les dispersions d'une quasi-particule (1QP) dans la limite thermodynamique en utilisant des données provenant de petits amas.

• Cadre : La méthode décompose les grandeurs extensives en contributions issues d'amas connectés. Pour assurer la convergence du NLCE, le Hamiltonien effectif doit être « additif en amas ». Les auteurs emploient la Transformation Additive en Amas Projective (PCAT) pour imposer cette propriété. La PCAT consiste à construire une unitaire modifiée qui découple le secteur 1QP des autres secteurs tout en préservant la structure produit des états sur des amas déconnectés.
• Algorithmes quantiques : Deux algorithmes sont explorés pour préparer les états nécessaires sur le matériel quantique :
  1. Préparation d'état adiabatique (ASP) : Une transformation unitaire reliant les états propres du Hamiltonien non habillé à ceux habillés.
  2. Résolveur variationnel quantique d'éigen (VQE) : Une approche hybride utilisant un Ansatz variationnel Hamiltonien (HVA) entraîné classiquement pour mettre le Hamiltonien sous forme bloc-diagonale.
• Schémas de mesure :
  • Énergie de l'état fondamental : Calculée en utilisant la Diagonalisation Quantique Basée sur des Échantillons (SQD).
  • Éléments de matrice : Les auteurs introduisent le test CX, une alternative novatrice au test de Hadamard standard. Le test CX mesure le recouvrement et les éléments de matrice du Hamiltonien en utilisant des portes contrôlées-X, évitant ainsi la nécessité de circuits d'unitaires contrôlées profonds. Crucialement, dans le contexte de la PCAT, le facteur prépondérant global requis par le test CX s'annule dans le calcul final du Hamiltonien effectif, éliminant entièrement le besoin du test de Hadamard coûteux.
• Matériel : Des expériences ont été menées sur une unité de traitement quantique (QPU) à 20 qubits à ions piégés (AQT Marmot) au Centre de Calcul Supérieur Leibniz.

Contributions clés

1. Première implémentation matérielle : Ce travail présente la première implémentation matérielle du cadre NLCE+VQE et introduit le cadre NLCE+ASP pour le calcul des dispersions 1QP dans la limite thermodynamique.
2. Test CX : L'introduction du test CX comme alternative plus efficace au test de Hadamard pour le calcul d'un nombre polynomial d'éléments de matrice dans le contexte de la PCAT, réduisant considérablement la profondeur des circuits.
3. Analyse des erreurs : Une investigation détaillée de l'interplay entre le bruit de tir, le bruit de dépoliarisation matériel et le traitement post-classique non linéaire inhérent à la PCAT (inversion de matrice/racines carrées). Les auteurs démontrent que les fonctions non linéaires amplifient le bruit, créant un biais positif dans les courbes de dispersion.
4. Études de modèles : Le cadre est appliqué au Modèle d'Ising en champ transversal (TFIM) dans trois régimes :
   • Chaîne 1D (TFIM pur).
   • Chaîne 1D avec un champ longitudinal (TFIM+LF), qui brise la symétrie $Z_2$ et nécessite la correction PCAT complète.
   • Géométrie échelle 2D.

Résultats

• Performance : L'approche basée sur le VQE a généralement surpassé l'ASP sur le matériel actuel en raison de la profondeur de circuit plus faible requise. Les circuits ASP ont été jugés trop profonds pour les niveaux de bruit actuels, entraînant des écarts significatifs par rapport aux solutions analytiques.
• Précision : Pour le TFIM 1D dans la phase polarisée (suffisamment éloigné du point critique quantique), les dispersions expérimentales obtenues à partir de la QPU se sont rapprochées du comportement analytique attendu. Les résultats étaient plus précis que les simulations bruyantes utilisant des taux de dépoliarisation de référence, suggérant que les taux d'erreur réels du dispositif étaient inférieurs aux valeurs de référence.
• Limitations :
  • À mesure que le système approche le point critique quantique ($J/h \to 1$) ou inclut un champ longitudinal, l'erreur augmente. Le traitement post-classique non linéaire amplifie les erreurs, et la correction PCAT complète (requise pour TFIM+LF) n'a pas pu être testée de manière décisive car les termes de correction étaient en dessous du plancher de bruit d'échantillonnage ($\Delta_{ij} \ll 1/\sqrt{M}$).
  • La géométrie échelle (2D) a montré des erreurs plus importantes que la chaîne 1D, attribuées à une connectivité de qubits plus élevée et au fait que le système est plus proche de son point critique par rapport à la taille de l'amas utilisée.
• Sensibilité au bruit : L'étude confirme que le traitement post-classique non linéaire est hautement sensible au bruit. Bien que les relations de dispersion aient été reconnaissables, elles ne coïncidaient pas parfaitement avec les solutions analytiques, indiquant que la précision actuelle du matériel se situe au seuil de viabilité pour de telles méthodes.

Importance et affirmations
L'article affirme que son travail ouvre la voie à l'exécution de calculs dans la limite thermodynamique avec des corrélations spatiales sur des dispositifs quantiques. Il démontre que, dans des régimes limités (spécifiquement la phase polarisée du TFIM), le pipeline de traitement post-classique non linéaire est viable sur le matériel actuel, produisant des relations de dispersion reconnaissables.

Les auteurs affirment que les précisions du matériel quantique ont atteint un stade où il est pertinent de développer de nouveaux algorithmes impliquant un traitement post-classique non linéaire de données quantiques. Ils concluent que, bien que les résultats actuels ne soient pas encore hors de portée classique, une réduction des taux d'erreur d'un facteur 10 à 100 permettrait le calcul précis des relations de dispersion en utilisant l'ASP et autoriserait le test de corrections plus complexes (comme la PCAT complète pour les systèmes à symétrie brisée). Le travail met en évidence que les approches hybrides associant des mesures quantiques à un traitement post-classique non linéaire offrent une voie prometteuse à mesure que le matériel s'améliore et que la transition vers la tolérance aux pannes s'élargit.