⚛️ quantum physics

Unobservables and Decoherence from Complexity

Dit artikel betoogt dat de schijnbare klassieke aard van macroscopische systemen voortkomt uit computationele complexiteitsbeperkingen, die bepaalde formeel geldige kwantummetingen onuitvoerbaar maken en het waarnemen van coherentie in specifieke superposities verhinderen, waardoor de kwantum-klassieke transitie wordt gekoppeld aan het onvermogen van kwantumsystemen om NP-volledige problemen efficiënt op te lossen.

Oorspronkelijke auteurs: Michael Epping, Jochen Szangolies

Gepubliceerd 2026-06-23

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Michael Epping, Jochen Szangolies

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je het universum voor als een gigantisch, ongelooflijk complex computerspel. In dit spel zijn de regels van de "micro-wereld" (kwantummechanica) heel anders dan die van de "macro-wereld" (onze alledaagse ervaring).

In de micro-wereld kunnen dingen op twee plaatsen tegelijk zijn (superpositie) en kunnen ze met elkaar interfereren als golven in een vijver. In onze macro-wereld zien we nooit een kat die zowel dood als levend is, of een munt die tegelijkertijd zowel kop als munt is. Meestal leggen wetenschappers dit verschil uit door te zeggen dat de omgeving (lucht, licht, warmte) grote objecten constant "meet", waardoor deze vreemde kwantumeffecten worden weggespoeld. Dit wordt decoherentie genoemd.

Dit artikel stelt echter een andere, verrassende reden voor waarbij de wereld er klassiek uitziet voor ons: Het is te moeilijk om te berekenen.

Hier is de uiteenzetting van hun argument met behulp van eenvoudige analogieën:

1. De "Undo-knop" valstrik

In de kwantummechanica, als je iets meet en een resultaat krijgt dat je niet leuk vindt, zijn er theoretische manieren om die meting te "ongedaan te maken" (undo) en het opnieuw te proberen, wat de uitkomst effectief wist.

De auteurs stelden zich een slim kwantumalgoritme voor dat deze "undo-knop" gebruikt om een zeer moeilijk type logische puzzel (een zogenaamde 3SAT) op te lossen. Denk aan deze puzzel als het proberen te vinden van de ene specifieke combinatie van schakelaars die een enorm paneel met miljoenen schakelaars inschakelt.

De truc: Het algoritme probeert een schakelaarcombinatie. Als het mislukt, gebruikt het de "undo-knop" om het universum terug te zetten naar de staat vóór de poging, en probeert dan een ander pad.
Het probleem: Als de natuur ons zou toestaan een machine te bouwen die dergelijke "undo"-metingen gemakkelijk kan uitvoeren, zouden we deze enorme logische puzzels bijna onmiddellijk kunnen oplossen.

2. De Complexiteitsmuur

We weten uit de informatica dat sommige logische puzzels "NP-compleet" zijn. Dit betekent dat naarms het groter wordt, de tijd die nodig is om de puzzel op te lossen exponentieel toeneemt. Zelfs de snelste supercomputers zouden langer nodig hebben dan het huidige tijdperk van het universum om een grote versie ervan op te lossen.

De auteurs argumenteren dat als de kwantummechanica ons in staat zou stellen om deze specifieke "undo"-metingen uit te voeren, we in staat zouden zijn om deze onmogelijke puzzels efficiënt op te lossen. Omdat we geloven dat de natuur ons niet in staat stelt om deze puzzels onmiddellijk op te lossen (omdat dat de wetten van de complexiteit zou breken), moet de natuur deze specifieke metingen verbieden.

3. Het "Onwaarneembare"

Omdat de natuur deze metingen verbiedt, zijn er bepaalde zaken in de kwantumwereld die wiskundig geldig zijn, maar fysiek onmogelijk te zien. De auteurs noemen deze "onwaarneembaarheden".

Analogie: Stel je een bibliotheek voor met een perfect catalogussysteem. De catalogus zegt dat een boek op een specifieke plank staat. Echter, de plank is gemaakt van een materiaal dat zo dicht en complex is dat geen menselijke hand het ooit kan bereiken of het boek eruit kan trekken. Het boek bestaat in de catalogus (wiskunde), maar is voor ons "onwaarneembaar" (fysica).
In dit artikel zijn bepaalde kwantummetingen (zoals specifieke rotaties van deeltjes) als dat onbereikbare boek. Ze zijn geldig in de vergelijkingen, maar de computationele inspanning die nodig is om ze uit te voeren, is zo hoog dat geen enkele waarnemer met eindige middelen dit kan doen.

4. De "Tijdreis"-barrière

Het artikel bespreekt ook hoe kwantumtoestanden in de loop van de tijd veranderen. Normaal gesproken denken we dat je van elke kwantumtoestand naar elke andere toestand kunt evolueren als je maar lang genoeg wacht.

