Entanglement is not sufficient for most practical entanglement-based QKD protocols

Deze paper toont aan dat verstrengeling op zichzelf onvoldoende is voor de meeste praktische entanglement-based QKD-protocollen, omdat zelfs een verwaarloosbaar klein lek van klassieke zijinformatie voorkomt dat er een veilige sleutel kan worden gegenereerd uit bepaalde verstrengelde toestanden.

De kern

Titel: Waarom "verstrengeling" alleen niet genoeg is voor een veilige digitale sleutel

Stel je voor dat je en je vriendin een geheim gesprek willen voeren, maar er is een sluwe dief (Eve) die altijd in de gaten houdt wat jullie doen. Om dit te voorkomen, gebruiken jullie een magisch trucje uit de quantumwereld: verstrengeling.

In de quantumwereld kunnen twee deeltjes zo diep met elkaar verbonden zijn dat wat er met het ene gebeurt, direct invloed heeft op het andere, zelfs als ze kilometers van elkaar verwijderd zijn. In de wetenschap denken we vaak: "Als deze deeltjes verstrengeld zijn, kunnen we er een onkraakbare geheime sleutel mee maken."

Maar dit nieuwe onderzoek van Sarkar, Prasad en Horodecki zegt: "Niet zo snel!"

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen.

1. Het Magische Koffiezetapparaat (Verstrengeling)

Stel je voor dat jullie een speciaal koffiezetapparaat hebben. Als je op de knop drukt, komen er twee kopjes koffie uit die perfect op elkaar lijken. Als jij een zoetje in je kopje doet, wordt het kopje van je vriendin ook direct zoet, zonder dat je iets hoeft te zeggen. Dit is verstrengeling.

Vroeger dachten wetenschappers: "Zolang dit koffiezetapparaat werkt en de koffie verstrengeld is, is de sleutel veilig."

2. Het Lekke Dakje (De Klassieke Leaking)

Het probleem is dat in de echte wereld nooit alles perfect is. Stel je voor dat je koffiezetapparaat een heel klein lekje heeft. Het is geen groot gat, maar als je koffie zet, valt er soms een druppeltje koffie op de grond.

In de quantumwereld is dit lekje informatie die per ongeluk naar buiten lekt. Misschien maakt je apparaat een heel klein geluidje als je op de knop drukt, of er komt een klein vonkje vrij. De dief (Eve) kan dit horen of zien.

De onderzoekers ontdekten iets verrassends: Zelfs als dat lekje superklein is, kan de dief de geheime sleutel kraken.

3. Het "Prul"-Moment

Je zou denken: "Maar wacht, als de koffie niet goed is (de 'prul'-rondes), gebruiken we die toch niet voor de sleutel? Dan maakt het lekje daar niet uit, toch?"

Nee, dat is de verrassing. De onderzoekers laten zien dat als de dief ook maar een klein beetje informatie krijgt over die 'prul'-rondes (waar de koffie mislukt is), ze een trucje kan bedenken om de hele sleutel onveilig te maken. Het is alsof de dief door het geluid van een mislukte koffie te horen, kan raden hoe het koffiezetapparaat in de toekomst zal werken.

De conclusie: Het hebben van verstrengelde deeltjes (het koffiezetapparaat) is niet genoeg. Je hebt ook een perfect afgesloten systeem nodig zonder dat er ook maar een druppeltje informatie naar buiten komt.

4. De Ketting van Verbindingspunten (De Quantum-Repeater)

Nu wordt het nog spannender. Stel je voor dat je een heel lange weg wilt overbruggen met deze koffie. Je kunt niet direct koffie sturen van Amsterdam naar New York, want de koffie wordt koud (verlies in de vezel).

Dus gebruik je repeater-stations (tussenstations). Je zet koffie van Amsterdam naar Station A, en van Station A naar New York. Dan "koppel" je die twee kopjes koffie aan elkaar, zodat Amsterdam en New York direct verbonden zijn.

De onderzoekers berekenden wat er gebeurt als je dit doet met een lekje in je koffiezetapparaat:

• Zonder lek: Je kunt oneindig veel stations toevoegen en de sleutel blijft veilig.
• Met een klein lekje: Als je te veel stations toevoegt, wordt de koffie zo "vervuild" met informatie voor de dief, dat je na een bepaald punt geen veilige sleutel meer kunt maken.

