$k$-fold unbiased measurements and maximal incompatibility

Kwantummechanica staat bekend om zijn contra-intuïtieve regels, maar in de kern ligt een eenvoudige, diepzinnige waarheid: je kunt niet alles tegelijkertijd meten. In de klassieke wereld heeft het controleren van de snelheid en de positie van een auto geen invloed op het controleren van een van beide. In de kwantumwereld daarentegen kan de handeling van het meten van één eigenschap de andere eigenschap juist verstoren. Dit fundamentele conflict, bekend als meetonverenigbaarheid, is niet slechts een eigenaardigheid van de theorie; het is de motor achter de vreemdste verschijnselen in de natuurkunde, van de spookachtige verbindingen tussen verre deeltjes tot de onbreekbare beveiliging van kwantumcodes. Wetenschappers bestuderen al lang paren metingen die perfect onverenigbaar zijn, wat betekent dat het kennen van de uitkomst van de één absoluut niets zegt over de ander. Deze paren zijn als twee kaarten van hetzelfde gebied, getekend in totaal verschillende talen, waarbij elk punt op de ene kaart overeenkomt met een willekeurige plek op de andere.

Decennialang hebben onderzoekers zich afgevraagd of deze perfecte onverenigbaarheid kon worden uitgebreid naar groepen van drie of meer metingen. Zou je een verzameling van drie verschillende manieren kunnen hebben om naar een kwantumsysteem te kijken, waarbij elk paar perfect onverenigbaar is, en de hele groep zelfs nog chaotischer is dan de som der delen? Het antwoord blijkt sterk af te hangen van hoe je naar het systeem kijkt. Als je je beperkt tot de eenvoudigst mogelijke metingen, is het antwoord een resoluut nee. Maar als je toestemming geeft voor complexere, metingen met een hogere rang, gaat de deur wagenwijd open en onthult zich een rijk nieuw landschap van wiskundige structuren die niet alleen mogelijk zijn, maar ook de meest onverenigbare verzamelingen van hun soort ooit gevonden.

De onderzoekers in deze studie zetten zich het doel om dit hoger-dimensionale gebied te verkennen. Ze begonnen met het definiëren van een nieuw concept genaamd "k-voudige onbevooroordeelde metingen" (k-fold unbiased measurements), wat een groep metingen beschrijft waarbij elke deelverzameling van hen onderling onbevooroordeeld is. Denk hierbij aan een regelboek voor hoe deze metingen met elkaar zouden moeten relateren. Ze ontdekten dat als je probeert zo'n groep op te bouwen met alleen de eenvoudigste, enkelvoudige metingen, je tegen een muur aanloopt. Je kunt er twee hebben, of in één zeer specifiek geval drie, maar je kunt geen grotere groep van deze eenvoudige metingen bouwen die aan de strikte regels van perfecte onverenigbaarheid voldoet. De wiskunde staat dit simpelweg niet toe. Dit resultaat sluit de mogelijkheid uit om deze perfecte groepen te vinden in de eenvoudigste kwantumsystemen, wat bevestigt dat de complexiteit van het universum noodzakelijk is voor dit soort extreme gedrag.

Echter, het verhaal verandert drastisch wanneer de onderzoekers de metingen complexer maakten. In plaats van naar enkelvoudige punten te kijken, keken ze naar metingen die grotere gebieden van de kwantumtoestandsruimte beslaan. Door een slimme constructie te gebruiken die gebruikmaakt van speciale getalamenetten bekend als Hadamard-matrices en een set algebraïsche regels genaand Clifford-algebra's, slaagden ze erin een groep van drie metingen te bouwen die perfect onbevooroordeeld zijn. Deze groep bestaat uit drie verschillende manieren om een systeem met vier mogelijke uitkomsten te meten, waarbij elke meting van een specifiek complexiteitsniveau is. Deze constructie is niet slechts een theoretische curiositeit; het is een concreet, werkend voorbeeld van een verzameling van drie metingen die zo onverenigbaar zijn als de natuurkunde toelaat.

Het team stelde vervolgens een cruciale vraag: hoe onverenigbaar zijn deze nieuwe groepen precies? Om dit te beantwoorden, berekenden ze een specifieke waarde die de hoeveelheid ruis of fout vertegenwoordigt die een systeem kan tolereren voordat deze metingen ophouden onverenigbaar te zijn en beginnen te gedragen als gewone, voorspelbare instrumenten. Ze ontdekten dat voor hun nieuwe groepen van drie metingen, deze tolerantiegrens exact wordt bepaald door een specifieke wiskundige constante afgeleid van de structuur van de metingen. Dit betekent dat ze de exacte drempel hebben vastgesteld waarbij deze metingen hun kwantum-"randje" verliezen. Voor het specifieke geval van drie metingen met vier uitkomsten berekenden ze deze limiet op ongeveer 0,64656, een precies getal dat de grens definieert tussen kwantumchaos en klassieke orde.

Om er absoluut zeker van te zijn dat deze nieuwe groepen inderdaad de meest onverenigbare mogelijke zijn, maakten de onderzoekers gebruik van krachtige computersimulaties. Ze gebruikten een geavanceerde methode die zoekt naar elke mogelijke manier om deze metingen te combineren tot één enkel, verenigd beeld. Als een dergelijke combinatie bestaat, zijn de metingen compatibel; als dat niet zo is, zijn ze incompatibel. Hun simulaties toonden aan dat voor de specifieke groep van drie metingen met vier uitkomsten, de computer geen enkele manier kon vinden om deze te combineren, zelfs niet met een minimale hoeveelheid fout. Het numerieke bewijs was zo sterk dat de kloof tussen de theoretische limiet en het resultaat van de computer verwaarloosbaar klein was, wat suggereert dat deze groepen inderdaad de meest onverenigbare verzamelingen van drie metingen zijn die kunnen bestaan. Hoewel een formeel wiskundig bewijs voor alle mogelijke gevallen een uitdaging blijft voor de toekomst, is het bewijs dat hier wordt gepresenteerd overweldigend.

Dit werk doet meer dan alleen een nieuw wiskundig object vinden; het verheldert de grenzen van kwantumonverenigbaarheid. Het laat zien dat hoewel de eenvoudigste kwantumsystemen te rigide zijn om deze complexe groepen te ondersteunen, het universum genoeg flexibiliteit heeft in zijn hoger-dimensionale structuren om ze toe te laten. De onderzoekers hebben een helder recept geleverd voor het bouwen van deze groepen en hebben hun exacte eigenschappen berekend, waardoor een vage vraag over kwantumlimieten is veranderd in een precies, oplosbaar probleem. Door aan te tonen dat deze structuren niet alleen mogelijk zijn, maar ook de uiterste limiet van onverenigbaarheid vormen, biedt de studie een nieuw ijkpunt voor het begrijpen van hoe kwantumsystemen zich gedragen wanneer ze tot hun absolute grenzen worden gedreven. De bevindingen suggereren dat de meest extreme vormen van kwantumonzekerheid geen willekeurige ongelukken zijn, maar worden beheerst door diepe, elegante wiskundige patronen die geconstrueerd en gemeten kunnen worden.