Classical Explanations in (and of) General Probabilistic Theories

Cet article introduit une notion d'explication de modèles probabilistes généralisés via des spans dans la catégorie $\Prob$, démontrant que ces explications se composent et que tout modèle probabiliste localement fini admet une explication classique canonique et précise, fournissant ainsi une représentation classique functorielle pour toute théorie probabiliste localement finie.

L'essentiel

🎭 Le Grand Déguisement : Comment le monde classique explique (ou non) le monde quantique

Imaginez que vous essayez d'expliquer un jeu de cartes très étrange (le monde quantique) à un ami qui ne connaît que les jeux de cartes classiques (le monde classique). Le problème ? Dans votre jeu étrange, certaines cartes ne peuvent pas être regardées en même temps sans se "casser". Dans le jeu classique, vous pouvez tout regarder en même temps.

C'est le cœur du problème que traitent Harding et Wilce dans cet article : Peut-on expliquer le monde étrange (quantique) en utilisant les règles du monde normal (classique) ?

1. Le problème : Deux mondes qui ne veulent pas se mélanger

Dans la physique classique, on suppose que si vous avez deux expériences, vous pouvez toujours les faire ensemble pour obtenir un résultat plus précis. C'est comme si vous pouviez mesurer la température et la pression d'une pièce en même temps sans problème.

Mais en mécanique quantique, c'est impossible. C'est comme si mesurer la température changeait la pression, ou si certaines questions ne pouvaient pas être posées ensemble. Les physiciens ont longtemps cherché à dire : "Attendez, il doit y avoir une explication classique cachée derrière tout ça, comme un mécanisme secret."

