Self-testing with untrusted random number generators

Dit artikel toont aan dat alle zuivere bipartiete gedeeltelijk verstrengelde kwantumtoestanden kunnen worden geverifieerd via zelftesten, zelfs wanneer de gebruikte toevalsgenerator minder onafhankelijk is dan traditioneel wordt aangenomen, zolang slechts een zwakke resttoevalsbeperking wordt voldaan.

De kern

Stel je voor dat je een magische doos hebt die je niet mag openmaken. Je wilt weten of er echt een quantumcomputer (een superkrachtige machine die werkt met de wetten van de quantumwereld) in zit, of dat het gewoon een slimme truuks is.

In de wereld van de quantumfysica noemen we dit zelftesten (self-testing). Normaal gesproken kun je dit alleen doen als je volledig kunt vertrouwen op de "knoppen" die je op de doos drukt. Je moet er zeker van zijn dat de knoppen willekeurig worden gekozen en dat de doos niet weet welke knop je gaat indrukken.

Maar wat als die knoppen niet door een eerlijke muntworp worden gekozen, maar door een gebrekkige, onbetrouwbare generator? Wat als de doos misschien wel een beetje weet welke knop er komt?

Dit is precies wat de onderzoekers van de Universiteit van Hong Kong in dit artikel hebben onderzocht. En het goede nieuws is: Je kunt de doos nog steeds testen, zelfs als je niet 100% vertrouwt op de willekeurigheid.

Hier is hoe het werkt, vertaald in alledaagse taal:

1. Het Probleem: De Gebrekkige Gok

Stel je voor dat je een spelletje speelt met een vriend in een andere kamer. Jullie moeten elk een knop indrukken (links of rechts) en een antwoord geven (ja of nee). Als jullie "spookachtige" correlaties hebben (zoals in de quantumwereld), weten jullie dat er geen bedrieger is die jullie antwoorden kan voorspellen.

Maar om dit te bewijzen, moet je knoppen kiezen die volkomen willekeurig zijn.

• De oude regel: "Je mag alleen testen als je zeker weet dat je knopkeuze niets te maken heeft met wat er in de doos gebeurt." (Dit is als een eerlijke muntworp).
• Het nieuwe probleem: In de echte wereld zijn onze "muntworpen" (willekeurige getallengeneratoren) nooit perfect. Misschien is de munt een beetje scheef, of heeft de doos een klein beetje invloed op hoe de munt valt. De oude theorie zei: "Als de munt niet 100% eerlijk is, kun je niets bewijzen."

2. De Oplossing: De "Rest van Willekeur"

De onderzoekers zeggen: "Wacht even, je hebt geen perfecte willekeur nodig. Je hebt alleen maar enige willekeur nodig."

Ze noemen dit de "rest van willekeur" (residual randomness).

• De Analogie: Stel je voor dat je een slot op een deur hebt. De sleutel is je willekeurige keuze.
  • De oude theorie zei: "Als de sleutel niet perfect is gemaakt, kan de dief hem openen."
  • De nieuwe theorie zegt: "Zolang de dief de sleutel niet perfect kan voorspellen (zelfs als hij een beetje weet hoe hij eruitziet), kunnen we nog steeds bewijzen dat de deur echt op slot zit."

Zelfs als de generator die de knoppen kiest een beetje "slecht" is, zolang er maar een klein beetje echte verrassing (willekeur) in zit die de doos niet kan voorspellen, werkt het testje nog steeds.

3. De Magische Truc: Onmogelijkheden vs. Kansen

Hoe doen ze dit? Ze gebruiken een slimme truc die ze een Hardy-test noemen.

• De oude manier (Bell-inequalities): Dit is als proberen een auto te testen door te kijken hoe snel hij kan rijden. Als de weg (de willekeur) niet perfect is, kun je de snelheid niet precies meten.
• De nieuwe manier (Hardy-test): Dit is als kijken of een auto onmogelijk op een bepaalde manier kan rijden.
  • Stel je voor: "Als ik links draai, mag de auto nooit rood zijn."
  • Als de auto toch rood is als je links draait, dan is het geen echte auto, maar een nep.
  • Het mooie is: Zelfs als je niet 100% zeker weet of je links of rechts draait (zolang er maar een klein beetje onzekerheid is), kun je dit "onmogelijke" scenario nog steeds detecteren.

