Non-Abelian Mixer for QAOA on Hybrid Oscillator-Qubit Quantum Processors

Cet article propose un mélangeur non abélien natif matériel pour l'algorithme d'optimisation quantique approximative (QAOA) sur des processeurs hybrides oscillateur-qubit, démontrant par des simulations sur des problèmes de coupe maximale qu'il surpasse systématiquement le mélangeur de champ transversal standard tant en qualité de solution qu'en probabilité de solution optimale.

L'essentiel

Imaginez que vous essayez de résoudre un puzzle massif et complexe. Dans le monde de l'informatique quantique, ce puzzle est souvent un problème appelé Max-Cut. Pensez-y comme à un scénario d'organisation de fête : vous avez un groupe de personnes (nœuds) et une liste de qui déteste qui (arêtes). Votre objectif est de diviser le groupe en deux équipes afin que le nombre maximum de « détestations » se produise entre les équipes, plutôt qu'à l'intérieur de celles-ci. Plus vous séparez de détestations, meilleure est votre solution.

Pendant longtemps, les scientifiques ont tenté de résoudre ce problème en utilisant deux types différents d'« ordinateurs » :

1. Ordinateurs numériques (discrets) : Comme les ordinateurs standards qui utilisent des interrupteurs soit allumés, soit éteints (0 ou 1).
2. Ordinateurs analogiques (continus) : Comme un variateur d'intensité lumineuse qui peut être réglé à n'importe quel niveau de luminosité, pas seulement allumé ou éteint.

La nouvelle machine hybride

Les auteurs de cet article travaillent sur un nouveau type d'ordinateur quantique qui combine les deux. Il utilise des qubits (les interrupteurs numériques) et des oscillateurs (les variateurs d'intensité analogiques) fonctionnant ensemble.

Imaginez l'oscillateur comme une roue géante en rotation qui peut s'arrêter à n'importe quel point d'un cercle. Le qubit est un petit aimant qui peut pointer vers le haut ou vers le bas. Dans cette machine hybride, l'aimant contrôle la roue, et la roue aide l'aimant à accomplir sa tâche. Cette configuration est puissante car la roue offre un espace immense, presque infini, à explorer, tandis que l'aimant nous donne un contrôle précis.

Le problème : Comment « mélanger » la solution

Pour résoudre le puzzle Max-Cut, l'ordinateur utilise un algorithme appelé QAOA. Vous pouvez considérer le QAOA comme un processus de « secousse » du système pour trouver la meilleure disposition.

• D'abord, il applique une règle de « coût » (pénalisant les mauvaises dispositions).
• Ensuite, il applique un « mélangeur » pour tout secouer et essayer de nouvelles dispositions.

Dans les ordinateurs numériques standards, le « mélangeur » est comme un simple interrupteur basculant : il inverse simplement un 0 en 1 et vice versa. Les auteurs se sont demandé : Si nous avons cette machine hybride sophistiquée avec des roues en rotation, pouvons-nous utiliser un meilleur mélangeur qui tire parti de la capacité de la roue à tourner dans n'importe quelle direction ?

La solution : Le « Mélangeur non abélien »

Les auteurs ont inventé un nouveau mélangeur qu'ils appellent un Mélangeur non abélien.

Voici une analogie simple :

• L'ancien mélangeur (Champ transversal) : Imaginez essayer de mélanger un bol de soupe en ne la remuant que dans une ligne droite, d'avant en arrière. Cela fonctionne, mais c'est limité.
• Le nouveau mélangeur (Non abélien) : Imaginez que vous pouvez maintenant remuer la soupe en cercles, en huit, et même incliner le bol tout en remuant. Parce que la « roue » (oscillateur) et l'« aimant » (qubit) ne fonctionnent pas bien en ligne droite (ils sont « non commutatifs »), ce nouveau mélangeur utilise cette bizarrerie à son avantage. Il permet à l'ordinateur d'explorer l'espace des solutions de manière beaucoup plus créative et efficace.

