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

Technische Samenvatting: Veilige Eenzijdige Device-Onafhankelijke Quantum Sleuteldistributie onder Collectieve Aanvallen met Verbeterde Robuustheid

Probleemstelling
Quantum Sleuteldistributie (QKD) vertrouwt traditioneel op ofwel device-afhankelijke (DD) aannames, waarbij alle apparaten als vertrouwd worden beschouwd, ofwel device-onafhankelijke (DI) aannames, waarbij veiligheid uitsluitend wordt gegarandeerd door de schending van Bell-ongelijkheden. Hoewel DI-QKD de hoogste veiligheid biedt, wordt de experimentele implementatie ervan gehinderd door strikte vereisten, met name hoge detectie-efficiënties (vaak >92%) en de noodzaak voor loophole-vrije Bell-tests. Daarentegen is DD-QKD experimenteel levensvatbaar, maar kwetsbaar voor side-channel aanvallen als apparaten onkarakteristiek zijn. Eenzijdige Device-Onafhankelijke QKD (1sDI-QKD) biedt een middenweg door aan te nemen dat slechts één partij's meetapparaat (meestal Bob) vertrouwd is, waarbij gebruik wordt gemaakt van quantum steering om veiligheid te certificeren. Bestaande 1sDI-protocollen missen echter vaak een gesloten vorm van de asymptotische sleutelsnelheid die de geobserveerde steering-schending direct koppelt aan de informatie van de afluisteraar, of ze vertrouwen op grenzen die enkel afhankelijk zijn van Quantum Bit Error Rates (QBER) in plaats van expliciete steering-ongelijkheden. Dit artikel adresseert de kloof in het afleiden van een analytische, gesloten vorm van de sleutelsnelheid voor 1sDI-QKD onder collectieve aanvallen, specifiek met behulp van de drie-instelling Cavalcanti–Jones–Wiseman–Reid (CJWR) steering-ongelijkheid.

Methodologie
De auteurs stellen een verstrengelingsgebaseerd 1sDI-QKD-protocol voor waarbij Alice (onbetrouwbaar) en Bob (vertrouwd) een maximaal verstrengelde Bell-toestand delen. Het protocol maakt gebruik van drie binaire Pauli-metingen per partij. Sleutelbits worden geëxtraheerd uit rondes waarin beide partijen meten in de $\sigma_z$-basis, terwijl andere rondes worden gebruikt om de CJWR steering-parameter $F_3$ te schatten.

De veiligheidsanalyse wordt uitgevoerd tegen optimale collectieve aanvallen, waarbij de afluisteraar (Eve) identieke en onafhankelijke operaties toepast over de rondes heen. De afleiding volgt een strategie van vier stappen voor reductie:

1. Dimensiereductie: Gebruikmakend van de symmetrieën van de CJWR-ongelijkheid, bewijzen de auteurs dat de optimale aanval door Eve kan worden beperkt tot een twee-qubit subruimte, zelfs als de onderliggende Hilbert-ruimte hoger-dimensionaal is.
2. Toestandsreductie: De analyse wordt verder gereduceerd tot Bell-diagonaal toestanden. De auteurs demonstreren dat elke twee-qubit toestand kan worden gesymmetriseerd naar een Bell-diagonale vorm zonder de waarde van de CJWR-functionaal te veranderen, wat de berekening van Eve's toegankelijke informatie vereenvoudigt.
3. Holevo-bound Berekening: De auteurs leiden een bovengrens af op Eve's toegankelijke informatie (gekwantificeerd door de Holevo-hoeveelheid $\chi$) voor Bell-diagonale toestanden. Door entropische ongelijkheden te gebruiken, relateren zij deze bovengrens direct aan de geobserveerde CJWR-schending $F_3$.
4. Sleutelsnelheid Afleiding: Door de wederzijdse informatie tussen Alice en Bob (afgeleid van QBER) te combineren met de bovengrens op de informatie van Eve, passen de auteurs de Devetak–Winter-formule toe om een gesloten vormige ondergrens te verkrijgen voor de asymptotische geheime sleutelsnelheid.