De onderzoekers tonen aan dat je met deze "onmogelijkheids-truc" elke gewenste quantumtoestand kunt testen, zelfs als je willekeurige generator niet perfect is.

4. Waarom is dit belangrijk?

Voor de cryptografie en beveiliging is dit een enorme stap vooruit.

• Vroeger: Om te zeggen "Deze beveiliging is 100% veilig", moesten we aannemen dat onze willekeurige getallengeneratoren perfect waren. Dat is in de echte wereld bijna onmogelijk.
• Nu: We kunnen zeggen: "Zolang je generator niet helemaal te voorspellen is door de hacker, is je beveiliging nog steeds veilig."

Het is alsof je een slot hebt dat niet alleen werkt met een perfecte sleutel, maar ook met een sleutel die een beetje beschadigd is, zolang de dief maar niet precies weet hoe die beschadiging eruitziet.

Samenvatting in één zin

Deze paper bewijst dat we quantumapparaten kunnen testen op hun eerlijkheid, zelfs als we niet 100% kunnen vertrouwen op de willekeurige knoppen die we gebruiken, zolang er maar een klein beetje echte verrassing in zit die de apparatuur niet kan voorspellen.

Het is een stap van "We moeten alles perfect vertrouwen" naar "We vertrouwen op wat er overblijft van de verrassing", wat veel realistischer is voor de echte wereld.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het paper "Self-testing with untrusted random number generators" van Bermejo Morán en Ramanathan, gepresenteerd in het Nederlands.

Probleemstelling

Het paper adresseert een fundamentele beperking in het veld van device-independent quantum information processing (DI-QIP), en specifiek bij self-testing. Self-testing is een protocol waarbij gebruikers, puur op basis van de invoer-uitvoer statistieken van een "black-box" kwantumblok, de onderliggende kwantumtoestand en de uitgevoerde metingen kunnen reconstrueren (tot op lokale isometrieën).

Traditionele self-testing protocollen rusten op de strenge aanname van meetonafhankelijkheid (measurement independence): de keuze van de meetinstellingen (de "settings" in een Bell-test) moet volledig willekeurig en onafhankelijk zijn van het geteste apparaat en eventuele verborgen variabelen. In de praktijk worden deze instellingen gegenereerd door Random Number Generators (RNG). Het vertrouwen dat deze bronnen perfect willekeurig zijn en geen correlaties hebben met het apparaat, staat haaks op de geest van "device-independence". Als er correlaties bestaan tussen de RNG en het apparaat, kunnen alle meetstatistieken worden verklaard door lokale verborgen variabelen, waardoor self-testing faalt.

Het centrale probleem is dus: Is self-testing mogelijk als de bron van willekeur (de RNG) niet volledig betrouwbaar is, maar slechts een zwakkere vorm van willekeur bezit?

Methodologie

De auteurs ontwikkelen een theoretisch raamwerk dat self-testing uitbreidt naar scenario's met onbetrouwbare bronnen.

1. Het Model: Ze beschouwen een bipartiete Bell-scenario waarbij de invoervariabelen $x$ en $y$ worden gekozen door bronnen $S$ en $T$. Deze bronnen kunnen correleren met een verborgen variabele $\Lambda$ die ook de uitkomsten $A$ en $B$ beïnvloedt. De gezamenlijke waarschijnlijkheid wordt beschreven door een klassiek-kwantum toestand $\rho = \sum_{st} |st\rangle\langle st| \otimes \rho_{st}$.
2. De Aanname (Residual Randomness): In plaats van volledige onafhankelijkheid ($p(xy|\lambda) = p(xy)$), introduceren ze de aanname van residuele willekeur (residual randomness). Dit vereist dat $p(st|abxy) > 0$ voor alle mogelijke uitkomsten. Operationeel betekent dit dat de meetstatistieken van het apparaat de uitkomsten van de bron niet perfect kunnen discrimineren. De bron behoudt dus nog enige onvoorspelbaarheid, zelfs gegeven de kwantumtoestand van het apparaat.
3. Hardy-type Tests vs. Bell-waarden: De auteurs maken een fundamenteel onderscheid tussen twee soorten tests:
   • Bell-ongelijkheden (probabilistisch): Gebaseerd op het maximaliseren van een waarde (zoals CHSH).
   • Hardy-tests (possibilistisch): Gebaseerd op het bestaan van "onmogelijke" gebeurtenissen (waarschijnlijkheid 0) en specifieke niet-nul kansen.
