Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

In de kwantumwereld is de handeling van het meten van een systeem geen passieve observatie, maar een actieve interventie die de werkelijkheid die wordt waargenomen kan veranderen. Dit staat in schril contrast met onze alledaagse ervaring, waarbij een tafel een tafel blijft, of we er nu naar kijken of niet. Decennialang hebben natuurkundigen geworsteld met het idee dat kwantumdeeltjes verborgen, reeds bestaande eigenschappen zouden kunnen bezitten die zich simpelweg openbaren bij meting, vergelijkbaar met een munt die een definitieve kop- of muntzijde heeft voordat deze wordt opgegooid. Echter, een beroemd resultaat uit de jaren 1960, bekend als de Kochen-Specker-stelling, bewees dat een dergelijke eenvoudige, vooraf bepaalde werkelijkheid niet kan bestaan voor kwantumsystemen in drie dimensies of hoger. De stelling toonde aan dat als je probeert een definitieve waarde toe te kennen aan elke mogelijke meting die een deeltje kan ondergaan, je onvermijdelijk op een logische tegenstrijdigheid stuit. De waarden die je toekent aan één set metingen zouden conflicteren met de waarden die je toekent aan een andere set, zelfs als het deeltje zelf niet is veranderd. Dit impliceert dat de uitkomst van een meting afhangt van de specifieke context — de andere metingen die er gelijktijdig mee worden uitgevoerd.

Hoewel deze stelling een "verborgen variabelen"-wereld effectief uitsloot waarin uitkomsten strikt bepaald zijn als ja of nee, bleef een hardnekkige vraag over. Wat als de verborgen variabelen niet zo rigide waren? Zou er een theorie kunnen bestaan waarbij de uitkomsten niet strikt ja of nee zijn, maar in plaats daarvan een beperkte set tussenliggende waarden aannemen, zoals een dimmer met slechts een paar standen? Lange tijd was het onduidelijk of een dergelijke "niet-deterministische", maar nog steeds beperkte werkelijkheid de vreemde correlaties van de kwantummechanica kon verklaren. Deze onzekerheid liet een gat achter in ons begrip van hoe diep de kwantumwerkelijkheid afwijkt van de klassieke intuïtie.

Een nieuwe studie door Ravishankar Ramanathan aan de Universiteit van Hong Kong vult dit gat door aan te tonen dat zelfs deze versoepelde, beperkte-waarde theorieën de kwantumgedragingen niet kunnen verklaren. De onderzoeker construeerde een specifieke familie van experimenten, geïnspireerd door een logische puzzel bekend als een Hardy-test, ontworpen om elke theorie die steunt op vooraf bepaalde, context-onafhankelijke waarden in de val te lokken. Stel je in deze opstelling een systeem van onderling verbonden dozen voor, waarvan elke doos ofwel leeg ofwel vol kan zijn. Het experiment houdt in dat paren of triplets van deze dozen worden gecontroleerd onder strikte regels: bepaalde combinaties van lege en volle toestanden zijn verboden, terwijl andere gegarandeerd zullen voorkomen. Als de dozen verborgen, vooraf bepaalde toestanden bevatten die niet afhankelijk waren van welke andere dozen tegelijkertijd werden gecontroleerd, zouden de regels van de logica een specifieke uitkomst voor een laatste doos in de keten afdwingen.

Ramanathan toonde aan dat voor elke theorie waarbij de verborgen waarden worden getrokken uit een eindige lijst van mogelijkheden — zeg, een lijst die nul, één en een paar getallen daartussen bevat — de logica van het experiment de laatste doos met een hoge mate van zekerheid leeg zal laten zijn. Wanneer echter hetzelfde experiment wordt uitgevoerd met een echt kwantumsysteem, specifiek een driedimensionale kwantumtoestand bekend als een qutrit, tart de resultaat deze logica. Het kwantumsysteem produceert de verboden uitkomst met een waarschijnlijkheid die strikt hoger is dan wat een theorie met die beperkte verborgen waarden ooit zou kunnen toestaan. Door de complexiteit van het experiment aan te passen, wat het dieper en dieper nesten van deze box-checkingspatronen inhoudt, bewezen de onderzoekers dat de kloof tussen wat een theorie met beperkte waarden voorspelt en wat de kwantummechanica daadwerkelijk doet, willekeurig groot gemaakt kan worden.

