Exact operator bounds on Leggett-Garg violations

In de kwantumwereld gedragen deeltjes zich niet altijd als objecten met vaste eigenschappen die wachten om ontdekt te worden. In plaats daarvan hangen hun kenmerken vaak af van wanneer en hoe ze worden geobserveerd. Dit creëert een puzzel voor wetenschappers die proberen de stroom van de tijd te begrijpen. Voor objecten die door de ruimte gescheiden zijn, hebben natuurkundigen lang een reeks regels gebruikt, genaamd Bell-ongelijkheden, om te testen of hun gedrag verklaard kan worden door een eenvoudig, klassiek verhaal waarbij alles een definitieve staat heeft voordat het wordt gemeten. Wanneer deze regels worden geschonden, bewijst dat de deeltjes op een manier verbonden zijn die de gewone logica tart. Een vergelijkbare set regels bestaat voor objecten die op verschillende momenten in de tijd worden geobserveerd, bekend als de Leggett–Garg-ongelijkheden. Deze regels vragen of een systeem een enkel, consistent verloop volgt, zoals een filmrol waarbij elk frame een definitieve waarde heeft, of dat de handeling van het bekijken van het systeem de toekomst op een manier verandert die geen enkel klassiek verhaal kan verklaren.

Decennialang hebben wetenschappers geweten dat kwantumsystemen deze tijdsgebonden regels kunnen schenden. Wanneer zij dat doen, suggereert dit dat de geschiedenis van het systeem niet beschreven kan worden met een standaard lijst van waarschijnlijkheden. In plaats daarvan moet elke wiskundige beschrijving die probeert het verleden van het systeem te reconstrueren, "negatieve waarschijnlijkheden" bevatten. Hoewel negatieve waarschijnlijkheden in het dagelijks leven onmogelijk klinken, zijn ze een noodzakelijk wiskundig hulpmiddel in de kwantummechanica om de vreemde correlaties te verklaren die in experimenten worden gezien. De grote vraag is geweest: hoeveel van deze negativiteit is er werkelijk vereist om een schending te verklaren? Is het een kleine, verwaarloosbare hoeveelheid, of vertegenwoordigt het een fundamentele breuk met de klassieke realiteit?

Een team van onderzoekers heeft deze vraag nu met exacte precisie beantwoord. Ze ontwikkelden een nieuwe manier om de geschiedenis van een kwantumsysteem over meerdere momenten in de tijd in kaart te brengen, waarbij de gehele tijdlijn als één verenigd object wordt behandeld. Door dit object te analyseren, stelden ze een universele regel vast die de omvang van een schending direct koppelt aan de hoeveelheid negativiteit die nodig is om deze te verklaren. Hun werk laat zien dat als een systeem de regels van de klassieke geschiedenis schendt, de wiskundige beschrijving van dat systeem een specifieke, niet-nul hoeveelheid negatief gewicht moet bevatten. Omgekeerd, als het systeem de klassieke regels volgt, is er helemaal geen negativiteit voor nodig. Deze relatie houdt stand, ongeacht de grootte van het systeem, hoe het beweegt of hoe het wordt gemeten.

De onderzoekers concentreerden zich op een specifiek type experiment waarbij een eigenschap van een systeem, zoals de spin van een deeltje, op drie verschillende momenten wordt gemeten. In een klassieke wereld zouden de resultaten van deze metingen in een enkel, positief verhaal passen. In de kwantumwereld doen ze dat vaak niet. Het team construeerde een wiskundig instrument, dat ze een ruimtetijd-kernel noemen, dat werkt als een dichtheidsmatrix maar voor de tijd in plaats van de ruimte. Dit instrument verzamelt alle correlaties tussen de metingen in één operator. In tegenstelling tot een standaard dichtheidsmatrix, die altijd positieve waarden heeft, kan deze ruimtetijd-kernel negatieve waarden hebben. De onderzoekers bewezen dat de totale hoeveelheid van deze negatieve waarden exact wordt bepaald door de mate waarin de experimentele resultaten de klassieke regels breken.

