Certifying coherence in quantum devices under classical control

Cet article présente un cadre complet et efficace sur le plan computationnel, utilisant la programmation semi-définie et des connexions avec la mesurabilité conjointe, pour certifier la cohérence quantique dans des dispositifs soumis à un contrôle classique caché, permettant l'analyse d'états de haute dimension et la caractérisation de canaux préservant la cohérence.

L'essentiel

Imaginez que vous êtes un détective essayant de prouver qu'un magicien utilise de la vraie magie (la superposition quantique) plutôt que de simples tours habiles (la physique classique). Habituellement, pour prouver la magie, on vérifie si les cartes du magicien ne suivent pas les règles normales. Mais et si le magicien avait un assistant caché ?

Ce document traite d'un problème spécifique : Comment prouver qu'un dispositif quantique est véritablement « magique » (cohérent) alors qu'il pourrait être secrètement contrôlé par une variable classique cachée ?

Voici la décomposition de leur travail en utilisant des analogies simples :

1. Le Problème : Le « Marionnettiste Caché »

Dans le monde quantique, la « cohérence » est comme un état d'être à deux endroits à la fois (superposition). Habituellement, nous disons qu'un système est cohérent si ses parties ne s'alignent pas parfaitement (elles ne « commutent » pas).

Cependant, imaginez une machine qui prépare ces états quantiques. Et si cette machine était secrètement guidée par un interrupteur caché (une variable classique, appelons-la $\lambda$) que l'expérimentateur ne peut pas voir ?

• Le Tour : L'interrupteur caché dit à la machine de préparer un état « ennuyeux » quand l'interrupteur est sur « 1 », et un autre état « ennuyeux » différent quand l'interrupteur est sur « 2 ».
• L'Illusion : Lorsque vous faites la moyenne des résultats (parce que vous ne savez pas quel réglage d'interrupteur a été utilisé), le mélange final ressemble à un état quantique complexe et « magique » qui ne devrait pas exister.
• Le Danger : Vous pourriez penser avoir découvert un nouveau phénomène quantique, mais il s'agit en réalité d'un tour classique. Le document pose la question : Comment prouver que la machine est véritablement quantique et non simplement manipulée par un marionnettiste classique caché ?

2. La Solution : Un « Tamis Mathématique »

Les auteurs ont construit un ensemble d'outils mathématiques (appelés Programmes Semidéfinis ou SDP) pour agir comme un tamis. Ces outils testent si un ensemble d'états aurait pu être simulé par un interrupteur classique caché.

Ils ont développé deux outils principaux :

A. Le Tamis « Parfait mais Lent » (La Hiérarchie)

• Fonctionnement : C'est une échelle de tests étape par étape. La première étape est une vérification rapide. Si elle échoue, vous savez que c'est un faux. Si elle réussit, vous passez à une étape plus difficile et plus détaillée.
• La Promesse : Si vous continuez à grimper cette échelle éternellement, vous finirez par obtenir une réponse 100 % parfaite. Cela prouve que la cohérence peut être entièrement définie par les mathématiques.
• Le Piège : C'est comme essayer de compter chaque grain de sable sur une plage pour prouver qu'il s'agit d'une plage. C'est précis, mais cela prend trop de temps pour des expériences réelles avec de nombreux états.

B. Le Tamis « Rapide et Intelligent » (La Méthode Pratique)

• Fonctionnement : C'est un raccourci. Il ne grimpe pas toute l'échelle ; il prend juste un instantané très intelligent.
• L'Avantage : Il est incroyablement rapide. Les auteurs ont montré qu'il peut gérer des centaines d'états quantiques (même dans des dimensions élevées) en quelques minutes sur un ordinateur standard.
• Le Résultat : Bien qu'il s'agisse d'un raccourci, il est étonnamment précis. Il peut vous dire avec une grande confiance si un dispositif est véritablement cohérent ou s'il simule la cohérence.

3. Le Cas Particulier : Le Super-Outil du « Qubit »

Pour le type de bit quantique le plus courant (le qubit, qui est comme une pièce qui peut être pile, face, ou les deux), les auteurs ont trouvé un raccourci ingénieux.