De studie biedt een concrete, eindige set metingen die in een laboratorium kunnen worden uitgevoerd om deze alternatieve theorieën uit te sluiten. In tegen tegenstelling tot eerdere bewijzen die vertrouwden op oneindige wiskundige structuren of continue functies, gebruikt dit werk een eindig aantal projectoren en specifieke kwantumtoestanden om hetzelfde resultaat te bereiken. De onderzoekers berekenden het exacte aantal metingen dat nodig is om een theorie gebaseerd op een specifieke set toegestane waarden te weerleggen. Bijvoorbeeld, als een theorie voor een verborgen waarde van 0,25 zou toestaan, zou het experiment twintig specifieke metingen vereisen; als de toegestane waarde 0,90 was, zou het 224 metingen vereisen. Naarmate het aantal toegestane waarden dichter bij het volledige bereik van mogelijkheden komt, groeit het aantal benodigde metingen, maar het principe blijft: de kwantummechanica presteert consequent beter dan elke theorie die probeert te verklaren met een eindige, discrete set vooraf bepaalde uitkomsten.

Deze bevinding heeft belangrijke implicaties voor hoe we de fundamentele aard van de werkelijkheid begrijpen en voor de ontwikkeling van toekomstige technologieën. In het veld van de kwantuminformatica wordt contextualiteit nu erkend als een waardevolle hulpbron, vergelijkbaar met brandstof, die geavanceerde taken aandrijft zoals veilige communicatie en krachtige computerberekeningen. Door te bewijzen dat de kwantumcontextualiteit zelfs sterker is dan eerder gedacht — sterk genoeg om niet alleen binaire verborgen variabelen maar elke eindige set discrete waarden uit te sluiten — versterkt dit werk het fundament van deze technologieën. Het suggereert dat de "magie" achter de kwantumversnellingen en de veiligheid van kwantumcryptografie rust op een kenmerk van de natuur dat veel robuuster is tegen een veel bredere klasse van klassieke alternatieven dan we realiseerden. Bovendien verbindt de studie deze fysieke bevindingen met de wereld van de logica, door aan te tonen dat eindige meerwaardige logica's, die proberen de werkelijkheid te beschrijven met een beperkt aantal waarheidswaarden, onvoldoende zijn om de kwantumwereld te modelleren.

Het artikel introduceert ook een nieuwe manier van denken over de kracht van deze kwantumeffecten. Net zoals wiskundigen lang verschillende soorten logische tegenstrijdigheden hebben gecategoriseerd, stelt dit werk een hiërarchie vast van hoe "contextueel" een systeem kan zijn. Het laat zien dat de kwantumtheorie niet alleen de eenvoudigste klassieke beschrijvingen ontwijkt, maar ook complexere, eindige-waardige beschrijvingen. Dit betekent dat ongeacht hoeveel tussenliggende instellingen een verborgen variabelentheorie probeert te gebruiken, zolang het aantal instellingen eindig is, zal het niet in staat zijn om de voorspellingen van de kwantummechanica te evenaren. De onderzoekers leverden een constructief bewijs, wat betekent dat ze niet alleen zeiden dat een dergelijke theorie onmogelijk is; ze bouwden het specifieke wiskundige en experimentele kader dat de onmogelijkheid aantoont.

Vooruitblikkend openen deze resultaten nieuwe paden voor experimentele verificatie. Hoewel de huidige bewijzen toestand-afhankelijk zijn, wat betekent dat ze afhankelijk zijn van het voorbereiden van een specifieke kwantumtoestand, kunnen de ontwikkelde methoden worden aangepast voor bredere toepassingen. De studie raakt ook aan de praktische kant van randomheidsgeneratie. Omdat de kwantumcorrelaties in deze tests zo sterk en zo verschillend zijn van elk klassiek alternatief, bieden ze een veelbelovende route voor het genereren van echt willekeurige getallen die veilig zijn, zelfs tegen een tegenstander die alles weet over de gebruikte apparaten, mits de apparaten de wetten van de kwantummechanica volgen. Het vermogen om een dergelijk brede klasse van alternatieve theorieën uit te sluiten met eindige, haalbare experimenten markeert een belangrijke stap voorwaarts in ons vermogen om de zeer grenzen van de fysieke werkelijkheid te testen.