Characterising the set of deterministic quantum correlations in prepare-and-measure scenarios

Het Mysterie van de Magische Doos

Stel je voor dat je op een kermis staat, voor een mysterieuze "Magische Doos". Je laat een gekleurde bal in een gleuf aan de linkerkant vallen, en aan de rechterkant flitst er een lichtje op. Soms is het licht rood, soms blauw. In de wereld van de klassieke fysica – de regels die ons dagelijks leven beheersen, zoals het gooien van een bal of het rijden op een fiets – zou deze doos een simpele machine zijn. Als je precies wist hoe de bal gemaakt was en hoe de tandwielen binnenin waren ingesteld, zou je met 100% zekerheid kunnen voorspellen welk lichtje zou gaan branden. De uitkomst zou vooraf bepaald zijn, zoals een tikkende klok.

Maar de kwantumfysica, het regelboek voor de zeer kleine wereld van atomen en deeltjes, hanteert andere regels. Soms, zelfs als je alles weet over de bal en de doos, lijkt het lichtje dat flitst een echte verrassing te zijn. Het is niet dat we slecht zijn in rekenen; het is dat het universum zelf de uitkomst misschien nog niet heeft beslist totdat je kijkt. Deze "intrinsieke niet-determinisme" is het geheime ingrediënt dat kwantumcomputers en superveilige codes mogelijk maakt. Als we kunnen bewijzen dat een systeem werkelijk onvoorspelbaar is, kunnen we het gebruiken om perfecte willekeur te genereren of te bewijzen dat een bericht niet is gemanipuleerd.

De grote vraag die wetenschappers zich hebben gesteld is: Hoe weten we zeker dat een systeem echt kwantummechanisch is en geen slimme klassieke truc? Normaal gesproken moeten we hiervoor zeer moeilijke experimenten uitvoeren waarbij twee mensen ver uit elkaar een speciale verbinding delen die "verstrengeling" wordt genoemd. Maar wat als we dit in een simpelere opstelling willen testen, waarbij één persoon een deeltje voorbereidt en het naar een ander persoon stuurt om het te meten? Dit wordt een "prepare-and-measure" scenario genoemd. Het is alsover een verzegelde envelop (de voorbereiding) naar een vriend sturen die de envelop opent en een brief leest (de meting). De uitdaging is om te achterhalen of de brief in de envelop vooraf geschreven was (deterministisch) of dat deze werd gecreëerd op het moment dat de envelop werd geopend (kwantum).

Het Nieuwe Gereedschap van de Detective

In dit nieuwe werk stellen Nicola D'Alessandro, Oliver Karlsson en Carles Roch i Carceller een slimme nieuwe manier voor om dit mysterie op te lossen. In plaats van te proberen te bewijzen dat het systeem willekeurig is, draaien ze het scenario om en vragen ze: "Zou een superintelligente detective het antwoord van tevoren kunnen weten?"

Stel je een schurk voor, laten we haar Eve noemen, die probeert het systeem te testen. Eve heeft een speciale superkracht: zij kent een geheime code (een "verborgen variabele") die bepaat hoe de Magische Doos werkt. Als het systeem echt klassiek is, zou Eve haar code kunnen bekijken, zien welke bal jij op het punt staat te laten vallen, en met perfecte nauwkeurigheid kunnen voorspellen welk lichtje zal flitsen. Als Eve dit kan doen, is het systeem "klassiek" en saai. Maar als Eve haar best doet en toch niet beter kan voorspellen dan een gelukkige gok, dan is het systeem "niet-klassiek" en werkelijk kwantum.

De auteurs realiseerden zich dat dit "Eve"-perspectief een perfecte match is met bestaande instrumenten die worden gebruikt in een veld genaamd Quantum Random Number Generation (QRNG). Normaal gesproken proberen QRNG-experts te meten hoe onvoorspelbaar een systeem is. Deze onderzoekers draaiden dat idee om: ze vroegen: "Kunnen we bewijzen dat het systeem niet voorspelbaar is?" Als het antwoord "nee, het is niet voorspelbaar" is, dan hebben we gecertificeerd dat het systeem kwantum is.

Om dit werkbaar te maken voor verschillende soorten experimenten, ontwikkelde het team een reeks wiskundige "filters" genaamd semidefinite programming (SDP) relaxaties. Zie dit als verschillende soorten veiligheidscontroles voor de Magische Doos, afhankelijk van welke regels de doos moet volgen. Ze testten drie specifieke scenario's:

