Closing the Loop: Non-Causal Computation, Partial Traces, & Postselected Entanglement

Stel je een wereld voor waarin oorzaak en gevolg geen rechte lijn zijn, maar een cirkel. In onze dagelijkse ervaring moet een oorzaak vóór een gevolg plaatsvinden; je kunt een brief niet ontvangen voordat je hem hebt verstuurd. Toch hebben wetenschappers in de theoretische natuurkunde zich lang afgevraagd wat er zou gebeuren als een signaal terug in de tijd zou kunnen reizen om zijn eigen verleden te beïnvloeden. Dit idee, bekend als een gesloten tijdachtige curve, creëert een logische puzzel: als je teruggaat in de tijd en het verleden verandert, kun je voorkomen dat je jezelf ooit terug laat gaan. Dit is de beroemde "grootvaderparadox". Decennialang hebben natuurkundigen geprobeerd te beschrijven hoe een systeem op zichzelf kan teruglopen zonder in een tegenstrijdigheid te vervallen. Sommige theorieën suggereren dat de natuur dergelijke lussen simpelweg verbiedt, terwijl andere voorstellen dat het universum een manier vindt om het conflict op te lossen, bijvoorbeeld door alleen die gebeurtenissen toe te staan die logisch consistent zijn.

Een specifieke tak van onderzoek heeft zich gericht op "niet-causale circuits", modellen van computatie waarbij informatie in lussen stroomt zonder een vaste volgorde van oorzaak en gevolg. De centrale vraag voor onderzoekers in dit veld is eenvoudig maar diepgaand: onder welke omstandigheden maakt een dergelijke lus zin? Als je informatie in een lus voert, settleert deze zich dan in een enkele, stabiele staat, of draait het in chaos? Een belangrijk inzicht uit eerder werk stelde vast dat een lus alleen logisch consistent is als er precies één manier is voor de informatie om te circuleren zonder tegenstrijdigheid. Dit artikel neemt dat idee en verbindt het met een ander, meer exotisch gebied van de kwantumfysica: het gebruik van "postgeselecteerde" kwantumteleportatie. In dit proces simuleren wetenschappers een tijdlus door een speciale verbinding tussen deeltjes te creëren en vervolgens elke poging die mislukt weg te gooien, waarbij ze alleen de zeldzame runs behouden waar de verbinding perfect werkt. De onderzoeker wilde weten of deze twee zeer verschillende benaderingen — de ene gebaseerd op pure logica en de andere op kwantummechanica — eigenlijk dezelfde onderliggende realiteit beschrijven.

De auteur van deze studie, werkzaam bij Quantum Village Inc., zette zich het doel om de regels van deze niet-causale lussen te vertalen naar de taal van de kwantummechanica. Ze begonnen door de feedbacklus in een klassiek computercircuit te behandelen als een wiskundige operatie genaamd een "trace" (spoor). In eenvoudige termen is een trace een manier om een proces dat een input en een output heeft te nemen, de output terug te koppelen aan de input, en te zien wat er met het systeem als geheel gebeurt. Ze toonden aan dat voor deze lus om logisch consistent te zijn — wat betekent dat hij een enkele, stabiele resultaat produceert — de wiskundige structuur van de lus aan een zeer specifieke voorwaarde moet voldoen. Als de lus een systeem met een bepaalde omvang vertegenwoordigt, moet de waarschijnlijkheid dat het systeem in een stabiele staat settleert exact één zijn. Als deze voorwaarde niet wordt voldaan, is de lus gebroken en kan er geen consistente geschiedenis worden gevormd.