Belangrijkste Bijdragen

• Gesloten Vorm Sleutelsnelheid: Het artikel leidt een expliciete analytische expressie af voor de asymptotische sleutelsnelheid in 1sDI-QKD:
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  waarbij $Q$ de QBER is, $F_3$ de geobserveerde CJWR steering-parameter is, en $h(x)$ de binaire entropiefunctie is. Dit koppelt de sleutelsnelheid direct aan de steering-schending, analoog aan hoe DI-QKD snelheden koppelt aan Bell-schendingen.
• Ruis-tolerantienalyse: Het protocol wordt getest onder depolariserende ruis. De auteurs tonen aan dat het protocol een kritieke QBER ($Q_c$) van 8,62% tolereert. Dit is aanzienlijk hoger dan standaard DI-QKD protocollen (doorgaans 7,1% voor CHSH-gebaseerde schema's) en benadert de robuustheid van volledig vertrouwde DD-schema's (11%), terwijl het zwakkere vertrouidsaannames behoudt dan DD.
• Detectie-efficiëntiedrempels: De studie modelleert detectie-inefficiënties aan de onbetrouwbare zijde (Alice) via nullen-uitkomsten.
  • Zonder post-selectie is veilige sleutelgeneratie mogelijk met detectie-efficiënties zo laag als 82,7% (onder ideale zichtbaarheid).
  • Met post-selectie daalt de drempel naar 74,5%.
    Deze drempels zijn aanzienlijk lager dan de vereisten voor DI-QKD (vaak >92%), wat het praktische voordeel van de 1sDI-setting in verliesgevoelige omgevingen benadrukt.

Resultaten

• Robuustheid: Het protocol vertoont een superieure ruis-tolerantie vergeleken met bestaande DI-QKD protocollen. Terwijl DI-QKD gebaseerd op drie-instelling Bell-ongelijkheden tot 7,5% QBER tolereert en asymmetrische Bell-ongelijkheden tot 8,34%, bereikt het voorgestelde CJWR-gebaseerde 1sDI-protocol 8,62%.
• Efficiëntie: De analyse laat zien dat veilige sleutelgeneratie haalbaar is met detectie-efficiënties zo laag als 74,5% (met post-selectie), wat ruim onder de typische 92%+ vereisten voor DI-QKD ligt.
• Vergelijking: Het artikel vergelijkt de bevindingen met andere 1sDI-protocollen (bijv. Branciard et al., Tomamichel et al., Pramanik et al.). In tegen tegenstelling tot eerdere werken die Eve's informatie begrenzen via QBER of entropische onzekerheidsrelaties zonder expliciete afhankelijkheid van steering, of die enkel numerieke grenzen bieden via semidefiniete programmering, biedt dit werk een model-onafhankelijke, gesloten analytische grens die afhankelijk is van het paar $(Q, F_3)$.

Betekenis en Claims
De auteurs beweren dat dit werk een belangrijke stap is naar de experimentele levensvatbaarheid van 1sDI-QKD. Door een gesloten vorm van de sleutelsnelheid vast te stellen die expliciet afhankelijk is van de steering-ongelijkheid-schending, vereenvoudigt het protocol de veiligheidscertificering en verhoogt het de praktische relevantie. De bevindingen benadrukken 1sDI-QKD als een robuust, op steering gebaseerd alternatief voor veilige quantumcommunicatie, dat een balans biedt tussen de experimentele haalbaarheid van DD-QKD en de minimale vertrouidsaannames van DI-QKD. De auteurs merken op dat hoewel de huidige analyse beperkt is tot asymptotische veiligheid tegen collectieve aanvallen, de afgeleide single-round grenzen dienen als een fundamentele bouwsteen voor toekomstige uitbreidingen naar composabele veiligheid tegen algemene coherente aanvallen. Het artikel concludeert dat deze resultaten inzichten bieden die relevant zijn voor nabije experimentele implementaties, met name in scenario's met imperfecte detectie en ruisgevoelige kanalen.