🤖 machine learning

Beyond Directed Acyclic Graphs: Causal Zeros and Causal Differential Equations

Cet article étend le cadre des modèles causaux structurels de Pearl au-delà des graphes acycliques dirigés en formalisant les contraintes symétriques comme des « zéros causaux » et en ancrant les boucles de rétroaction dans les équations différentielles causales, permettant ainsi le raisonnement causal pour des systèmes présentant des relations non directionnelles et des cycles dynamiques.

Auteurs originaux : Sergei V. Kalinin

Publié 2026-07-28

📖 8 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Sergei V. Kalinin

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous soyez un détective tentant de résoudre un mystère, mais qu'au lieu de chercher des indices, vous essayiez de comprendre ce qui a causé quoi. Dans le monde de la science et des données, c'est ce qu'on appelle l'inférence causale. Pendant longtemps, le meilleur outil dont disposaient les détectives était un ensemble de règles construites sur des « Graphes Acycliques Dirigés » (GAD ou DAG en anglais). Considérez un DAG comme une carte de rues à sens unique. Elle indique que si vous poussez un domino (la cause), il fera tomber le suivant (l'effet), mais elle interdit strictement au domino de faire revenir le premier en arrière. Cela fonctionne parfaitement pour des choses comme « fumer provoque le cancer du poumon » ou « la pluie mouille l'herbe ». La direction est claire, et la carte est une ligne droite sans boucles.

Cependant, le monde réel est désordonné. Parfois, les choses se produisent en cercle, ou deux choses existent simplement ensemble dans un équilibre parfait sans qu'une seule ne « pousse » l'autre de manière évidente. Pensez à une balançoire à bascule : si vous montez, l'autre personne descend. Mais est-ce votre poids qui a causé sa descente, ou est-ce son poids qui vous a fait monter ? Dans la physique ou l'économie, beaucoup de lois fonctionnent ainsi : ce sont des contraintes symétriques où la direction n'apparaît que lorsque vous décidez de pousser d'un côté. La grande question que cet article traite est la suivante : comment construire la carte d'un détective pour ces relations circulaires, équilibrées ou « à double sens » sans briser les règles de la logique ?

Le problème des rues à sens unique

L'article commence par souligner une fissure dans les fondations du raisonnement causal moderne. Le cadre actuel, considéré comme la « référence absolue », développé par Judea Pearl, est fantastique pour les lignes droites, mais il se heurte à un mur lorsqu'il rencontre les contraintes symétriques.

Imaginez la loi des gaz parfaits, la célèbre équation $PV = nRT$. Elle relie la Pression ( $P$ ), le Volume ( $V$ ) et la Température ( $T$ ). Dans un laboratoire de physique, vous pouvez comprimer un gaz (changer $V$ ) et observer la montée de la pression ( $P$ ). Ou bien, vous pouvez le chauffer (changer $T$ ) et observer la montée de la pression. L'équation fonctionne dans les deux sens. Mais les cartes actuelles à « sens unique » ne peuvent pas gérer cela. Elles vous obligent à choisir une direction avant de commencer. Elles vous forcent à dire : « La pression cause le volume » ou « Le volume cause la pression ». Or, en réalité, aucun des deux n'est le chef ; ils sont simplement partenaires dans une danse. Si vous imposez une direction là où il n'y en a pas, vous risquez de faire une prédiction qui contredit les lois de la physique.

Les auteurs soutiennent que pour de nombreux systèmes physiques — comme les lois des gaz, l'offre et la demande en économie ou les circuits électriques — la relation n'est pas une flèche à sens unique. C'est une contrainte symétrique. C'est une règle qui dit : « Ces variables doivent s'emboîter comme des pièces de puzzle », mais elle ne dit pas quelle pièce est le conducteur et laquelle est le passager.

Entrée en scène le « Zéro Causal »

Pour corriger cela, les auteurs introduisent un nouveau personnage dans l'histoire : le Zéro Causal.

Considérez le Zéro Causal non pas comme une rue, mais comme un champ magnétique ou une feuille de caoutchouc tendue. C'est une relation qui maintient les choses ensemble mais qui n'a pas de direction propre. Dans leur nouvel « Modèle Causal Étendu », ces relations sont dessinées sous forme d'hyperarêtes (un terme sophistiqué pour une connexion à plusieurs voies) plutôt que sous forme de flèches.

Voici le tour de magie : un Zéro Causal reste là, neutre et sans direction, jusqu'à ce que vous effectuiez une intervention. Une intervention est comme un scientifique qui intervient en disant : « Je vais maintenir cette variable fixe ».

L'article propose un nouvel outil appelé l'Opérateur d'Activation. C'est comme un interrupteur qui transforme la feuille de caoutchouc neutre en une rue à sens unique seulement quand vous en avez besoin.

La configuration : Vous avez un Zéro Causal reliant la Pression, le Volume et la Température.
L'intervention : Vous décidez de bloquer le Volume (vous le fixez pour qu'il ne puisse plus changer).
L'activation : Le système demande : « D'accord, puisque le Volume est fixe, quelle variable allons-nous résoudre ? ». Si vous dites : « Résoudre pour la Pression », la feuille de caoutchouc se transforme en une flèche à sens unique : Volume $\to$ Pression. Si vous dites : « Résoudre pour la Température », la flèche s'inverse : Volume $\to$ Température.

