Quantum Behaviors Are Not Semialgebraic

In de vreemde wereld van de kwantumfysica kunnen deeltjes op manieren met elkaar verbonden raken die onze alledaagse ervaring tarten. Wanneer twee van dergelijke verbonden deeltjes door afstandelijke waarnemers worden gemeten, zijn de resultaten die zij krijgen niet willekeurig in de gebruikelijke zin; ze zijn gecorreleerd in een patroon dat geen enkel gewoon, vooraf overeengekomen plan ooit zou kunnen produceren. Dit fenomeen, bekend als kwantumnonlokaliteit, is de motor achter de meest veilige vormen van communicatie en de krachtigste toekomstige computers. Om te begrijpen hoe deze machines werken, brengen wetenschappers elk mogelijk patroon van resultaten in kaart dat de kwantummechanica toestaat. Ze noemen deze patronen "gedragingen". Decennialang hebben onderzoekers zich afgevraagd of de gehele collectie van deze kwantumpatronen een eenvoudige, eindige wiskundige beschrijving heeft. Specifiek vroegen zij zich af of de regels die deze patronen beheersen, konden worden opgeschreven met een beperkt aantal algebraïsche vergelijkingen en ongelijkheden, vergelijkbaar met hoe de regels van een spel in een regelboek kunnen worden vermeld. Deze vraag, gesteld door de natuurkundige Boris Tsirelson in 1993, is onbeantwoord gebleven, wat een gat heeft achtergelaten in ons begrip van de fundamentele geometrie van de kwantumwereld.

Een team van onderzoekers heeft nu een definitief antwoord gegeven op deze langlopende vraag, en het resultaat is een verrassing. Ze bewezen dat de verzameling van alle mogelijke kwantumgedragingen niet kan worden beschreven door een enkele eindige collectie polynoomvergelijkingen en -ongelijkheden. In simpelere termen: de vorm van de kwantumwereld is te complex om te worden gevangen door een eindige regelboek van algebraïsche formules. De onderzoekers concentreerden zich op een specifieke experimentele opstelling waarbij twee mensen, die elk vier verschillende metingen met twee mogelijke uitkomsten uitvoeren, een kwantumverbinding delen. Door een zeer specifieke, gladde curve van mogelijke resultaten te construeren die door deze opstelling loopt, toonden ze aan dat de punten waar de kwantummechanica daadwerkelijk een resultaat toestaat, verspreid liggen langs deze curve op een manier die geen enkele eindige algebraïsche beschrijving kan vatten. De toegestane punten vormen een sequentie die steeds dichter bij een enkel, eenvoudig klassiek punt komt, maar de gaten tussen hen verdwijnen nooit. Omdat elke eindige algebraïsche beschrijving een continu segment van de curve nabij dat punt zou moeten bevatten, en omdat de kwantumrealiteit daar slechts specifieke, geïsoleerde punten toestaat, faalt de beschrijving.

Deze bevinding sluit de mogelijkheid uit dat de kwantumverzameling exact gedefinieerd kan worden door een eindig aantal beperkingen, zelfs als we extra variabelen of complexere combinaties van vergelijkingen toestaan. Het laat ook zien dat de huidige beste methoden voor het benaderen van kwantumgedragingen, bekend als de Navascués–Pironio–Acín-hiërarchie, nooit perfect kunnen zijn. Deze methoden werken door een reeks steeds nauwkeuriger wordende benaderingen te creëren, maar de onderzoekers hebben aangetoond dat u, ongeacht hoe ver u in deze reeks gaat, altijd enkele onmogelijke resultaten nabij de rand van de kwantumverzameling zult bevatten. De studie onthult dat de grens tussen wat mogelijk is en wat onmogelijk is in de kwantummechanica geen glad, eenvoudig oppervlak is, maar een grillige, oneindig gedetailleerde structuur die zich verzet tegen het vastleggen door eindige formules.

