Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality

Cet article propose un cadre fondé sur la localité syntaxique et des exigences de cohérence structurelle pour dériver les quasi-probabilités et un calcul conditionnel généralisé à partir de valuations universelles, les présentant ainsi non plus comme de simples outils computationnels mais comme des représentations additives uniques et bien définies.

L'essentiel

🎭 Le Grand Théâtre des Déclarations : Une nouvelle façon de voir les probabilités

Imaginez que vous êtes dans une salle de théâtre. Dans le monde classique (celui de la vie quotidienne), chaque chose sur scène est soit Vraie, soit Fausse. Si je dis « Il pleut », c'est soit vrai, soit faux. La probabilité, dans ce monde, n'est qu'une mesure de notre ignorance : « Je ne sais pas s'il pleut, donc je dis qu'il y a 50 % de chances ».

Mais en physique quantique (le monde des atomes et des particules), les choses sont bizarres. Même si vous savez tout sur un système, vous ne pouvez pas prédire avec certitude ce qui va se passer. La nature elle-même semble avoir un « dé » caché. Pour décrire cela, les physiciens utilisent des outils mathématiques étranges appelés quasi-probabilités.

Le problème ? Ces quasi-probabilités sont souvent traitées comme de simples « astuces de calcul » (des trucs de magicien) plutôt que comme une réalité fondamentale. De plus, quand on essaie de les utiliser pour faire des prédictions (comme le théorème de Bayes), ça coince souvent : ça donne des résultats absurdes ou impossibles à calculer.

C'est là que l'auteur, Jacopo Surace, intervient avec une idée géniale : la Localité Syntaxique.

---

🌍 L'Analogie du « Pays des Mots » (La Localité Syntaxique)

Imaginons que chaque fois que nous parlons, nous sommes dans un petit pays appelé un Univers.

• Dans cet univers, il y a des règles strictes sur ce qu'on peut dire et comment on combine les phrases (c'est la logique).
• Mais aucun de ces petits pays n'est isolé. Chaque petit pays est en fait une pièce dans un immense château appelé l'Univers Ambiant.

Le principe clé : Ce que vous voyez dans votre petite pièce (votre univers local) est une version « filtrée » ou « réduite » de ce qui se passe dans tout le château.

L'auteur dit : « Ne regardons pas seulement les probabilités comme des nombres. Regardons-les comme une valeur que l'on attribue à chaque phrase, un peu comme on attribue une couleur ou un poids à un objet. »

Il appelle cela une Évaluation Universelle. C'est une règle qui donne une valeur (qui peut être un nombre complexe, bizarre, négatif, etc.) à chaque phrase possible.

---

🧱 Les Briques de Construction : Les Principes

Pour que cette évaluation fonctionne partout dans le château, l'auteur impose 5 règles de bon sens (inspirées par la physique) :

1. Le retour au classique : Si on force le système à être simple (vrai/faux), on doit retrouver la logique classique.
2. La déduction locale : Si je connais la valeur de toutes les phrases sauf une, je dois pouvoir deviner la valeur de celle qui manque.
3. L'universalité : Les règles de calcul ne doivent pas dépendre du nom des phrases. Si je change les étiquettes, la logique reste la même.
4. Le maximum de liberté : On ne doit pas inventer de règles cachées. Si quelque chose est possible sans violer les règles, alors c'est permis.
5. La symétrie : Si deux phrases sont indiscernables (comme deux atomes identiques), elles doivent avoir la même valeur.

---

🎁 La Grande Révélation : Les « Pré-Probabilités »

En appliquant ces règles, l'auteur découvre quelque chose de magnifique (le Théorème 1) :

Peu importe la valeur bizarre que l'on attribue aux phrases, on peut toujours la réécrire sous une forme additive.

• Analogie : Imaginez que vous avez une recette de cuisine étrange où les ingrédients se mélangent de façon bizarre. L'auteur vous dit : « Attendez, si vous changez un peu la façon de mesurer les cuillères (un changement de jauge), vous verrez que les ingrédients s'ajoutent simplement les uns aux autres, comme dans une recette normale ! »

Il appelle cette nouvelle forme de mesure une Pré-Probabilité. C'est la version la plus pure et la plus fondamentale de la probabilité, avant même qu'on ne décide si elle est positive ou négative.

---

🎚️ Le Problème du « Réglage » (La Jauge)

Il y a un petit hic : cette transformation n'est pas unique. C'est comme si vous aviez une balance, mais que vous pouviez choisir de la calibrer en grammes, en onces, ou en « unités de magie ».

• Pré-Probabilité : C'est la balance brute. Elle peut donner des nombres bizarres.
• Quasi-Probabilité : C'est quand on fixe le calibrage (on dit « le total doit faire 1 »). On obtient alors les quasi-probabilités classiques (avec des nombres négatifs ou complexes).
• Probabilité Classique : C'est quand, en plus du calibrage, on impose que tous les nombres soient positifs (pas de moins 5 kg).