Zelfs als je koffiezetapparaat 95% perfect is (wat heel goed klinkt), kan het aantal stations dat je mag gebruiken drastisch dalen. Het is alsof je een ketting van papier hebt: één klein scheurtje maakt de hele ketting zwakker, en als je te lang trekt, breekt hij.

Samenvatting in één zin

Het hebben van verstrengelde quantumdeeltjes is als het hebben van een slot op je deur; maar als je deur een klein kier heeft (lekje), kan de dief toch naar binnen komen, zelfs als het slot perfect lijkt.

Wat betekent dit voor de toekomst?
Het betekent dat als we ooit een "Quantum Internet" willen bouwen, we niet alleen moeten focussen op het maken van verstrengeling, maar vooral op het volledig afsluiten van elk klein lekje in onze apparatuur. Zelfs een heel klein foutje kan de hele beveiliging van een heel groot netwerk doen instorten.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Entanglement is not sufficient for most practical entanglement-based QKD protocols" van Sarkar, Prasad en Horodecki, in het Nederlands.

Titel: Verstrengeling is niet voldoende voor de meeste praktische op verstrengeling gebaseerde QKD-protocollen

1. Het Probleem

Quantum Key Distribution (QKD) is een van de meest beloftevolle toepassingen van kwantuminformatie, waarbij de wetten van de kwantummechanica worden gebruikt om informatie-theoretisch veilige communicatie te garanderen. Traditioneel wordt verstrengeling (entanglement) beschouwd als de fundamentele resource voor veilige sleutelgeneratie. Bestaande theorieën suggereren dat de aanwezigheid van verstrengeling noodzakelijk is, en in ideale scenario's vaak voldoende, voor het distilleren van een geheime sleutel.

Het centrale probleem dat deze studie aanpakt, is de vraag of elke verstrengelde toestand daadwerkelijk kan worden gebruikt om een veilige sleutel te genereren in praktische scenario's. In de realiteit zijn QKD-implementaties onderhevig aan imperfecties en, cruciaal, aan lekken van klassieke zijkanalen (side-channel leakage). Bijvoorbeeld, meetuitkomsten worden omgezet in elektrische signalen (stroompieken, timing, straling) die een aanvaller (Eve) gedeeltelijk kan aflezen zonder het kwantumkanal direct aan te tasten. De auteurs onderzoeken of zelfs een willekeurig kleine hoeveelheid van dergelijke klassieke zijinformatie de bruikbaarheid van verstrengelde toestanden voor QKD ondermijnt.

2. Methodologie

De auteurs ontwikkelen een algemeen kwantitatief kader om de impact van klassieke zijkanalenlekken in standaard op verstrengeling gebaseerde QKD-protocollen (zoals E91 en entanglement-based BB84/BBM92) te analyseren.

• Protocollair Kader: Ze focussen op protocollen waarbij de gebruikers hun meetkeuzes (inputs) publiek aankondigen. Dit zijn "quantum-memoryless" protocollen waarbij de sleutel direct wordt afgeleid uit meetuitkomsten zonder iteratieve kwantumprocedures.
• Aanvalsmodel (Convex Combination Attack): Ze modelleren de aanval van Eve via een "Convex Combination" (C.C.) strategie. Hierbij mengt Eve de verstrengelde toestanden met separabele (niet-verstrengelde) toestanden. Eve controleert een vlag (flag) die aangeeft welke toestand er wordt verzonden.
• Lekkage Modellen: Ze analyseren twee scenario's voor het lekken van informatie over meetuitkomsten:
  1. Uniforme lekkage: Uitkomsten lekken met een waarschijnlijkheid $L$ in elke ronde, ongeacht of de toestand verstrengeld of separabel is.
  2. Lekkage alleen uit "afval" (junk) rondes: Uitkomsten lekken alleen wanneer Eve een separabele toestand stuurt (rondes die sowieso geen veilige sleutel kunnen genereren).
• Analyse van Isotrope Toestanden: De auteurs passen hun kaders toe op isotrope toestanden (een klasse van verstrengelde toestanden) in verschillende dimensies ($d$) en voor een variabel aantal partijen ($N$). Ze berekenen de intrinsieke informatie (intrinsic information) om de bovengrens van de extracteerbare sleutelrate te bepalen.

3. Belangrijkste Bijdragen en Resultaten

A. De Kloof tussen Verstrengeling en Sleutelgeneratie
Het meest fundamentele resultaat is dat verstrengeling niet voldoende is voor veilige sleutelgeneratie in standaard protocollen zodra er sprake is van klassieke zijinformatie.

