Finite Nonsignalling Resources Suffice to Simulate Entangled Qubits

In de kwantumwereld kunnen deeltjes op een manier met elkaar verbonden raken die ons alledaagse ervaringen tart. Wanneer twee deeltjes verstrengeld zijn, onthult het meten van het ene deeltje onmiddellijk informatie over het andere, ongeacht hoe ver ze van elkaar verwijderd zijn. Dit fenomeen, bekend als non-lokaliteit, werd beroemd belicht door de natuurkundige John Bell, die aantoonde dat de vreemde verbindingen tussen deze deeltjes niet verklaard kunnen worden door een gedeelde geheime code of een vooraf overeengekomen plan dat de deeltjes met zich mee zouden hebben gedragen. Om dit te begrijpen, stel je twee mensen voor in verschillende kamers die munten opgooien. Als ze slechts een gedeelde lijst met instructies gebruiken, zullen hun resultaten uiteindelijk een patroon vertonen dat een eenvoudige, lokale verklaring kan verklaren. Maar verstrengelde deeltjes produceren correlaties die zo sterk zijn dat geen enkele dergelijke lokale planning ze ooit kan evenaren. Dit laat wetenschappers met een puzzelende vraag: als gedeelde instructies niet genoeg zijn, wat voor soort hulpbron is er dan nodig om deze kwantumverbindingen te reproduceren? Het antwoord moet iets zijn dat onmiddellijke coördinatie mogelijk maakt zonder dat er een signaal tussen de twee partijen reist, een concept dat bekend staat als een "niet-signalerende" hulpbron.

Decennialang hebben onderzoekers zich afgevraagd hoe complex deze hulpbronnen moeten zijn. Specifiek vroegen zij zich af of het simuleren van het gedrag van verstrengelde deeltjes een continue stroom van informatie vereist, zoals een draaiknop die naar elke willekeurige hoek kan worden gedraaid, of of een eenvoudige, eindige set opties voldoende is. In het geval van deeltjes die perfect verstrengeld zijn, was bekend dat een enkele, eenvoudige tool werkt. Echter, voor deeltjes die slechts gedeeltelijk verstrengeld zijn, leek de situatie veel ingewikkelder. Eerdere pogingen om deze zwakkere verbindingen te simuleren vertrouwden op hulpmiddelen die continue, reële invoer konden verwerken, wat suggereerde dat de simulatie een oneindige hoeveelheid informatie nodig zou hebben om exact te zijn. Dit riep een fundamentele vraag op: is het continue karakter van de kwantumwereld een vereiste voor de simulatie ervan, of is het slechts een kenmerk van de methoden die we tot nu toe hadden uitgevonden?

Een team onderzoekers aan de Hong Kong University of Science and Technology heeft deze langlopende vraag nu opgelost. Zij hebben aangetoond dat eindige hulpbronnen volledig voldoende zijn om het gedrag van elk vast paar verstrengelde deeltjes perfect te simuleren, zelfs wanneer de meetinstellingen continu kunnen variëren. Hun werk bewijst dat u geen instrument nodig heeft met een oneindig aantal instellingen om de statistieken van kwantummetingen te reproduceren. In plaats daarvan hebben zij aangetoond dat men, door gebruik te maken van een gedeelde lijst met willekeurige opties en een specifiek aantal eenvoudige, binaire tools, een exacte overeenkomst kan bereiken met de kwantumvoorspellingen. Deze bevinding onthult een verrassende scheiding tussen de vloeiende, continue aard van kwantummetingen en de discrete, eindige hulpbronnen die nodig zijn om ze na te bootsen.

De onderzoekers concentreerden zich op een specifiek type verstrengelde toestand, die vaak wordt beschreven door een parameter die bepaalt hoe sterk de twee deeltjes met elkaar verbonden zijn. Voor elke dergelijke toestand ontwierpen zij een protocol waarbij twee partijen, traditioneel Alice en Bob genoemd, de exacte uitkomsten kunnen reproduceren van elke meting die zij besluiten uit te voeren. De sleutel tot hun methode is een slimme manier van het omgaan met willekeur. In plaats van een willekeurige richting op een sfeer te genereren die continu verandert op basis van de invoer, bereiden Alice en Bob vooraf een vaste, eindige lijst met willekeurige richtingen voor. Wanneer Alice haar meetinstelling ontvangt, genereert zij niet een nieuwe willekeurige richting; in plaats daarvan selecteert zij één specifieke richting uit deze vooraf gemaakte lijst. De selectie gebeurt op een manier die, wanneer gemiddeld over vele runs, perfect overeenkomt met de vereiste waarschijnlijkheidsverdeling.

