Résumé technique : Robustesse indépendante de la taille dans l'auto-test Bell multipartite

Énoncé du problème

L'auto-test robuste et pratique d'états intriqués multipartites, spécifiquement les états GHZ (Greenberger-Horne-Zeilinger) à $n$ qubits, a historiquement été restreint aux systèmes de petite échelle. Les limites analytiques existantes pour la certification indépendante des dispositifs se dégradent sévèrement à mesure que le nombre de parties $n$ augmente. Plus précisément, les limites analytiques précédentes valables pour un $n$ arbitraire ne tolèrent que des erreurs de violation qui diminuent de façon polynomiale ou exponentielle avec $n$. Par conséquent, pour des réseaux de grande taille (par exemple, $n \ge 10$), même de minuscules écarts par rapport à la violation quantique maximale rendent la certification impossible. De plus, les méthodes numériques (telles que la hiérarchie de Navascués-Pironio-Acín) deviennent intraitables en raison de l'explosion exponentielle de la complexité computationnelle. Ce goulot d'étranglement de mise à l'échelle empêche la vérification indépendante des dispositages de l'intrication dans les grands réseaux quantiques.

Méthodologie

Les auteurs abordent ce problème d'échelle en établissant un cadre de robustesse indépendante de la taille pour l'état GHZ à $n$ qubits en utilisant l'inégalité de Mermin-Ardehali-Belinskiĭ-Klyshko (MABK). La méthodologie centrale implique :

1. Cadre d'inégalité d'opérateur : Adaptation de la méthode d'inégalité d'opérateur (précédemment utilisée pour CHSH et de petits $n$) à l'inégalité MABK. L'objectif est de prouver une inégalité d'opérateur de la forme $\Lambda^\dagger(|GHZ_n\rangle\langle GHZ_n|) \ge s_n W_n + \mu I$, où $W_n$ est l'opérateur de Bell MABK, $\Lambda$ est un canal d'extraction local, et $s_n, \mu$ sont des constantes.
2. Réduction analytique :
   • Dilation de Naimark et Lemme de Jordan : Réduction des opérateurs de mesure de dimensions arbitraires en observables de qubits.
   • Exploitation des symétries : Utilisation de symétries unitaires spécifiques pour réduire le domaine des angles d'observables de $[0, \pi/2]$ à $[0, \pi/4]$.
   • Projection de sous-espace : Projection de l'inégalité d'opérateur sur $2^{n-1}$ sous-espaces orthogonaux de dimension 2 en utilisant des chaînes de Pauli commutantes. Cela réduit la vérification de l'inégalité à la vérification de la positivité de fonctions scalaires de $n$ angles d'observables.
3. Vérification numérique de l'optimalité : Pour les paramètres optimaux conjecturés, la preuve analytique réussit pour toutes les familles de sous-espaces sauf deux. Les auteurs réduisent la vérification de ces cas restants d'un problème exponentiellement difficile ($O(m^n)$) à un problème de taille polynomiale ($O(n^m)$) en exploitant l'ordonnancement des simplexes et les contraintes de recherche sur grille. Cela permet une vérification numérique jusqu'à $n=100$.

Contributions clés et résultats

1. Borne d'auto-test robuste indépendante de la taille (Résultat 1)

L'article dérive une borne inférieure entièrement analytique et indépendante du dispositif sur l'extractibilité $\Xi(\rho \to |GHZ_n\rangle)$ pour tout état $n$-partite $\rho$ atteignant une violation $\beta$ sur l'inégalité MABK :
$$\Xi(\rho \to |GHZ_n\rangle) \ge s_n \beta + \mu$$
où $s_n = (\sqrt{2}+1)/2^{n/2}$ et $\mu = -(1+\sqrt{2})$.

• Échelle : La borne évolue linéairement avec l'erreur de violation.
• Écart d'optimalité : La pente $s_n$ est exactement le double de la pente d'une borne supérieure linéaire connue (qui est optimale pour $n \le 5$). Ainsi, l'écart par rapport à la borne optimale est un facteur constant de 2, indépendant de $n$.
• Implication : L'intrication GHZ peut être certifiée sous un niveau de bruit fixe, quelle que soit la taille du système $n$.

2. Vérification efficace de l'optimalité (Résultat 2)

Les auteurs démontrent que la vérification de l'étroitesse de la borne optimale (où la pente est divisée par deux) revient à vérifier la non-négativité de deux fonctions lisses sur des simplexes ordonnés.

• Réduction de complexité : Cela réduit la complexité de vérification d'exponentielle ($m^n$) à polynomiale ($n^m$) par rapport au nombre de parties pour une taille de grille $m$ fixée.
• Preuve numérique : En utilisant cette méthode efficace, les auteurs ont vérifié numériquement la borne optimale conjecturée jusqu'à $n=100$, fournissant une forte preuve que l'écart de facteur constant par rapport à l'optimalité est universel pour tout $n \ge 3$.

3. Applications à la génération de hasard (Résultat 3)

En tirant parti de la borne de robustesse, l'article dérive la première borne inférieure entièrement indépendante du dispositif sur l'entropie conditionnelle (hasard certifié) pour l'inégalité MABK à $n$ qubits dans un protocole de génération de hasard indépendant du dispositif (DIRG).

• Robustesse : La borne prend en compte à la fois les imperfections de l'état (écart par rapport à l'état GHZ idéal) et les imperfections de mesure (écart par rapport aux angles optimaux).
• Performance : Pour $n=11$ et $n=15$, un hasard non trivial peut encore être certifié avec une déficience de violation relative de $\eta \approx 10^{-4}$. En revanche, les bornes analytiques précédentes ne parviennent pas à certifier aucune intrication pour $n \ge 10$ sous le même niveau de bruit.
• Échantillonnage fini : L'article fournit une analyse d'échantillonnage fini montrant que le nombre de cycles expérimentaux requis évolue comme $N \propto 2^n$ (à des facteurs logarithmiques près), ce qui est cohérent avec les $2^n$ réglages de mesure de l'inégalité MABK.

Signification et revendications

L'article prétend résoudre un goulot d'étranglement d'échelle fondamental dans la non-localité multipartite et les protocoles indépendants des dispositifs :

• Scalabilité : Il fournit la première borne entièrement analytique pour l'auto-test multipartite qui ne se dégrade pas à mesure que le réseau quantique s'étend. Cela permet la vérification indépendante des dispositifs scalable des états GHZ dans des systèmes arbitrairement grands.
• Percée computationnelle : En convertissant un problème de vérification exponentiellement difficile en un problème polynomial, ce travail contourne les limitations qui confinent actuellement les méthodes de certification numériques à des systèmes à peu de parties.
• Primitive théorique : La borne robuste linéairement et indépendante de la taille sert de primitive théorique manquante pour les protocoles indépendants des dispositifs scalables, incluant la cryptographie sécurisée (par exemple, le partage de secret quantique indépendant du dispositif) et la détection quantique distribuée.
• Utilité pratique : Les bornes dérivées permettent de certifier l'intrication et le hasard dans de grands réseaux sous des niveaux de bruit fixes et réalistes là où les méthodes précédentes échoueraient complètement.

Les auteurs notent que bien que la preuve analytique pour les paramètres optimaux soit complète pour $n \le 5$ et soutenue par des preuves numériques jusqu'à $n=100$, une preuve analytique complète pour les paramètres optimaux pour tout $n \ge 6$ reste une conjecture ouverte. De plus, des travaux futurs sont suggérés pour élaguer l'inégalité MABK afin de réduire la complexité d'échantillonnage et pour affiner davantage les bornes de hasard.