De onderzoekers kwamen tot deze conclusie door een wiskundig pad te ontwerpen dat verschillende kwantumsituaties met elkaar verbindt. Ze creëerden een curve waarbij de resultaten afhangen van één veranderend getal. Langs deze curve ontdekten ze dat de kwantummechanica alleen resultaten toestaat bij specifieke, discrete waarden van dat getal, die steeds dichter bij elkaar komen naarmate ze een limiet naderen. Aan het einde van deze sequentie ligt een resultaat dat met de klassieke fysica kan worden verklaard, zonder enige kwantumvreemdheid. Echter, de kwantumpunten die naar deze klassieke limiet leiden, zijn geen solide blok; ze zijn als een reeks stapstenen die oneindig dicht bij de oever komen, maar de oever nooit bereiken als een aaneengesloten strand. De onderzoekers bewezen dat elk poging om de kwantumverzameling te beschrijven met een eindig aantal algebraïsche regels onvermijdelijk het gehele traject van de curve naar de oever zou bevatten, en daarmee resultaten zou bevatten die de kwantummechanica verbiedt. Dit bewijst dat de kwantumverzameling niet "semialgebraïsch" is, een technische term die betekent dat het niet kan worden beschreven door een eindige set polynoomvoorwaarden.

De implicaties van deze ontdekking reiken verder dan alleen de vorm van de kwantumverzameling. Het toont aan dat de complexiteit van kwantumcorrelaties intrinsiek is en niet vereenvoudigd kan worden, zelfs niet als we het systeem van een afstand bekijken of proberen te benaderen. De onderzoekers toonden ook aan dat deze complexiteit blijft bestaan, zelfs wanneer we de meest algemene wiskundige modellen van de kwantummechanica overwegen, inclusief die waarbij de metingen niet beperkt zijn tot een vaste grootte. Ze demonstreerden dat de moeilijkheid bij het beschrijven van deze gedragingen niet slechts een kwestie is van berekening, maar een fundamentele geometrische eigenschap is. Het feit dat de kwantumverzameling niet semialgebraïsch is, betekent dat er geen eindige lijst van regels is die de mogelijke kwantumuitkomsten perfect van de onmogelijke scheidt. Dit heeft diepgaande gevolgen voor hoe we denken over het karakteriseren van kwantumapparaten en voor de grenzen van wat we over hen kunnen bewijzen met standaard wiskundige instrumenten.

De studie benadrukt ook een fascinerend contrast tussen het volledige kwantumgedrag en een vereenvoudigde versie die alleen kijkt naar correlaties tussen metingen. Terwijl de vereenvoudigde versie met eindige regels kan worden beschreven, kan het volledige beeld, dat de waarschijnlijkheden van elke mogelijke uitkomst bevat, dat niet. Dit suggereert dat de extra informatie die in de volledige waarschijnlijkheden besloten ligt, de oneindige complexiteit creëert. De onderzoekers toonden aan dat hoewel de kwantumpunten steeds dichter bij een klassiek punt komen, de kwantumnatuur van het systeem niet geleidelijk vervaagt; in plaats daarvan blijft het onderscheidend en discreet, tot aan de uiterste rand. Dit gedrag daagt de intuïtie uit dat complexe kwantumsystemen uiteindelijk als eenvoudige klassieke systemen zouden moeten verschijnen wanneer men een limiet nadert.

Uiteindelijk lost dit werk een decennia oude vraag op door aan te tonen dat de kwantumwereld intelligenter is dan voorheen gedacht. Het is geen vorm die volledig gevangen kan worden door een eindige set algebraïsche vergelijkingen. Het bewijs van de onderzoekers is rigoureus en dekt alle belangrijke modellen van de kwantummechanica, waardoor er geen ruimte is voor twijfel. Hun bevindingen suggereren dat we, om de kwantumgedragingen volledig te begrijpen en te beschrijven, wellicht voorbij eindige algebraïsche beschrijvingen moeten bewegen en oneindig complexe structuren moeten omarmen. Dit betekent niet dat we niet met de kwantummechanica kunnen werken, maar het betekent wel dat onze wiskundige instrumenten voor het beschrijven ervan inherente beperkingen hebben. De kwantumverzameling blijft een rijke, complexe landschap dat zich verzet tegen eenvoudige categorisering, wat ons eraan herinnert dat het universum vaak subtieler en gedetailleerder is dan onze beste vergelijkingen het volledig kunnen uitdrukken.