Local qubit invariants on quantum computer

Cet article présente deux méthodes générales pour implémenter des circuits quantiques permettant de mesurer directement des invariants unitaires locaux, en les appliquant spécifiquement à des invariants et mesures d'intrication à trois qubits sur la plateforme IBM Quantum.

L'essentiel

🌌 Mesurer l'Invisible : Comment "voir" l'entrelacement quantique sur un ordinateur

Imaginez que vous avez deux pièces de monnaie quantiques. Si elles sont "normales", elles sont indépendantes. Mais si elles sont intriquées (un phénomène appelé entanglement), elles deviennent comme deux jumeaux télépathes : peu importe la distance qui les sépare, si l'une tombe sur "face", l'autre tombe instantanément sur "face" aussi. C'est le cœur de la magie quantique.

Le problème ? Ces jumeaux sont très timides. Dès qu'on essaie de les observer directement, ils se cachent ou changent de comportement. De plus, pour décrire mathématiquement cette connexion, les physiciens utilisent des formules complexes appelées invariants. Ce sont des nombres qui ne changent pas, même si on tourne les pièces ou si on les secoue (ce qu'on appelle des transformations unitaires locales).

Le but de ce papier :
Les auteurs, Szilárd Szalay et Frédéric Holweck, ont trouvé deux nouvelles façons de mesurer ces nombres magiques directement sur un ordinateur quantique réel (celui d'IBM), sans avoir besoin de reconstruire toute l'histoire de la pièce (ce qui prendrait trop de temps).

---

🛠️ Les deux méthodes : Le "Petit" et le "Grand"

Pour mesurer ces invariants, les chercheurs proposent deux recettes de cuisine.

1. La méthode "Petite Cuisine" (La plus efficace)

Imaginez que vous voulez vérifier la recette d'un gâteau.

• L'idée : Vous préparez le gâteau une fois, puis vous le "retournez" (comme si vous lisiez la recette à l'envers) et vous les mélangez.
• L'astuce : Au lieu de regarder tout le gâteau, vous regardez juste si, à la fin, il reste une miette spécifique. La probabilité de trouver cette miette vous dit exactement à quel point le gâteau est "intriqué".
• Avantage : Cela utilise peu d'ingrédients (peu de qubits) et va vite. C'est comme utiliser une balance de cuisine précise.

2. La méthode "Grande Cuisine" (La plus lourde)