L'idée cruciale ici est que la direction n'existe pas tant que vous n'avez pas spécifié ce que vous fixez (le conducteur) et ce que vous résolvez (la cible). Sans nommer la cible, le système reste dans l'incertitude. Les auteurs soulignent que vous ne pouvez pas simplement dire « J'interviens sur le Volume » ; vous devez aussi dire « et je veux savoir ce qu'il advient de la Pression ». Si vous oubliez la cible, les mathématiques s'effondrent.

Dérouler la boucle temporelle

L'article traite également du second grand problème : les Cycles.
Les cartes standards détestent les boucles. Elles disent : « Pas de cercles autorisés ! ». Mais dans le monde réel, les boucles de rétroaction sont partout. Un thermostat mesure la température, allume le chauffage, qui réchauffe la pièce, qui est ensuite mesurée à nouveau par le thermostat. C'est un cercle.

Les auteurs suggèrent une méthode ingénieuse pour gérer cela dans les systèmes physiques : le Temps.
Ils soutiennent que ce qui ressemble à une boucle magique instantanée est en réalité un processus rapide que nous observons trop lentement. Si vous zoomez avec une caméra ultra-rapide, vous verrez que le changement de température cause l'allumage du chauffage une fraction de seconde plus tard. La boucle n'est pas un cercle ; c'est une spirale qui avance dans le temps.

Pour expliquer cela, ils introduisent les Équations Différentielles Causales (EDC).

La Phase Transitoire : Lorsque les choses changent (comme le gaz qui chauffe), le système est une ligne droite de cause à effet se déplaçant à travers le temps. C'est un processus acyclique « déroulé dans le temps ».
La Phase d'Équilibre : Une fois que le système se stabilise (le gaz cesse de changer), le temps n'a plus d'importance, et vous vous retrouvez avec le Zéro Causal statique (l'équation $PV=nRT$).

Ainsi, l'article suggère que la « boucle » n'est qu'un artefact dû au fait d'ignorer le temps. Si vous incluez le temps, la boucle se déroule en une longue ligne droite de cause à effet. Le Zéro Causal n'est que le cliché de cette ligne lorsqu'elle finit par s'immobiliser.

Ce que cela signifie pour l'avenir

Les auteurs précisent bien qu'il s'agit d'une proposition et d'un cadre de travail, et non d'un puzzle terminé et résolu. Ils ont établi les règles pour dessiner ces nouvelles cartes et pour les « activer », mais admettent qu'il reste des questions ouvertes.

Ils suggèrent que pour les systèmes complexes et chaotiques (comme la météo ou une balle rebondissant dans une boîte chaotique), l'« équilibre » pourrait ne pas être un point unique, mais un attracteur sauvage et bouclant. Ils proposent que nous puissions avoir besoin de définir les interventions par rapport à ces boucles, mais cela reste un problème ouvert.
Ils notent que si leur « Opérateur d'Activation » fonctionne pour de nombreuses lois physiques, déterminer comment découvrir ces Zéros Causaux à partir de données brutes (sans connaître la physique au préalable) est un défi pour les recherches futures.

À retenir

En termes simples, cet article dit : « Arrêtez d'essayer de forcer chaque relation dans une flèche à sens unique. Certaines relations sont simplement des règles qui maintiennent les choses ensemble. »