L'auteur montre que les probabilités classiques ne sont qu'un sous-ensemble spécial des quasi-probabilités : ce sont celles qui restent stables et cohérentes quand on passe d'un grand univers à une petite pièce (un sous-univers).

---

🔄 Le Théorème de Bayes Réinventé

Le plus grand succès de ce papier est de résoudre le casse-tête des conditionnels (le « Si... alors... »).

• Dans l'ancienne méthode, si vous essayiez de calculer une probabilité conditionnelle avec une quasi-probabilité nulle, tout s'effondrait (division par zéro).
• Avec la méthode de l'auteur, on ne divise pas. On synchronise.

Analogie : Imaginez deux agents qui parlent dans deux pièces différentes. Ils utilisent des dialectes légèrement différents (leurs « jauges »). Pour communiquer, ils ne font pas de division magique. Ils ajustent leurs dialectes pour qu'ils correspondent à la langue du château entier (l'univers ambiant). Une fois synchronisés, le théorème de Bayes (qui permet de mettre à jour ses croyances) fonctionne parfaitement, même avec des nombres négatifs ou complexes.

---

🧠 Conclusion : Pourquoi c'est important ?

Ce papier nous dit que :

1. Les probabilités ne sont pas juste une mesure de notre ignorance, mais une propriété intrinsèque des énoncés dans un système logique.
2. Les quasi-probabilités (souvent vues comme des outils mathématiques moches) sont en fait la forme naturelle et fondamentale de la réalité.
3. Les probabilités classiques (positives) ne sont qu'un cas particulier, stable et bien élevé, qui émerge quand on impose certaines conditions de stabilité.

En résumé, l'auteur a construit un pont solide entre la logique pure, la physique quantique et les mathématiques, en montrant que derrière le chaos apparent des nombres complexes, il existe une structure simple et additive, prête à être comprise.

C'est comme si on avait découvert que toute la musique complexe du monde n'est en fait que l'ajout simple de quelques notes de base, à condition de bien accorder les instruments ! 🎻🎹

Résumé technique

1. Problématique et Contexte

Les quasi-probabilités (valeurs complexes ou négatives) sont omniprésentes en physique quantique, notamment pour représenter des états non-classiques ou des distributions de Kirkwood-Dirac. Cependant, leur fondement conceptuel reste flou : elles sont souvent traitées comme de simples outils de calcul, ce qui rend des opérations fondamentales comme le conditionnement et le théorème de Bayes ambigus ou mal définis (par exemple, division par zéro).

L'objectif de cet article est de reconstruire la théorie des quasi-probabilités (et des probabilités classiques) à partir de principes structurels, sans les forcer dans le paradigme classique de l'incertitude épistémique. L'auteur cherche à comprendre les quasi-probabilités comme des objets mathématiques autonomes, dérivés de la structure logique des énoncés, plutôt que comme de simples relaxations des probabilités de Kolmogorov.

2. Méthodologie et Cadre Théorique

La reconstruction repose sur une approche algébrique et logique, centrée sur le concept de Localité Syntaxique (Syntactic Locality).

• Univers Syntaxiques : Les énoncés possibles sont modélisés comme des algèbres de Boole finies ($L$). Un « univers » est un ensemble d'énoncés fermés sous les opérations logiques (conjonction, disjonction, négation).
• Localité Syntaxique : Tout univers est considéré comme un sous-ensemble d'un univers ambiant plus grand. La cohérence des valuations doit être préservée lors des embeddings (plongements) et des restrictions (passage à un sous-univers).
• Valuation Universelle ($V$) : Au lieu d'assigner des probabilités, l'auteur postule une « valuation universelle » $V : L \to \mathbb{C}$ qui attribue une valeur complexe (déterminée) à chaque énoncé. Cette valeur est vue comme une propriété intrinsèque de l'énoncé, analogue à une grandeur physique.

Les Cinq Principes Fondamentaux :
Pour caractériser $V$, l'auteur impose cinq principes structurels :

1. Compatibilité avec la logique propositionnelle classique : La valuation doit se réduire aux valeurs vrai/faux ($\tau, \phi$) dans la limite classique.
2. Ducibilité Locale : La valeur d'un énoncé est déterminée de manière unique par les valeurs de tous les autres énoncés de l'univers (règle de déduction).
3. Universalité : Les règles de déduction ne dépendent que de la structure de l'algèbre de Boole (niveau de l'énoncé), et non des étiquettes spécifiques des énoncés.
4. Réalisation Maximale : L'ensemble des valuations admissibles est le plus grand possible compatible avec les principes (pas de contraintes cachées).
5. La symétrie élimine la liberté de valuation : Si les atomes sont indiscernables (même valeur), la valuation ne peut plus distinguer les énoncés que par leur niveau dans la hiérarchie de l'algèbre. Fixer une valeur sur un énoncé fixe alors tout le reste.

