Approcher le Continu à partir du Discret : une Construction de Produit Tensoriel Infini

Informations Fondamentales

• ID de l'article : 2510.14716
• Titre : Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction
• Auteurs : Antonio Lorenzin (a.lorenzin.95@gmail.com), Fabio Zanasi (University College London)
• Classification : math.CT (Théorie des Catégories), cs.LO (Logique en Informatique)
• Date de publication : 16 octobre 2025 (prépublication arXiv)
• Lien de l'article : https://arxiv.org/abs/2510.14716

Résumé

Le calcul probabiliste a été étudié de plus en plus récemment sous la perspective de l'algèbre catégorique, en particulier par le biais du calcul des diagrammes en chaîne. Bien que les catégories de processus probabilistes discrets et gaussiens aient été largement étudiées avec divers résultats d'axiomatisation, les catégories probabilistes continues plus expressives manquent de compréhension, en raison des difficultés intrinsèques à la description des comportements infinis par des méthodes algébriques.

Cet article établit une construction générale pour adjoindre des produits tensoriels infinis, permettant d'étudier les probabilités continues à partir du cadre discret. Le résultat principal applique cette construction à FinStoch (la catégorie des ensembles finis et des matrices stochastiques), obtenant la catégorie des noyaux de Markov localement constants, dont les objets sont les ensembles finis plus l'espace de Cantor $2^{\mathbb{N}}$. Toute mesure de probabilité sur les nombres réels peut être raisonnée dans cette catégorie. De plus, on montre comment relever les résultats d'axiomatisation par la construction de produits tensoriels infinis, obtenant ainsi une représentation axiomatique des probabilités continues sur la puissance dénombrable de $2=\{0,1\}$.

Contexte et Motivation de la Recherche

Contexte du Problème

L'application des méthodes catégoriques au calcul probabiliste a suscité une attention considérable ces dernières années, s'étendant de la théorie de la décision probante aux graphes aléatoires et au raisonnement actif. Ces méthodes mettent en évidence les structures algébriques sous-jacentes, fournissent une sémantique rigoureuse, renforcent la clarté formelle et la méthodologie combinatoire, et permettent une description intuitive par diagrammes en chaîne.

Problème Central

Bien que les catégories de probabilités discrètes (telles que FinStoch et BinStoch) et gaussiennes aient une axiomatisation complète, l'axiomatisation des diagrammes en chaîne pour les probabilités continues reste une lacune fondamentale. Le défi principal consiste à encoder les comportements infinis directement dans le cadre algébrique existant des diagrammes en chaîne.

Motivation de la Recherche

1. Besoin théorique : Fournir une description catégorique complète des probabilités continues
2. Innovation méthodologique : Connecter les probabilités discrètes et continues par les produits tensoriels infinis
3. Valeur pratique : Fournir des outils algébriques pour le raisonnement probabiliste continu

Contributions Principales

1. Construction générale : Introduction d'une construction générale adjoignant des produits tensoriels infinis à toute catégorie semicartésienne (Théorème 1)
2. Représentation diagrammatique : Fourniture d'une représentation diagrammatique pour les catégories librement générées avec produits tensoriels infinis, utilisant la notation de plaques
3. Caractérisation de FinStoch⊗∞ : Caractérisation de FinStoch⊗∞ par les espaces de Stone et les noyaux de Markov localement constants (Théorème 2)
4. Représentation axiomatique : Fourniture d'une représentation axiomatique de CantorStochlc, la restriction de FinStoch⊗∞ aux puissances de 2 et à l'espace de Cantor 2^ℕ (Corollaire 2)

Détails Méthodologiques

Fondements Théoriques : Catégories Semicartésiennes

Définition 1 : Une catégorie semicartésienne est une catégorie monoïdale symétrique (C,⊗,I) où l'unité monoïdale I est un objet terminal.

Exemples clés :

• FinStoch : Objets = ensembles finis, morphismes = fonctions stochastiques f: X → Y
• BinStoch : Sous-catégorie de FinStoch, objets = puissances finies de 2={0,1}
• BorelStoch : Objets = espaces de Borel standards, morphismes = noyaux de Markov