1. Het Vaste Ensemble: Stel je voor dat de zender altijd een specifieke, bekende set ballen gebruikt. De onderzoekers controleerden of Eve de uitkomst kon voorspellen als zij precies wist welke mix van ballen er werd gebruikt.
2. Begrensde Overlaps: Hier hoeft de zender geen vaste set te gebruiken, maar moeten de ballen op een specifieke manier "gelijksoortig" zijn aan elkaar (ze mogen niet te verschillend zijn). Het team controleerde of Eve de uitkomst kon voorspellen op basis van deze gelijkenisregel.
3. Beperkte Observabelen: In dit geval is de zender beperkt door hoeveel "energie" of specifieke eigenschappen de ballen kunnen hebben (zoals een limiet op het aantal fotonen, of lichtdeeltjes, in de bal). Ze controleerden of Eve de uitkomst kon voorspellen onder deze energiegrenzen.

Wat Ze Vonden

Met behulp van deze nieuwe instrumenten voerden de auteurs simulaties uit om te zien waar de grens tussen "voorspelbaar" en "kwantum" ligt. Ze gokten niet alleen; ze gebruikten krachtige computeralgoritmen om de exacte wiskundige grenzen te vinden.

Voor het scenario Vast Ensemble leidden ze een algemene regel (een "witness") af die fungeert als een scorekaart. Als de score te hoog is, bewijst dit dat, ongeacht hoe hard Eve haar best doet, zij de uitkomst niet kan voorspellen. Ze toonden aan dat voor bepaalde opstellingen met "mutually unbiased bases" (een chique manier om te zeggen dat de ballen op volkomen verschillende, incompatibele manieren worden voorbereid) de kwantumscore strikt hoger is dan wat een voorspelbaar, klassiek model ooit zou kunnen bereiken. Bijvoorbeeld, in een opstelling met 5 verschillende soorten ballen, kan het kwantumsysteem een succeswaarschijnlijkheid bereiken die klassieke modellen simpelweg niet kunnen evenaren.

Voor het scenario Begrensde Overlaps keken ze naar hoe gelijksoortig de ballen moeten zijn om Eve te testen. Ze ontdekten dat als de ballen te veel op elkaar lijken (hoge overlap), Eve de uitkomst kan voorspellen. Maar naarmate de ballen meer van elkaar verschillen, is er een kantelpunt waarop Eve haar vermogen om te voorspellen verliest. Ze kwamen zelfs met een handige formule om precies te berekenen waar dit kantelpunt ligt voor specifieke aantallen inputs.

Ten slotte pasten ze hun methode toe op het scenario Beperkte Observabelen voor lichtdeeltjes (fotonen). Ze simuleerden een situatie waarin de zender beperkt is tot het gebruik van slechts een klein aantal fotonen. Hun simulaties lieten zien dat, zelfs met deze strikte limieten, er specifieke combinaties van inputs zijn waarbij het systeem zich op een manier gedraagt die Eve niet kan voorspellen, wat het kwantumkarakter van het licht bewijst.

Het artikel beweert niet elk mysterie van het universum te hebben opgelost, noch zegt het dat deze methoden voor elk mogelijk experiment werken. In plaats daarvan biedt het een veelzijdige toolkit. Het laat zien dat door de vraag te stellen "Kan Eve dit voorspellen?", we systematisch kwantumgedrag kunnen certificeren in veel verschillende situaties, van vaste sets deeltjes tot die met strikte energiegrenzen. Deze benadering onthult dat "klassieke aard" niet zomaar een eenvoudige aan/uit-schakelaar is; het is eerder een ladder. Een systeem kan voorspelbaar zijn voor sommige inputs, maar kwantum voor andere, wat een rijke hiërarchie van gedragingen creëert die wetenschappers nu met grotere precisie kunnen verkennen.

Kortom, deze onderzoekers hebben ons een nieuwe vergrootglas gegeven. Door zich een schurk voor te stellen die het systeem probeert te testen, hebben ze een manier gevonden om te bewijzen dat het universum echt een spelletje verstoppertje speelt, en dat zelfs de beste detective het antwoord niet kan vinden totdat de doos wordt geopend.