Ils ont construit ce mélangeur en utilisant les outils spécifiques (jeu d'instructions) que ce matériel hybride sait déjà exécuter nativement, plutôt que d'essayer de le forcer à faire quelque chose pour lequel il n'était pas conçu.

Les résultats : Un meilleur résolveur de puzzles

L'équipe a testé son nouveau mélangeur sur des puzzles aléatoires d'« organisation de fête » (graphes) de différentes tailles. Ils ont comparé leur nouveau mélangeur « roue-et-aimant » à l'ancien mélangeur « interrupteur basculant ».

Les résultats étaient clairs :

1. Meilleure qualité : Le nouveau mélangeur a constamment trouvé des solutions plus proches de la réponse parfaite.
2. Taux de réussite plus élevé : Il était beaucoup plus susceptible de trouver la solution parfaite, et non pas seulement une solution « suffisante ».

Ils ont également testé la « profondeur » du mélangeur (combien d'étapes il fallait pour remuer). Ils ont constaté que même l'ajout d'une seule couche de cette nouvelle technique de mélange faisait une énorme différence par rapport à l'ancienne méthode.

La conclusion

L'article conclut que, lors de la construction d'algorithmes pour ces nouveaux ordinateurs quantiques hybrides, nous ne devrions pas simplement copier-coller les anciennes recettes numériques. Au lieu de cela, nous devrions concevoir de nouveaux outils qui s'adaptent à la forme unique du matériel. En utilisant un mélangeur qui respecte la physique naturelle des roues en rotation et des aimants, nous pouvons résoudre des problèmes d'optimisation complexes bien mieux qu'auparavant.

En bref : Ils ont créé une nouvelle façon, plus créative, de « remuer » un ordinateur quantique hybride, et cela a résolu les puzzles de manière significativement meilleure que l'ancienne méthode simple.

Résumé technique

Résumé technique : Mélangeur non abélien pour QAOA sur des processeurs quantiques hybrides oscillateur-qubit

Énoncé du problème
Bien qu'un contrôle universel ait été établi pour les processeurs quantiques hybrides à variables continues (CV) et à variables discrètes (DV) — spécifiquement ceux couplant des qubits supraconducteurs à des résonateurs micro-ondes —, le développement d'algorithmes quantiques adaptés à ces plateformes en est encore à ses débuts. Bien que l'algorithme d'optimisation quantique approximatif (QAOA) soit bien étudié dans des contextes purement à variables discrètes (DV) et purement à variables continues (CV), sa formulation pour les systèmes hybrides CV-DV fait défaut. Un vide critique existe dans l'identification du Hamiltonien « mélangeur » approprié pour le QAOA sur des processeurs hybrides. Le QAOA standard repose sur un mélangeur de champ transversal (une somme d'opérateurs Pauli-X), qui est natif aux systèmes DV mais qui pourrait ne pas exploiter pleinement l'espace d'état de dimension infinie et les primitives de contrôle non commutatifs disponibles dans les architectures hybrides oscillateur-qubit.

Méthodologie
Les auteurs proposent un cadre QAOA natif au matériel, conçu spécifiquement pour les processeurs hybrides CV-DV, en utilisant l'architecture d'ensemble d'instructions (ISA) de l'espace des phases. Le cœur de leur méthodologie comprend trois composants clés :

1. Encodage et lecture : L'algorithme encode des qubits logiques dans des états de Gottesman-Kitaev-Preskill (GKP) à énergie finie au sein des modes oscillateurs. Des qubits auxiliaires sont utilisés pour médiatiser le contrôle et la lecture. L'information logique est mappée entre l'espace des phases de l'oscillateur et le registre de qubits en utilisant une séquence spécifique de traitement du signal quantique non abélien (NA-QSP), notée $E_x(\sqrt{\pi}/2, \Delta)$, qui corrige l'incertitude de position inhérente aux états GKP à énergie finie.
2. Unitaire de coût : Pour le problème du Max-Cut sur des graphes d'Erdős–Rényi non pondérés, le Hamiltonien de coût est implémenté comme une série de rotations logiques ZZ ($R_{ZZ}$) sur le registre de qubits auxiliaires. Cet unitaire encode la structure du graphe dans les phases relatives des amplitudes des qubits.
3. Mélangeur non abélien : L'innovation principale est le remplacement du mélangeur de champ transversal standard par un mélangeur non abélien construit à partir de primitives natives de l'espace des phases. Ce mélangeur agit sur chaque paire oscillateur-qubit et se compose de :
   • Une rotation initiale d'un seul qubit entraînables.
   • Une séquence de portes de déplacement conditionnel (CD) le long des deux quadratures de position ($\hat{x}$) et d'impulsion ($\hat{p}$).
   • Des rotations de qubits entrelacées qui changent de base entre les déplacements.
   • La profondeur de ce mélangeur, $d$, est un paramètre ajustable. Lorsque $d=0$, le mélangeur se réduit au mélangeur de champ transversal standard. Pour $d \geq 1$, il exploite la non-commutativité de $\hat{x}$ et $\hat{p}$ pour explorer l'espace des solutions plus efficacement.

Contributions clés
L'article apporte trois contributions spécifiques :

• Proposition d'un mélangeur non abélien : Les auteurs introduisent un mélangeur construit à partir d'ensembles d'instructions hybrides CV-DV natifs (déplacements conditionnels et rotations de qubits) qui exploite la nature non abélienne des quadratures de l'oscillateur.
• Développement d'un ansatz hybride : Ils développent un ansatz QAOA complet pour le problème du Max-Cut qui intègre l'encodage GKP, la lecture/correction NA-QSP et le mélangeur non abélien proposé.
• Étalonnage : Ils fournissent un étalonnage systématique de l'ansatz proposé par rapport au mélangeur de champ transversal standard, en utilisant des ratios d'approximation et des probabilités de solution optimale.

Résultats de simulation
Les auteurs ont évalué l'ansatz proposé sur des graphes d'Erdős–Rényi non pondérés de tailles $N=4$ et $N=5$, en utilisant diverses coupures de Fock ($N_{max} \in \{6, 8, 10, 12\}$) et des paramètres d'enveloppe GKP ($\Delta$). Les résultats indiquent :

• Amélioration constante : Pour toutes les tailles de graphes testées et toutes les coupures de Fock, le mélangeur non abélien a constamment surpassé le mélangeur de champ transversal standard.
• Gains de métriques : L'amélioration moyenne du ratio d'approximation était d'environ 0,13 pour les deux tailles de graphes. L'amélioration moyenne de la probabilité d'échantillonnage d'une solution optimale était d'environ 0,15.
• Dépendance à la profondeur : L'augmentation de la profondeur du mélangeur de $d=0$ (référence de champ transversal) à $d=1$ a produit le bond de performance le plus significatif. Des augmentations supplémentaires de la profondeur ont fourni des gains marginaux mais positifs.
• Robustesse : Les performances sont restées stables à mesure que la coupure de Fock augmentait, suggérant que l'algorithme est robuste à la troncature de l'espace de Hilbert de dimension infinie. Le paramètre d'enveloppe GKP $\Delta$ a également influencé les performances, des valeurs plus élevées (représentant des états plus larges et de plus basse énergie) montrant de légères améliorations dans l'espace tronqué.

Signification et affirmations
L'article affirme que le mélangeur non abélien proposé est un bloc de construction prometteur pour le QAOA sur des plateformes hybrides oscillateur-qubit. Les résultats suggèrent que la conception d'algorithmes pour les systèmes hybrides doit suivre la structure native du matériel et les primitives de contrôle (spécifiquement les opérations non commutatives de l'espace des phases) plutôt que de s'appuyer sur des transferts naïfs d'algorithmes à variables discrètes. Les auteurs postulent que leur mélangeur permet une exploration plus efficace de l'espace des solutions du Max-Cut, améliorant à la fois la qualité attendue de la solution et la probabilité de trouver la solution optimale. Ils concluent que ce travail représente une étape vers la conception systématique d'algorithmes pour les processeurs quantiques hybrides, mettant en lumière un principe de conception plus large : exploiter les propriétés algébriques uniques des systèmes hybrides (contrôle non abélien) pour améliorer les performances algorithmiques.