Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Résumé Technique : Non-localité de Bell Robuste à partir d'États Gottesman–Kitaev–Preskill

Énoncé du Problème
Les violations des inégalités de Bell sont essentielles pour certifier la non-classicalité et exclure le réalisme local. Cependant, dans les systèmes à variables continues (CV), la démonstration de la non-localité de Bell est contrainte par le schéma de mesure. Si la détection homodyne offre une efficacité élevée — cruciale pour fermer la faille de détection — elle est fondamentalement limitée : la non-localité de Bell ne peut pas être générée à partir de mesures gaussiennes sur des états gaussiens. Par conséquent, des états non-gaussiens sont nécessaires. Les propositions existantes utilisant des états de type « photon-subtracted » ou des chats optiques souffrent de la fragilité face aux pertes, et leurs caractéristiques non-gaussiennes sont souvent dégradées dans des implémentations réalistes. De plus, tester les inégalités de Bell dans les systèmes CV nécessite de discrétiser les résultats continus via un « binning » (mise en bacs). Les approches précédentes optimisaient souvent le binning pour des états ou des réglages spécifiques, affectant la robustesse et l'amplitude des violations observées. La question centrale abordée est de savoir si le codage Gottesman–Kitaev–Preskill (GKP), qui encode naturellement des qubits dans des modes bosoniques, peut permettre des violations de Bell robustes en utilisant uniquement la détection homodyne et un binning fixe, même en présence de compression (squeezing) finie et de bruit.

Méthodologie
Les auteurs proposent un cadre où chaque partie effectue une détection homodyne sur un mode bosonique partagé et discrétise le résultat continu via une règle de binning périodique fixe. Ce binning correspond à des mesures de Pauli logiques ($X, Y, Z$) sur le qubit encodé.

1. État de Ressource : L'étude utilise des états GKP à réseau carré. Les codewords GKP idéaux sont des peignes de Dirac non normalisables. Les auteurs modélisent des états réalistes en utilisant une approximation à énergie finie générée par un filtre d'énergie $e^{-\epsilon \hat{n}}$. Cela remplace le peigne de Dirac par un réseau de pics gaussiens étroits sous une enveloppe gaussienne plus large, caractérisée par un paramètre de compression $r_{dB}$.
2. Schéma de Mesure : Les parties mesurent des quadratures rotatées $\hat{q}_{\theta}$ à des angles spécifiques ($\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$) correspondant aux opérateurs logiques $Z, X$ et $Y$. Le résultat continu $q_\theta$ est mappé sur un bit binaire $o \in \{0, 1\}$ selon qu'il tombe dans des intervalles périodiques $R_o$.
3. Cadre Théorique : Les auteurs dérivent une expression analytique explicite pour la distribution de probabilité jointe à $N$ parties $p(o|x)$ pour tout état GKP à énergie finie. En développant l'état encodé en termes d'opérateurs de Pauli logiques et en utilisant la structure de mélange gaussien des fonctions de Wigner GKP, ils réduisent la probabilité à $N$ modes à un produit de recouvrements de modes uniques. Ces recouvrements sont exprimés par des séries absolument convergentes impliquant des fonctions d'erreur (Éq. 7).
4. Tests de Bell : Le cadre est appliqué à des scénarios multipartites ($N \ge 3$) en utilisant deux structures d'intrication distinctes :
   • États GHZ : Testés à l'aide de l'inégalité de Mermin–Ardehali–Belinskii–Klyshko (MABK).
   • États W : Testés à l'aide d'une inégalité de probabilité de type Cabello.
     L'étude analyse également les effets de la perte de photons (modélisée par un canal de diviseur de faisceau avec transmissivité $\eta$) et du bruit thermique.

Contributions Clés et Résultats

• Théorème d'Impossibilité Bipartite : Les auteurs établissent une obstruction fondamentale pour les systèmes bipartites : pour les états de paires de Bell, les mesures de Pauli (implémentées via l'homodyne + binning fixe) ne génèrent que des corrélations locales dans le scénario CHSH. Aucune violation n'est possible dans le cas bipartite sous ces contraintes.
• Violations Multipartites : Au-delà de deux parties, l'étude démontre que les états GHZ et W encodés en GKP avec une compression finie présentent une forte non-localité multipartite. Ils violent les inégalités de Bell multipartites en utilisant uniquement une lecture par détection homodyne.
• Outil Analytique : La dérivation de la formule de recouvrement de mode unique (Éq. 7) fournit un lien calculable efficacement entre les paramètres physiques GKP (compression, structure du réseau) et les statistiques de l'homodyne binnée. Cela permet l'évaluation numérique des violations de Bell sous l'effet des pertes et de la compression finie.
• Seuils et Robustesse :
  • Compression (Squeezing) : Une compression plus élevée ($r_{dB}$) améliore l'approximation des mesures de Pauli logiques, augmentant les valeurs de violation de Bell.
  • Pertes : La perte de photons brouille la grille de l'espace des phases, réduisant la distinction. Les auteurs définissent un paramètre de compression critique ($r_{crit}$) comme la compression minimale requise pour violer une inégalité spécifique pour un niveau de perte donné.
  • Comparaison : Les états de type W (testés avec l'inégalité de Cabello) sont jugés plus robustes à la compression finie que les états GHZ (testés avec l'inégalité MABK). Plus précisément, les témoins de type W atteignent des violations à des seuils de compression plus bas que les témoins de type GHZ pour le même nombre de parties ($N=3$).
  • Compromis de Bruit : L'analyse quantifie un « budget de bruit », montrant qu'une transmission plus élevée peut compenser un bruit thermique modéré, mais qu'un bruit proche du vide est nécessaire pour tolérer une atténuation significative.
• Distance Géométrique : L'analyse de la distance géométrique au polytope local confirme que les corrélations de type W sont plus robustes à la compression finie. De plus, augmenter le nombre de réglages de mesure de 2 à 3 amplifie considérablement cette distance, suggérant que la non-localité basée sur l'homodyne est plus riche que ce que les témoins standards à deux réglages capturent.

Signification et Revendications
L'article affirme fournir une voie vers des tests de Bell pratiques et exempts de failles (loophole-friendly) dans les systèmes à variables continues. En exploitant le codage GKP, les auteurs montrent que des violations de Bell robustes sont réalisables en utilisant uniquement une détection homodyne à haute efficacité et un binning fixe, sans nécessiter d'opérations non-gaussiennes complexes (comme les portes T) ou d'états non-gaussiens fragiles.

• Pertinence Expérimentale : Les résultats sont directement applicables aux plateformes où les états GKP ont été réalisés, telles que les ions piégés, les cavités micro-ondes et les sources photoniques intégrées.
• Scalabilité : Bien que les états GHZ puissent être générés à l'aide de couplages gaussiens et d'opérations de Clifford (compatibles avec les architectures GKP), la préparation des états W reste un défi car elle nécessite des ressources non-Clifford. Les auteurs identifient cela comme un obstacle expérimental majeur.
• Impact Global : Le cadre analytique (Éq. 7) s'étend au-delà des tests de Bell, offrant des outils pour les protocoles de préparation-et-mesure et la certification de la confidentialité dans la détection quantique distribuée.

Le travail conclut que les états GKP servent de pont naturel entre les exigences de l'informatique quantique tolérante aux fautes et le besoin de certification robuste et hautement efficace de la non-localité quantique dans les technologies photoniques et CV.