Measurement Geometry as a Resource for Certifying Network Nonlocality

Résumé technique : La géométrie de la mesure comme ressource pour la certification de la non-localité de réseau

Énoncé du problème
Les réseaux quantiques génèrent des corrélations non classiques qui ne peuvent être expliquées par des modèles classiques à sources indépendantes. Bien que le rôle de l'intrication dans ces réseaux soit bien établi, l'impact de la conception de la mesure — spécifiquement la géométrie des mesures conjointes aux nœuds intermédiaires — reste largement inexploré. Les études existantes se sont principalement concentrées sur la démonstration de violations de témoins pour des configurations de mesure spécifiques, laissant un vide dans la compréhension de la manière dont le choix des mesures non locales influence le niveau de non-localité de réseau certifiable. En outre, il existe un besoin d'un cadre opérationnel pour évaluer les observables non locales complexes nécessaires à la certification de la non-localité de réseau complète (FNN) sur du matériel quantique programmable.

Méthodologie
Les auteurs développent un cadre opérationnel basé sur des circuits de compteurs assistés par ancilla pour évaluer les observables non locales dans un réseau bilocal Alice–Bob–Charlie.

• Configuration du réseau : Le réseau est composé de deux sources indépendantes distribuant des paires intriquées à Alice et Bob, puis à Bob et Charlie, respectivement. Bob détient deux sous-systèmes ($B_A$ et $B_C$) et effectue des mesures conjointes pour assurer la médiation des corrélations entre les parties extérieures.
• Témoins : Le cadre cible deux niveaux de non-localité :
  1. Violation de la variable cachée bilocale (BLHV) : Certification de corrélations qui violent l'hypothèse de deux sources classiques indépendantes ($S_{BLHV} > 1$).
  2. Non-localité de réseau complète (FNN) : Certification de corrélations qui excluent tout modèle où au moins une source reste classique. Cela nécessite la violation simultanée de deux témoins hybrides, $R_{CNS}$ et $R_{NSC}$, qui bornent les modèles classique–non-signaling (NS) et NS–classique, respectivement.
• Implémentation : Les observables non locales, incluant les corrélateurs multi-corps et les mesures partielles de l'état de Bell sur les qubits de Bob, sont extraites à l'aide de circuits assistés par ancilla qui préservent l'état du réseau pendant la mesure.
• Matériel : Le protocole est implémenté sur un processeur supraconducteur de 156 qubits (IBM Kingston, architecture Heron) avec atténuation des erreurs de lecture. L'étude balaie le paramètre d'intrication $\theta$ et, dans une analyse séparée, fait varier les angles de mesure conjointe de Bob $(\phi, \varphi)$ pour cartographier la « géométrie de la mesure ».

Contributions clés

1. Cadre opérationnel : L'article établit une méthode pour évaluer les témoins BLHV et FNN sur du matériel quantique via des circuits assistés par ancilla, reproduisant avec succès les prédictions théoriques en simulation.
2. Certification expérimentale : Les auteurs rapportent la certification réussie de la non-localité bilocale sur matériel ($S_{BLHV} = 1,067(6)$) et démontrent que les témoins FNN atteignent 99 % et 96 % de leurs seuils de certification, soulignant les exigences expérimentales strictes de la FNN.
3. La géométrie de la mesure comme ressource : Une conclusion centrale est que le niveau accessible de non-localité de réseau est déterminé non seulement par la force de l'intrication, mais aussi par la géométrie de la mesure du nœud intermédiaire. L'étude révèle que les certifications BLHV et FNN sont optimisées par des réglages de mesure différents.

Résultats

• Violation BLHV : Sur le processeur IBM Kingston, l'inégalité bilocale a été violée avec $S_{BLHV} = 1,067 \pm 0,006$ à l'intrication maximale ($\theta = \pm \pi/2$), dépassant la borne classique de plus de six écarts-types. La violation a été maintenue sur une large plage d'intrication ($|\theta| \in [0,4\pi, 0,6\pi]$).
• Certification FNN : Bien que les témoins FNN ($R_{CNS}$ et $R_{NSC}$) suivent la dépendance théorique en $\theta$, le bruit du matériel a atténué les valeurs à $2,97$ et $2,87$ respectivement à l'intrication maximale. Ces valeurs représentent 99 % et 96 % de la borne classique (3), s'arrêtant juste avant la certification. Cet écart souligne que la certification FNN est nettement plus fragile au bruit que la violation BLHV.
• Dépendance de la mesure : En faisant varier l'opérateur de mesure conjointe de Bob $B_1(\phi, \varphi)$, les auteurs ont cartographié l'espace des paramètres des réglages de mesure.
  • La région satisfaisant la violation BLHV couvre environ 53 % de l'espace des paramètres, tandis que la région de certification FNN n'en couvre que ~14 %.
  • Les réglages optimaux pour BLHV et FNN sont décalés l'un par rapport à l'autre de $\pi/4$ dans le paramètre $\phi$.
  • Crucialement, l'étude démontre que même avec des états maximalement intriqués, les deux violations peuvent disparaître si la géométrie de la mesure est sous-optimale.

Signification
L'article identifie la géométrie de la mesure comme une ressource indépendante pour la non-localité de réseau, distincte de l'intrication distribuée par les sources. Il établit que la certification de formes plus fortes de non-localité (FNN) nécessite non seulement une intrication de haute fidélité, mais aussi un alignement précis des réglages de mesure conjointe. Ce travail offre une voie pratique pour certifier la non-localité de réseau sur des processeurs quantiques programmables et illustre l'écart expérimental substantiel entre la vérification de la bilocalité et l'obtention d'une certification de non-localité de réseau complète. Les conclusions suggèrent que les futurs protocoles de réseau doivent traiter la conception de la mesure comme une variable d'optimisation critique, au même titre que la qualité des sources.