Ze ontdekten dat voor het eenvoudigste geval van drie metingen, de minimale hoeveelheid negativiteit die vereist is, direct verbonden is met de mate van de schending. Als de schending klein is, is de vereiste negativiteit klein. Als de schending groot is, groeit de negativiteit. Sterker nog, ze berekenden dat de maximale mogelijke negativiteit voor een specifiek type meting, bekend als een Lüders-meting, precies één-acht is. Dit type meting is zacht; het behoudt de kwantumcoherentie tussen toestanden die hetzelfde resultaat geven. De onderzoekers ontdekten echter dat als de meting scherper is — waarbij individuele energieniveaus worden onderscheiden in plaats van alleen groepen te vormen — de vereiste negativiteit veel hoger kan zijn. Voor een draaiend deeltje met een hoger aantal mogelijke toestanden kan deze negativiteit de helft benaderen, wat het absolute maximum mogelijk is voor dit type opstelling.

Dit onderscheid is cruciaal omdat het onthult dat de hoeveelheid negativiteit niet alleen afhangt van het systeem zelf, maar ook van hoe we ernaar kijken. Een zachtere meting kan wat van de kwantumvreemdheid verbergen, terwijl een scherpere meting er meer van blootlegt. Het team toonde ook aan dat het toevoegen van meer soorten metingen, zoals het controleren van een andere eigenschap van het deeltje op het middelste moment, de vereiste negativiteit kan verhogen, zelfs als de oorspronkelijke tijdsgebonden regels niet verder worden geschonden. Dit betekent dat de "kwantumachtigheid" van een systeemgeschiedenis kan worden gecertificeerd door naar verschillende hoeken van observatie te kijken, zelfs als de primaire test ongewijzigd blijft.

De bevindingen bieden een rigoureuze grens voor wat mogelijk is in de kwantummechanica. De onderzoekers bewezen dat voor een willekeurig aantal meetmomenten het systeem een niet-nul hoeveelheid negativiteit vereist indien en slechts indien ten minste één van de klassieke regels wordt geschonden. Deze relatie is exact en universeel; deze is niet afhankelijk van de specifieke details van het experiment, de initiële staat van het deeltje of de krachten die erop inwerken. Het enige dat verandert, is de numerieke waarde van de negativiteit, die volledig wordt bepaald door de gemeten correlaties.

Een van de meest opvallende resultaten betreft de grenzen van deze schendingen. Het team liet zien dat voor een systeem met een zeer groot aantal mogelijke toestanden, de schending een theoretisch maximum kan benaderen, en de vereiste negativiteit heel dicht bij de helft kan komen. Dit suggereert dat naarmate systemen complexer worden, de kloof tussen klassieke geschiedenis en kwantumrealiteit prominenter wordt. De onderzoekers demonstreerden ook dat deze negativiteit niet slechts een wiskundige curiositeit is, maar een meetbare hoeveelheid die de veranderingen in het gedrag van het systeem volgt. Zelfs als de volledige beschrijving van het systeem constant blijft, kan de minimale negativiteit die nodig is om een specifieke reeks metingen te verklaren, veranderen naarmate het systeem evolueert.

Het werk verheldert ook de rol van meting bij het vormgeven van de realiteit. Door verschillende meetstrategieën te vergelijken, lieten het team zien dat de manier waarop een waarnemer zijn kennis van een systeem na een meting bijwerkt, de geschiedenis van dat systeem fundamenteel kan veranderen. Een meting die de kwantumverbinding tussen toestanden behoudt, leidt tot een andere geschiedenis dan een meting die die verbinding verbreekt. Dit verschil wordt weerspiegeld in de hoeveelheid negativiteit die nodig is om de tijdlijn te beschrijven. De onderzoekers vonden dat door de individuele niveaus van de toestand van een deeltje te onderscheiden, men een hogere graad van negativiteit kan certificeren dan door ze simpelweg samen te groeperen, zelfs als de gerapporteerde resultaten er hetzelfde uit zouden zien.

Uiteindelijk biedt deze studie een heldere, kwantitatieve kaart van de kwantumtijdlijn. Het vertelt ons exact hoeveel de klassieke geschiedenis moet breken om de vreemde correlaties van de kwantumwereld te accommoderen. De onderzoekers zijn verder gegaan dan alleen laten zien dat kwantumsystemen vreemd zijn; ze hebben gemeten hoe vreemd ze precies zijn. Door deze exacte grenzen vast te stellen, hebben ze wetenschappers een nieuw instrument gegeven om de grenzen van de kwantummechanica te testen en de precieze aard van tijd en geschiedenis in het kwantumdomein te begrijpen. De resultaten bevestigen dat de kwantumwereld niet slechts een wazige versie van de klassieke wereld is, maar een afzonderlijke realiteit met haar eigen strikte wiskundige regels, waarbij de prijs voor het breken van de klassieke geschiedenis een specifieke, berekenbare hoeveelheid negatieve waarschijnlijkheid is.