Against probability: A quantum state is more than a list of probability distributions

Dit artikel presenteert een no-go-stelling die bewijst dat een topologisch robuuste probabilistische representatie van kwantumtoestanden, hoewel noodzakelijk voor betekenisvolle fysieke uitspraken, niet tegelijkertijd essentiële structurele kenmerken zoals de subsystemcompositie kan behouden.

De kern

Het Grote Idee: De Kaart is Niet het Gebied

Stel je voor dat je een complex, 3D-beeldhouwwerk hebt (een kwantumtoestand). Om dit aan iemand te beschrijven die het niet kan zien, besluit je een reeks 2D-foto's (waarschijnlijkheidsverdelingen) te maken vanuit elke mogelijke hoek.

De auteurs van dit artikel stellen dat hoewel deze foto's het beeldhouwwerk wel uniek kunnen identificeren, het vertrouwen op deze foto's om het beeldhouwwerk te beschrijven een fatale fout bevat: De foto's kunnen liegen over hoe dicht twee beeldhouwwerken bij elkaar staan.

In de wereld van de kwantumfysica proberen wetenschappers een systeem vaak niet te beschrijven door zijn "ware" toestand (de dichtheidsoperator), maar door een lijst met waarschijnlijkheden voor wat er gebeurt wanneer je het meet. Het artikel beweert dat als je dit op een manier probeert te doen die wiskundig "robuust" is (wat betekent dat kleine fouten in de foto's niet leiden tot enorme fouten in je begrip), je het vermogen verliest om te beschrijven hoe onderdelen van het systeem in elkaar passen.

Het Probleem: De "Wazige Foto" Valstrik

Om te begrijpen waarom dit ertoe doet, stel je voor dat je probeert een echt willekeurige reeks getallen te genereren (zoals een geheime code) met behulp van een kwantummachine.

1. Het Doel: Je wilt dat de output perfect willekeurig is. In de "echte" kwantumwereld kun je bewijzen dat een sequentie willekeurig is als het onmogelijk is om deze te onderscheiden van een perfecte willekeurige bron, zelfs als een vijand toegang heeft tot alle interne geheimen van de machine.
2. De Valstrik: De auteurs laten een scenario zien waarin een kwantumsysteem er bijna perfect willekeurig uitziet als je alleen naar de "foto's" kijkt (de waarschijnlijkheidsverdelingen van lokale metingen). De foto's zeggen: "Hé, dit ziet er willekeurig uit!"
3. De Realiteit: Maar als je naar de werkelijke kwantumtoestand kijkt, is deze niet willekeurig. Het is sterk verstrengeld en gestructureerd.

De Analogie:
Stel je twee mensen voor die ver uit elkaar staan.

• De Werkelijke Afstand (Trace Distance): Als je de werkelijke afstand tussen hen meet, zijn ze 100 mijl van elkaar verwijderd.
• De Foto-Afstand (Probability Metric): Je maakt een foto van hen vanuit een specifieke hoek. Op de foto lijken ze vlak naast elkaar te staan.

Als je alleen de foto vertrouwt, denk je dat ze dicht bij elkaar staan. Maar in werkelijkheid zijn ze ver uit elkaar. Het artikel noemt dit niet-robuustheid. Het betekent dat een "klein" verschil in de lijst met waarschijnlijkheden (de foto) in werkelijkheid een "enorm" verschil in de echte fysieke toestand kan verbergen.

Het Dilemma: Je Kunt Niet Alles Hebben

De auteurs bewijzen een "No-Go"-stelling. Je kunt niet een waarschijnlijkheidsgebaseerde beschrijving van een kwantumsysteem hebben die alle drie de volgende gewenste kenmerken tegelijkertijd bezit:

1. Robuustheid: Kleine veranderingen in de beschrijving mogen niet betekenen dat het systeem totaal anders is. (De foto moet overeenkomen met de werkelijkheid).
2. Subsysteemstructuur: Je moet in staat zijn om delen van het systeem afzonderlijk te beschrijven (bijv. het deel van Alice en het deel van Bob) zonder de verbinding tussen hen te verliezen.
3. Efficiëntie: De beschrijving moet compact en beheersbaar zijn (geen oneindige hoeveelheid data vereisen).

De Afruil-tabel:

• Standaard Kwantummechanica (Dichtheidsoperatoren): Heeft alle drie. Het is robuust, gaat goed om met onderdelen en is efficiënt.
• Waarschijnlijkheidsrepresentaties (Lokale metingen): Je kunt de onderdelen en efficiëntie hebben, maar je verliest robuustheid. De foto's liegen over de nabijheid.
• Waarschijnlijkheidsrepresentaties (Alle metingen): Je kunt robuustheid en onderdelen hebben, maar je verliest efficiëntie. De lijst met waarschijnlijkheden wordt zo enorm dat hij nutteloos is.

Waarom Dit Er Toe Doet (Volgens het Artikel)

De auteurs wijzen erop dat veel populaire ideeën in de natuurkunde vertrouwen op deze waarschijnlijkheidslijsten, en deze ontdekking breekt die ideeën:

• QBism (Quantum Bayesianism): Deze theorie behandelt kwantumtoestanden als slechts een lijst met de overtuigingen van een agent (waarschijnlijkheden). Het artikel zegt dat dit standpunt faalt voor complexe systemen (zoals een trillende snaar of een deeltje in de ruimte) omdat de "overtuigingslijst" niet robuust genoeg is om de werkelijkheid nauwkeurig te beschrijven.
• Het Reconstrueren van de Kwantumtheorie: Wetenschappers proberen de kwantumfysica te herbouwen vanuit eenvoudige regels over waarschijnlijkheden. Het artikel stelt dat je dit niet succesvol kunt doen voor grote systemen, tenzij je extra, kunstmatige regels toevoegt om het "nabijheidsprobleem" op te lossen.
• Kwantumcryptografie: Als je probeert te bewijzen dat een geheime code veilig is met behruik van alleen waarschijnlijkheidslijsten (zonder aan te nemen dat kwantummechanica waar is), denk je misschien dat het veilig is omdat de "foto's" willekeurig lijken. Maar het artikel waarschuwt dat de code in werkelijkheid gekraakt kan worden omdat de "foto's" misleidend zijn.
• Kwantumveldentheorie: Natuurkundigen beschrijven het universum vaak met behulp van "correlatiefuncties" (een type waarschijnlijkheidslijst). Het artikel sugggeert dat deze beschrijvingen er mogelijk niet in slagen om de ware aard van complexe, niet-lokale verbindingen in het universum te vangen.

De Kernboodschap

Het artikel concludeert dat hoewel waarschijnlijkheidslijsten een zeer populaire en handige manier zijn om over de kwantumfysica te praten, ze fundamenteel gebrekkig zijn als een volledige vervanging voor de standaard "dichtheidsoperator"-beschrijving.

De Metafoor:
Het beschrijven van een kwantumsysteem alleen met waarschijnlijkheidslijsten is als het navigeren door een stad met alleen een 2D-kaart die is uitgerekt en vervormd. De kaart laat je misschien de namen van de straten zien (de structuur), en het is misschien makkelijk om hem in je zak te dragen (efficiënt), maar als je probeert de afstand tussen twee gebouwen te beoordelen op basis van die kaart, zul je verdwalen. Om veilig te navigeren heb je de 3D-werkelijkheid nodig (de dichtheidsoperator), niet alleen de vervormde kaart.

Technische samenvatting

Technische Samenvatting: "Tegen waarschijnlijkheid: Een kwantumtoestand is meer dan een lijst met waarschijnlijkheidsverdelingen"

Probleemstelling
Kwantumtoestanden worden vaak gerepresenteerd door lijsten van uitkomstwaarschijnlijkheden afgeleid van een tomografisch volledige verzameling metingen ($M$), in plaats van door dichtheidsoperatoren ($\rho$). Dergelijke representaties zijn alomtegenwoordig in de natuurkunde, verschijnend in de kwantumveldentheorie (via correlatiefuncties) en in de fundamenten van de kwantummechanica (binnen gegeneraliseerde probabilistische kaders). Ho'ewel een dergelijke waarschijnlijkheidsrepresentatie $P_M(\rho)$ injectief is (het specificeert de toestand uniek), betwijfelen de auteurs of deze in een fysieke zin getrouw (faithful) is. Specifiek onderzoeken zij of benaderende uitspraken afgeleid van waarschijnlijkheidsrepresentaties (bijv. "de output is benaderend willekeurig") geldig blijven wanneer deze worden "teruggehaald" naar het niveau van dichtheidsoperatoren. Het kernproblek is dat waarschijnlijkheidsrepresentaties mogelijk een gebrek aan topologische robuustheid vertonen: een sequentie van toestanden die lijkt te convergeren naar een ideale gedraging in de waarschijnlijkheidsrepresentatieruimte, convergeert mogelijk niet in de fysieke toestandsruimte (gedefinieerd door de trace-afstand).

Methodologie
De auteurs hanteren een topologische en informatietheoretische benadering om de relatie tussen de metriek geïnduceerd door een waarschijnlijkheidsrepresentatie en de standaard trace-afstand metriek op de ruimte van dichtheidsoperatoren te analyseren.

1. Definitie van Robuustheid: Zij definiëren een representatie $P_M$ als topologisch robuust als convergentie in de geïnduceerde metriek $d_M$ convergentie in de trace-afstand $\delta$ impliceert. Formeel, voor elke sequentie van toestanden $(\rho^{(n)})$ en een verzameling toestanden $\Sigma$:
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   waarbij $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$.

2. Constructie van Tegenvoorbeeld: Zij construeren een specifiek voorbeeld met betrekking tot een protocol voor het genereren van willekeur met $n$ onstabiele atomen. Zij definiëren een sequentie van verstrengelde toestanden $\rho^{(n)}_{RE}$ die ver verwijderd zijn van de verzameling perfect willekeurige toestanden $\Sigma_{rand}$ in termen van trace-afstand ($\delta \geq 1/4$). Echter, wanneer deze beperkt worden tot lokale metingen ($M_\otimes$), convergeren de waarschijnlijkheidsverdelingen van deze toestanden naar $\Sigma_{rand}$ als $n \to \infty$. Dit demonstreert dat de representatie gebaseerd op lokale metingen niet robuust is.

3. Topologische Karakterisering: De auteurs analyseren de vectorruimte gespannen door dichtheidsoperatoren, $\text{span}(D(H))$. Zij bewijzen dat hoewel de door $d_M$ en $\delta$ geïnduceerde topologieën identiek zijn op de verzameling dichtheidsmatrices $D(H)$ (behalve in pathologische "fragiele" gevallen), robuustheid vereist dat deze topologieën equivalent zijn op de gehele vectorruimte $\text{span}(D(H))$. Dit is equivalent aan de volledigheid van $\text{span}(D(H))$ met betrekking tot de norm $\|\cdot\|_M$.

4. Structuur Kwantificeren via Entropie: Om het resultaat te generaliseren buiten specifieke voorbeelden, introduceren zij een informatietheoretisch maatstaf voor "structuur". Zij definiëren de asymptotische entropie van een representatie op basis van de minimale grootte van een gecomprimeerde lijst met gegevens die nodig is om de waarschijnlijkheden voor elke meting $\epsilon$-decoderbaar te maken. Zij overwegen representaties die "efficiënt" zijn (waar het aantal effecten polynomiaal groeit met de dimensie) of die gebaseerd zijn op lokale operaties.

Belangrijkste Bijdragen en Resultaten

• Het No-Go Theorema (Theorema 6): Het centrale resultaat is een no-go theorema dat stelt dat als een waarschijnlijkheidsrepresentatie $P_M$ een niet-verwaarloosbare structuur bezit (specifiek, als de asymptotische entropie begrensd wordt door een sequentie die significant kleiner is dan de triviale bovengrens van $2^{2^n}$), de representatie niet topologisch robuust kan zijn.
• Incompatibiliteit van Structuur en Robuustheid: Het artikel stelt een fundamentele afruil vast:
  • Robuustheid vereist dat de representatie "structuurloos" is (wat in essentie een exponentieel groot aantal metingen vereist om toestanden robuust te onderscheiden).
  • Structuur (zoals subsystem-decompositie, lokaliteit of efficiëntie) leidt onvermijdelijk tot niet-robuustheid.
• Specifieke Corollaria:
  • Corolarium 7: De representatie gebaseerd op lokale metingen ($P_{M_\otimes}$) is niet robuust. Dit impliceert dat veiligheidsdefinities in post-kwantum cryptografie die uitsluitend gebaseerd zijn op non-signaling boxen (die overeenkomen met $P_{M_\otimes}$), mogelijk geen veiligheid garanderen onder standaard kwantumdefinities.
  • Corolarium 8: Elke efficiënte representatie (waar het aantal meeteffecten polynomiaal groeit met de Hilbert-ruimte dimensie, zoals minimale tomografisch volledige verzamelingen zoals SIC-POVM's) is niet robuust. Dit is van toepassing op systemen van onbegrensde dimensie.
• Generalisatie naar GPT's (Theorema 9): De auteurs breiden hun bevindingen uit naar Generalized Probabilistic Theories (GPT's), waarbij zij aantonen dat er GPT's bestaan waarbij de door lokale metingen geïnduceerde topologieën en de gegeneraliseerde trace-afstand verschillen, zelfs wanneer de verzameling metingen niet fragiel is.

Betekenis en Claims
Het artikel betoogt dat waarschijnlijkheidsrepresentaties, hoewel wiskundig handig en fundamenteel voor veel kaders (waaronder QBism en reconstructieprogramma's), lijden aan een fundamenteel defect: ze slagen er niet in om het begrip van "nabijheid" tussen toestanden te behouden wanneer de representatie een fysiek relevante structuur bevat.

• Implicaties voor de Kwantumfundamenten: De resultaten vormen een uitdaging voor programma's die proberen de kwantumtheorie te reconstrueren vanuit probabilistische postulaten met behulp van efficiënte meetverzamelingen (zoals SIC-POVM's) of die de kwantumtoestand puur interpreteren als een catalogus van overtuigingen (QBism) voor onbegrensde systemen. Zonder robuustheid kunnen benaderende probabilistische uitspraken niet betrouwbaar worden teruggekoppeld naar fysieke toestanden.
• Implicaties voor Kwantuminformatica: In de kwantumcryptografie suggereert de niet-robuustheid van $P_{M_\otimes}$ dat "post-kwantum" schema's die vertrouwen op non-signaling boxen minder veilig kunnen zijn dan hun kwantumtegenhangers, aangezien de probabilistische definitie van veiligheid geen veiligheid garandeert in de zin van de trace-afstand.
• Implicaties voor Kwantumveldentheorie (QFT): Aangezien QFT-toestanden vaak worden gekarakteriseerd door correlatiefuncties (een vorm van waarschijnlijkheidsrepresentatie), suggereren de auteurs dat deze representaties niet robuust zijn, met name voor niet-lokale observabelen (bijv. Hawking-straling correlaties).

Conclusie
De auteurs concluderen dat het dichtheidsoperator-formalisme gunstige eigenschappen bezit—robuustheid, subsystem-structuur en efficiëntie—die waarschijnlijkheidsrepresentaties niet simultaan kunnen bereiken. Hoewel waarschijnlijkheidsrepresentaties theorie-onafhankelijkheid bieden, betogen de auteurs dat voor elke representatie met een niet-verwaarloosbare structuur (die noodzakelijk is voor de praktische fysica), de topologische robuustheid verloren gaat. Dit noodzaakt een zoektocht naar alternatieve benaderingen die de algemeenheid van waarschijnlijkheidsrepresentaties verenigen met de robuustheid van dichtheidsoperatoren.