2. La solution des auteurs : Le "Déguisement" (L'Explication)

Les auteurs proposent une nouvelle façon de voir les choses. Ils disent : "Ok, on ne va pas essayer de forcer le monde quantique à être classique. On va plutôt construire un pont."

Ils utilisent une idée mathématique appelée "l'explication". Imaginez que le modèle quantique est une pièce de théâtre complexe.

• L'explication classique, c'est comme avoir un script caché (un modèle classique) qui contient toutes les possibilités.
• Pour voir le modèle quantique, on prend ce script, on cache certaines parties (on "quotient" le modèle) et on ignore certaines distinctions entre les acteurs.

En gros, ils montrent que n'importe quel modèle probabiliste (même le plus bizarre et quantique) peut être vu comme une version "censurée" ou "simplifiée" d'un modèle classique très grand et très détaillé. C'est comme si le monde quantique était un film projeté sur un écran, et que le modèle classique était la pellicule complète derrière le projecteur.

3. L'usine à "Classicaliser" (La Borelification)

Les auteurs inventent une machine mathématique (un "foncteur") qu'ils appellent Bor.

• Vous prenez n'importe quel système physique (même un atome quantique).
• Vous le passez dans la machine Bor.
• La machine sort un modèle classique parfait qui explique exactement comment le système se comporte.

C'est génial, car cela signifie que, mathématiquement, on peut toujours dire : "Ce système quantique est juste une version classique où on a oublié de regarder certains détails."

4. Le gros hic : L'Enchevêtrement (Le problème de la distance)

C'est ici que ça devient intéressant. Si on peut tout expliquer classiquement, pourquoi sommes-nous encore perplexes ? Pourquoi Einstein disait-il que la mécanique quantique était "étrange" ?

La réponse se trouve dans la localité (la distance).

Imaginez deux amis, Alice et Bob, qui sont à des années-lumière l'un de l'autre.

• Dans un modèle classique "local", ce qui arrive chez Alice ne devrait pas dépendre instantanément de ce que fait Bob.
• Les auteurs montrent que si vous essayez d'expliquer un système quantique enchevêtré (où Alice et Bob sont liés magiquement) avec votre modèle classique, il y a un prix à payer : le modèle classique doit être "non-local".

L'analogie du télégramme :
Pour expliquer l'enchevêtrement quantique avec un modèle classique, votre "script caché" doit contenir des instructions qui disent : "Si Alice fait ceci, Bob doit faire cela, même s'ils sont à l'autre bout de l'univers."
Dans le modèle classique que les auteurs construisent, ces instructions existent, mais elles sont non physiques (elles violent la vitesse de la lumière).

En résumé :

• Vous pouvez expliquer le monde quantique avec un modèle classique.
• MAIS ce modèle classique est "tricheur" : il permet des communications instantanées entre les particules.
• Donc, si vous voulez garder l'idée que rien ne voyage plus vite que la lumière (localité), vous ne pouvez pas avoir d'explication classique.

5. La conclusion philosophique

Les auteurs concluent en disant que tout dépend de ce que vous privilégiez :

1. Option 1 (Le monde est étrange) : Le monde n'est pas classique. Les particules ne sont pas liées par un script caché. L'enchevêtrement est une forme de non-localité réelle.
2. Option 2 (Le monde est classique mais bizarre) : Le monde est régi par un script caché (classique), mais ce script est "non-local". Il faut accepter que l'univers soit connecté instantanément, même si cela semble magique.
3. Option 3 (La définition change) : Peut-être que notre définition de "classique" inclut la localité. Si c'est le cas, alors le monde n'est simplement pas classique.

En résumé très simple

Cet article dit : "Oui, vous pouvez toujours expliquer la physique quantique avec des règles classiques, comme si tout était prédestiné dans un grand livre."

Mais attention ! Pour que ce livre fonctionne, il doit permettre à des informations de voyager instantanément à travers l'univers. Si vous refusez cette idée (si vous croyez que rien ne va plus vite que la lumière), alors le livre n'existe pas, et le monde reste fondamentalement mystérieux et quantique.

C'est un jeu de compromis : soit vous gardez le "classique" (mais vous perdez la localité), soit vous gardez la "localité" (et vous perdez le classique).

Résumé technique

Voici un résumé technique détaillé de l'article « Classical Explanations in (and of) General Probabilistic Theories » de John Harding et Alex Wilce, rédigé en français.

1. Problématique

L'article s'attaque à la question fondamentale de la relation entre les théories probabilistes généralisées (comme la mécanique quantique) et la théorie des probabilités classique.

• Contexte : La théorie classique des probabilités repose sur l'hypothèse tacite que toutes les expériences peuvent être affinées conjointement (compatibilité). La mécanique quantique (MQ) viole cette hypothèse via l'incompatibilité des observables.
• Défi : Comment formaliser une « explication classique » d'un modèle probabiliste non classique ? La littérature existante (approche de la logique quantique ou approche convexe) propose diverses représentations classiques, mais elles sont souvent fragmentées, dépendent de cadres formels spécifiques (contextualité, localité) et ne sont pas toujours équivalentes.
• Objectif : Les auteurs cherchent à fournir une image unifiée et plus générale, capable de traiter des modèles probabilistes abstraits sans hypothèses restrictives (comme la tomographie locale ou la dimension finie), et d'analyser rigoureusement comment ces explications classiques interagissent avec la composition de systèmes et l'intrication.

2. Méthodologie

Les auteurs adoptent une approche catégorielle et structurelle :

• Cadre Catégoriel (Prob) : Ils définissent une catégorie Prob dont les objets sont des « modèles probabilistes » (PM) et les morphismes sont des applications préservant la structure des tests et des états.
  • Un modèle probabiliste est défini par un couple $(M, \Omega)$, où $M$ est un « espace de test » (une collection d'ensembles d'issues d'expériences possibles) et $\Omega$ est un ensemble de poids de probabilité (états) sur ces tests.
• Définition de l'Explication : Une explication d'un modèle $A$ par un modèle $B$ est définie comme un spécifique type de span (diagramme en fourche) dans la catégorie Prob :
  $$C \xrightarrow{q} A \quad \text{et} \quad C \xrightarrow{e} B$$
  où $q$ est un morphisme de quotient (surjectif sur les tests et les états) et $e$ est un plongement (embedding). Intuitivement, $C$ est un modèle « intermédiaire » qui explique $A$ en ignorant certaines distinctions (quotient) et qui est lui-même expliqué par $B$ (le modèle classique) via un plongement.
• Construction du Pullback : Bien que la catégorie Prob ne possède pas de limites projectives (pullbacks) arbitraires, les auteurs montrent que les pullbacks existent pour les compositions de quotients et de plongements, permettant ainsi de composer les explications de manière associative (à isomorphisme canonique près).
• Borelification : Ils construisent un foncteur endo-foncteur Bor : Prob → Prob. Pour tout modèle probabiliste localement fini $A$, ce foncteur produit un modèle classique de Borel $Bor(A)$ qui sert d'explication canonique.

3. Contributions Clés

1. Unification des approches : Le cadre proposé englobe à la fois l'approche de la logique quantique (treillis orthomodulaires) et l'approche convexe (ensembles convexes d'états) comme cas particuliers.
2. Théorème d'Explication Canonique : Ils prouvent que tout modèle probabiliste localement fini admet une explication classique canonique et précise (sharp).
   • La construction passe par le « recouvrement semi-classique » ($\tilde{A}$) du modèle, qui rend les tests commutatifs, puis par l'immersion de ce recouvrement dans un modèle de Borel basé sur l'ensemble de ses états « dispersion-free » (sans dispersion).
3. Fonctorialité : La construction de l'explication est fonctorielle. Toute théorie probabiliste (un foncteur $M : \mathcal{C} \to \text{Prob}$) possède une représentation classique canonique $Bor \circ M$.
4. Lien avec les modèles ontologiques : Ils établissent un lien formel entre leurs explications classiques et les modèles ontologiques (représentations de Beltrametti-Bugajski et cadres de modèles ontologiques). Une explication classique précise correspond à un modèle ontologique non contextuel et précis.

4. Résultats Principaux

• Existence d'une représentation classique : Pour tout modèle $A$ localement fini, il existe un modèle de Borel classique $Bor(A)$ et un diagramme d'explication $(C, q, e)$ tel que $A$ est un quotient de $C$ et $C$ est plongé dans $Bor(A)$.
• Comportement des systèmes composites et de l'intrication :
  • Si un système composite $AB$ admet une explication classique locale (au sens de Bell), alors tous ses états doivent être séparables en tant que poids de probabilité conjoints.
  • Théorème de Bell généralisé : Les auteurs montrent que les poids de probabilité intriqués (non séparables) n'ont aucune explication classique locale, même dans leur cadre très généreux.
  • Distinction Cruciale : Ils distinguent la séparabilité des poids de probabilité (structures mathématiques sur les tests) de la séparabilité des états (éléments de l'espace d'états $\Omega$).
    • L'explication classique canonique représente les états non-signaux (non-signalling) d'un système composite comme des moyennes pondérées de poids de probabilité dispersion-free qui sont, eux, signaux (violation de la non-signalement).
    • Cela signifie que l'explication classique « brise » la condition de non-signalement au niveau des états fondamentaux (dispersion-free) pour reconstruire les états physiques observables.
• Localité et Tomographie : L'article clarifie que la tomographie locale (la capacité de déterminer l'état global par des mesures locales) n'est pas requise pour l'existence d'une explication classique, mais elle est cruciale pour la nature de l'intrication dans cette explication.

5. Signification et Implications

• Clarification du théorème de Bell : L'article démontre que le théorème de Bell ne nie pas l'existence d'une représentation classique globale, mais qu'il impose une incompatibilité entre la localité et la classicalité (au sens de modèles ontologiques non contextuels et précis).
• Interprétations Philosophiques : Les auteurs proposent trois attitudes raisonnables face à ce résultat :
  1. Le monde est non-classique car les observables non commutatifs ne sont pas conjointement testables. L'intrication est une forme de non-localité.
  2. Le monde est classique mais non-local : les poids de probabilité dispersion-free (qui sont signalants) constituent une ontologie cohérente, et le fait que les états observés soient non-signaux est une « fine-tuning » de la structure du monde.
  3. La localité fait partie intégrante de la définition de la classicalité ; le monde est donc non-classique précisément parce qu'il est non-local.
• Généralité Mathématique : La force de l'article réside dans sa capacité à traiter des modèles infinis, non locaux et sans hypothèse de tomographie locale, offrant un cadre mathématique robuste pour discuter des fondements de la théorie quantique au-delà des cas finis standards.

En résumé, Harding et Wilce démontrent que toute théorie probabiliste peut être « classiqueisée » via un foncteur canonique, mais que cette opération révèle que la non-localité (ou l'intrication) est inhérente à la structure des modèles quantiques, car elle force les explications classiques à utiliser des composants fondamentaux qui violent la condition de non-signalement.