Bell scenarios encode classical non-causality

In de vreemde wereld van de kwantumfysica kunnen deeltjes zich op manieren gedragen die onze alledaagse intuïtie tarten. Twee van de beroemdste voorbeelden zijn nonlocaliteit en contextualiteit. Nonlocaliteit beschrijft een situatie waarin twee mensen, ver van elkaar verwijderd, hun acties op een manier kunnen coördineren die suggereert dat ze informatie delen, ook al kan er geen signaal snel genoeg tussen hen reizen om dat te verklaren. Contextualiteit is een gerelateerd raadsel: het onthult dat het antwoord dat een deeltje geeft op een vraag afhangt van welke andere vragen er tegelijkertijd worden gesteld. Decennialang hebben natuurkundigen wiskundige diagrammen genaamd hypergrafen gebruikt om deze scenario's in kaart te brengen. In deze diagrammen vertegenwoordigen punten mogelijke uitkomsten, en lijnen verbinden groepen punten die tot dezelfde meting behoren. De regels voor het tekenen van deze lijnen zijn strikt, wat ervoor zorgt dat de kansen van alle uitkomsten correct optellen en dat niemand een geheim signaal naar een ander kan sturen door simpelweg te kiezen welke meting wordt uitgevoerd.

Een apart maar even fascinerend onderzoeksgebied verkent het idee van een onbepaalde causale volgorde. In ons dagelijks leven gaat de oorzaak altijd vooraf aan het gevolg; je drukt op een schakelaar, en dan gaat het licht aan. Echter, in bepaalde kwantumopstellingen is het onmogelijk om te zeggen wie als eerste handelde. De gebeurtenissen vinden plaats in een lus waarbij A invloed heeft op B, en B invloed heeft op A, zonder een logische paradox te creëren. De deterministische, klassieke versie van dit fenomeen staat bekend als een procesfunctie. Dit zijn scenario's waarin partijen informatie uitwisselen op een manier die logisch consistent blijft, zelfs als er geen vaste tijdlijn is die bepaalt wie vóór wie spreekt. Jarenlang hebben deze twee velden — de studie van kwantummetingen en de studie van causale lussen — parallel aan elkaar ontwikkeld, waarbij ze verschillende talen gebruikten om vergelijkbare structurele vreemdheden te beschrijven.

Een team van onderzoekers heeft nu ontdekt dat deze twee velden eigenlijk hetzelfde beschrijven. Door te analyseren hoe verschillende meetscenario's gecombineerd kunnen worden, ontdekten de auteurs dat de wiskundige regels die worden gebruikt om complexe meetdiagrammen te bouwen, identiek zijn aan de regels die klassieke procesfuncties definiëren. Specifiek toonden zij aan dat wanneer je onafhankelijke meetscenario's combineert met behulp van een specifieke, brede set regels, de resulterende structuren exact overeenkomen met de deterministische communicatieprotocollen die voor niet-causale, of tijdlus-achtige, interacties mogelijk zijn. Deze ontdekking betekent dat het vreemde, niet-causale gedrag van klassieke systemen geen apart mysterie is, maar simpelweg een niet-standaard manier is om metingen samen te stellen.

De onderzoekers begonnen met het kijken naar hoe eenvoudige meetopstellingen gecombineerd kunnen worden. Als je twee onafhankelijke partijen hebt, elk met hun eigen reeks metingen, kun je deze combineren tot een groter scenario. Er zijn verschillende manieren om dit te doen, maar ze moeten allemaal voldoen aan de regel dat er geen informatie sneller dan het licht reist. De meest basale manier om deze scenario's te combineren, gaat ervan uit dat de partijen gelijktijdig handelen zonder met elkaar te praten. Echter, om de wetten van de fysica volledig te respecteren, moet je ook scenario's meenemen waarbij één partij eerst handelt en de ander vertelt wat hij moet doen. De onderzoekers ontdekten dat de standaardmanier om deze scenario's te combineren, bekend als de Foulis-Randall-product, precies de verzameling genereert van alle mogelijke twee-partijen communicatieprotocollen die logisch consistent zijn. In dit geval van twee partijen zijn de protocollen ofwel gelijktijdig, ofwel involveert het eenrichtingsverkeer, wat overeenkomt met een duidelijke oorzaak-gevolgvolgorde.

