An exact semidefinite characterization of the stoquasticity cone of permutationally invariant Bell operators

In de kwantumwereld wordt het gedrag van een systeem vaak beschreven door een wiskundig object genaamd een Hamiltoniaan, die fungeert als een kaart van energieniveaus. Voor vele jaren waren wetenschappers bijzonder geïnteresseerd in een speciale klasse van deze kaarten waarbij de getallen die beschrijven hoe deeltjes met elkaar interageren, geen verwarrende positieve en negatieve tekens dragen die elkaar opheffen. Wanneer een systeem deze verwarrende tekens mist, is het veel gemakkelijker te simuleren op een computer, omdat onderzoekers de kwantumtoestand kunnen behandelen als een eenvoudige lijst van waarschijnlijkheden, vergelijkbaar met hoe men de kansen op het rollen van dobbelstenen zou kunnen bijhouden. Deze eigenschap, bekend als stoquasticiteit, verwijdert een grote computationele hindernis genaamd het "tekentekenprobleem" (sign problem), wat het simuleren van grote groepen kwantumdeeltjes vaak onmogelijk maakt.

Tegelijkertijd voeren natuurkundigen experimenten uit met enorme wolken van atomen om de grenzen van de kwantummechanica te testen. Deze experimenten zoeken naar "Bell-correlaties", vreemde verbindingen tussen deeltjes die niet verklaard kunnen worden door de klassieke fysica. Om deze correlaties te vinden, gebruiken onderzoekers wiskundige hulpmiddelen die Bell-operatoren worden genoemd. In de afgelopen jaren hebben experimenten met honderdduizenden atomen aangetoond dat de beste kwantumtoestanden voor het verbreken van klassieke records beschreven kunnen worden met deze tekenvrije kaarten. Dit betekent dat de krachtigste kwantumtoestanden voor deze tests toevallig stoquastisch zijn. Echter, het uitzoeken van precies welke instellingen voor deze experimenten dergelijke toestanden produceren, was een moeilijke puzzel. Voor eenvoudige gevallen met slechts twee deeltjes waren de regels bekend, maar naarmate de complexiteit van de interacties toenam, leek het aantal regels oncontroleerbaar toe te nemen met de grootte van de atoomwolk, waardoor het onmogelijk was om een volledige lijst van voorwaarden op te stellen.

Een team van onderzoekers heeft dit puzzelstuk nu opgelost voor een brede klasse van deze kwantumexperimenten. Ze ontdekten dat hoewel de regels voor het bepalen of een systeem tekenvrij is, lijken te vermenigvuldigen naarms de hoeveelheid atomen groeit, ze in werkelijkheid een verborgen, vloeiend patroon volgen. Door het probleem te bekijken in het limiet van een zeer groot aantal deeltjes, ontdekten het team dat de chaotische verzameling van duizenden individuele regels inklapt tot één enkele, elegante voorwaarde. In plaats van een lange lijst ongelijkheden te controleren, hoeft men alleen maar te verifiëren dat een specifieke wiskundige curve onder een bepaalde lijn blijft. Deze curve is niet zomaar een lijn; het is een vloeiende, continue vorm die met één enkele, precieze test kan worden beschreven.

De onderzoekers toonden aan dat deze test uitgevoerd kan worden met een krachtig type wiskundige optimalisatie genaamd een semidefiniete programmering. Denk aan dit als een geavanceerd filter dat u direct kan vertellen of een reeks experimentele instellingen een tekenvrij systeem zal produceren of niet. Vóór dit werk moesten wetenschappers een aantal voorwaarden controleren die steeds groter werden naarmate ze meer atomen toevoegden, wat de taak uiteindelijk computationeel onmogelijk maakte. De nieuwe methode vervangt deze groeiende berg aan controles door een enkele, beheersbare berekening die werkt voor elke grootte van het systeem. Deze doorbraak betekent dat wetenschappers nu complexe kwantumexperimenten met honderdduizenden deeltjes kunnen ontwerpen en verifiëren zonder verdwaald te raken in een eindeloze zee van regels.