Om dit te testen, bouwde de onderzoeker een brug tussen de klassieke wereld van de logica en de kwantumwereld van verstrengelde deeltjes. Ze stelden een methode voor waarbij een klassiek computercircuit wordt gesimuleerd met behulp van een kwantumkanaal, een apparaat dat een deeltje meet en vervolgens een nieuw deeltje voorbereidt op basis van die meting. Cruciaal was dat ze een "maximaal verstrengeld" paar deeltjes introduceerden, een speciale kwantumverbinding waarbij de staat van het ene deeltje perfect gecorreleerd is met die van het andere, ongeacht de afstand. In hun opstelling wordt één helft van dit paar naar het "verleden" van het circuit gestuurd, en de andere helft wordt in het "toekomst" gehouden. Het systeem probeert vervolgens het toekomstige deeltje te projecteren op dezelfde verstrengelde staat als het verleden-deeltje. Deze projectie is de kwantumequivalent van het sluiten van de lus. Deze projectie slaagt echter niet altijd; sterker nog, het faalt meestal. De onderzoeker richtte zich op de zeldzame gevallen waarin de projectie slaagt, een techniek die bekend staat als postselectie.

De belangrijkste ontdekking van het artikel is een precieze wiskundige link tussen het succes van dit kwantumeperiment en de logische consistentie van het klassieke circuit. De auteur vond dat de kwantumlus perfect werkt — wat betekent dat hij een geldige, niet-tegenstrijdige geschiedenis produceert — alleen wanneer de waarschijnlijkheid van de succesvolle projectie exact één gedeeld door het kwadraat van de omvang van de lus is. Voor een lus die een bepaald aantal onderscheidende toestanden kan bevatten, is deze waarschijnlijkheid een vast, klein getal. Als de waarschijnlijkheid met deze waarde overeenkomt, gedraagt de resulterende kwantumtoestand, eenmaal genormaliseerd, zich exact als de logisch consistente klassieke lus. Als de waarschijnlijkheid anders is, faalt de lus om een consistente geschiedenis te produceren, precies zoals de klassieke logica zou voorspellen. Dit betekent dat de vreemde, contra-intuïtieve regels van kwantumteleportatie kunnen worden gebruikt om de regels van niet-causale computatie te simuleren en te verifiëren.

De studie verheldert ook hoe deze aanpak verschilt van andere theorieën over tijdreizen. Sommige eerdere modellen suggereerden dat een tijdlus de wereld zou dwingen zijn waarschijnlijkheden op een complexe, niet-lineaire manier aan te passen om paradoxen te vermijden. In contrast hiermee laat dit werk zien dat wanneer de specifieke voorwaarde van logische consistentie wordt vervuld, de kwantumevolutie lineair en voorspelbaar blijft. Het systeem hoeft de regels van de waarschijnlijkheid niet te buigen om zin te geven; het selecteert simpelweg de ene uitkomst die past. De onderzoeker heeft aangetoond dat door de mislukte pogingen te filteren en alleen de succesvolle te behouden, de resterende data het gedrag van een klassiek circuit dat een unieke, stabiele oplossing heeft, perfect reconstrueren. Dit biedt een concrete manier om te begrijpen hoe een kwantumsysteem tijdlussen zou kunnen afhandelen zonder de wetten van de fysica te breken.

Uiteindelijk biedt dit artikel een verenigd beeld van twee schijnbaar gescheiden ideeën. Het laat zien dat de vereiste dat een tijdlus logisch consistent moet zijn niet slechts een filosofische beperking is, maar een fysieke die in een kwantumeperiment gemeten kan worden. Door gebruik te maken van verstrengelde deeltjes en postselectie, creëerde de onderzoeker een fysiek model waarbij het succes van het experiment direct verbonden is met het bestaan van een enkele, stabiele oplossing voor de lus. Het werk beweert geen tijdmachine te hebben gebouwd, noch suggereert het dat we berichten naar het verleden kunnen sturen. In plaats daarvan biedt het een rigoureus kader voor het begrijpen van hoe informatie theoretisch in een cirkel zou kunnen stromen zonder een paradox te creëren. Het suggereert dat als dergelijke lussen in de natuur bestaan, ze zouden opereren onder strikte regels die ervoor zorgen dat slechts één consistente geschiedenis overleeft, een regel die geverifieerd kan worden via de precieze waarschijnlijkheden van kwantummetingen. Dit brengt het abstracte concept van niet-causale computatie terug naar de aarde, door te laten zien dat de logica van tijdlussen even berekenbaar en concreet is als de circuits in onze computers.