De situatie wordt veel interessanter wanneer je een derde partij toevoegt. Met drie of meer mensen is er geen enkele, unieke manier om hun scenario's te combineren die aan alle fysieke regels voldoet. In plaats daarvan is er een hiërarchie van verschillende combinatieregels. De eenvoudigste regels staan alleen scenario's toe waarbij iedereen tegelijkertijd handelt of waarbij de volgorde vaststaat. Complexere regels staan dynamische controle toe, waarbij de keuze van de meting van één persoon de volgorde bepaalt waarin de anderen handelen. De onderzoekers identificeerden de meest inclusieve regel in deze hiërarchie, de disjunctieve product genoemd. Zij bewezen dat de meetstructuren die door deze specifieke regel worden gegenereerd, exact hetzelfde zijn als de verzameling van alle mogelijke procesfuncties, inclusief die die niet-causaal zijn.

Deze equivalentie is de kern van hun bevinding. Het betekent dat een meetscenario geldig is indien en slechts indien het overeenkomt met een logisch consistente procesfunctie. Als een meetstructuur niet kan worden verklaard door een vaste volgorde van gebeurtenissen, is het geen fout of een paradox; het is simpelweg een niet-causale procesfunctie. Het team toonde aan dat je deze niet-causale structuren kunt identificeren door te controleren of ze binnen de breedste combinatieregel passen maar niet binnen de meer restrictieve regels die een vaste tijdlijn afdwingen. Dit biedt een duidelijke, grafische test voor niet-causaliteit: als een structuur bestaat in de meest inclusieve verzameling maar niet in de verzamelingen die een specifieke volgorde afdwingen, dan is het niet-causaal.

De implicaties van dit werk zijn aanzienlijk omdat het twee voorheen gescheiden manieren van denken over de fysica verenigt. Het demonstreert dat klassieke niet-causaliteit geen mysterieus uitzondering is, maar een natuurlijk gevolg van hoe we meetdozen kunnen combineren. De onderzoekers toonden ook aan dat je deze complexe, niet-causale scenario's kunt genereren uit eenvoudige, niet-communicerende scenario's door specifieke transformatieregels toe te passen. Deze regels zijn gebaseerd op de fundamentele vereisten dat kansen optellen tot één en dat niemand naar een ander kan signaleren. Door deze regels te volgen, kan men het beroemde Lugano-proces construeren, een scenario met drie partijen waarbij de input van elk persoon afhangt van de outputs van de anderen in een perfecte lus, zonder een vast startpunt.

Deze studie beweert niet alle mysteries van kwantumgravitatie of tijdreizen te hebben opgelost. In plaats daarvan biedt het een precieze wiskundige kaart voor een specifiek hoekje van de fysica. Het bewijst dat de structuren die klassieke niet-causale processen beheersen, identiek zijn aan de structuren die bepaalde soorten kwantummetingen beheersen. Dit suggereert dat de vreemdheid van onbepaalde causale volgorde niet een kenmerk is dat uniek is voor het kwantumdomein, maar een fundamentele eigenschap is van hoe informatie kan worden georganiseerd in elk systeem dat de basisregels van waarschijnlijkheid en no-signaling respecteert. Het werk biedt een nieuw perspectief: wat wij niet-causaliteit noemen, is simpelweg een andere, flexibelere manier om de zwarte dozen van meting te arrangeren, een manier die een rijker scala aan logische verbindingen toestaat dan onze alledaagse ervaring van tijd ons gewoonlijk toestaat.