Maar als een meting "onwaarneembaar" is omdat deze te complex is, dan is de tijdsevolutie (het proces van het veranderen van de ene toestand naar de andere) die tot die meting zou leiden, ook onmogelijk.

Analogie: Stel je twee eilanden voor in een oceaan. De wiskunde zegt dat er een brug tussen hen is. Maar de brug is gemaakt van een materiaal dat zo zwaar is dat geen enkel schip het ooit zou kunnen bouwen of eroverheen zou kunnen varen. Daarom zijn de twee eilanden, voor alle praktische doeleinden, van elkaar gescheiden. Je kunt nooit van Eiland A naar Eiland B reizen.

5. Het resultaat: "Decoherentie door Complexiteit"

Dit leidt tot de grootste conclusie van het artikel: Superposities worden onzichtbaar.

Als je twee kwantumtoestanden hebt die "gescheiden" zijn (je kunt de ene niet in de andere laten evolueren omdat het pad te complex is), kun dan nooit bewijzen dat ze in een "superpositie" (een mix van beide) zijn.

De illusie: Voor een waarnemer ziet een kwantumsuperpositie van deze twee toestanden er exact hetzelfde uit als een normale willekeurige mix (zoals het werpen van een munt en kop of munt krijgen).
De verschuiving: Omdat we de "vreemde kwantummix" niet kunnen onderscheiden van een "normale willekeurige mix", gedraagt het systeem zich alsof het zijn kwantumaard heeft verloren. Het gedraagt zich klassiek.

Samenvatting

Het artikel suggereert dat de reden waarom de macroscopische wereld er saai en klassiek uitziet, niet alleen komt doordat de omgeving luidruchtig is. Het kan ook komen omdat het universum computationeel lui is.

De "vreemde" kwantumgedragingen (zoals op twee plaatsen tegelijk zijn) zijn nog steeds aanwezig in de wiskunde, maar het observeren ervan vereist het oplossen van puzzels die te moeilijk zijn voor enige waarnemer om te berekenen. Omdat we de oplossing niet kunnen berekenen, kunnen we het kwantumeffect niet zien. De complexiteit van het universum zelf werkt als een filter, die de kwantumvreemdheid verbergt en de klassieke wereld achterlaat die wij ervaren.

Technische Samenvatting: Onwaarneembaarheden en Decoherentie door Complexiteit

Probleemstelling
De interface tussen kwantummechanica en de klassieke realiteit blijft een onderwerp van intensief onderzoek. Terwijl het kwantumregime wordt gedefinieerd door interferentie en superpositie, verschijnen macroscopische systemen als klassiek, waarbij deze fenomenen ontbreken. Standaardverklaringen leunen vaak op omgevingsdecoherentie. Dit artikel onderzoekt een alternatieve hypothese: dat de "onwaarneembaarheid" van bepaalde kwantumkenmerken in macroscopische systemen niet voortkomt uit interactie met de omgeving, maar uit fundamentele beperkingen die worden opgelegd door computationele complexiteit. Specifiek onderzoeken de auteurs of de aanname dat kwantumsystemen niet efficiënt NP-volledige problemen kunnen oplossen, impliceert dat bepaalde formeel geldige kwantummetingen fysiek onuitvoerbaar zijn.

Methodologie
De auteurs construeren een hypothetisch kwantumalgoritme dat ontworpen is om het 3SAT-probleem (een NP-volledig probleem) in polynomiale tijd op te lossen door gebruik te maken van het vermogen om kwantummetingen te "ongedaan te maken".

Het ongedaan maken van metingen: Het algoritme maakt gebruik van een "sandwich-POVM" (Positive Operator-Valued Measure), aangeduid als $\mathcal{N}(F)$ , voor een propositionele logische formule $F$ . Deze meting omvat een sequentie van projectieve metingen op clausules van de formule, gevolgd door een "reset"-meting die ongewenste uitkomsten ongedaan maakt (specifiek de projectie op de subruimte die een clausule schendt).
Verdunningstechniek: Om het probleem van exponentieel lage succeswaarschijnlijkheden bij sequentiële metingen aan te pakken, passen de auteurs een "verdunningstechniek" toe. Ze transformeren de oorspronkelijke formule $F$ naar een verdunde formule $D(F)$ door nieuwe variabelen en willekeurige XOR-clausules te introduceren. Deze modificatie zorgt ervoor dat de waarschijnlijkheid om een bevredigende clausule-uitkomst te meten hoog blijft (groter dan $1/2$ gemiddeld) gedurende het algoritme.
Complexiteitsaanname: De kern van het argument rust op twee aannames:
- (INC): NP $\not\subseteq$ BQP (Kwantumsystemen kunnen geen NP-harde problemen efficiënt oplossen).
- (OBS): Elke formeel geldige kwantummeting kan experimenteel worden gerealiseerd.
  De auteurs demonstreren dat als (OBS) standhoudt, het voorgestelde algoritme 3SAT efficiënt zou oplossen, wat in tegenspraak is met (INC).

