Sklar's Theorem and Quantum State Reconstruction from All-Context Dependence

In de wereld van de waarschijnlijkheid bestaat een langgevestigd idee dat elke verzameling gerelateerde gebeurtenissen begrepen kan worden door twee verschillende zaken van elkaar te scheiden: hoe elke gebeurtenis op zichzelf plaatsvindt, en hoe de gebeurtenissen elkaar beïnvloeden. Stel je een groep vrienden voor; je kunt beschrijven hoe vaak elke persoon individueel lacht, en vervolgens apart de patronen van hun gezamenlijke gelach beschrijven. In de klassieke statistiek biedt een wiskundig principe dat bekend staat als de stelling van Sklar een rigoureuze manier om deze lagen van elkaar te strippen, waarbij de pure "afhankelijkheid" tussen variabelen wordt geïsoleerd van hun individuele gedrag. De kwantummechanica, de natuurkunde van het zeer kleine, produceert zijn eigen soort waarschijnlijkheidstabellen wanneer wetenschappers deeltjes meten. Deze tabellen lijken net op de statistische records van klassieke gebeurtenissen, maar ze ontstaan uit een realiteit die de alledaagse intuïtie tart. Het centrale raadsel voor natuurkundigen is altijd geweest hoeveel van de ware aard van een kwantumsysteem verborgen zit in deze metingen. Als we de individuele eigenaardigheden van elk deeltje weghalen om alleen te zien hoe ze van elkaar afhangen, blijft er dan nog iets van de oorspronkelijke kwantumtoestand over, of lost het beeld op in ruis?

Een onderzoeker aan de Fudan Universiteit heeft nu antwoord gegeven op deze vraag voor een specifieke, fundamentele casus: een paar kwantumdeeltjes die bekend staan als qubits. Zij ontdekten dat zelfs als je alle informatie over hoe elk deeltje zich individueel gedraagt in elke mogelijke meetinstelling wegwerpt, het resterende web van verbindingen tussen hen voldoende is om de oorspronkelijke toestand van het paar te reconstrueren. De wetenschapper deed dit door de resultaten van kwantummetingen niet als een enkele momentopname te behandelen, maar als een enorme familie van momentopnamen genomen vanuit elke mogelijke hoek. In elke momentopname verwijderden zij de individuele statistieken van de deeltjes, waardoor alleen de "afhankelijkheidskern" overbleef — een wiskundig object dat de pure relatie tussen de twee vastlegt. Zij ontdekten dat voor elk paar deeltjes dat niet volledig onafhankelijk is, deze collectie van pure relaties, verzameld uit alle mogelijke meetrichtingen, de kwantumtoestand uniek identificeert, met slechts één kleine, discrete ambiguïteit: de toestand zou op een specifieke manier gekeerd kunnen zijn, maar anders is deze volledig bepaald.

De onderzoeker kwam tot deze conclusie door de logica van de stelling van Sklar toe te passen op de gegevens gegenereerd door de Born-regel, wat de standaardmethode is voor het berekenen van waarschijnlijkheden in de kwantummechanica. Wanneer een wetenschapper een paar qubits meet, kiest hij een richting om naar elk van hen te kijken, en de machine produceert een tabel met uitkomsten. Het team realiseerde zich dat hoewel de getallen in de tabel veranderen afhankelijk van de gekozen richting, de onderliggende structuur van hoe de twee deeltjes van elkaar afhangen consistent blijft over al deze keuzes heen. Door de individuele waarschijnlijkheden van elk deeltje in elke context wiskundig weg te strippen, bleven zij achter met een "afhankelijkheidskern". Zij bewezen dat als twee verschillende kwantumtoestanden exact dezelfde set van deze kernen produceren over alle mogelijke meetrichtingen heen, dan die twee toestanden essentieel hetzelfde moeten zijn, of de ene is een specifieke "dubbele spin-flip"-versie van de andere. Dit resultaat is significant omdat het laat zien dat de informatie die verloren gaat door het negeren van individuele deeltjesgedragingen in één meting, niet werkelijk verloren is; het wordt hersteld wanneer men de gehele familie van metingen samen beschouwt. De enige keer dat deze reconstructie faalt, is wanneer de twee deeltjes volledig onafhankelijk van elkaar zijn, een scenario waarin immers geen gedeelde afhankelijkheidsstructuur bestaat.

Naast het simpelweg reconstrueren van de toestand, onderzocht het artikel ook wat er gebeurt wanneer dit complexe web van afhankelijkheid wordt gecomprimeerd tot één enkel getal. De onderzoeker vroeg zich af hoeveel van de totale verbinding tussen de deeltjes zichtbaar is in slechts één meetinstelling. Hij ontdekte dat als men de maximale mogelijke verbinding zichtbaar in een enkele instelling neemt en deze vergelijkt met de totale kwantumverbinding die inherent is aan de toestand, het verschil tussen hen precies een grootheid is die natuurkundigen "globale kwantumdiscord" noemen. Dit is een maatstaf voor hoeveel van de kwantumcorrelatie puur kwantummechanisch is en niet door klassieke statistiek verklaard kan worden. De studie laat zien dat deze beroemde grootheid niet slechts een willekeurige definitie is, maar een natuurlijk gevolg van het scheiden van de individuele gedragingen van de gedeelde afhankelijkheid en vervolgens te vragen hoeveel van die gedeelde afhankelijkheid in een enkel beeld gevangen kan worden. Het suggereert dat de vreemde, niet-klassieke correlaties van de kwantummechanica simpelweg het deel van de relatie zijn dat overleeft wanneer men probeert het systeem te bekijken door de lens van de klassieke statistiek.

Het werk is momenteel beperkt tot paren deeltjes, maar de auteur suggereert dat de logica kan worden uitgebreid naar grotere groepen deeltjes of zelfs systemen met continue eigenschappen, zoals de positie van een deeltje dat door de ruimte beweegt. Voor grotere groepen zou de uitdaging zijn om te zien of dezelfde familie van afhankelijkheidsstructuren nog steeds de toestand kan vastleggen, en voor continue systemen wordt de wiskunde schoner omdat het "afhankelijkheidsobject" uniek gedefinieerd is zonder de noodzaak voor de specifieke aanpassingen die voor discrete deeltjes worden gebruikt. De onderzoeker stelt voor dat voor continue systemen het kijken naar de pure afhankelijkheidsstructuur over alle mogelijke meethoeken mogelijk ook een volledige reconstructie van de toestand mogelijk maakt. Dit opent een nieuw pad voor het begrijpen van kwantumsystemen, niet door naar de deeltjes zelf te kijken, maar door uitsluitend naar de onzichtbare draden te kijken die hen aan elkaar binden, waarmee wordt bewezen dat het geheel inderdaad te herstellen is uit de som van zijn relationele delen.