Comment on "Quantum theory based on real numbers cannot be experimentally falsified": On the compatibility of physical principles with information theory for fermions

Cet article démontre que le postulat physique proposé pour exclure la théorie quantique sur les nombres réels échoue dans le cadre de la théorie de l'information fermionique, révélant ainsi que ce principe n'est pas général et soulignant la nécessité de confronter les fondements théoriques aux systèmes fermioniques.

L'essentiel

🎭 Le Grand Débat : Le Monde est-il fait de "Vrais" ou de "Complexes" ?

Imaginez que vous essayez de construire une maison (la théorie de la physique) avec des briques.
Depuis toujours, les physiciens utilisent des briques spéciales appelées nombres complexes (des nombres avec une partie "réelle" et une partie "imaginaire", un peu comme une flèche qui a une longueur et une direction). C'est ce qu'on appelle la Théorie Quantique Standard.

Mais récemment, certains chercheurs se sont demandé : "Et si on pouvait construire cette maison uniquement avec des briques simples, des nombres réels ?"
C'est là que le débat s'est allumé.

🧱 Les deux façons de construire avec des briques réelles

Les auteurs du texte original (Hoffreumon et Woods) ont proposé une règle pour choisir la bonne façon de construire avec des nombres réels. Ils ont dit :

"Si deux personnes préparent des objets séparément, sans se parler, les résultats de leurs mesures doivent être totalement indépendants l'un de l'autre."

C'est une règle logique, n'est-ce pas ? Si je prépare une balle rouge ici et que vous préparez une balle bleue là-bas, mes mesures sur ma balle ne devraient pas dépendre de vos mesures sur la vôtre.

Grâce à cette règle, ils ont éliminé une version "bête" de la théorie (appelée $T^R_1$) et ont gardé une version plus subtile (appelée $T^R_2$) qui fonctionne exactement comme la théorie standard. Ils ont conclu : "Avec cette règle, on n'a pas besoin de nombres complexes, la théorie réelle suffit !"

🐟 Le Problème : Et les Poissons ? (Les Fermions)

C'est ici que l'équipe de l'article que vous avez fourni (Moradi Kalarde, Xu et Renou) intervient avec un "Stop !".

Ils disent : "Attendez une minute. Votre règle fonctionne bien pour les objets classiques ou les particules qu'on peut distinguer (comme des billes différentes). Mais qu'en est-il des fermions ?"

Les fermions, ce sont des particules fondamentales comme les électrons qui composent toute la matière autour de nous. Ils ont une règle bizarre : on ne peut pas les étiqueter individuellement. C'est comme si vous aviez deux jumeaux identiques dans une pièce sombre. Vous ne pouvez pas dire "c'est le jumeau A" ou "c'est le jumeau B". Ils sont indiscernables.

Dans le monde des fermions, il existe une règle de sécurité appelée la règle de super-sélection de parité. En gros, c'est comme si l'univers interdisait de mélanger certains types d'états quantiques, un peu comme si vous ne pouviez pas mélanger du lait et de l'huile sans qu'ils ne se séparent.

🕵️‍♂️ L'Expérience de Pensée : Le Casse-tête Quantique

Les auteurs de cet article ont créé un scénario simple pour prouver que la règle des chercheurs originaux échoue avec les fermions.

Imaginez deux fermions, disons deux électrons, partagés entre deux personnes, Alice et Bob.

1. L'état "Indépendant" : Alice et Bob préparent chacun leur électron séparément.
2. L'état "Mélange" : Il existe un état spécial (appelé $\rho_{AB}$ dans le texte) qui est un mélange de deux états intriqués.

Le paradoxe :

• Si Alice et Bob regardent leurs électrons séparément, ils voient exactement la même chose que s'ils avaient préparé leurs électrons indépendamment. Leurs mesures sont indépendantes (comme le veut la règle).
• MAIS, en réalité, cet état ne peut PAS être préparé indépendamment ! C'est comme si vous aviez mélangé deux cartes dans un jeu, mais que, en regardant chaque carte séparément, elles semblaient avoir été tirées au hasard.

L'analogie du Magicien :
Imaginez un magicien qui prépare deux cartes.