Définition des Produits Tensoriels Infinis

Définition 2 : Un produit tensoriel infini abstrait est un foncteur X: P_(J)^{op} → C, mappant les sous-ensembles finis F à X_F := ⊗_{j∈F} X_j.

Définition 3 : Un produit tensoriel infini concret X = ⊗_{j∈J} X_j est la limite du produit tensoriel infini abstrait correspondant, et cette limite est préservée par -⊗Y.

Construction Générale C⊗∞

Idée centrale : Définition des morphismes par des familles compatibles (compatible families) satisfaisant :

• Naturalité : Commutation avec les morphismes de projection
• Condition de couverture : Chaque sous-ensemble fini cible a un sous-ensemble fini source correspondant
• Héréditarité : Si (F,G) est dans la famille, alors tous les (F',G) (F' ⊇ F) y sont aussi

Définition 8 : Les morphismes f: X → Y dans C⊗∞ sont des classes d'équivalence de familles compatibles, avec composition définie ponctuellement :

(gf)_{F,H} := g_{G,H} f_{F,G}

Notation de Plaques (Plate Notation)

Pour représenter intuitivement les familles compatibles, on introduit la notation de plaques :

f_{F,G}
─────────  représente le morphisme f: X → Y
(F,G) ∈ Λ_f
  X    Y

Cette notation est similaire à celle utilisée dans les réseaux bayésiens, mais spécialisée pour représenter les familles compatibles.

Théorèmes Principaux

Théorème 1 : Propriétés Universelles

Pour une catégorie semicartésienne C avec suppression d'effacement, il existe une catégorie semicartésienne C⊗∞ avec produits tensoriels infinis et un foncteur monoïdal symétrique strict C → C⊗∞, tel que pour toute catégorie semicartésienne D avec produits tensoriels infinis et tout foncteur monoïdal symétrique φ: C → D, il existe un unique foncteur monoïdal symétrique préservant les ITP φ̃: C⊗∞ → D rendant le diagramme commutatif.

Théorème 2 : Caractérisation par Espaces de Stone

Le foncteur monoïdal symétrique préservant les ITP

φ: FinStoch⊗∞ → StoneStoch^{lc}

est pleinement fidèle, dont l'image essentielle est constituée des produits tensoriels infinis d'ensembles finis au sens des espaces topologiques.

Noyaux de Markov localement constants (Définition 11) : Un morphisme f: X → Y entre espaces de Stone satisfait :

• f(U|-): X → 0,1 est localement constant pour tous les ensembles clopen U
• f(-|x): Clopen(Y) → 0,1 est une mesure de probabilité finiment additive pour tous les x∈X

Configuration Expérimentale et Applications

Cas des Chaînes de Markov

L'article démontre l'application de la notation de plaques par les chaînes de Markov. Une chaîne de Markov homogène en temps peut être représentée comme :

c_n: X → X^n := f ∘ c_{n-1}

Dans le cadre des produits tensoriels infinis, on peut définir une chaîne de Markov infinie c: X → X^ℕ et prouver son invariance sous l'ajout d'une étape préalable :

c_n = c_{n-1} ∘ f = c ∘ f

Résultats Expérimentaux

Capacité Expressive

Résultat clé : CantorStoch^{lc} contient toutes les mesures de probabilité sur ℝ. Ceci est dû au fait que ℝ est un produit tensoriel infini de 2 dans BorelStoch, tandis que 2^ℕ est l'objet correspondant dans CantorStoch^{lc}.

Réalisations Axiomatiques

Corollaire 3 : CantorStoch^{lc} est isomorphe à Free^∞(Σ,E), où (Σ,E) est une théorie monoïdale symétrique de CausCirc.

Cela signifie que cette catégorie de probabilités continues peut être entièrement caractérisée par un nombre fini de générateurs et d'équations.

Travaux Connexes

Théorie Catégorique des Probabilités

• Théorie des catégories de Markov de Fritz et al. 11
• Axiomatisation des probabilités discrètes 21
• Diagrammes en chaîne pour les probabilités gaussiennes 25