3. Résultats Principaux

A. Théorème de Représentation (Théorème 1)

Le résultat central est que toute valuation universelle admissible $V$ peut être ré-paramétrée en une fonction additive finie sur les joins d'énoncés disjoints.

• Il existe une bijection $\phi : \mathbb{C} \to \mathbb{C}$ telle que $R = \phi \circ V$ satisfait :
  $$R(\bigvee s_i) = \sum R(s_i)$$
  $$R(\neg s) = R(\top) - R(s)$$
• Cette fonction $R$ est appelée pré-probabilité.
• Liberté de jauge : La représentation $R$ n'est pas unique. Elle est définie à une transformation additive près (fonction $a$ satisfaisant l'équation fonctionnelle de Cauchy : $a(x+y)=a(x)+a(y)$). Cela introduit une liberté de « regraduation » (gauge freedom).

B. Définition des Quasi-Probabilités

Les quasi-probabilités émergent comme le cas particulier où cette liberté de jauge peut être fixée canoniquement.

• En restreignant aux univers de dimension sémantique 1 (où toutes les valeurs non nulles sont proportionnelles rationnellement), on peut imposer une normalisation canonique, par exemple $Q(\top) = 1$.
• Cela élimine la liberté de jauge et définit une quasi-probabilité unique $Q$.
• Contrairement à l'approche standard où l'on étend simplement le domaine de Kolmogorov, ici les quasi-probabilités sont dérivées comme la représentation canonique d'une valuation universelle.

C. Théorie Cohérente du Conditionnement

L'un des apports majeurs est la résolution des problèmes de conditionnement des quasi-probabilités (ex: division par zéro).

• Le conditionnement est défini via la restriction à un univers relatif $L_t$ (sous-algèbre générée par un élément $t$).
• Si la restriction d'une quasi-probabilité $Q$ à un sous-univers $L_t$ ne peut pas être normalisée (car $Q(t)=0$), on ne tombe pas dans une indétermination, mais on revient au niveau des pré-probabilités (qui n'ont pas besoin d'être normalisées).
• Cela permet de définir un Théorème de Bayes Généralisé et une Règle de Probabilité Totale qui fonctionnent même lorsque les probabilités conditionnelles classiques sont mal définies. Le théorème de Bayes devient une identité de synchronisation entre les représentations de différentes pré-probabilités.

D. Probabilités Classiques et Stabilité

Les probabilités classiques (non-négatives) sont caractérisées comme la sous-classe des quasi-probabilités qui sont stables sous relativisation.

• C'est-à-dire que si l'on restreint une probabilité à n'importe quel sous-univers (conditionnement), le résultat reste une probabilité valide (non-négative et normalisée).
• Cette stabilité est la propriété distinctive qui sépare les probabilités classiques des quasi-probabilités générales.

E. Dimension Sémantique et Nombres Irrationnels

L'article explore les dimensions sémantiques supérieures ($m > 1$).

• Dans ce cas, les valeurs peuvent avoir des composantes indépendantes sur $\mathbb{Q}$.
• L'auteur soutient que, sans hypothèses de régularité supplémentaires (comme la continuité ou l'holomorphie des fonctions de jauge), les probabilités naturelles sont rationnelles. Les composantes irrationnelles agissent comme des coordonnées sémantiques supplémentaires qui ne peuvent pas être normalisées canoniquement.
• Si l'on impose des conditions de régularité (ex: fonctions holomorphes), la liberté de jauge s'effondre en une simple multiplication scalaire, et les probabilités irrationnelles sont récupérées, mais cela nécessite une hypothèse supplémentaire non dérivée des principes de base.

4. Signification et Implications

• Fondements : Cette reconstruction élève la théorie des quasi-probabilités du statut d'outil de calcul à celui de théorie structurée dérivée de principes logiques et de cohérence.
• Résolution des paradoxes : Elle résout les incohérences du conditionnement en introduisant les pré-probabilités comme l'objet fondamental, avec les quasi-probabilités comme cas normalisé.
• Interprétation Quantique : Elle suggère que les probabilités quantiques ne sont pas simplement des degrés d'incertitude, mais des propriétés structurelles des énoncés dans un univers syntaxique, cohérentes avec la localité syntaxique.
• Critique du Fréquentisme : L'auteur utilise la structure des pré-probabilités pour critiquer le fréquentisme hypothétique (infini), montrant que les probabilités irrationnelles posent des problèmes de cohérence structurelle sans hypothèses de régularité supplémentaires, favorisant une vision finie et rationnelle (proche de de Finetti).

En résumé, l'article propose un cadre unifié où la logique, la cohérence structurelle (localité syntaxique) et l'additivité finie suffisent à dériver la hiérarchie complète des théories probabilistes : des pré-probabilités (les plus générales) aux quasi-probabilités, et enfin aux probabilités classiques (les plus stables).