Belangrijkste Bijdragen en Resultaten
Het artikel stelt vast dat als NP-volledige problemen moeilijk zijn voor kwantumsystemen, specifieke formeel geldige kwantummetingen fysiek onuitvoerbaar moeten zijn. Deze grootheden worden onwaarneembaarheden genoemd.

Bestaan van onwaarneembaarheden: De sandwich-POVM $\mathcal{N}(F)$ wordt getoond als een geldig wiskundig object in de kwantummechanica, maar is fysiek onuitvoerbaar voor voldoende grote probleemgroottes (bijv. honderden variabelen) omdat de uitvoering ervan de aanname zou schenden dat NP-harde problemen onhandelbaar zijn.
Onwaarneembare Pauli-matrices: Via Naimarks dilatiedeelstelling wordt de onwaarneembare POVM $\mathcal{N}(F)$ gekoppeld aan onwaarneembare Projector-Valued Measures (PVM's). De auteurs tonen aan dat er in een voldoende grote Hilbertruimte (specifiek een $2^{M+N}$ -dimensionale qudit) basissen bestaan waarin de Pauli-operatoren ( $\tilde{X}, \tilde{Y}, \tilde{Z}$ ) onwaarneembaar zijn. Terwijl de canonieke Pauli-operatoren observeerbaar zijn, zijn de getransformeerde versies die nodig zijn om tussen specifieke toestanden te mappen, dat niet.
Gedesconnecteerde Tijdsevolutie-banen: De auteurs definiëren de verzameling $\mathcal{T}$ van fysiek realiseerbare tijdsevoluties met behulp van eindige middelen. Ze bewijzen dat er unitaire operatoren bestaan (zoals de operator die een onwaarneembare naar een observeerbare mapt) die niet in $\mathcal{T}$ zitten. Bijgevolg zijn er paren zuivere toestanden $|\psi_1\rangle$ en $|\psi_2\rangle$ die niet verbonden kunnen worden door een fysiek realiseerbare tijdsevolutie. De transitiekans tussen dergelijke toestanden neemt exponentieel af met de systeemgrootte ( $\exp(-\Omega(N))$ ).
Complexiteit-geïnduceerde decoherentie: Omdat geen enkele fysiek realiseerbare unitaire operator $|\psi_1\rangle$ en $|\psi_2\rangle$ kan verbinden, zijn de verwachtingswaarden van elke toelaatbare observeerbare $A$ voor de coherente superpositie $\rho_{coh} = \frac{1}{2}(|\psi_1\rangle + |\psi_2\rangle)(\langle\psi_1| + \langle\psi_2|)$ ononderscheidbaar van de incoherente mengeling $\rho_{incoh} = \frac{1}{2}(|\psi_1\rangle\langle\psi_1| + |\psi_2\rangle\langle\psi_2|)$ . Het verschil in verwachtingswaarden schaalt als $\exp(-\Omega(N))$ .
Effectieve Superselectieregels (SSR): Deze ononderscheidbaarheid impliceert de opkomst van een effectieve superselectieregel. De coherentie tussen dergelijke toestanden kan niet worden waargenomen, wat een zuivere superpositie effectief verandert in een klassieke mengeling. Dit biedt een mechanisme voor klassieke aard gebaseerd op computationele complexiteit in plaats van omgevingsinteractie.

Betekenis en Claims
Het artikel beweert de eerste te zijn die de observeerbaarheid van kwantumcoherentie direct koppelt aan een computationeel hard probleem. De auteurs stellen voor dat de schijnbare klassieke aard van macroscopische systemen deels kan komen door het feit dat het observeren van bepaalde kwantumfenomenen (zoals specifieke superposities of het uitvoeren van specifieke metingen) middelen vereist die superpolynomiaal schalen, waardoor ze onmogelijk zijn voor elke waarnemer met eindige middelen.

De auteurs zijn bescheiden over hun reikwijdte en stellen dat ze slechts het bestaan van dit mechanisme hebben aangetoond. Ze beweren niet dat dit de enige bron van klassieke aard of decoherentie is, noch leveren ze een kwantitatieve schatting van de bijdrage ervan ten opzichte van omgevingsdecoherentie. Ze suggereren dat toekomstig werk kan kwantificeren hoeveel van de "klassieke wereld" het resultaat is van deze complexiteitstheoretische beperkingen. De resultaten impliceren dat de verzameling fysiek realiseerbare operaties een strikte deelverzameling is van de wiskundig geldige operaties in de kwantummechanica, begrensd door de hardheid van NP-volledige problemen.