Enhancing the security of coherent one-way quantum key distribution using CHSH correlations

Technische Samenvatting: Het verbeteren van de beveiliging van Coherent One-Way Quantum Key Distribution met behulp van CHSH-correlaties

Probleemstelling
Het Coherent One-Way (COW) Quantum Key Distribution (QKD) protocol is breed geïmplementeerd in veldproeven en commerciële netwerken vanwege de eenvoudige architectuur en experimentele haalbaarheid. De beveiliging ervan is echter lang onderwerp van debat geweest. Terwijl vroege analyses suggereerden dat de geheime sleutelrate lineair schaalt met de kanaaltransmissie ($O(\eta)$), toonden strikte bewijzen voor onvoorwaardelijke veiligheid later aan dat het protocol fundamenteel kwetsbaar is voor specifieke aanvallen (zoals de zero-error attack), wat resulteert in een kwadratische schaling van de sleutelrate ($O(\eta^2)$). Deze beperking restricteert de veilige transmissieafstand ernstig, waarbij recente studies wijzen op een maximale veilige afstand van minder dan 20 km. Bovendien berust de standaard COW-beveiliging op het monitoren van de coherentie tussen opeenvolgende pulsen, wat onvoldoende is gebleken om geavanceerde afluisterstrategieën te detecteren die de coherentie behouden terwijl ze informatie extraheren.

Methodologie
De auteurs stellen een aangepast COW-protocol voor dat een semi-device-onafhankelijk (SDI) beveiligingskader integreert. De kerninnovatie bestaat uit het vervangen van de standaard coherentiemonitoring door een directe verificatie van Bell-type correlaties met behulp van de Clauser-Horne-Shimony-Holt (CHSH) ongelijkheid. De protocolwijzigingen omvatten:

1. Toestandsvoorbereiding (Alice): De set van verzonden toestanden wordt uitgebreid van de oorspronkelijke drie toestanden naar een vierde toestand, $|1x\rangle$, wat een symmetrische X-basis creëert. Het protocol maakt nu gebruik van:

   • Z-basis datasignalen: $|0z\rangle = |0\rangle|\alpha\rangle$ en $|1z\rangle = |\alpha\rangle|0\rangle$.
   • X-basis decoy signalen: $|0x\rangle = |\frac{\alpha}{\sqrt{2}}\rangle|\frac{\alpha}{\sqrt{2}}\rangle$ en $|1x\rangle = |-\frac{\alpha}{\sqrt{2}}\rangle|\frac{\alpha}{\sqrt{2}}\rangle$.
     Deze X-basis toestanden benaderen qubit-superposities in de subspace gespannen door de Z-basis toestanden voor kleine gemiddelde fotonenaantallen ($\alpha \ll 1$).

2. Meetopstelling (Bob): De monitorlijn, traditioneel een Mach-Zehnder interferometer (MZI) voor vaste X-basis zichtbaarheidscontroles, wordt aangepast om de variabele meetbasissen toe te staan die vereist zijn voor de CHSH-test.

   • De MZI is geconfigureerd met een asymmetrische beam splitter (85:15 ratio) en een fasemodulator.
   • Door de faseverschuiving ($\phi$) tussen $0$ en $\pi$ aan te passen, kan Bob wisselen tussen twee meetbasissen $B_1 = \frac{1}{\sqrt{2}}(\sigma_z + \sigma_x)$ en $B_2 = \frac{1}{\sqrt{2}}(\sigma_z - \sigma_x)$, terwijl de observabelen van Alice vast blijven op $A_1 = \sigma_z$ en $A_2 = \sigma_x$.
   • De auteurs bieden een rigoureuze afleiding van de unitaire transformatie voor deze asymmetrische MZI, waarbij dimensionaliteitsverschillen worden opgelost door een virtuele tijdsmodus te introduceren om een geldige unitaire beschrijving te waarborgen.

3. Beveiligingsanalyse: Het beveiligingsbewijs maakt gebruik van de Quantum Leftover Hashing Lemma. De extraheerbare geheime sleutelrate wordt begrensd door de smooth min-entropie van de ruwe sleutel geconditioneerd op de informatie van de afluisteraar. Cruciaal is dat de min-entropie wordt ondergrenst door de CHSH-parameter $S$. Het protocol is veilig als $S > 2$ (schending van lokaal realisme) en de Quantum Bit Error Rate (QBER) onder een specifieke drempelwaarde blijft.

Belangrijkste Resultaten
Door numerieke simulaties te gebruiken met realistische parameters (detectorefficiëntie van 90–99%, donkere tell-rates van $10^{-7}$ tot $10^{-8}$, en 1% kanaalmisuitlijning), demonstreren de auteurs:

• Verlengde Veilige Afstand: Het aangepaste protocol verlengt de maximale veilige transmissieafstand van de eerder gerapporteerde sub-20 km limiet naar ongeveer 259 km.
• Schaalgedrag: In tegen tegenstelling tot eerdere onvoorwaardelijke beveiligingsbewijzen voor COW die een kwadratische schaling ($O(\eta^2)$) voorspelden, herstelt de voorgestelde methode een lineaire schaling ($O(\eta)$) van de geheime sleutelrate met de kanaaltransmissie. Deze prestatie komt overeen met die van het Decoy-State BB84 protocol.
• CHSH-schending: De simulaties bevestigen dat de CHSH-parameter $S$ over lange afstanden boven de klassieke limiet van 2 blijft, mits de donkere tell-rate wordt beheerd, waardoor de aanwezigheid van niet-lokale correlaties die noodzakelijk zijn voor beveiliging wordt gecertificeerd.
• Vergelijking: Bij benchmarking tegen andere COW-varianten (inclusief die met actieve basiskeuze of vacuüm decoy-staten), vertoont de voorgestelde methode superieure sleutelrates bij lange afstanden vanwege het lineaire schaalvoordeel.

Betekenis en Claims
De auteurs beweren dat dit werk een belangrijke doorbraak vormt voor de praktische levensvatbaarheid van COW-QKD voor lange-afstand netwerken. De primaire betekenis ligt in twee gebieden:

1. Beveiligingsverbetering: Door de certificering van de beveiliging te verschuiven van eenvoudige coherentiemonitoring naar Bell-type correlatieschendingen, kan het protocol een bredere klasse van aanvallen detecteren, inclusief die die voorheen ondetecteerbaar waren.
2. Methodologische Adaptatie: De auteurs hebben de CHSH-ongelijkheid — traditioneel geassocieerd met entanglement-gebaseerde schema's — succesvol aangepast naar een prepare-and-measure COW-framework met minimale hardwarewijzigingen. Deze aanpak biedt een veelzijdige monitortool die potentieel kan worden uitgebreid naar andere coherent-state gebaseerde protocollen.

De auteurs concluderen dat dit herziene framework niet alleen een recordbrekende veilige afstand bereikt, maar ook een robuuste methodologie vestigt voor het verbeteren van de beveiliging van diverse QKD-schema's zonder de hoge detectie-efficiënties of loophole-vrije condities te vereisen die typisch worden gevraagd door volledig device-onafhankelijke QKD.