Robust One-Sided Device-Independent Quantum Key Distribution via High-Dimensional Steering

Technische Samenvatting: Robuuste Eenzijdige Device-Onafhankelijke Quantum Key Distribution via Hoog-Dimensionale Steering

Probleemstelling
Quantum Key Distribution (QKD) biedt informatie-theoretische beveiliging, maar kampt met praktische beperkingen door ruis, transmissieverliezen en imperfecties in apparatuur. Hoewel hoog-dimensionale (HD) kwantumsystemen in device-afhankelijke instellingen zijn gebleken de veerkracht tegen ruis en verlies te vergroten, blijft het uitbreiden van deze voordelen naar device-onafhankelijke scenario's een uitdaging. Volledig device-onafhankelijke (DI) QKD-protocollen, die geen vertrouwen in meetapparatuur vereisen, worden ernstig beperkt door verliezen en hebben nog geen significante voordelen met hogere dimensies aangetoond. Daarentegen biedt een eenzijdig device-onafhankelijke (1sDI) QKD een haalbaar middenpad, waarbij wordt aangenomen dat slechts één partij (Bob) vertrouwde apparaten bezit, terwijl de andere partij (Alice) werkt met ongekarakteriseerde of onvertrouwde hardware. Echter, bestaande 1sDI-beveiligingsbewijzen zijn grotendeels beperkt tot qubit-systemen of specifieke meetconfiguraties, en de implementatie van de vereiste echte multi-outcome metingen voor HD 1sDI-QKD is een aanzienlijke experimentele hindernis geweest.

Methodologie
De auteurs stellen een systematische beveiligingsanalyse en experimentele implementatie voor van HD 1sDI-QKD protocollen die gebruikmaken van quantum steering. De methodologie bestaat uit drie hoofdcomponenten:

1. Theoretisch Kader:

   • Scenario: Het protocol gaat uit van een onbetrouwbare bron die bipartiete verstrengelde toestanden verdeelt naar Alice (onbetrouwbaar apparaat) en Bob (vertrouwd apparaat). Beveiliging wordt gecertificeerd via de schending van een steering-ongelijkheid, wat garandeert dat de geobserveerde correlaties niet verklaard kunnen worden door een Local Hidden State (LHS) model.
   • Beveiligingsbewijzen: De auteurs analyseren drie protocolvarianten met behulp van twee complementaire beveiligingskaders:
     • Two-basis protocol (Ia): Gebruikt het Entropic Uncertainty Relation (EUR) kader.
     • d+1-basis protocollen (Ib en Ic): Gebruiken een min-entropie kader geformuleerd als een Semidefinite Program (SDP) dat wordt beperkt door steering-ongelijkheden.
   • Reconciliatiestrategie: De analyse maakt gebruik van reverse reconciliation, waarbij Alice (onbetrouwbaar) haar sleutel corrigeert op basis van de data van Bob (vertrouwd). Dit benut de inherente asymmetrie van het 1sDI-scenario, wat hogere sleutelrates en robuustheid tegen ruis oplevert vergeleken met direct reconciliation, met name naarmate de dimensie toeneemt.
   • Omgang met Verlies: Om het detectie-loophole aan de zijde van Alice aan te pakken, hanteren de auteurs een extra-outcome strategie, waarbij "no-click" gebeurtenissen worden behandeld als een extra meetresultaat in plaats van ze te verwerpen of willekeurig toe te wijzen. Dit maakt verlies-tolerante steering-ongelijkheden mogelijk.

2. Prestatieanalyse:

   • De auteurs modelleren het systeem met een depolariserend-verliesmodel met zichtbaarheid ($\nu$) en detectie-efficiëntie ($\eta$).
   • Zij leiden de ondergrenzen af voor geheime sleutelrates in asymptotische regimes tegen collectieve aanvallen, waarbij de trade-offs tussen systeemdimensie ($d$), ruis en verlies worden geëvalueerd voor verschillende meetconfiguraties (2-basis vs. $d+1$-basis spot-checking vs. $d+1$-basis multi-key-generatie).

3. Experimentele Implementatie:

   • Platform: Het experiment maakt gebruik van fotonenparen die verstrengeld zijn in de transversale-ruimtelijke vrijheidsgraad.
   • Bron: Verstrengelde fotonen worden gegenereerd via Type-II Spontaneous Parametric Down-Conversion (SPDC) bij 1550 nm.
   • Meting: Een Multi-Plane Light Converter (MPLC) wordt gebruikt om volledig programmeerbare, hoog-dimensionale multi-outcome metingen uit te voeren. De MPLC sorteert ruimtelijke modi in Gaussische stippen die overeenkomen met meetresultaten in Mutually Unbiased Bases (MUBs).
   • Dimensies: De opstelling werkt in dimensies tot $d=11$, waarbij experimentele data zijn verzameld voor $d \in \{2, 3, 5, 7, 9, 11\}$.