Ils nous donnent une nouvelle façon de dessiner ces règles : sous forme de « Zéros Causaux » neutres qui ne deviennent des flèches à sens unique que lorsque nous décidons explicitement quelle variable nous contrôlons et laquelle nous mesurons. Et pour les boucles qui nous troublent, ils nous rappellent de regarder l'horloge : si vous regardez assez vite, le cercle n'est qu'une ligne avançant vers l'avant.

C'est une façon de faire en sorte que les mathématiques de la cause et de l'effet s'adaptent à la réalité désordonnée, équilibrée et parfois circulaire du monde physique, sans briser la logique qui permet aux mathématiques de fonctionner.

Résumé Technique : Au-delà des Graphes Acycliques Dirigés : Zéros Causaux et Équations Différentielles Causales

Énoncé du Problème
Le cadre des Modèles Causaux Structurels (MCS) de Judea Pearl, fondé sur les Graphes Acycliques Dirigés (DAG) et le calcul do, sert de langage formel dominant pour le raisonnement causal. Cependant, l'article identifie deux limitations structurelles qui empêchent ce cadre de modéliser de manière adéquate certains phénomènes physiques et économiques :

Relations Symétriques Non-Causales : De nombreuses lois physiques fondamentales (par exemple, la loi des gaz parfaits $PV=nRT$, les lois de conservation, les contraintes d'équilibre) sont intrinsèquement symétriques. Elles ne possèdent pas de direction causale intrinsèque ; la direction de la causalité n'émerge qu'en présence d'une intervention. Dans les MCS standards, le graphe causal doit être pré-spécifié avec des arcs dirigés, ce qui rend impossible la représentation de ces contraintes symétriques sans assigner arbitrairement une direction qui n'existe pas dans la physique sous-jacente.
Cycles de Rétroaction : Le cadre des MCS interdit strictement les cycles. Pourtant, la rétroaction est omniprésente dans les systèmes dynamiques (par exemple, la régulation génique, les thermostats), mais les algorithmes de découverte et les règles du calcul do reposent sur l'acyclicité. Les approches existantes des modèles cycliques traitent souvent ces derniers comme des objets statiques ou nécessitent des conditions de résolubilité complexes, ce qui peut occulter la nature temporelle de la rétroaction.

Méthodologie
L'auteur propose un Modèle Causal Étendu (MCE) qui intègre deux extensions principales au cadre de Pearl :

Zéros Causaux : L'article introduit le « zéro causal » comme un objet de premier rang. Un zéro causal est une contrainte symétrique et loi-forme parmi des variables qui se vérifie à l'équilibre, mais qui ne porte aucune orientation causale intrinsèque.
- Opérateur d'Activation : Pour résoudre un zéro causal en un mécanisme dirigé, un « opérateur d'activation » est défini. Cet opérateur nécessite de spécifier à la fois un pilote (driver, la variable fixée de l'extérieur) et une cible (target, la variable résolue).
- Compilation : Lors de l'activation, la contrainte symétrique est compilée en une équation structurelle dirigée standard ( $X_{cible} := g(X_{pilote}, \dots)$ ), convertissant ainsi l'hyperarête en un arc dirigé au sein d'un DAG. Ce processus est soumis à des conditions de résolubilité locale (théorème des fonctions implicites) et d'admissibilité du graphe (garantissant qu'aucun nouveau cycle n'est formé).
Équations Différentielles Causales (EDC) : Pour ancrer ces contraintes statiques et ces cycles dans la réalité physique, l'article introduit les Équations Différentielles Causales.
- Déroulement Temporel (Time Unrolling) : Les cycles instantanés apparents dans les modèles statiques sont traités comme des artefacts d'une suppression du temps. Dans les EDC, la rétroaction est représentée comme un couplage temporel, où le système évolue à travers un processus causal acyclique et déroulé dans le temps.
- Variétés d'Équilibre : Les zéros causaux sont formellement identifiés comme les fonctions définissantes des variétés d'équilibre attractrices du système dynamique sous-jacent. Lorsqu'un système se relaxe vers un état stationnaire, les équations dynamiques se réduisent à la contrainte symétrique (le zéro causal).
- Sémantique de l'Intervention : Le cadre distingue les interventions fortes (remplacement d'équation), les interventions douces (forçage à gain élevé) et les interventions transitoires, montrant comment elles se rapportent à la dynamique de l'EDC.

Contributions Clés

Formalisation des Zéros Causaux : L'article définit les zéros causaux comme des tuples comprenant des variables de contrainte, une fonction de contrainte scalaire lisse et des ensembles de pilotes et de cibles admissibles. Il établit qu'une seule contrainte scalaire détermine exactement une variable donné les autres, ce qui nécessite de nommer explicitement une variable cible lors de l'intervention.
L'Opérateur d'Activation : Un nouvel opérateur est défini qui compile une contrainte non-dirigée en une équation structurelle prédictive. L'article souligne que l'omission de l'étiquette de cible explicite rend l'opération mal posée pour les contraintes impliquant plus de deux variables, corrigeant ainsi une ambiguïté potentielle des propositions antérieures.
Cadre Dynamique Unifié : L'article fournit une correspondance rigoureuse (Théorème 6.1) entre les Systèmes d'Équations Différentielles Causales (SEDC) et les zéros causaux. Il démontre que les MCS réguliers sont un cas particulier où la dynamique se relaxe vers un point stable isolé, tandis que les zéros causaux apparaissent lorsque l'ensemble d'équilibre possède une dimension positive (une variété).
Calcul Do Étendu : L'article esquisse la « Règle 0 » pour l'activation, permettant aux règles du calcul do standard (Règes 1–3) d'être appliquées après l'activation. Il traite également de la sémantique des contre-factuels dans ce cadre étendu, en distinguant les contrastes au sein d'une même loi activée des comparaisons entre modèles.

Résultats et Conclusions Théoriques

Symétrie vs Direction : L'article démontre que les contraintes physiques symétriques (Type I : lois d'équilibre, Type II : lois de conservation) ne sont pas simplement des flèches « manquantes », mais sont fondamentalement des objets différents qui nécessitent une intervention pour acquérir une direction.
Résolution des Cycles : Pour les systèmes à propagation finie et bien posés, les cycles sont montrés comme étant des artefacts de la suppression du temps. Le rétablissement du temps via les EDC produit un processus acyclique où le « cycle » est une projection de la rétroaction temporelle.
Relation avec les Travaux Antérieurs : Le cadre proposé raffine, plutôt qu'il ne remplace, les Modèles de Contraintes Causales (MCC) et les équations d'équilibre étiquetées. Contra contrairement aux MCC, qui traitent les ensembles d'activation comme des filtres d'admissibilité, l'opérateur d'activation proposé compile explicitement la contrainte en une équation structurelle prédictive.
Limites et Problèmes Ouverts : L'article reconnaît que la complétude du calcul do étendu (Règles 0–3) pour les MCE reste une question ouverte. Il note également que pour les systèmes présentant des cycles limites ou des attracteurs étranges, une théorie des « interventions relatives à l'attracteur » (réponses dépendantes de la phase) est requise mais n'est pas encore pleinement développée.

