Composable Security and Finite-Key Analysis ofMulti-Basis BB84 and Phase-Engineered E91Protocols Under Noisy Quantum Channels

In de stille, gecontroleerde wereld van de kwantumfysica bouwen wetenschappers aan een nieuw soort slot voor het digitale tijdperk. Dit slot vertrouwt op de vreemde regels die de kleinste deeltjes licht en materie beheersen, in plaats op de complexe wiskunde die onze huidige bankrekeningen en geheimen beschermt. Het doel is om een manier te creëren waarop twee mensen een geheime code kunnen delen die gegarandeerd veilig is voor elke toekomstige computer, zelfs een die vele malen krachtiger is dan alles wat we vandaag de dag hebben. Deze methode, bekend als kwantumtoetsverdeling (quantum key distribution), werkt door informatie te verzenden die is gecodeerd in delicate kwantumtoestanden. Als een spion probeert mee te luisteren, verstoort de handeling van het meten van het signaal het signaal zelf, wat een duidelijk teken van de indringing achterlaat. Decennialang was de theorie hierachter solide en beloofde het perfecte beveiliging. De echte wereld is echter rommelig. De machines die deze kwantumsignalen genereren zijn niet perfect; ze lijden onder ruis, hitte en kleine fouten die zich ophopen naarmate de technologie opschaalt. Deze kloof tussen de foutloze theorie en de ruisige realiteit is de grootste hindernis geweest die heeft voorkomen dat deze systemen een standaard onderdeel van ons wereldwijde communicatienetwerk worden.

Een team van onderzoekers heeft nu een belangrijke stap gezet om die kloof te dichten. Ze ontwikkelden en testten nieuwe versies van kwantumcommunicatieprotocollen die specifiek zijn ontworpen om de imperfecties van de huidige hardware te weerstaan. In plaats van te proberen een perfecte machine te bouwen, wat momenteel onmogelijk is, creëerden ze wiskundige en experimentele kaders die betrouwbaar werken, zelfs wanneer de apparatuur gebrekkig is. Hun werk richt zich op twee hoofdbenaderingen: één die individuele lichtdeeltjes verzendt en een andere die paren deeltjes gebruikt die op mysterieuze wijze verbonden zijn, bekend als verstrengeling (entanglement). Door te verfijnen hoe deze signalen worden voorbereid en gemeten, en door een slimme techniek toe te voegen om fouten achteraf te corrigeren, toonde het team aan dat veilige sleutels kunnen worden gegenereerd met een veel hogere efficiëntie en betrouwbaarheid dan voorheen.

De onderzoekers begonnen met het aanpakken van de beperkingen van de standaardmethode, die twee verschillende instellingen gebruikt om informatie te coderen. Ze breidden dit uit naar het gebruik van drie of zelfs vier instellingen, een verandering die het een spion aanzienlijk moeilijker maakt om zich te verbergen. In de standaardmethode met twee instellingen heeft een spion die het signaal probeert te raden een kans van vijfenzeventig procent om betrapt te worden als hij probeert het bericht te onderscheppen en opnieuw te verzenden. Door meer instellingen toe te voegen, verhoogde het team deze detectiekans naar meer dan drieentachtig procent. Dit mag misschien als een klein verschil klinken, maar in de wereld van de cryptografie vertaalt dit zich naar een veel grotere en veiligere geheime sleutel. Wanneer ze simulaties uitvoerden op basis van real-world ruisniveaus, vonden ze dat deze multi-instelling benadering een geheime sleutelrate kon produceren die zeven punt vier procent hoger was dan de standaardmethode bij het verwerken van één miljoen signalen. Deze verbetering is cruciaal omdat het betekent dat het systeem meer ruis kan tolereren en nog steeds een bruikbaar geheim kan produceren.

