Secure One-Sided Device-Independent Quantum Key Distribution Under Collective Attacks with Enhanced Robustness

Résumé Technique : Distribution de Clés Quantiques Unilatérale à Indépendance de l'Appareil Sécurisée sous Attaques Collectives avec une Robustesse Accrue

Énoncé du Problème
La distribution de clés quantiques (QKD) repose traditionnellement soit sur des hypothèses dépendantes de l'appareil (DD), où tous les dispositifs sont considérés comme fiables, soit sur des hypothèses indépendantes de l'appareil (DI), où la sécurité est garantie uniquement par la violation des inégalités de Bell. Bien que la DI-QKD offre le plus haut niveau de sécurité, sa mise en œuvre expérimentale est entravée par des exigences strictes, notamment des efficacités de détection élevées (souvent >92 %) et la nécessité de tests de Bell sans faille. Inversement, la DD-QKD est expérimentalement viable mais vulnérable aux attaques par canal auxiliaire si les dispositifs ne sont pas caractérisés. La QKD unilatérale indépendante de l'appareil (1sDI-QKD) offre un compromis en supposant la confiance dans un seul dispositif de mesure (généralement celui de Bob), en utilisant le pilotage quantique (quantum steering) pour certifier la sécurité. Cependant, les protocoles 1sDI existants manquent souvent d'une expression de taux de clé asymptotique sous forme fermée qui lie directement la violation de pilotage observée à l'information de l'espion, ou reposent sur des bornes dépendant uniquement des taux d'erreur binaire (QBER) plutôt que sur des inégalités de pilotage explicites. Cet article traite de la lacune consistant à dériver un taux de clé analytique sous forme fermée pour la 1sDI-QKD sous attaques collectives, en utilisant spécifiquement l'inégalité de pilotage CJWR (Cavalcanti–Jones–Wiseman–Reid) à trois réglages.

Méthodologie
Les auteurs proposent un protocole 1sDI-QKD basé sur l'intrication où Alice (non fiable) et Bob (fiable) partagent un état de Bell maximalement intriqué. Le protocole emploie trois mesures de Pauli binaires par partie. Les bits de la clé sont extraits des cycles où les deux parties mesurent dans la base $\sigma_z$, tandis que les autres cycles sont utilisés pour estimer le paramètre de pilotage CJWR $F_3$.

L'analyse de sécurité est menée contre des attaques collectives optimales, où l'espion (Eve) applique des opérations identiques et indépendantes à travers les cycles. La dérivation suit une stratégie de réduction en quatre étapes :

1. Réduction de Dimensionnalité : En utilisant les symétries de l'inégalité CJWR, les auteurs prouvent que l'attaque optimale d'Eve peut être restreinte à un sous-espace de deux qubits, même si l'espace de Hilbert sous-jacent est de dimension supérieure.
2. Réduction d'État : L'analyse est ensuite réduite à des états de Bell-diagonaux. Les auteurs démontrent que tout état de deux qubits peut être symétrisé en une forme de Bell-diagonale sans altérer la valeur du fonctionnel CJWR, simplifiant ainsi le calcul de l'information accessible à Eve.
3. Calcul de la Borne de Holevo : Les auteurs dérivent une borne supérieure sur l'information accessible d'Eve (quantifiée par la quantité de Holevo $\chi$) pour les états de Bell-diagonaux. En utilisant des inégalités entropiques, ils relient cette borne directement à la violation de pilotage CJWR observée $F_3$.
4. Dérivation du Taux de Clé : En combinant l'information mutuelle entre Alice et Bob (dérivée du QBER) et la borne supérieure sur l'information d'Eve, les auteurs appliquent la formule de Devetak–Winter pour obtenir une borne inférieure sous forme fermée sur le taux de clé sec asymptotique.

Principales Contributions

• Taux de Clé sous Forme Fermée : L'article dérive une expression analytique explicite pour le taux de clé asymptotique en 1sDI-QKD :
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  où $Q$ est le QBER, $F_3$ est le paramètre de pilotage CJWR observé, et $h(x)$ est la fonction d'entropie binaire. Cela lie directement le taux de clé à la violation de pilotage, de manière analogue à la façon dont la DI-QKD lie les taux aux violations de Bell.
• Analyse de la Tolérance au Bruit : Le protocole est testé sous un bruit de dépolarisation. Les auteurs montrent que le protocole tolère un QBER critique ($Q_c$) de 8,62 %. C'est nettement supérieur aux protocoles DI-QKD standards (typiquement 7,1 % pour les schémas basés sur CHSH) et approche la robustesse des schémas DD entièrement fiables (11 %), tout en maintenant des hypothèses de confiance plus faibles que la DD.
• Seuils d'Efficacité de Détection : L'étude modélise les inefficacités de détection du côté non fiable (Alice) via des résultats nuls.
  • Sans post-sélection, la génération de clé sécurisée est possible avec des efficacités de détection aussi basses que 82,7 % (sous visibilité idéale).
  • Avec post-sélection, le seuil descend à 74,5 %.
    Ces seuils sont notablement plus bas que ceux requis pour la DI-QKD (souvent >92 %), soulignant l'avantage pratique du cadre 1sDI dans les environnements présentant des pertes.

Résultats

• Robustesse : Le protocole démontre une tolérance au bruit supérieure aux protocoles DI-QKD existants. Alors que la DI-QKD basée sur des inégalités de Bell à trois réglages tolère jusqu'à 7,5 % de QBER, et les inégalités de Bell asymétriques jusqu'à 8,34 %, la 1sDI-QKD proposée basée sur CJWR atteint 8,62 %.
• Efficacité : L'analyse révèle que la génération de clé sécurisée est réalisable avec des efficacés de détection aussi basses que 74,5 % (avec post-sélection), ce qui est bien en dessous des exigences typiques de 92 %+ pour la DI-QKD.
• Comparaison : L'article compare ses résultats avec d'autres protocoles 1sDI (par exemple, Branciard et al., Tomamichel et al., Pramanik et al.). Contrairement aux travaux précédents qui bornent l'information d'Eve via le QBER ou des relations d'incertitude entropique sans dépendance explicite au pilotage, ou ceux qui fournissent uniquement des bornes numériques via la programmation semi-définie, ce travail fournit une borne analytique sous forme fermée, indépendante du modèle et dépendante de la paire $(Q, F_3)$.

Signification et Revendications
Les auteurs affirment que ce travail constitue une étape significative vers la viabilité expérimentale de la 1sDI-QKD. En établissant un taux de clé sous forme fermée qui dépend explicitement de la violation de l'inégalité de pilotage, le protocole simplifie la certification de la sécurité et renforce la pertinence pratique. Les conclusions soulignent la 1sDI-QKD comme une alternative robuste, basée sur le pilotage, pour la communication quantique sécurisée, offrant un équilibre entre la faisabilité expérimentale de la DD-QKD et les hypothèses de confiance minimales de la DI-QKD. Les auteurs notent que, bien que l'analyse actuelle soit limitée à la sécurité asymptotique contre les attaques collectives, les bornes de cycle unique dérivées servent de bloc de construction fondamental pour de futures extensions vers la sécurité composable contre les attaques cohérentes générales. L'article conclut que ces résultats offrent des perspectives pertinentes pour les implémentations expérimentales proches, particulièrement dans les scénarios avec une détection imparfaite et des canaux bruyants.