Non-stabilizerness and violations of CHSH inequalities

Résumé Technique : Non-stabilisabilité et Violations des Inégalités CHSH

Énoncé du Problème
La violation des inégalités de Clauser-Horne-Shimony-Holt (CHSH) est une marque distinctive de la non-localité quantique, traditionnellement attribuée à l'intrication. Cependant, des développements théoriques récents indiquent que l'intrication seule est insuffisante ; des ressources non-stabilisatrices (souvent appelées « magie ») sont également nécessaires pour obtenir un avantage quantique et violer ces inégalités. Bien que la nécessité de ces ressources soit établie, les exigences structurelles spécifiques concernant la manière dont l'intrication et les ressources non-stabilisatrices doivent interagir pour permettre une violation de CHSH restent quantitativement non caractérisées. Plus précisément, il n'est pas clair si les ressources non-stabilisatrices doivent être locales ou non-locales, symétriques ou asymétriques, et comment ces propriétés affectent la probabilité de violation sous un contrôle imparfait.

Méthodologie
Les auteurs adoptent un cadre de théorie des ressources où la préparation de l'état initial et la mesure sont définies comme « sans ressource ». Ils considèrent une préparation sans ressource $\omega_0 = |00\rangle\langle 00|$ et un opérateur CHSH sans ressource $B_0$ composé de mesures de Pauli. Tous les ressources nécessaires pour une violation sont encodées dans une évolution unitaire $U$ telle que l'état final est $\omega_U = U\omega_0 U^\dagger$.

Pour quantifier les ressources non-stabilisatrices, l'article emploie l'Entropie de Stabilisateur (SE), spécifiquement la 2-SE ($M_2$), définie comme l'entropie de Rényi de ordre 2 décalée de la distribution de probabilité sur les chaînes de Pauli. Les auteurs distinguent :

1. La Non-stabilisabilité Totale ($M_2$) : La magie de l'état.
2. La Non-stabilisabilité Non-locale ($M_{NL}$) : La quantité de magie qui ne peut être supprimée par des unitaires locaux, définie comme le minimum de $M_2$ réalisable via des opérations unitaires locales.
3. La Non-stabilisabilité Locale ($M_{LOC}$) : La différence $M_2 - M_{NL}$.

L'étude utilise trois outils analytiques principaux :

• Preuves Théoriques : Dérivation des conditions nécessaires et suffisantes pour les violations CHSH en utilisant les propriétés du groupe de Clifford et des états de stabilisateur.
• Moyennage de Haar : Calcul de la probabilité de violation pour des unitaires aléatoires et des probabilités conditionnelles données des valeurs de ressources fixes (entropie d'intrication, $M_{NL}$, $M_{LOC}$).
• Isospectral Twirling (Isospectral Twirling) : Une technique de la théorie des représentations pour construire des ensembles d'unitaires avec des spectres fixes (contrôlés par un « noyau » unitaire $U_c$) mais des vecteurs propres randomisés (moyennés sur un sous-groupe $G$, tel que le groupe de Clifford ou le groupe unitaire complet) . Cela modélise des scénarios avec un contrôle limité sur la préparation de l'état.

Contributions Clés et Résultats

1. Nécessité des Ressources Non-Stabilisatrices :
   L'article prouve (Théorème 1) que ni les états de stabilisateur purs ni mixtes (où $M_2=0$) ne peuvent violer les inégalités CHSH, quels que soient les réglages de mesure. De plus, si l'unitaire de préparation est un opérateur de Clifford, l'état résultant reste un état de stabilisateur, et aucune violation ne se produit.

2. Exigences Structurelles pour la Violation :

• Asymétrie : Le Théorème 2 démontre que si l'unitaire de préparation $U$ est symétrique par rapport à l'échange des qubits (commutant avec l'opérateur de permutation/swap), aucune violation de CHSH n'est possible. Les ressources doivent être asymétriques entre Alice et Bob.
• Localité de la Magie : Contre-intuitivement, l'article prouve que la non-stabilisabilité non-locale est préjudiciable aux violations de CHSH. Le Théorème 3 établit une borne supérieure sur la valeur d'espérance maximale de CHSH $C(\theta)$ en fonction de la magie non-locale $M_{NL}$ :
  $$C(\theta) \leq 2\sqrt{2} - \frac{\ln(2)}{\sqrt{2}} M_{NL}(\theta)$$
  Par conséquent, toute $M_{NL}$ non nulle empêche strictement l'état d'atteindre la borne de Tsirelson ($2\sqrt{2}$). Pour maximiser la violation, l'unitaire doit injecter de la non-stabilisabilité locale ($M_{LOC}$). Le Théorème 4 confirme que si $M_{LOC} = 0$, aucune violation n'est possible.

3. Analyse Probabiliste via la Mesure de Haar :
   Des simulations numériques sur $5 \times 10^7$ états de deux qubits aléatoires de Haar révèlent :

• La probabilité qu'un unitaire aléatoire viole le CHSH est d'environ 2,51 %.
• Bien que les états avec une $M_{NL}$ élevée soient plus susceptibles de violer l'inégalité que ceux avec une faible $M_{NL}$, l'amplitude de la violation est supprimée par la présence de $M_{NL}$.
• La probabilité de violation est non monotone par rapport à la magie locale ($M_{LOC}$) ; une $M_{LOC}$ très élevée est souvent corrélée à une $M_{NL}$ élevée dans les états aléatoires, ce qui entrave la violation.

4. Isospectral Twirling et Construction d'Ensembles :
   Les auteurs utilisent l'isospectral twirling pour construire systématiquement des ensembles d'unitaires qui maximisent la probabilité de violation sous un contrôle limité.

• Twirling Asymétrique : Le moyennage sur le groupe de Clifford ou le groupe unitaire complet sur un seul qubit (asymétriquement) produit des probabilités de violation nettement plus élevées que le twirling symétrique sur les deux qubits.
• Efficacité des Groupes de Clifford : Curieusement, effectuer un isospectral twirling sur le groupe de Clifford sur un seul qubit produit des probabilités de violation comparables à celles obtenues en moyennant sur le groupe unitaire complet, à condition que l'unitaire noyau possède les ressources non-stabilisatrices nécessaires.
• Robustesse : Il est constaté que la probabilité de violation dépend davantage de l'asymétrie du twirling que de la quantité précise de non-stabilisabilité, à condition que l'unitaire noyau soit non-Clifford.

Signification
Cet article fournit une caractérisation quantitative de la « magie » requise pour la non-localité. Il déplace la compréhension des violations de CHSH d'une vue purement centrée sur l'intrication vers une perspective de théorie des ressources où la structure des ressources non-stabilisatrices est primordiale. La conclusion clé — que les ressources non-stabilisatrices doivent être locales et asymétriques pour faciliter les violations de CHSH — défie l'intuition naïve selon laquelle la magie non-locale est le principal moteur de la non-localité.

En employant l'isospectral twirling, ce travail offre une méthode systématique pour concevoir des protocoles de contrôle quantique (ensembles d'unitaires) qui sont robustes face au bruit et à un contrôle limité, ciblant spécifiquement des probabilités plus élevées d'observer des corrélations non-locales. Cela a des implications pour les configurations expérimentales où le contrôle parfait de l'évolution unitaire est inatteignable, comme dans les expériences quantiques par satellite ou les systèmes avec des fidélités de portes imparfaites. Les résultats suggèrent que même avec un contrôle restreint (par exemple, en utilisant les groupes de Clifford), on peut concevoir des violations à haute probabilité si l'asymétrie et la localité des ressources sont correctement gérées.