• Si vous regardez la carte de gauche, c'est un As.
• Si vous regardez la carte de droite, c'est un Roi.
• Vous pensez qu'ils sont indépendants.
• Mais en réalité, le magicien a utilisé un tour de passe-passe (la règle de parité des fermions) pour créer une connexion invisible entre les deux cartes.
• Pour un observateur extérieur qui ne peut pas voir le "tour de passe-passe" (les mesures locales), les cartes semblent indépendantes. Mais elles ne le sont pas vraiment.

💡 La Conclusion Simple

Les auteurs disent : "Votre règle 'l'indépendance opérationnelle = préparation indépendante' est fausse pour les fermions."

Puisque les fermions existent partout dans l'univers (c'est nous, c'est la matière), une règle physique "générale" doit fonctionner pour eux. Si elle échoue pour les électrons, elle n'est pas une loi universelle.

En résumé :

1. Les chercheurs originaux voulaient prouver que la physique peut se faire sans nombres complexes.
2. Ils ont utilisé une règle logique pour y arriver.
3. L'équipe de cet article a dit : "Cette règle ne marche pas pour les électrons (fermions) à cause de leur nature indiscernable."
4. Donc, on ne peut pas encore affirmer que la physique réelle (sans nombres complexes) est la bonne, car la règle utilisée pour la choisir est imparfaite.

La leçon à retenir :
En physique, comme en cuisine, une recette qui marche pour le gâteau au chocolat (les systèmes simples) ne fonctionne pas forcément pour le soufflé au fromage (les systèmes complexes comme les fermions). Il faut toujours vérifier que les règles s'appliquent à tous les ingrédients de l'univers, pas seulement aux plus faciles à manipuler.

Résumé technique

1. Problématique

L'article s'attaque à un débat fondamental en théorie de l'information quantique : la nécessité des nombres complexes dans la formulation de la mécanique quantique. Récemment, des travaux (notamment [1] et [2]) ont tenté de reconstruire la théorie quantique sur des espaces de Hilbert réels ($T^R_1$ et $T^R_2$).

• Le contexte : La théorie $T^R_1$ (théorie quantique réelle standard) est falsifiable car elle ne reproduit pas toutes les prédictions de la théorie quantique standard (QIT). La théorie $T^R_2$ (basée sur le travail de Stueckelberg) est opérationnellement équivalente à la QIT standard et n'est donc pas falsifiable.
• L'objectif de [1] : Les auteurs de [1] proposent un Postulat 1 pour sélectionner $T^R_2$ comme la formulation correcte sur les réels. Ce postulat stipule que : « La seule hypothèse motivée expérimentalement pour définir une préparation indépendante est l'indépendance opérationnelle : dans une formulation réelle, la préparation indépendante doit coïncider avec l'indépendance opérationnelle. » Autrement dit, si toutes les mesures locales produisent des distributions de probabilité factorisées (produit), l'état doit être considéré comme préparé indépendamment (produit tensoriel).
• La question centrale : Ce postulat, bien qu'efficace pour distinguer $T^R_1$ de $T^R_2$ dans le cadre de la QIT standard (particules distinguables), est-il un principe physique général valable pour tous les systèmes physiques, y compris les fermions identiques ?

2. Méthodologie

Les auteurs adoptent une approche de réfutation par contre-exemple en se concentrant sur la Théorie de l'Information Fermionique (FIT).

• Cadre théorique (FIT) : Ils utilisent la FIT, le cadre standard décrivant l'information encodée dans la présence ou l'absence de fermions identiques. Ce cadre est régi par la règle de super-sélection de parité, qui interdit les superpositions cohérentes entre états de nombre de fermions pair et impair.
• Construction du contre-exemple :
  1. Ils considèrent deux modes fermioniques $A$ et $B$.
  2. Ils définissent un état mixte $\rho_{AB}$ comme une mélange statistique de deux états de Bell de parités opposées (pair et impair) :
     $$\rho_{AB} = \frac{1}{2} (|\phi^+\rangle\langle\phi^+| + |\psi^+\rangle\langle\psi^+|)$$
     où $|\phi^+\rangle$ et $|\psi^+\rangle$ sont des états intriqués respectivement de parité paire et impaire.
  3. Ils analysent cet état sous deux angles :
     • Préparation indépendante : Peut-il être écrit comme un produit tensoriel $\rho_A \otimes \rho_B$ où $\rho_A$ et $\rho_B$ respectent la règle de super-sélection de parité ?
     • Indépendance opérationnelle : Les probabilités de résultats de mesures locales factorisent-elles ? C'est-à-dire, est-ce que $P(a,b) = P(a)P(b)$ pour toutes les mesures locales autorisées ?

