An Explicit Counterexample to Tsirelson's Problem via a Linear System Game

In de vreemde en contra-intuïtieve wereld van de kwantumfysica kunnen deeltjes met elkaar verbonden raken op manieren die ons alledaagse ervaring te boven gaan. Wanneer twee dergelijke deeltjes worden gemeten, kan het resultaat van de één onmiddellijk het resultaat van de ander beïnvloeden, ongeacht hoe ver ze van elkaar verwijderd zijn. Wetenschappers gebruiken deze "verstrengelde" deeltjes al lang om een specifiek soort spel te spelen met twee spelers die niet met elkaar kunnen communiceren. Het doel is om hun antwoorden op de vragen van een scheidsrechter te coördineren op een manier die onmogelijk lijkt als ze enkel gewone, klassieke logica zouden gebruiken. Decennialang hing er een fundamentele vraag over dit veld: als de spelers gebruik mogen maken van de krachtigste, oneindig-dimensionale kwantumbronnen die beschikbaar zijn, kunnen ze dan altijd een perfecte score behalen? Of is er een subtiele limiet die zelfs de meest geavanceerde kwantummechanica niet kan overschrijden? Deze vraag, bekend als Tsirelson's probleem, was niet alleen een technische puzzel; het was een poort naar het begrijpen van de structuur van de werkelijkheid en de vraag of de wiskundige modellen die we gebruiken om het universum te beschrijven, wel compleet zijn.

Een team van onderzoekers heeft deze vraag nu definitief beantwoord met een "nee". Zij hebben een specifiek, concreet spel geconstrueerd dat bewijst dat er een kloof bestaat tussen wat mogelijk is met eindige kwantumsystemen en wat mogelijk is met oneindige systemen. In dit spel kunnen de spelers een perfecte score behalen als ze gebruik mogen maken van een oneindige, theoretische bron die bekend staat als een strategie van pendelende operatoren (commuting operator strategy). Echter, als de spelers beperkt zijn tot elke willekeurige eindige hoeveelheid kwantumruimte, hoe groot deze ook is, zullen ze altijd niet in staat zijn om die perfecte score te halen. De onderzoekers hebben niet alleen gesuggereerd dat deze kloof zou kunnen bestaan; ze hebben de exacte blauwdruk voor het spel gebouwd, hun grenzen met absolute precisie berekend en elke stap van hun logica geverifieerd met een computerbewijsysteem.

Het spel zelf is een variatie op een logische puzzel bestaande uit een raster van vergelijkingen. Stel je een enorm vel papier voor, gevuld met duizenden rijen. Elke rij bevat drie specifieke variabelen die samen een bepaald getal moeten vormen, ofwel nul of één, volgens de regels van de binaire rekenkunde. De spelers krijgen één rij en één variabele uit die rij toegewezen. Eén speler moet een set van drie getallen leveren die aan de vergelijking van de rij voldoen, terwijl de andere speler de waarde moet leveren van de specifieke variabele waar naar gevraagd is. Om te winnen, moeten hun antwoorden consistent met elkaar zijn en voldoen aan de verborgen regels van het raster. De onderzoekers hebben een raster ontworpen dat zo complex is dat het meer dan 1,4 miljoen rijen en bijna 1,9 miljoen variabelen bevat. Elke enkele rij in dit enorme systeem heeft precies drie niet-nul entries, wat zorgt voor een nauw geweven web van beperkingen.

De genialiteit van de constructie ligt in de manier waarop het de spelers in de val lokt. De onderzoekers hebben bewezen dat als de spelers proberen te winnen met elk willekeurig eindig kwantumsysteem, ze wiskundig gedwongen worden om een fout te maken. Ongeacht hoe ze hun kwantumapparatuur afstemmen, er is een hard plafond voor hun succespercentage. Ze hebben berekend dat de best mogelijke score voor een eindige kwantumstrategie strikt minder is dan honderd procent. Sterker nog, de kloof tussen de perfecte score en de beste eindige score is klein maar meetbaar, begrensd door een fractie die ongeveer één op 4,25 miljoen is. Dit betekent dat zelfs als de spelers toegang zouden hebben tot een kwantumcomputer met meer geheugen dan er atomen in het universum zijn, ze nog steeds niet elke keer zouden kunnen winnen.

Het verhaal verandert echter volledig wanneer de spelers gebruik mogen maken van de oneindige bron. De onderzoekers hebben aangetoond dat als de spelers een strategie gebruiken die gebaseerd is op pendelende operatoren — een wiskundig kader dat voor oneindige dimensies toelaat — ze elke keer met honderd procent zekerheid kunnen winnen. Ze hebben een specifieke strategie geconstrueerd die met honderd procent zekerheid wint. Dit creëert een duidelijke scheiding: de set correlaties die bereikbaar zijn met eindige kwantumsystemen is fundamenteel verschillend van de set die bereikbaar is met oneindige systemen. Het spel fungeert als een lakmoesproef, die bewijst dat de oneindige wereld van de kwantummechanica mogelijkheden bevat die nooit benaderd kunnen worden door een enkele eindige verzameling onderdelen.

Om te garanderen dat dit resultaat buiten enig twijfel stond, vertrouwde het team niet op vage argumenten of ruwe schattingen. Ze vertaalden de gehele constructie, inclusief het enorme raster van vergelijkingen en de complexe logica van de winnende strategieën, naar een formele taal die een computer kan lezen en verifiëren. Met behulp van een bewijsassistent genaamd Lean controleerden ze elke logische stap, van de definitie van het spel tot de berekening van de exacte winstkansen. De computer bevestigde dat het spel exact 1.417.152 vergelijkingen en 1.889.684 variabelen heeft, en dat de klassieke limiet — de beste score die haalbaar is zonder enige kwantums hulp — exact één min één op 4.251.456 is. Dit niveau van rigueur betekent dat het resultaat niet slechts een sterk wiskundig argument is, maar een formeel geverifieerd feit.

De implicaties van deze ontdekking reiken veel verder dan het specifieke spel dat zij hebben gebouwd. Het lost een decennialang debat op over de aard van kwantumcorrelaties. Jarenlang vroegen natuurkundigen zich af of de vreemde gedragingen van oneindige kwantumsystemen slechts een theoretische curiositeit waren die door een voldoende groot eindig systeem nagebootst kon worden. Dit artikel bewijst dat dit niet het geval is. Er zijn kwantumverschijnselen die inherent oneindig zijn en niet gevangen kunnen worden door een enkele eindige benadering. De onderzoekers hebben een concreet voorbeeld geleverd, een specifieke set regels die het eindige van het oneindige scheidt, waarmee zij laten zien dat het universum van de kwantummechanica rijker en complexer is dan voorheen gedacht. Door dit expliciete tegenvoorbeeld te bouwen, hebben zij een scherpe lijn in het zand getrokken, waarmee zij aantonen dat sommige deuren in de kwantumwereld alleen geopend kunnen worden met oneindige sleutels.