Signification
L'article revendique sa pertinence en comblant un fossé conceptuel dans l'inférence causale où les formalismes standards échouent à intégrer les lois physiques symétriques et les boucles de rétroaction sans hypothèses arbitraires. En introduisant les zéros causaux et en les ancrant dans les équations différentielles causales, le cadre :

Permet de modéliser de manière mathématiquement cohérente la physique de l'équilibre et les identités économiques sans s'engager prématurément sur une direction causale.
Comble le fossé entre les graphes causaux statiques et les systèmes dynamiques, montrant comment les premiers émergent des seconds sous des conditions de relaxation spécifiques.
Offre une représentation plus fidèle de la modélisation scientifique dans des domaines tels que la science des matériaux et la thermodynamique, où l'« intervention » dicte souvent la direction causale d'une contrainte symétrique.

L'auteur positionne ce travail comme un raffinement modeste des programmes causaux existants (spécifiquement les MCC et les MCS à équations d'équilibre étiquetées), offrant un « opérateur d'orientation » spécifique qui gère correctement l'étiquetage de la cible et l'admissibilité, permettant ainsi l'application du calcul causal standard à une classe plus large de systèmes physiques et économiques.

Le problème des rues à sens unique

Entrée en scène le « Zéro Causal »

Dérouler la boucle temporelle

Ce que cela signifie pour l'avenir

À retenir

Articles similaires