Résumé technique : La topologie comme logique

Énoncé du problème

L'article traite d'un décalage fondamental entre deux cadres de compréhension des systèmes de traitement de l'information : la logique classique, définie par la manipulation symbolique et les règles d'inférence, et la topologie, définie par les positions géométriques et les connexions. Bien que ces deux domaines semblent catégoriquement différents, tout système de traitement de l'information (des assistants de preuve aux réseaux de neurones) possède un graphe de dépendance. La question de recherche centrale est de savoir si la géométrie de ce graphe de dépendance — spécifiquement sa structure de hubs à travers de multiples couches relationnelles — peut restituer la « logique opérationnelle » du système.

Les auteurs définissent la « logique opérationnelle » non pas comme la reconstruction de la sémantique symbolique ou du contenu des théorèmes, mais comme l'identification de l'organisation structurelle porteuse : les nœuds et les voies spécifiques dont le retrait ou la perturbation provoquerait l'effondrement de l'organisation logique du système.

Méthodologie

L'étude emploie le cadre IRDME (Inter-layer Relationship Discovery and Mapping Engine) et la Loi de Proximité Fonctionnelle (FPL) pour analyser sept substrats indépendants.

Protocole expérimental

• Pré-enregistrement : Les sept expériences ont été pré-enregistrées avec des hypothèses quantitatives explicites avant l'analyse. Les hypothèses ont été hachées et archivées dans un dépôt public afin de garantir la transparence et d'éviter le p-hacking.
• Représentation multicouche : Les systèmes sont modélisés comme des tableaux plats de relations typées par « couche » (par exemple, câblage physique vs état de simulation, imports déclarés vs usage effectif).
• Métriques :
  • Persistance du hub de degré : La corrélation des degrés de nœuds ($k$) à travers les couches.
  • Persistance du hub de centralité d'intermédiarité (betweenness) : La corrélation de la centralité d'intermédiarité ($b$) à travers les couches.
  • Divergence de rang : L'analyse de la manière dont les classements de nœuds dérivent entre les couches pour identifier les frontières structurelles.
• Validation : La signification statistique a été déterminée à l'aide de tests basés sur des permutations (par exemple, le recâblage des arêtes préservant le degré) pour s'assurer que les résultats n'étaient pas des artefacts des séquences de degrés.

Substrats analysés

La base de preuves s'étend sur sept expériences pré-enregistrées à travers divers domaines :

1. Circuits numériques : Un additionneur de propagation de retenue 4 bits (H_LOGIC_DIGITAL_v1) et le benchmark ISAS85 c432 (H_LOGIC_F3_ISCAS85_v1).
2. Mathématiques formelles : Lean 4 mathlib4 (H_LOGIC_EXTRACTION) et Coq Corelib (H_LOGIC_COQ_STDLIB_v1).
3. Logiciel hérité : Code bancaire COBOL (F2).
4. Connectomique neuronale : Analyse trans-espèces de C. elegans à Drosophila (F12c/F13).
5. Chimie prébiotique : Un réseau autocatalytique publié issu de CatReNet (X9 v2).

Résultats clés

1. Le signal de la logique porteuse (Intermédiarité vs Degré)

La découverte méthodologique la plus significative est la divergence entre la logique de densité de connexion (degré) et la logique de charge structurelle (intermédiarité).

• Preuve par circuit numérique : Dans l'additionneur 4 bits, la persistance du hub basée sur le degré entre le câblage physique et les couches de corrélation d'état était faible ($r \approx 0$). Les nœuds d'entrée avaient un fan-in élevé mais un faible poids logique. Inversement, la persistance basée sur l'intermédiarité était forte ($r = 0,771, p = 0,004$). Les nœuds de la « chaîne de retenue » (carry chain), qui sont critiques pour la propagation arithmétique globale, dominaient l'intermédiarité dans les deux couches malgré un degré modéré.
• Validation nulle : Le recâblage des arêtes préservant le degré a confirmé que la corrélation du degré est un artefact des séquences de degrés, tandis que la persistance de l'intermédiarité ($r = 0,762$) restait significativement au-dessus de la distribution nulle ($p < 0,001$), prouvant qu'elle capture une information structurelle spécifique des arêtes.
• Divergence XOR : Les portes XOR ont été classées haut dans le câblage physique mais bas dans la corrélation d'état, démontant que la topologie peut identifier des « portes logiques sans poids logique » dans le calcul global.