Het team werkte ook aan de op verstrengeling gebaseerde methode, die steunt op paren deeltjes die een verbinding delen ongeacht de afstand. In echte hardware driften de hoeken waaronder deze deeltjes worden gemeten vaak licht af door temperatuurveranderingen of elektronische instabiliteit, wat het beveiligingssignaal verzwakt. De onderzoekers introduceerden een "fase-geëngineerde" versie van dit protocol die automatisch corrigeert voor deze driften. Door de meethoeken in realtime te corrigeren, waren ze in staat een aanzienlijk deel van het verloren beveiligingssignaal te herstellen. In hun tests verbeterde deze aanpassing de sterkte van het beveiligingssignaal met vier punt twee procent vergeleken met de ongecorrigeerde versie. Dit is een vitale verbetering omdat het het systeem in staat stelt om veilig te functioneren, zelfs wanneer de hardware niet perfect stabiel is, een veelvoorkomende conditie in huidige kwantumcomputers.

Om te waarborgen dat deze bevindingen niet slechts theoretisch waren, integreerde het team een techniek genaamd zero-noise extrapolation. Deze methode houdt in dat men hetzelfde experiment meerdere keren uitvoert met opzettelijk verhoogde ruis en vervolgens wiskundig terugrekent om te schatten wat het resultaat zou zijn geweest als er helemaal geen ruis was geweest. Het is vergelijkbaar met het wegen van een object op een wiebelige weegschaal door het met toegevoegd gewicht te wegen en vervolgens de werkelijke waarde te berekenen, maar dan toegepast op kwantumsignalen. Door deze correctie toe te passen, vonden de onderzoekers dat ze de reikwijdte van de ruis die het systeem kon tolereren met dertig tot veertig procent konden uitbreiden. Dit betekent dat de beveiligingsdrempel, het punt waarop het systeem te ruisig wordt om veilig te zijn, werd verhoogd van een gate-foutpercentage van zes punt twee procent naar tien punt vier procent. Deze expansie is cruciaal voor het levensvatbaar maken van deze systemen op de supergeleidende kwantumprocessors die vandaag de dag beschikbaar zijn, welke nog steeds gevoelig zijn voor fouten.

De onderzoekers valideerden hun volledige framework met behulp van hardware-gekalibreerde modellen afgeleid van werkelijke supergeleidende kwantumprocessors. Ze simuleerden de transmissie van signalen door kanalen die de specifieke soorten ruis die in deze machines worden gevonden, zoals energieverlies en willekeurige statusomklappingen, nabootsen. De resultaten van deze simulaties kwamen binnen drie tot vijf procent overeen met hun wiskundige voorspellingen, wat bevestigt dat hun theoretische modellen het gedrag van de echte hardware nauwkeurig weerspiegelen. Ze stelden ook strikte beveiligingsgaranties vast die standhouden, zelfs wanneer het aantal signalen beperkt is, een conditie die bekend staat als finite-key analysis. In praktische termen betekent dit dat zelfs als het systeem slechts een miljoen signalen verzendt, de resulterende sleutel bewezen veilig is tegen elke mogelijke aanval, inclusief die die mogelijk ontwikkeld worden door toekomstige computers.

De studie concludeert dat door het combineren van multi-basis codering, adaptieve hoekcorrectie en foutextrapolatie, het mogelijk is om kwantumcommunicatienetwerken te bouwen die robuust genoeg zijn voor de nabije toekomst. Het team gaf duidelijke richtlijnen voor ingenieurs, waarbij zij suggereerden dat voor omgevingen met weinig ruis de drie-instellingenmethode optimaal is, terwijl voor ruisiger condities of onbetrouwbare bronnen de op verstrengeling gebaseerde methode met foutcorrectie de beste bescherming biedt. Zij identificeerden dat een minimum van ongeveer drieëttigduizend signalen vereist is om een veilige sleutel te genereren, een drempel die ruim binnen de capaciteiten van de huidige technologie valt. Dit werk overbrugt de kloof tussen de geïdealiseerde wereld van de kwantumtheorie en de ruisige realiteit van fysieke hardware, en biedt een duidelijk pad vooruit voor de implementatie van veilige kwantumcommunicatie in de echte wereld. De bevindingen suggereren dat het tijdperk van praktische, ruisbestendige kwantumnetwerken dichterbij is dan voorheen gedacht, mits deze specifieke ontwerpprincipes worden gevolgd.