• De auteurs identificeren een klasse van verstrengelde isotrope toestanden die geen veilige sleutel kunnen distilleren, zelfs niet als de lekkage ($L$) willekeurig klein is.
• Dit geldt zelfs voor het tegenintuïtieve scenario waarbij lekkage alleen optreedt in de "afval"-rondes (waar geen sleutel wordt gegenereerd). Dit betekent dat het bestaan van lekkage in deze rondes voldoende is om de veiligheid van de gehele verstrengelde toestand te ondermijnen.

B. Theorema's voor Twee-Kwbiten en Hogere Dimensies

• Theorema 1 (Twee kwbiten): Voor een isotrope toestand $\rho_v$ met zichtbaarheid $v$, kan Eve een aanval construeren waarbij de sleutelrate nul is voor:
  • $v \leq \frac{1}{3} + \frac{2L}{3-2L}$ (bij uniforme lekkage).
  • $v \leq \frac{1}{3} + \frac{2L}{3(L+3)}$ (bij lekkage alleen uit afval).
  • Conclusie: Zelfs als $v > 1/3$ (wat de drempel voor verstrengeling is), kan de toestand onbruikbaar zijn voor QKD als $L > 0$.
• Theorema 2 (Algemene dimensie $d$ en $N$ partijen): Ze generaliseren dit resultaat naar $N$-partijensystemen met $d$-dimensionale toestanden. Ook hier vinden ze een drempelwaarde voor $v$ boven de verstrengelingsdrempel, waarbij de aanwezigheid van lekkage de sleutelgeneratie onmogelijk maakt.

C. Impact op Quantum Repeaters
De auteurs passen hun resultaten toe op QKD-netwerken met quantum repeaters, die nodig zijn voor lange-afstandscommunicatie.

• Bij het gebruik van repeaters neemt de effectieve zichtbaarheid van de verstrengeling exponentieel af met het aantal repeaters ($n$). Als de initiële zichtbaarheid $v$ is, wordt de eindzichtbaarheid $v^{2^n}$.
• Door de lekkage-drempel te combineren met deze afname, leiden ze een bovengrens af voor het maximale aantal repeaters ($n_{max}$) dat nog veilig kan worden gebruikt.
• Resultaat: Zelfs een kleine imperfectie in de bron (bijv. $v=0.95$) en een kleine lekkage ($L=0.1$) reduceert de schaalbaarheid drastisch. In plaats van een willekeurig groot netwerk, is het aantal repeaters beperkt tot ongeveer 10 voordat de sleutelrate nul wordt. Dit toont een extreme gevoeligheid van lange-afstands QKD voor bronimperfecties en lekkage.

D. Numerieke Bovengrenzen
Via numerieke optimalisatie (max-min strategie over meetinstellingen en Eve's aanval) tonen ze de bovengrenzen van de veilige sleutelrate voor verschillende scenario's ($d=2, N=2$; $d=2, N=3$; $d=3, N=2$). De grafieken tonen een snelle daling van de sleutelrate naarmate de lekkage toeneemt of de zichtbaarheid daalt.

4. Betekenis en Conclusie

De studie biedt een fundamentele beperking voor de praktische toepassing van verstrengeling in de cryptografie:

1. Herdefinitie van Resources: Het blootlegt dat verstrengeling op zichzelf geen garantie biedt voor veiligheid in realistische, niet-ideale omgevingen. Er zijn operationele eigenschappen nodig die verder gaan dan de aanwezigheid van verstrengeling.
2. Schaalbaarheidsgrenzen: Het toont aan dat de schaalbaarheid van toekomstige quantum-internetnetwerken (via repeaters) ernstig beperkt wordt door zelfs minimale klassieke lekkage. Dit heeft directe gevolgen voor het ontwerp van hardware en protocollen.
3. Protocolonafhankelijkheid: De bevindingen zijn robuust en gelden voor een breed scala aan standaard protocollen, zolang deze publieke aankondiging van inputs vereisen.

Samenvattend waarschuwen de auteurs dat de intuïtie dat "verstrengeling = veiligheid" in de praktijk misleidend is. Zelfs een minimale lekkage van klassieke zijinformatie creëert een onoverbrugbare kloof tussen verstrengelde toestanden en die toestanden die daadwerkelijk een veilige sleutel kunnen genereren.