Produits Tensoriels Infinis

• Travaux fondateurs de Fritz et Rischel 16
• Applications en probabilités catégoriques 13,14

Innovations de cet Article

Comparé aux travaux existants, cet article fournit pour la première fois une méthode de construction systématique reliant les probabilités discrètes et continues, avec une représentation axiomatique complète.

Conclusions et Discussion

Conclusions Principales

1. Établissement d'une construction générale adjoignant des produits tensoriels infinis
2. Preuve que FinStoch⊗∞ peut être caractérisé comme noyaux de Markov localement constants
3. Fourniture d'une axiomatisation complète des probabilités continues
4. Démonstration d'une approche systématique du discret au continu

Limitations

1. Restrictions de capacité expressive : Impossible de récupérer BorelStoch complet, car les degrés de liberté des fonctions mesurables ne peuvent pas être entièrement capturés par des opérations finies
2. Contrainte de localité constante : Peut seulement traiter les noyaux de Markov localement constants, n'incluant pas tous les processus probabilistes continus
3. Restriction au dénombrable : La construction ne s'applique qu'aux produits tensoriels infinis dénombrables

Directions Futures

1. Extension aux noyaux généraux : Étudier comment décrire les noyaux généraux par les noyaux localement constants
2. Décomposition de mesures : Étudier les constructions universelles garantissant l'existence de conditionnelles dans les catégories de Markov
3. Dualité de Stone : Étudier les morphismes probabilistes entre algèbres booléennes via la dualité de Stone
4. Autres catégories : Application aux probabilités gaussiennes, mélanges gaussiens et autres catégories

Évaluation Approfondie

Points Forts

1. Innovation théorique : Première connexion systématique entre les descriptions catégoriques des probabilités discrètes et continues
2. Construction générale : La construction générale fournie s'applique à toutes les catégories semicartésiennes
3. Outils pratiques : La notation de plaques fournit un outil intuitif pour le raisonnement complexe sur les produits tensoriels infinis
4. Résultats profonds : Preuve que l'espace de Cantor suffit pour représenter toutes les mesures de probabilité sur les nombres réels

Insuffisances

1. Applications limitées : Les cas de chaînes de Markov sont relativement simples, nécessitant des applications plus complexes pour démonstration
2. Complexité computationnelle : Absence de discussion sur les problèmes de complexité dans les calculs pratiques
3. Détails d'implémentation : Manque d'implémentations algorithmiques concrètes et d'outils computationnels

Impact

1. Contribution théorique : Fournit des outils théoriques importants pour la théorie catégorique des probabilités
2. Signification méthodologique : Ouvre une nouvelle approche pour approcher le continu à partir du discret
3. Perspectives d'application : Fournit une base théorique nouvelle pour la programmation probabiliste et l'apprentissage automatique

Scénarios d'Application

1. Recherche théorique : Recherche en théorie des catégories, théorie des probabilités, logique
2. Programmation probabiliste : Fournit une base sémantique plus rigoureuse
3. Apprentissage automatique : Fournit des outils algébriques pour les modèles probabilistes
4. Vérification formelle : Fournit des outils pour l'analyse formelle des systèmes probabilistes

Références

L'article cite 29 références connexes, incluant principalement :

• 11 Fritz, T.: A synthetic approach to Markov kernels (Travail fondateur sur les catégories de Markov)
• 16 Fritz, T., Rischel, E.F.: Infinite products and zero-one laws (Travail original sur les produits tensoriels infinis)
• 21 Piedeleu, R. et al.: A complete axiomatisation of equivalence for discrete probabilistic programming (Axiomatisation des probabilités discrètes)
• 25 Stein, D. et al.: Graphical quadratic algebra (Diagrammes en chaîne pour les probabilités gaussiennes)

Cet article apporte une contribution importante au domaine de la théorie catégorique des probabilités, fournissant une méthode de traitement algébrique systématique des probabilités continues. Bien que le développement ultérieur dans les applications pratiques soit nécessaire, sa valeur théorique et son innovation méthodologique ont une signification profonde et durable.