2. Réplication cross-substrat

• Mathématiques formelles :
  • Lean 4 : A confirmé une forte géométrie de rôle basée sur l'intermédiarité ($r = 0,777, p = 0,004$), identifiant l'Algèbre et l'Analyse comme des hubs duaux.
  • Coq : A fourni une réplication directionnelle ($r = 0,49$) mais était statistiquement sous-dimensionné ($n=17, p=0,29$).
• Circuits numériques (Réplication d'échelle) : Le benchmark ISAS85 c432 a confirmé l'hypothèse pré-enregistrée du degré ($r = 0,426, p = 0,002$). La découverte de l'intermédiarité ($r = 0,34$) était exploratoire mais cohérente avec les résultats du 4 bits.
• Autres substrats :
  • Neuronal : A montré une grammaire de hubs conservée sur 600 millions d'années d'évolution, avec une divergence de Spearman-Pearson suggérant une conservation de l'ordre de rang (type intermédiarité) plutôt que du nombre absolu de connexions.
  • COBOL et Prébiotique : Ont identifié des structures de hubs conservées dans le code bancaire et les réseaux autocatalytiques, bien que les tailles d'échantillon soient faibles ($n=14$ et $n=13$ respectivement).

Limites

L'article reconnaît explicitement plusieurs contraintes :

• Taille de l'échantillon : Les ensembles de données Coq ($n=17$), COBOL ($n=14$) et prébiotiques ($n=13$) sont de petite taille, ce qui limite la puissance des tests de permutation. Les résultats sont présentés comme des « établis de modèles » plutôt que comme des vérités définitives.
• Nature des données : Les ensembles de données COBOL et prébiotiques sont des modèles structurels représentatifs, et non des données brutes extraites de bases de code uniques ou de mesures de laboratoire humide.
• Lacunes de protocole : Dans l'expérience ISAS85 c432, l'hypothèse pré-enregistrée testait le degré, non l'intermédiarité ; le résultat de l'intermédiarité est donc exploratoire. De même, le résultat de l'intermédiarité pour le 4 bits est post-hoc.
• Indépendance : Les deux expériences de mathématiques formelles (Lean et Coq) utilisent des corpus indépendants, mais les deux expériences Lean (F9 et H_LOGIC_EXTRACTION) utilisent le même corpus.

Signification et affirmations

L'article formule une affirmation modeste, au niveau d'un programme de recherche : la topologie de dépendance encode la logique opérationnelle sous forme de géométrie. Il ne prétend pas que la sémantique symbolique peut être reconstruite à partir de graphes ou que le contenu des théorèmes est inférable de la seule structure des hubs.

Contributions centrales :

1. Géométrie de la logique opérationnelle : Dans les systèmes structurés par dépendance, la géométrie des hubs (spécifiquement la persistance de l'intermédiarité et la divergence de rang) identifie de manière fiable les nœuds « porteurs » que les experts du domaine reconnaissent comme la logique opérationnelle du système (par exemple, la chaîne de retenue dans les circuits, les interneurones de commande en biologie, les modules centraux dans les bibliothèques mathématiques).
2. Distinction de métrique : L'article établit que la centralité d'intermédiarité est la métrique correcte pour détecter la logique porteuse, tandis que le degré mesure souvent une densité de connexion qui peut être trompeuse.
3. Validité cross-domaine : La convergence des hubs identifiés par la topologie avec la logique opérationnelle désignée par les experts à travers le matériel, les mathématiques formelles, les logiciels hérités, les neurosciences et la chimie prébiotique suggère un principe structurel indépendant du substrat.

Les auteurs concluent que la « topologie en tant que géométrie de la logique opérationnelle » est un programme de recherche empiriquement justifié qui mérite des investigations plus approfondies, notamment avec des corpus formels plus vastes et des benchmarks ISAS85 plus étendus, mais qu'il ne s'agit pas encore d'un théorème universel.