• Ils ont connecté le problème de la « cohérence » à un autre problème connu appelé « mesurabilité conjointe » (demander si l'on peut mesurer deux choses à la fois sans les perturber).
• En utilisant cette connexion, ils ont créé un outil capable de certifier la cohérence pour plus de 1 000 qubits à la fois. C'est comme avoir un scanner ultra-rapide qui peut vérifier toute une bibliothèque de livres en quelques secondes.

4. Tester le « Tuyau » (Canaux Quantiques)

Enfin, ils ont appliqué ces outils aux canaux quantiques (les « tuyaux » qui envoient l'information quantique d'un endroit à un autre).

• La Question : Ce tuyau préserve la magie, ou la détruit-il ?
• Le Nouveau Concept : Ils ont défini les « Canaux de Rupture de Cohérence ». Ce sont des tuyaux si bruyants ou destructeurs que peu importe ce que vous envoyez à travers eux, la sortie ressemblera toujours à un mélange classique ennuyeux. C'est comme un tuyau qui transforme l'or en plomb, peu importe ce que vous y mettez.
• Le Test : Leurs outils peuvent désormais vous dire exactement quand un tuyau est sûr (préserve la cohérence) et quand il est brisé (détruit la cohérence).

Résumé

Les auteurs ont construit une boîte à outils pour les scientifiques quantiques.

1. Preuve Théorique : Ils ont prouvé que vous pouvez mathématiquement définir la « véritable quanticité », même avec des trucs classiques cachés.
2. Outil Pratique : Ils ont créé une méthode rapide et efficace pour tester de vrais dispositifs avec de nombreux états.
3. Évolutivité : Pour les qubits simples, ils ont créé un outil qui passe à l'échelle pour des nombres massifs (1 000+).
4. Test de Canal : Ils ont donné un moyen de tester si un canal de communication détruit la magie quantique ou la maintient en vie.

En bref, ils nous ont donné la loupe nécessaire pour repérer la véritable magie quantique, même lorsqu'un marionnettiste classique caché essaie de tirer les ficelles.

Résumé technique

Résumé Technique : Certification de la cohérence dans les dispositifs quantiques sous contrôle classique

Énoncé du Problème
La cohérence quantique, fondamentalement liée à la non-commutativité des états, est typiquement définie par rapport à une base spécifique. Cependant, une certification de la cohérence indépendante de la base nécessite de démontrer qu'un ensemble d'états ne peut pas être simultanément diagonalisé. Une limitation conceptuelle majeure survient lorsque le dispositif de préparation est soumis à un « contrôle classique caché » — des paramètres classiques inaccessibles (variables cachées, $\lambda$) qui influencent de manière stochastique le fonctionnement du dispositif. Dans de tels scénarios, un dispositif peut générer un ensemble d'états non commutants qui paraissent cohérents pour un observateur, tout en admettant un modèle classique où, conditionné sur $\lambda$, les états sous-jacents sont commutants (incohérents). Les méthodes existantes pour certifier la cohérence véritable en présence de telles variables cachées sont limitées à des cas simples. Le problème central abordé est de savoir comment certifier rigoureusement qu'un dispositif de préparation quantique est véritablement cohérent lorsqu'il peut être influencé par des paramètres classiques inaccessibles.

Méthodologie
Les auteurs développent une suite de méthodes basées sur la programmation semi-définie (SDP) pour caractériser l'ensemble $\mathcal{C}$ des ensembles d'états qui admettent un modèle incohérent (c'est-à-dire qu'ils peuvent être simulés par un mélange classique d'états commutants).

1. Hiérarchie complète de relaxations SDP :
   L'article établit d'abord une condition nécessaire et suffisante pour la cohérence en construisant une hiérarchie convergente de relaxations SDP extérieures ($\mathcal{C}_2 \supset \mathcal{C}_3 \supset \dots \supset \mathcal{C}_\infty = \mathcal{C}$).

   • Niveau $m=2$ : Cela implique de définir des opérateurs bipartites $O_{xy} = \int d\lambda q(\lambda) \tau_{x,\lambda} \otimes \tau_{y,\lambda}$, où $\tau_{x,\lambda}$ sont des états commutants. Les contraintes incluent la semi-positivité, la transposée partielle positive (PPT), et les contraintes de marges restaurant les états observés $\rho_x$.
   • Convergence : Les niveaux supérieurs ($m > 2$) utilisent des opérateurs agissant sur $m$ systèmes. La hiérarchie converge vers l'ensemble exact $\mathcal{C}$ quand $m \to \infty$, prouvé via une correspondance avec les théorèmes de de Finetti pour les POVM. Bien que complète, cette approche change mal à l'échelle ($N^2$ matrices de taille $d^2$), ce qui la rend peu pratique pour de grands systèmes.

2. Critère SDP pratique (Matrices de moments par blocs) :
   Pour répondre aux problèmes d'évolutivité, les auteurs introduisent une condition SDP unique et efficace basée sur des matrices de moments par blocs.

   • Formulation : En supposant que les états sous-jacents $\tau_{x,\lambda}$ sont purs et commutants, ils construisent une matrice de moments par blocs $\Gamma$ contenant les états observés $\rho_x$ et les variables d'optimisation $M_{ij}$ représentant des produits d'états commutants.
   • Contraintes : La matrice $\Gamma$ doit être semi-définie positive, avec des blocs diagonaux correspondant à $\rho_i$ et des blocs hors-diagonaux $M_{ij}$ satisfaisant $\rho_i \succeq M_{ij} \succeq 0$ et l'Hermiticité.
   • Efficacité : Cette méthode évolue linéairement avec le nombre d'états $N$ et la dimension $d$ (taille de la matrice $d(N+1)$), ce qui la rendrait calculablement faisable pour des $N$ et $d$ élevés.
   • Témoins : Le dual de cette SDP produit des témoins de cohérence (inégalités) qui sont satisfaits par tous les ensembles incohérents mais violés par les ensembles cohérents.

3. Méthode spécialisée pour les qubits (Mesurabilité conjointe) :
   Pour les systèmes de qubits ($d=2$), les auteurs exploitent l'équivalence entre la certification de la cohérence et la mesurabilité conjointe d'observables dichotomiques associées.

   • Approximation : Ils utilisent des techniques de programmation convexe pour approximer l'ensemble des observables conjointement mesurables en utilisant des approximations polyédriques internes et externes de la sphère de Bloch.
   • Évolutivité : En utilisant un polyèdre possédant 220 sommets (approximant la sphère de Bloch avec un facteur de rétrécissement $r \approx 0,9934$), ils parviennent à une certification de haute précision pour des ensembles dépassant les 1 000 états de qubits.

4. Cohérence sur les canaux :
   Les méthodes sont étendues aux canaux quantiques $\Lambda$. Un canal est défini comme brisant la cohérence (CB - Coherence-Breaking) si son image (l'ensemble de tous les états de sortie) admet un modèle incohérent.

   • Certification : Les auteurs proposent un algorithme itératif pour trouver l'ensemble d'états d'entrée qui maximise la cohérence de la sortie, augmentant ainsi la précision des bornes sur le fait qu'un canal soit CB.
   • Canaux de qubits : Pour les canaux de qubits, la méthode d'approximation polyédrique est utilisée pour déterminer si l'image du canal admet un modèle incohérent, distinguant ainsi efficacement les régimes de préservation et de rupture de la cohérence.

Résultats Clés

• Caractérisation Théorique : L'article prouve que la cohérence sous contrôle classique caché peut être pleinement caractérisée par une hiérarchie de SDP.
• Évolutivité : Le critère SDP pratique (Éq. 17) certifie avec succès la cohérence pour :
  • $N=100$ états de qubits aléatoires en moins de 8 minutes.
  • $N=70$ états de qutrits aléatoires en moins de 11 minutes.
  • Des systèmes de haute dimension ($d=150$) avec seulement deux états, certifiant la cohérence pour une visibilité $v \gtrsim 0,9246$.
• Comparaison de Précision : Les tests de référence contre la hiérarchie complète montrent que la méthode SDP pratique est non seulement nettement plus rapide, mais fournit également des bornes plus serrées (plus précises) sur le seuil de bruit critique pour la certification de la cohérence.
• Évolutivité des Qubits : L'approche de mesurabilité conjointe permet une certification de cohérence précise pour plus de 1 000 états de qubits, un régime inaccessible à la hiérarchie SDP générale.
• Analyse de Canaux :
  • Pour le canal de dépolarisation dans $d=20$, l'algorithme itératif converge vers les bornes théoriques connues sur le seuil de rupture de la cohérence.
  • Pour les canaux composés (dépolarisation + déphasage ; dépolarisation + amortissement d'amplitude), les auteurs cartographient les régions de paramètres où les canaux sont brisants de cohérence versus préservant la cohérence.
  • Pour les canaux de dépolarisation de qubits, la méthode certifie le seuil CB à $v \lesssim 0,4999$ et le seuil de préservation à $v \gtrsim 0,5029$, rejoignant presque la valeur théorique exacte de $0,5$.

Signification et Revendications
Les auteurs affirment fournir une « boîte à outils puissante » pour analyser la superposition quantique dans des scénarios réalistes où le contrôle classique est imparfait ou caché.

• Impact Fondamental : Ce travail résout la limitation conceptuelle selon laquelle des états non commutants pourraient être simulables classiquement, en fournissant des critères rigoureux pour distinguer la véritable cohérence quantique des mélanges classiques.
• Utilité Pratique : Les méthodes développées sont conçues pour des « dispositifs de préparation quantique de pointe », offrant des outils de calcul efficaces qui restent effectifs même pour des systèmes de haute dimension ou un grand nombre d'états.
• Nouveaux Concepts : L'introduction des canaux brisants la cohérence fait écho au concept de canaux brisants l'intrication, offrant un nouveau cadre pour classer les canaux quantiques en fonction de leur capacité à préserver ou détruire la superposition en présence de variables classiques cachées.
• Évaluation de Référence : Les outils sont présentés comme essentiels pour évaluer les avantages de bruit et de perte de la superposition de haute dimension dans des contextes expérimentaux, particulièrement là où les solutions analytiques sont indisponibles.

Le papier ne propose pas de nouveaux montages expérimentaux, mais fournit plutôt le cadre théorique et computationnel nécessaire pour interpréter les données expérimentales lorsque les hypothèses de contrôle classique sont assouplies.