Om deze selectie te laten werken zonder dat Alice aan Bob hoeft te vertellen welke richting zij koos, gebruiken zij een speciaal coördinatie-instrument. Dit instrument, bekend als een Popescu-Rohrlich-box, fungeert als een perfecte coördinator die ervoor zorgt dat hun uiteindelijke resultaten correct gecorreleerd zijn zonder dat Alice's keuze aan Bob wordt onthuld. De onderzoekers toonden aan dat voor elke gegeven kwantumtoestand een specifiek, eindig aantal van deze boxen nodig is om het slechtste scenario te behandelen. Voor een toestand gedefinieerd door een hoek $\theta$, is het maximale aantal boxen dat nodig is evenredig aan de inverse vierde macht van de tangens van die hoek. Hoewel dit aantal groot kan worden naarmate de deeltjes minder verstrengeld raken, blijft het een eindig, telbaar aantal voor elke vaste toestand. Dit betekent dat de simulatie nooit een oneindige voorraad hulpbronnen vereist, noch dat het proces moet worden afgebroken of opnieuw moet worden gestart.

De schoonheid van deze constructie ligt in het feit dat zij het probleem in twee duidelijke delen splitst. Het continue, invoerafhankelijke deel van de simulatie wordt afgehandeld door de gedeelde willekeur en de lokale selectie uit de vaste lijst. De niet-lokale coördinatie, het deel dat niet verklaard kan worden door lokale instructies, wordt afgehandeld door het eindige aantal coördinatieboxen. Door het probleem op deze manier te ontleden, hebben de onderzoekers de noodzaak vermeden om tools te gebruiken die continue waarden kunnen verwerken. Hun methode werkt voor alle lokale metingen die twee mogelijke uitkomsten hebben, en kan worden uitgebreid naar gemengde toestanden en complexere metingen.

De implicaties van dit werk gaan verder dan alleen het oplossen van een technische puzzel. Het verheldert de hulpbrontheorie van kwantum-non-lokaliteit, door aan te tonen dat de continuïteit van de kwantummechanica niet noodzakelijkerwijs continue hulpbronnen vereist voor de simulatie ervan. De onderzoekers stelden vast dat de complexiteit van de simulatie gekoppeld is aan de specifieke toestand die wordt gesimuleerd, maar dat deze altijd eindig is. Zij merkten ook op dat hoewel hun methode een concrete bovengrens biedt aan de hoeveelheid hulpbronnen die nodig is, dit mogelijk niet het absolute minimum is. Echter, het feit dat er überhaupt een eindige oplossing bestaat, is de primaire ontdekking. Het beslecht het debat over de vraag of continue input-alfabetten fundamenteel noodzakelijk zijn, door te bewijzen dat ze dat niet zijn.

Dit resultaat opent de deur naar verdere vragen over de structuur van kwantumcorrelaties. Als eindige hulpbronnen deze specifieke kwantumgedragingen kunnen simuleren, welke andere families van correlaties kunnen dan vergelijkbare eindige simulaties toestaan? De onderzoekers suggereren dat hun methode van eindige selectie kan worden toegepast op andere problemen waar gedistribueerde bemonstering vereist is. Zij erkennen ook dat praktische implementaties te maken zullen krijgen met uitdagingen op het gebied van precisie, aangezien real-world tools geen oneindige nauwkeurigheid kunnen hanteren. Desalniettemin staat het theoretische bewijs vast: de vloeiende, continue wereld van kwantummetingsstatistieken kan exact worden gereproduceerd met een eindige, discrete set van niet-lokale hulpbronnen. Deze bevinding herschikt ons begrip van de kloof tussen de kwantummechanica en de klassieke hulpbronnen die nodig zijn om deze na te bootsen, en laat zien dat de kloof niet zo groot of complex is als voorheen gedacht.