Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule

Cet article démontre que l'hypothèse d'additivité est indispensable et non déductible d'autres postulats non probabilistes, établissant ainsi qu'il est impossible de dériver la règle de Born sans la postuler explicitement dans les cadres théoriques existants.

L'essentiel

🎲 Le Mystère du Dé Quantique : Pourquoi la "Somme" est Indispensable

Imaginez que l'univers quantique est un immense casino. Dans ce casino, les règles du jeu sont étranges : les particules peuvent être à plusieurs endroits à la fois (comme des fantômes), mais dès qu'un joueur (l'observateur) regarde, le fantôme se fige en un seul endroit.

La question qui tourmente les physiciens depuis 100 ans est la suivante : Comment savons-nous quelle est la probabilité que le fantôme apparaisse ici plutôt que là ?

La réponse officielle, appelée la Règle de Born, dit : "C'est la probabilité est égale au carré de l'amplitude de l'onde." C'est comme si le casino vous disait : "Voici la règle pour gagner, ne posez pas de questions."

Mais les physiciens n'aiment pas les règles données sans explication. Ils veulent savoir : "Peut-on déduire cette règle de probabilité à partir des autres lois de la physique, sans avoir à la postuler ?"

C'est là que l'article de Jiaxuan Zhang intervient. Il joue le rôle d'un détective qui examine les enquêtes précédentes pour voir si elles ont trouvé la vérité. Sa conclusion est surprenante et claire : Non, on ne peut pas déduire la règle du hasard sans ajouter une hypothèse spécifique sur la "somme".

Voici comment il le prouve, avec des analogies simples.

---

1. Les Trois Suspects : Additivité, Non-Contextualité et Normalisation

Pour essayer de prouver la règle du hasard, les chercheurs ont utilisé trois "outils" (ou hypothèses) supplémentaires. L'auteur les compare à trois ingrédients différents dans une recette de gâteau :

1. La Normalisation (Le "Tout" doit faire 100 %) :

   • Analogie : Si vous coupez un gâteau en parts, la somme de toutes les parts doit faire le gâteau entier. En physique, cela signifie que la somme de toutes les probabilités possibles doit être égale à 1 (ou 100 %).
   • Verdict : C'est une règle de bon sens, mais ce n'est pas suffisant pour expliquer comment le hasard fonctionne.

2. La Non-Contextualité (L'indépendance du décor) :

   • Analogie : Imaginez que vous mesurez la température d'une pièce. Que vous utilisiez un thermomètre rouge ou bleu, ou que vous mesuriez en même temps la pression de l'air, la température de la pièce ne devrait pas changer. Le résultat ne dépend pas de "l'histoire" ou du contexte de la mesure.
   • Verdict : C'est une hypothèse très populaire, mais l'auteur montre qu'elle ne suffit pas à créer la probabilité.

3. L'Additivité (La règle de la somme) :

   • Analogie : C'est l'idée que si vous avez deux événements qui ne peuvent pas se produire en même temps (comme "tirer un As" et "tirer un Roi" d'un jeu de cartes), la probabilité de tirer l'un ou l'autre est simplement la somme de leurs probabilités individuelles.
   • Verdict : C'est l'ingrédient secret. C'est celui qui porte en lui la nature même du hasard.

---

2. Le Grand Révélateur : On ne peut pas se passer de la "Somme"

L'auteur a passé en revue les cinq tentatives les plus célèbres pour prouver la Règle de Born (les travaux de Gleason, Busch, Deutsch, Zurek et Hartle). Il a découvert un problème commun : toutes ces tentatives dépendent secrètement ou explicitement de l'hypothèse d'Additivité.

Voici ce qu'il a trouvé pour chaque cas :

• Le Théorème de Gleason (Le Géant Mathématique) :

  • C'est la preuve la plus célèbre. Elle dit : "Si vous voulez que la somme des probabilités d'un jeu de mesures fasse toujours 1, alors vous êtes obligé d'utiliser la Règle de Born."
  • Le problème : Pour que cette preuve fonctionne, il faut déjà accepter que les probabilités s'additionnent. On ne peut pas déduire l'addition à partir de rien. C'est comme essayer de prouver que 1+1=2 en supposant déjà que l'addition existe.

• La Preuve de Deutsch-Wallace (Le Jeu de Décision) :

  • Cette approche utilise la théorie des jeux. Elle dit : "Si un joueur rationnel joue un jeu quantique, il se comportera comme si la règle de Born était vraie."
  • Le problème : En creusant, l'auteur montre que cette preuve cache une hypothèse d'additivité. De plus, elle échoue dans les petits mondes quantiques (dimensions 2), sauf si on ajoute des hypothèses supplémentaires sur la somme.

• La Preuve de Zurek (L'Environnement) :

  • Zurek utilise l'intrication quantique (le lien mystérieux entre particules) pour dire que la symétrie impose la règle de Born.
  • Le problème : Il essaie d'utiliser une version "faible" de l'additivité. L'auteur montre que cette version est trop faible : elle ne garantit pas que la règle fonctionne pour tous les nombres réels, seulement pour des nombres simples (rationnels). Sans l'additivité forte, la preuve s'effondre.

• La Preuve de Hartle (La Fréquence Infinie) :

  • Hartle imagine de répéter l'expérience une infinité de fois pour voir la fréquence des résultats.
  • Le problème : Sa preuve contient une incohérence mathématique lorsqu'on mélange des états différents. L'auteur montre que cette incohérence disparaît uniquement si on ajoute l'hypothèse d'additivité.

---

3. La Conclusion du Détective

L'auteur conclut avec une métaphore puissante :

On ne peut pas faire un gâteau sans farine.

Dans le monde quantique, l'Additivité est la farine.

• La Normalisation est juste le fait de dire "le gâteau doit être entier".
• La Non-Contextualité est juste le fait de dire "le goût ne change pas selon l'assiette".

Mais sans la farine (l'Additivité), vous ne pouvez pas faire le gâteau (la Règle de Born).

L'article démontre que l'Additivité n'est pas une simple conséquence logique des autres lois de la physique. C'est une propriété fondamentale qui porte en elle la graine du hasard.

En résumé :
Si vous voulez expliquer pourquoi l'univers quantique est probabiliste (aléatoire), vous ne pouvez pas le faire uniquement avec des lois déterministes. Vous devez accepter dès le départ que les probabilités s'additionnent. C'est le prix à payer pour avoir un monde quantique qui a du sens.

L'auteur nous dit : "Arrêtons de chercher à déduire le hasard à partir de rien. Le hasard est une brique de base de l'univers, et l'additivité est le ciment qui la tient en place."

Résumé technique

Voici un résumé technique détaillé de l'article « Summing to Uncertainty: On the Necessity of Additivity in Deriving the Born Rule » de Jiaxuan Zhang, présenté en français.

1. Problématique

La nature probabiliste intrinsèque de la mécanique quantique, résumée par la règle de Born, constitue l'un des problèmes les plus profonds et les plus énigmatiques de la physique. Dans le formalisme standard, la règle de Born est postulée comme un axiome séparé de l'évolution déterministe (équation de Schrödinger). De nombreuses tentatives ont été faites pour la dériver comme un théorème à partir d'autres postulats non probabilistes (comme l'évolution unitaire ou la structure de l'espace de Hilbert), notamment dans le cadre de l'Interprétation des Mondes Multiples (MWI).

Cependant, ces dérivations reposent sur des hypothèses supplémentaires souvent implicites et divergentes. Un débat récent (Logiurato et Smerzi) suggérait que l'hypothèse d'additivité (une propriété fondamentale des mesures de probabilité) pourrait être remplacée par l'hypothèse de non-contextualité. L'article de Zhang vise à démontrer que cette substitution est impossible et que l'additivité est une condition sine qua non pour dériver la règle de Born, car elle porte en elle-même une nature probabiliste que les autres postulats ne possèdent pas.

2. Méthodologie

L'auteur adopte une approche rigoureuse combinant l'analyse des fondements mathématiques de la théorie de la mesure et l'examen critique de cinq dérivations majeures de la règle de Born.

• Définitions formelles : Le papier clarifie d'abord les définitions de trois hypothèses clés souvent confondues dans la littérature :
  • Additivité : La propriété selon laquelle la mesure d'une union d'opérateurs compatibles est la somme de leurs mesures individuelles (finie ou dénombrable).
  • Non-contextualité (ONC) : L'indépendance du résultat de mesure par rapport au contexte (les autres mesures compatibles effectuées simultanément).
  • Normalisation : La condition $\mu(I) = 1$. L'auteur distingue la normalisation simple de la « forte normalisation » (qui combine normalisation et additivité).
• Preuves d'indépendance : L'auteur construit des contre-exemples mathématiques pour prouver que l'additivité ne peut pas être déduite de la non-contextualité seule, ni de la normalisation seule.
• Analyse comparative : Le cœur de la méthodologie consiste à réexaminer cinq dérivations historiques et modernes :
  1. Le théorème de Gleason (1957).
  2. L'extension de Busch aux POVM (2003).
  3. La dérivation de Deutsch-Wallace (théorie de la décision, MWI).
  4. La dérivation de Zurek par l'envariance (2003/2005).
  5. La dérivation fréquentiste de Finkelstein-Hartle (1963/1967).

3. Contributions Clés et Résultats

A. Indépendance des hypothèses

L'article démontre formellement que l'additivité et la non-contextualité sont des propriétés indépendantes.

• Réfutation de l'équivalence : L'auteur montre que l'argument de Logiurato et Smerzi, qui prétendait que la non-contextualité implique l'additivité, repose sur une confusion entre la normalisation simple et la « forte normalisation ». Si l'on utilise la forte normalisation (qui inclut déjà l'additivité), la preuve est circulaire.
• Contre-exemples : Des fonctions de mesure sont construites qui satisfont la non-contextualité mais échouent à l'additivité (ex: $\mu(A) = (\text{Tr}[A]/d)^2$), et inversement, des fonctions additives qui échouent à la non-contextualité (ex: la « règle égale » ou Equal rule dans des espaces de dimension finie).

B. Analyse des cinq dérivations

L'auteur révèle le rôle central et indispensable de l'additivité dans chaque tentative de dérivation :

1. Théorème de Gleason : L'additivité (sous forme de fonction de cadre) est le postulat central. Sans elle, la preuve de la régularité et de la continuité de la fonction de mesure s'effondre. La non-négativité est utilisée pour exclure les fonctions additives pathologiques (discontinues), mais l'additivité reste la pierre angulaire.
2. Extension de Busch : Utilise une additivité dénombrable pour les effets POVM. Cette hypothèse forte simplifie la preuve de la continuité et permet de couvrir les espaces de dimension 2, mais elle reste indispensable.
3. Dérivation Deutsch-Wallace : L'auteur montre que l'additivité est implicite dans les postulats de la théorie de la décision (notamment via la somme des récompenses). De plus, la preuve souffre d'un problème de dimensionnalité : elle nécessite un espace de Hilbert de dimension infinie ($\aleph_0$) pour garantir la continuité et éviter des contre-exemples en dimension 2. L'absence d'additivité explicite laisse la porte ouverte à des règles de probabilité non borniennes.
4. Dérivation de Zurek (Envariance) : Zurek tente de remplacer l'additivité forte par une « faible additivité ». L'auteur démontre que cette hypothèse est insuffisante pour garantir la continuité de la fonction de mesure pour les probabilités réelles (seulement rationnelles). De plus, comme pour Deutsch, la preuve échoue en dimension finie sans hypothèse d'additivité supplémentaire.
5. Dérivation de Hartle (Fréquentiste) : L'absence d'hypothèse d'additivité dans la dérivation originale crée une incohérence mathématique lorsqu'on considère des états mixtes (l'état d'ensemble infini n'est pas un état propre de l'opérateur de fréquence). L'ajout d'une hypothèse d'additivité dénombrable résout cette incohérence.

C. Le rôle de la continuité

Un résultat majeur est la clarification du lien entre additivité, non-négativité et continuité. L'auteur rappelle que les fonctions additives peuvent être discontinues (fonctions pathologiques basées sur une base de Hamel). L'hypothèse d'additivité, couplée à la non-négativité, est ce qui force la fonction de mesure à être continue et donc à prendre la forme de la règle de Born ($\text{Tr}[\rho A]$).

4. Signification et Impact

Ce travail apporte une contribution fondamentale à la compréhension de l'origine de la probabilité en mécanique quantique :

• Impossibilité de la dérivation purement déterministe : Il confirme que la règle de Born ne peut pas être déduite uniquement des postulats non probabilistes de la mécanique quantique (évolution unitaire, structure de l'espace de Hilbert). Une hypothèse supplémentaire portant une « charge probabiliste » est inévitable.
• Primauté de l'additivité : L'article établit que l'additivité est l'hypothèse minimale et indispensable. Elle ne peut être remplacée par la non-contextualité ou la normalisation.
• Clarification conceptuelle : En distinguant rigoureusement les différentes formes d'additivité, de non-contextualité et de continuité, l'article élimine les ambiguïtés qui ont longtemps permis de croire à des dérivations « sans probabilité ».
• Implications pour les interprétations : Pour les partisans de l'Interprétation des Mondes Multiples (MWI) qui espéraient dériver la probabilité sans postulats supplémentaires, ce résultat est un obstacle majeur : l'additivité doit être postulée, ce qui signifie que la probabilité est introduite de l'extérieur du formalisme déterministe de base.

En conclusion, Jiaxuan Zhang démontre que l'additivité n'est pas un simple outil mathématique, mais une hypothèse physique nécessaire qui encode la nature probabiliste de la mesure quantique, rendant toute tentative de la dériver uniquement à partir de principes non probabilistes vouée à l'échec.