Beyond Directed Acyclic Graphs: Causal Zeros and Causal Differential Equations

Stel je voor dat je een detective bent die een mysterie probeert op te lossen, maar in plaats van naar aanwijzingen te zoeken, probeer je te achterhalen wat wat heeft veroorzaakt. In de wereld van wetenschap en data wordt dit causale inferentie genoemd. Lange tijd was de beste tool die detectives hadden een reeks regels gebouwd op "Directed Acyclic Graphs" (DAG's). Denk aan een DAG als een eenrichtingsverkeerskaart. Het vertelt je dat als je een dominosteen duwt (de oorzaak), deze de volgende omver zal werpen (het gevolg), maar het verbiedt strikt dat de dominosteen de eerste terugduwt. Dit werkt perfect voor zaken als "roken veroorzaakt longkanker" of "regen maakt het gras nat." De richting is duidelijk en de kaart is een rechte lijn zonder lussen.

Echter, de echte wereld is rommelig. Soms gebeuren er dingen in een cirkel, of bestaan twee dingen simpelweg samen in een perfect evenwicht zonder dat het ene duidelijk het andere "duwt". Denk aan een wipwap: als jij omhoog gaat, gaat de ander omlaag. Maar veroorzaakte jouw gewicht dat de ander omlaag ging, of veroorzaakte het gewicht van de ander dat jij omhoog ging? In de natuurkunde en economie werken veel wetten zo—ze zijn symmetrische beperkingen waarbij de richting pas verschijnt wanneer jij besluit aan één kant te duwen. De grote vraag die dit artikel aanpakt is: Hoe bouwen we een kaart voor de detective voor deze circulaire, gebalanceerde of "tweerichtings" relaties zonder de regels van de logica te breken?

---

Het probleem met eenrichtingsstraten

Het artikel begint door te wijzen op een barst in het fundament van de moderne causale redenering. Het huidige "gouden standaard" raamwerk, ontwikkeld door Judea Pearl, is fantastisch voor rechte lijnen, maar loopt tegen een muur aan wanneer het een symmetrische beperking tegenkomt.

Stel je de ideale gaswet voor, de beroemde vergelijking $PV = nRT$. Deze relateert Druk ($P$), Volume ($V$) en Temperatuur ($T$). In een natuurkundelab kun je een gas samenpersen (verander $V$) en zien dat de druk ($P$) stijgt. Of je kunt het opwarmen (verander $T$) en zien dat de druk stijgt. De vergelijking werkt beide kanten op. Maar de huidige "eenrichtingsverkeer"-kaarten kunnen dit niet aan. Ze eisen dat je een richting kiest voordat je begint. Ze dwingen je om te zeggen: "Druk veroorzaakt Volume," of "Volume veroorzaakt Druk." Maar in de werkelijkheid is geen van beide de baas; ze zijn slechts partners in een dans. Als je een richting afdwingt waar die niet is, kun je een voorspelling doen die de wetten van de natuurkunde schendt.

De auteurs stellen dat voor veel fysieke systemen—zoals gaswetten, vraag en aanbod in de economie, of elektrische circuits—de relatie geen eenrichtingspijl is. Het is een symmetrische beperking. Het is een regel die zegt: "Deze variabelen moeten passen als puzzelstukjes," maar het zegt niet welk stukje de aanjager is en welk stukje de passagier.

De komst van de "Causale Nul"

Om dit op te lossen, introduceren de auteurs een nieuw personage in het verhaal: de Causale Nul.

Beschouw een Causale Nul niet als een straat, maar als een magnetisch veld of een gespannen rubberen veld. Het is een relatie die dingen bij elkaar houdt, maar die geen eigen richting heeft. In hun nieuwe "Extended Causal Model" worden deze relaties getekend als hyperedges (een chique term voor een verbinding met meerdere wegen) in plaats van pijlen.

Hier is de magische truc: Een Causale Nul zit daar, neutraal en richtingloos, totdat je een interventie uitvoert. Een interventie is als een wetenschapper die ingrijpt en zegt: "Ik ga deze variabele vastzetten."

Het artikel stelt een nieuw hulpmiddel voor genaamd de Activation Operator. Dit is als een schakelaar die het neutrale rubberen veld verandert in een eenrichtingsstraat alleen wanneer dat nodig is.

1. De Opzet: Je hebt een Causale Nul die Druk, Volume en Temperatuur verbindt.
2. De Interventie: Je besluit het Volume te klemmen (je houdt het vast zodat het niet kan veranderen).
3. De Activering: Het systeem vraagt: "Oké, aangezien het Volume vaststaat, welke variabele gaan we oplossen?" Als je zegt: "Los Druk op," dan schiet het rubberen veld in een eenrichtingspijl: Volume $\to$ Druk. Als je zegt: "Los Temperatuur op," dan draait de pijl om: Volume $\to$ Temperatuur.

Het cruciale inzicht hier is dat de richting niet bestaat totdat je specificeert wat je vastzet (de aanjager) en wat je oplost (het doelwit). Zonder het doelwit te benoemen, blijft het systeem in een limbo hangen. De auteurs benadrukken dat je niet alleen kunt zeggen "Ik grijp in op Volume"; je moet ook zeggen "en ik wil weten wat er met de Druk gebeurt." Als je het doelwit vergeet, breekt de wiskunde.

De tijdlus uitrollen

Het artikel pakt ook het tweede grote probleem aan: Cycli.
Standaard kaarten haten lussen. Ze zeggen: "Geen cirkels toegestaan!" Maar in de echte wereld zijn feedbackloops overal. Een thermostaat meet de temperatuur, zet de verwarming aan, die de kamer verwarmt, wat de thermostaat weer meet. Het is een cirkel.

De auteurs stellen een slimme manier voor om dit voor fysieke systemen aan te pakken: Tijd.
Ze argumenteren dat wat lijkt op een magische instantane lus, eigenlijk een snel bewegend proces is dat wij te traag observeren. Als je inzoomt met een super-snelle camera, zie je dat de temperatuurverandering de verwarming een fractie van een seconde later aanzet. De lus is geen cirkel; het is een spiraal die zich door de tijd voortbeweegt.

Om dit uit te leggen, introduceren ze Causale Differentiaalvergelijkingen (CDE's).

• De Transiënte Fase: Wanneer dingen veranderen (zoals het opwarmen van het gas), is het systeem een rechte lijn van oorzaak en gevolg die door de tijd beweegt. Het is een "tijd-uitgerolde" acyclische procedure.
• De Evenwichtsfase: Zodra het systeem tot rust komt (het gas stopt met veranderen), doet de tijd er niet meer toe en houd je de statische Causale Nul over (de vergelijking $PV=nRT$).

Dus het artikel suggereert dat de "lus" slechts een artefact is van het negeren van de tijd. Als je de tijd meeneemt, rolt de lus uit tot een lange, rechte lijn van oorzaak en gevolg. De Causale Nul is slechts de snapshot van die lijn wanneer deze eindelijk tot stilstand is gekomen.

Wat dit betekent voor de toekomst

De auteurs zijn voorzichtig in hun opmerking dat dit een voorstel en een raamwerk is, en geen voltooid, opgelost puzzelstuk. Ze hebben de regels gebouwd voor hoe we deze nieuwe kaarten tekenen en hoe we ze "activeren", maar ze geven toe dat er nog steeds openstaande vragen zijn.

• Ze suggereren dat voor complexe, chaotische systemen (zoals het weer of een stuiterende bal in een chaotische doos), het "evenwicht" misschien geen enkel punt is, maar een wilde, lussen vormende attractor. Ze stellen voor dat we interventies relatief aan deze lussen moeten definiëren, maar dat is nog een open probleem.
• Ze merken op dat hoewel hun "Activation Operator" werkt voor veel natuurkundige wetten, het ontdekken van deze Causale Nulen uit ruwe data (zonder de natuurkunde vooraf te kennen) een uitdaging is voor toekomstig onderzoek.

De Kernboodschap

In eenvoudige bewoordingen zegt dit artikel: "Probeer niet elke relatie in een eenrichtingspijl te dwingen. Sommige relaties zijn simpelweg regels die de boel bij elkaar houden."

Ze geven ons een nieuwe manier om deze regels te tekenen: als neutrale "Causale Nullen" die pas eenrichtingspijlen worden wanneer we expliciet beslissen welke variabele we controleren en welke we meten. En voor de lussen die ons verwarren, herinneren ze ons eraan om op de klok te kijken: als je snel genoeg kijkt, is de cirkel slechts een lijn die zich vooruit beweegt.

Het is een manier om de wiskunde van oorzaak en gevolg passend te maken voor de rommelige, gebalanceerde en soms circulaire realiteit van de fysieke wereld, zonder de logica te breken die de wiskunde juist werkbaar maakt.