4. Constructie van Protocollen:
   • Voor qubit-toestanden: Ze generaliseren de "tilted Hardy tests" (die eerder werden gebruikt voor self-testing van verstrengelde toestanden) naar het scenario met onbetrouwbare bronnen. Ze tonen aan dat een specifieke set van nul-kansen en een maximale kwantumwaarde alleen kan worden bereikt als de toestand een specifieke gedeeltelijk verstrengelde toestand is.
   • Voor qudit-toestanden (hogere dimensies): Ze gebruiken een inhomogene dekboom (inhomogeneous covering tree) over de Schmidt-coëfficiënten van de toestand. Door Hardy-tests toe te passen op de randen van deze boom, kunnen ze de volledige toestand reconstrueren door de 2-dimensionale subruimtes te "stapelen".

Belangrijkste Bijdragen en Resultaten

1. Self-testing van alle zuivere bipartiete gedeeltelijk verstrengelde toestanden:
   Het paper bewijst dat alle zuivere bipartiete gedeeltelijk verstrengelde toestanden ($|\psi\rangle = \sum c_i |ii\rangle$) kunnen worden geverifieerd via self-testing, zelfs als de RNG slechts voldoet aan de aanname van residuele willekeur (die strikt zwakker is dan volledige onafhankelijkheid).

2. Certificatie van Onafhankelijkheid:
   Een opmerkelijk resultaat is dat het succes van het self-testing protocol op zichzelf fungeert als een semi-device-independent certificering dat de bron van willekeur en het apparaat onafhankelijk zijn. Als de protocolvoorwaarden worden vervuld, impliceert dit dat de toestand $\rho_{st}$ voor elke bronuitkomst $s,t$ evenredig is met dezelfde zuivere toestand $|\psi\rangle\langle\psi|$.

3. Het falen van Bell-waarden (CHSH) bij zwakke onafhankelijkheid:
   De auteurs tonen aan dat self-testing gebaseerd op het maximaliseren van Bell-waarden (zoals de CHSH-ongelijkheid) faalt onder willekeurige zwakke meetafhankelijkheid. Er bestaan correlaties met de bron die de maximale CHSH-waarde kunnen bereiken zonder dat de toestand uniek is bepaald. Dit contrasteert scherp met Hardy-tests, die wel werken onder willekeurige residuele willekeur (zolang $p(st|abxy) > 0$).

4. Generalisatie naar Hogere Dimensies:
   Ze presenteren een constructie (Propositie 5 en Theorema 6) die self-testing uitbreidt naar toestanden in willekeurige dimensies (qudits) door gebruik te maken van een boomstructuur van Hardy-tests.

Significantie en Conclusie

De significante bijdrage van dit werk ligt in het doorbreken van de barrière van de strenge "free-will" of meetonafhankelijkheidsaanname in device-independent protocollen.

• Praktische Toepasbaarheid: In realistische scenario's (zoals kwantumsleutelverdeling of willekeurigheidsversterking) is het vaak onmogelijk om te garanderen dat de RNG volledig onafhankelijk is van het apparaat. Dit paper toont aan dat men toch vertrouwen kan hebben in de kwantumtoestand zolang de bron niet volledig voorspelbaar is door het apparaat.
• Fundamenteel Inzicht: Het paper onthult een diepgaand onderscheid tussen probabilistische tests (Bell-waarden) en possibilistische tests (Hardy-tests). Het feit dat Hardy-tests robuust zijn tegen correlaties met de bron, terwijl Bell-waarden dat niet zijn, biedt nieuwe inzichten in de aard van kwantumnon-localiteit.
• Beperkingen: De resultaten gelden voor gedeeltelijk verstrengelde toestanden. Maximale verstrengeling (zoals een EPR-paar) kan in dimensie 2 niet worden geverifieerd met Hardy-tests, omdat deze tests juist afhankelijk zijn van de onmogelijkheid van bepaalde uitkomsten, wat bij maximale verstrengeling in 2D niet optreedt op dezelfde manier. Dit suggereert dat maximale verstrengeling juist een last is voor dit type self-testing.

Samenvattend bieden de auteurs een robuust protocol om de onderliggende fysica van kwantumapparaten te verifiëren in een veel realistischere, minder ideale setting dan voorheen mogelijk was, wat een cruciale stap is voor de implementatie van veilige, device-independent kwantumtechnologieën.