3. Résultats Clés

Les auteurs démontrent que le Postulat 1 échoue dans le cadre de la FIT :

1. Non-préparation indépendante : L'état $\rho_{AB}$ est séparable, mais toute décomposition séparable implique des états locaux qui violent la règle de super-sélection de parité. Par conséquent, $\rho_{AB}$ ne peut pas être préparé localement et indépendamment dans la FIT.
2. Indépendance opérationnelle : En raison de la règle de super-sélection, les observables locales autorisées doivent commuter avec l'opérateur de parité. Les auteurs montrent que, pour tout état $\rho_{AB}$ soumis à cette règle, l'effet des mesures locales est équivalent à celui de l'état maximement mélangé $\frac{I_{AB}}{4}$ (après moyennage par l'opération de "twirling" de parité).
   • Le calcul montre que : $\text{Tr}[(M_a \otimes M_b)\rho_{AB}] = \text{Tr}[(M_a \otimes M_b)\frac{I_{AB}}{4}] = P(a)P(b)$.
   • Ainsi, $\rho_{AB}$ est opérationnellement indépendant (les mesures locales ne révèlent aucune corrélation).
3. La contradiction : L'état $\rho_{AB}$ est opérationnellement indépendant mais n'est pas préparé indépendamment. Cela viole directement le Postulat 1, qui exige une équivalence entre les deux concepts.

Généralisation :
Les auteurs soulignent que ce mécanisme n'est pas spécifique aux fermions mais s'applique à toute théorie avec des règles de super-sélection (conservation du nombre de particules, charge, anyons, etc.). Dans ces théories, l'ensemble restreint d'opérations locales autorisées ne permet pas de distinguer un état préparé localement d'un état non-local, rendant le Postulat 1 invalide comme principe universel.

4. Contributions et Signification

• Refutation d'un principe fondamental : L'article démontre que le Postulat 1 proposé par [1] n'est pas un principe physique général, car il est incompatible avec la théorie fermionique, pourtant bien établie.
• Limites de la reconstruction de la QIT : Cela remet en question les tentatives de dériver la structure de la théorie quantique (réelle ou complexe) uniquement à partir de principes d'indépendance opérationnelle, sans tenir compte des contraintes physiques spécifiques aux particules identiques.
• Lien avec la tomographie locale : Dans l'Annexe C, les auteurs établissent un lien théorique crucial : l'équivalence entre l'indépendance opérationnelle et la préparation indépendante n'est vraie que si la théorie est localement tomographique.
  • La QIT standard et $T^R_2$ sont localement tomographiques.
  • La FIT et $T^R_1$ ne le sont pas (il existe des états globalement distincts mais indistinguables par des mesures locales).
  • Par conséquent, l'échec du Postulat 1 dans la FIT est une conséquence directe de son manque de tomographie locale.
• Implications pour d'autres travaux : Les auteurs notent que d'autres travaux récents ([3], [4]) tentent de reconstruire la QIT via des postulats alternatifs (Postulat 2). Ils soulignent que ces postulats, basés sur la décomposition de sous-systèmes distinguables, ne sont pas immédiatement applicables aux particules indiscernables et nécessitent une justification spécifique dans le cadre de la seconde quantification.

Conclusion

L'article conclut que toute proposition de principe physique général pour fonder la théorie quantique doit être testée contre la gamme complète des théories physiques connues, y compris celles impliquant des particules indiscernables et des règles de super-sélection. L'intuition derrière le Postulat 1, qui semble naturelle dans le cadre de la QIT standard (particules distinguables), échoue face à la réalité physique des fermions, suggérant que la structure de la théorie quantique sur les réels ne peut être déduite uniquement de l'indépendance opérationnelle sans considérer la tomographie locale.