• L'idée : Cette fois, vous préparez deux gâteaux identiques. Vous les mettez côte à côte, vous les faites danser ensemble, et vous essayez de les faire s'embrasser (ce qu'on appelle une "mesure de Bell").
• L'astuce : Si les deux gâteaux s'embrassent parfaitement, cela prouve qu'ils sont intriqués.
• Inconvénient : Il faut deux fois plus d'ingrédients (deux fois plus de qubits) et la cuisine est plus encombrée. C'est comme essayer de peser un gâteau avec une balance de camion : c'est possible, mais moins précis à cause du bruit ambiant.

---

🎭 Le Théâtre des États Quantiques

Pour tester leurs méthodes, les auteurs ont créé des "acteurs" (des états quantiques) sur l'ordinateur d'IBM :

• Les Séparables : Des acteurs qui ne parlent pas entre eux (pas d'intrication).
• Les W : Des acteurs qui forment un trio où l'un est lié aux deux autres, mais pas de la même façon.
• Les GHZ : Le trio ultime, où les trois sont liés d'une manière très forte et mystérieuse.

En faisant jouer ces acteurs sur l'ordinateur quantique, ils ont mesuré les "invariants".

• Résultat : Les mesures correspondaient très bien à la théorie !
• Le hic : Comme tout ordinateur quantique actuel est un peu "bruyant" (comme une radio avec des parasites), les mesures n'étaient pas parfaites à 100%. Parfois, un état qui devrait être "nul" (pas d'intrication) affichait une petite valeur due au bruit. C'est comme essayer d'entendre un chuchotement dans un stade de foot : on entend quelque chose, mais ce n'est pas toujours clair.

---

💡 Pourquoi c'est important ?

1. Pas besoin de tout reconstruire : Avant, pour connaître l'intrication d'un système complexe, il fallait faire une "tomographie" (une sorte de scanner 3D complet) qui prenait des heures et des milliers de mesures. Ici, on fait quelques mesures rapides pour obtenir le résultat direct.
2. Un test pour les ordinateurs : Ces formules servent maintenant de "test de performance" pour les ordinateurs quantiques. Si l'ordinateur ne peut pas mesurer ces invariants correctement, c'est qu'il est trop bruyant.
3. L'avenir : Même si aujourd'hui on ne peut faire cela que sur 2 ou 3 qubits (des pièces de monnaie), la méthode fonctionne pour n'importe quel nombre. C'est une clé pour comprendre les systèmes quantiques géants de demain.

En résumé

Ces chercheurs ont inventé un nouvel outil de mesure pour voir l'invisible. Au lieu de dessiner toute la carte d'un territoire quantique, ils ont trouvé un raccourci magique qui leur permet de dire : "Regardez, ce système est très intriqué !" ou "Celui-ci ne l'est pas du tout". C'est une étape cruciale pour transformer la physique quantique théorique en une technologie pratique que nous pourrons un jour utiliser dans nos foyers.

Résumé technique

1. Problématique

L'intrication quantique est la forme la plus notable de corrélations non classiques. Pour caractériser complètement l'intrication d'un état quantique, il est nécessaire d'utiliser des invariants sous transformations unitaires locales (LU-invariants). Ces invariants permettent de distinguer les classes d'équivalence des états quantiques (classes SLOCC) et de quantifier l'intrication.

Le défi principal réside dans la mesure directe de ces invariants sur des ordinateurs quantiques réels, en particulier dans l'ère NISQ (Noisy Intermediate-Scale Quantum). Les méthodes existantes présentent des limitations :

• Tomographie complète : Nécessite un nombre de mesures exponentiel par rapport au nombre de qubits ($3^n$ pour $n$ qubits), ce qui devient rapidement impossible.
• Méthodes d'optimisation : Basées sur des formes canoniques LU, elles nécessitent de nombreuses exécutions pour converger vers une valeur optimale.
• Méthodes ad hoc : Spécifiques à certains invariants (comme la concurrence carrée pour 2 qubits), elles ne généralisent pas facilement à des systèmes plus complexes.

L'objectif de l'article est de proposer des méthodes générales pour mesurer directement ces invariants (réels et non négatifs) sur des processeurs quantiques, en traduisant les contractions d'indices mathématiques en circuits quantiques.

2. Méthodologie

Les auteurs proposent deux méthodes générales basées sur l'utilisation de copies d'états (via des oracles $U_\psi$) et des contractions d'indices via des opérateurs spécifiques ($\delta$ pour la norme, $\epsilon$ pour le déterminant/intrication).

A. Principes Fondamentaux

Les invariants sont définis par des contractions d'indices des coefficients de l'état $|\psi\rangle$.

• Opérateurs clés :
  • $\delta = I$ (matrice identité) pour les contractions de type norme.
  • $\epsilon = iY$ (opérateur Pauli-Y) pour les contractions de type déterminant (crucial pour l'intrication).
• Ressources : Les méthodes utilisent $k/2$ copies de l'état (où $k$ est le degré de l'invariant). Comme le clonage quantique est impossible, cela se traduit par l'utilisation de $k/2$ instances de l'oracle $U_\psi$ (ou de sa transposée/conjuguée).

B. Les Deux Méthodes de Circuits

1. Méthode 1 (Circuit Compact) :

   • Utilise $nk/4$ qubits (où $n$ est le nombre de qubits du système).
   • Implémente les contractions d'indices en utilisant des portes unitaires inverses ($U^\dagger_\psi$) ou transposées ($U^T_\psi$) directement sur les registres.
   • Avantage : Moins de qubits, moins de portes CNOT, donc une précision théorique supérieure et une erreur relative plus faible.
   • Principe : La probabilité d'un résultat de mesure spécifique (ex: $|00...0\rangle$) est proportionnelle à la valeur de l'invariant (ou sa puissance).

2. Méthode 2 (Circuit avec Mesures de Bell) :

   • Utilise $nk/2$ qubits (deux fois plus de qubits).
   • Utilise deux copies de l'état préparées séparément. Les contractions d'indices sont réalisées par des mesures de Bell (ou des équivalents en portes CNOT/Hadamard) entre les copies.
   • Inconvénient : Plus de qubits, plus de portes, et une réduction de la probabilité de succès par un facteur $1/2$ par contraction de Bell, ce qui augmente l'erreur relative.
   • Utilité : Peut être préférée si l'implémentation de $U^\dagger_\psi$ ou $U^T_\psi$ est techniquement impossible ou trop coûteuse pour un protocole spécifique.

C. Application aux Systèmes de 2 et 3 Qubits

Les auteurs appliquent ces méthodes à des invariants cruciaux :

• 2 Qubits : Mesure de la norme ($n^4$) et de la concurrence carrée ($c^2$).
• 3 Qubits : Mesure de la norme, de la concurrence locale ($c_a^2$), de l'invariant $\omega^2$ (lié à l'intrication de type W) et du 3-tangle ($\tau^2$, lié à l'intrication de type GHZ). Ces invariants permettent de classifier les états dans les classes SLOCC (Null, 1|2|3, 1|23, W, GHZ).

3. Contributions Clés

• Généralité : Les méthodes traduisent directement les contractions d'indices de la théorie des invariants en circuits quantiques, fonctionnant pour un nombre arbitraire de sous-systèmes et de dimensions (bien que démontré sur des qubits).
• Efficacité : Contrairement à la tomographie complète (échelle exponentielle), le nombre de mesures nécessaires ici ne dépend que du degré de l'invariant (échelle linéaire par rapport au degré, mais constante par rapport au nombre de qubits pour un invariant donné).
• Implémentation NISQ : Démonstration pratique sur la plateforme IBM Quantum, prouvant la faisabilité sur du matériel réel bruité.
• Classification SLOCC : Fournit un moyen direct de déterminer la classe d'intrication d'un état sans reconstruction complète de l'état.

4. Résultats Expérimentaux

Les auteurs ont testé leurs circuits sur le processeur ibmq_pittsburgh (IBM Quantum Heron r3) pour trois familles d'états :

1. États séparables (1|2|3) : Ex: $|\psi_{1|23}\rangle$.
2. États de type W : Ex: $|\psi_W\rangle$.
3. États de type GHZ : Ex: $|\psi_{GHZ}\rangle$.

Observations :

• Précision : Les valeurs mesurées correspondent globalement aux valeurs théoriques (Tableaux 2 et 3).
• Bruit : Des erreurs significatives mais faibles sont observées dues au bruit des dispositifs NISQ.
  • Les états séparables montrent de petites valeurs non nulles pour les invariants d'intrication (faux positifs dus au bruit).
  • Les états fortement intriqués montrent une légère sous-estimation des valeurs.
• Comparaison des circuits : La Méthode 1 (Circuit Compact) a démontré de meilleures performances que la Méthode 2, confirmant que la réduction du nombre de qubits et de portes CNOT améliore la fidélité des résultats sur le matériel actuel.
• Robustesse : Malgré le bruit, les invariants permettent de distinguer les tendances d'intrication (ex: $\tau^2$ élevé pour GHZ, $\omega^2$ élevé pour W).

5. Signification et Perspectives

• Validation Physique : L'article transforme des concepts mathématiques abstraits (comme l'hyperdéterminant de Cayley) en expériences physiques mesurables.
• Benchmarking : Ces invariants peuvent servir de métriques pour évaluer la performance et la fidélité des ordinateurs quantiques actuels.
• Limites NISQ : L'article souligne que la détection parfaite des classes SLOCC (qui sont des variétés algébriques de mesure nulle) est impossible sur les dispositifs NISQ actuels en raison du bruit qui "remplit" l'espace des états. Cependant, les invariants restent des indicateurs quantitatifs robustes de la "force" de l'intrication.
• Futur : Les méthodes sont extensibles à des systèmes de dimensions supérieures et pourraient être combinées avec des techniques de correction d'erreur ou d'atténuation de bruit pour des applications futures.

En résumé, cet article établit un pont solide entre la théorie des invariants algébriques et l'ingénierie des circuits quantiques, offrant des outils pratiques pour l'analyse de l'intrication dans l'ère des ordinateurs quantiques intermédiaires.