Belangrijkste Bijdragen

• Systematische Beveiligingsanalyse: Het artikel biedt een uitgebreide beveiligingsanalyse voor HD 1sDI-QKD, en toont aan dat het verhogen van de systeemdimensie de robuustheid tegen zowel ruis als verlies verbetert, vooral wanneer reverse reconciliation wordt gebruikt.
• Protocolvarianten: Het introduceert en analyseert drie verschillende protocolvarianten (two-basis, spot-checking, en multi-key-basis), waarbij wordt aangetoond dat hoewel het two-basis protocol momenteel de strakste grenzen biedt via EUR, protocollen die volledige sets van MUBs gebruiken ($d+1$ bases) aanzienlijk potentieel tonen voor verbeterde prestaties in min-entropie grenzen.
• Experimentele Demonstratie: De auteurs presenteren de eerste proof-of-principle implementatie van HD 1sDI-QKD met behulp van echte multi-outcome metingen in de ruimtelijke vrijheidsgraad, werkend tot dimensie 11.
• Verlies-tolerante Strategie: Het werk incorporeert expliciet de no-click gebeurtenissen van Alice in de beveiligingsanalyse via de extra-outcome strategie, waardoor het detectie-loophole wordt vermeden dat gepaard gaat met post-selectie op de onbetrouwbare zijde.

Resultaten

• Theoretische Bevindingen:
  • Het verhogen van de dimensie $d$ verbetert de kritieke zichtbaarheid ($\nu_{cr}$) aanzienlijk die nodig is om een geheime sleutel te genereren, waardoor het protocol hogere ruisniveaus kan tolereren.
  • Reverse reconciliation presteert consequent beter dan direct reconciliation, waarbij het voordeel groter wordt in hogere dimensies.
  • Voor het two-basis protocol convergeert de minimale detectie-efficiëntie drempel naar 50% in het ruisloze geval, ongeacht de dimensie.
  • Voor $d+1$-basis protocollen suggereert de analyse dat het gebruik van meerdere sleutel-generatie bases (Protocol Ic) mogelijk positieve sleutelrates toestaat bij detectie-efficiënties onder de 50%, hoewel strikte grenzen voor deze protocollen een openstaand probleem blijven.
• Experimentele Bevindingen:
  • Het experiment heeft succesvol post-geselecteerde steering-schendingen gedemonstreerd over alle onderzochte dimensies ($d=2$ tot $11$).
  • Onder de fair-sampling assumptie werden positieve geheime sleutelrates verkregen voor alle dimensies.
  • De hoogste sleutelrates werden bereikt bij dimensie $d=7$. Bijvoorbeeld, in het two-basis protocol steeg de sleutelrate van ~0,87 bits ($d=2$) naar ~2,02 bits ($d=7$) voordat deze bij hogere dimensies afnam door experimentele imperfecties (lagere zichtbaarheid).
  • De experimentele data vertoonden een goede overeenkomst met het theoretische depolariserende-verliesmodel.

Betekenis
Het artikel claimt dat dit werk de kloof overbrugt tussen theoretische voorstellen voor HD 1sDI-QKD en praktische implementatie. Door aan te tonen dat hoog-dimensionale verstrengeling kan worden ingezet om de robuustheid van 1sDI-QKD tegen ruis en verlies te verbeteren, bieden de auteurs een levensvatbaar pad naar meer praktische kwantumcommunicatienetwerken. Het gebruik van MPLCs voor programmeerbare, hoog-dimensionale metingen adresseert een kritieke flessenhals bij het realiseren van HD QKD. De resultaten suggeren dat hoewel volledig DI-QKD uitdagend blijft, de 1sDI-setting met hoog-dimensionale systemen een robuust alternatief biedt voor scenario's waarbij één partij vertrouwde hardware kan inzetten (bijv. datacenters, banken) terwijl zij communiceert met minder veilige, onbetrouwde apparaten. De auteurs merken op dat het bereiken van een loophole-vrije implementatie in realistische verliesregimes een toekomstig doel blijft, maar dat het huidige werk de noodzakelijke bouwstenen en theoretische rechtvaardiging voor dergelijke vooruitgang legt.