Het team paste deze nieuwe methode toe op twee specifieke scenario's: systemen waarbij deeltjes in paren met elkaar interageren en systemen waarbij ze in groepen van drie met elkaar interageren. Voor het eenvoudigere geval van twee deeltjes reproduceerde hun methode perfect de bekende regels, wat bevestigde dat hun aanpak correct was. Echter, voor het complexere geval van drie deeltjes onthulde de methode iets geheel nieuws. In het verleden werd aangenomen dat de grens tussen "toegestane" en "verboden" instellingen bestond uit platte, rechte vlakken, zoals de wanden van een doos. De nieuwe analyse toonde aan dat deze grens voor drie-deeltjesinteracties in werkelijkheid gebogen is, wat een vloeiende, ronde vorm vormt. Deze kromming is een subtiel effect dat prominenter wordt naarmate het aantal atomen toeneemt, maar het is een echt kenmerk dat verandert hoe wetenschappers over de grenzen van deze kwantumsystemen moeten denken.

De onderzoekers berekenden ook hoe goed deze nieuwe, vloeiende beschrijving werkt voor real-world experimenten die betrokken zijn bij een eindig aantal atomen, in plaats van een oneindig aantal. Ze vonden dat de benadering ongelooflijk nauwkeurig is, zelfs voor middelgrote groepen atomen, waarbij de fouten snel afnemen naarmate de groep groter wordt. Bijvoorbeeld, in experimenten met bijna een half miljoen atomen is het verschil tussen de nieuwe, vloeiende beschrijving en de exacte, complexe realiteit verwaarloosbaar klein. Dit geeft experimentatoren een betrouwbaar instrument om hun opstellingen te ontwerpen, in de wetenschap dat de eenvoudige, gebogen regels die zij gebruiken een getrouwe representatie zijn van de complexe fysica die erbij betrokken is.

Dit werk doet meer dan alleen een berekening vereenvoudigen; het verandert het geometrische begrip van deze kwantumsystemen. Het laat zien dat de ruimte van mogelijke kwantumgedragingen niet slechts een grillige verzameling van platte oppervlakken is, maar vloeiende, gebogen randen kan hebben. Door een manier te bieden om deze vormen exact te beschrijven, hebben de onderzoekers de deur geopend naar het ontwerpen van betere kwantumexperimenten en het begrijpen van de fundamentele grenzen van kwantumcorrelaties. De methode is exact en rust niet op gokwerk of benaderingen die later zouden kunnen falen. Het vormt een volledige beschrijving van het probleem, waarbij een schijnbaar onhandelbare lijst van voorwaarden wordt omgezet in één enkele, oplosbare vraag.

De implicaties van deze ontdekking strekken zich uit tot de toekomst van kwantumcomputing en simulatie. Omdat de nieuwe methode gebaseerd is op een enkele, efficiënte test, stelt het onderzoekers in staat om een veel breder scala aan experimentele instellingen te verkennen dan voorheen mogelijk was. Ze kunnen nu zoeken naar de krachtigste kwantumtoestanden om klassieke records te verbreken, met de zekerheid dat ze geen verborgen beperkingen missen. Het team merkte ook op dat hoewel hun huidige werk zich richt op systemen waar deeltjes in twee toestanden kunnen zijn, dezelfde principes uiteindelijk kunnen worden toegepast op complexere systemen met drie of meer toestanden, hoewel die meer geavanceerde wiskundige instrumenten zouden vereisen. Voor nu biedt de oplossing voor de twee-toestandsystemen een solide fundament voor de volgende generatie kwantumexperimenten.

Uiteindelijk transformeert dit artikel een probleem dat schijnbaar oneindig complex werd, naar iets dat prachtig simpel is. Het demonstreert dat de natuur haar complexiteit vaak verbergt achter een vloeiend oppervlak, wachtend op het juiste perspectief om het te onthullen. Door dat oppervlak te vinden, hebben de onderzoekers de wetenschappelijke gemeenschap een duidelijke kaart gegeven voor het navigeren door het landschap van grootschalige kwantumcorrelaties, waarbij wordt gewaarborgd dat de weg vooruit niet wordt geblokkeerd door een onbeheersbaar aantal regels. Het werk staat als een bewijs voor de kracht van het bekijken van een probleem vanuit een andere hoek, waarbij een muur van data wordt omgezet in een enkele, heldere inzichten.