Quantum theory based on real numbers cannot be experimentally falsified

Cet article démontre que, dès lors que l'indépendance des sources est définie de manière opérationnelle, la théorie quantique réelle est empiriquement indiscernable de la théorie quantique standard, rendant ainsi la première impossible à falsifier expérimentalement.

L'essentiel

🌌 Le Grand Dilemme : Le Monde est-il fait de "Nombres Réels" ou de "Nombres Complexes" ?

Imaginez que l'univers soit une immense partition de musique.

• La Théorie Quantique Standard (QT) dit que cette musique est écrite avec des nombres complexes. C'est comme si la partition utilisait non seulement des notes (les nombres réels), mais aussi des "ombres" ou des phases invisibles (les nombres imaginaires, notés i) qui donnent à la musique sa richesse et sa profondeur.
• La Théorie Quantique Réelle (RQT) suggère qu'on pourrait tout écrire uniquement avec des nombres réels, en supprimant les "ombres" imaginaires.

Depuis des décennies, les physiciens se demandent : Est-ce que ces "ombres" imaginaires sont indispensables ? Si on les enlève, la musique (la réalité) sonne-t-elle différemment ?

🕵️‍♂️ L'Enquête : Le Cas "Renou et al."

Récemment, une équipe (Renou et al.) pensait avoir trouvé la preuve que les nombres complexes sont indispensables. Ils ont imaginé une expérience avec trois amis (Alice, Bob et Charlie) et deux sources de particules indépendantes.
Leur raisonnement était le suivant :

"Si le monde est régi par des nombres réels, il y a une limite à la façon dont Alice, Bob et Charlie peuvent être corrélés. Si on observe des corrélations plus fortes que cette limite, alors le monde doit utiliser des nombres complexes."

Des expériences ont même été faites et semblaient confirmer que les nombres complexes étaient nécessaires, invalidant ainsi la théorie des nombres réels.

🧩 La Révolution : Le Détour par l'Indépendance

Dans cet article, Hoffreumon et Woods disent : "Attendez, il y a un piège !"

Leur découverte repose sur une distinction subtile mais cruciale entre deux façons de définir "l'indépendance" de deux sources :

1. L'indépendance mathématique (Produit) : C'est comme dire que deux sources sont indépendantes parce que leurs équations mathématiques ne se touchent pas. C'est une règle du jeu théorique.
2. L'indépendance opérationnelle (Observable) : C'est ce que nous pouvons voir en pratique. Si deux sources sont indépendantes, les résultats de leurs mesures ne doivent jamais montrer de lien entre eux.

L'analogie du "Fantôme Invisible" :
Imaginez deux sources de particules comme deux magiciens séparés par un mur.

• Dans la théorie standard (nombres complexes), si les magiciens sont indépendants, leurs cartes sont totalement déconnectées.
• Dans la théorie réelle (nombres réels), il existe un type de "cartes fantômes". Mathématiquement, ces cartes semblent liées (elles ne sont pas un simple produit), mais aucun observateur local ne peut jamais détecter ce lien. C'est comme si les magiciens avaient un lien secret, mais que ce lien était invisible à tous les yeux qui ne regardent pas à travers un verre spécial (que nous n'avons pas).

🏆 La Conclusion : L'Indistinguabilité

Les auteurs prouvent que :

• Tant que nous ne violons pas les règles de la physique quantique standard (c'est-à-dire tant que nous ne voyons pas de "magie" impossible), la théorie des nombres réels peut imiter parfaitement la théorie des nombres complexes.
• L'expérience de Renou et al. échouait parce qu'elle supposait que les sources indépendantes devaient être "mathématiquement pures" (produit strict). Mais en physique, on ne peut vérifier que l'indépendance "observable".
• Une fois qu'on accepte cette définition plus large (l'indépendance observable), la théorie des nombres réels peut reproduire exactement les mêmes résultats que la théorie complexe, même dans les réseaux les plus complexes et les séquences d'expériences les plus longues.

💡 Ce que cela change pour nous

1. On ne peut pas "prouver" que les nombres complexes sont nécessaires. Tant que nos expériences respectent les prédictions de la physique quantique actuelle, nous ne pourrons jamais dire : "Aha ! La théorie réelle est fausse !" car elle peut toujours se déguiser pour ressembler à la théorie complexe.
2. Deux mondes, une seule réalité. Cela signifie que l'univers pourrait être décrit par une théorie où les corrélations sont beaucoup plus nombreuses et cachées que ce qu'on pense (la théorie réelle), mais que notre capacité à les observer est limitée. C'est comme regarder un film en noir et blanc : on voit l'image (les statistiques), mais on ne sait pas si derrière l'écran, il y a une projection en couleurs (nombres complexes) ou une projection en noir et blanc avec des filtres cachés (nombres réels).
3. Sécurité ? Cela soulève une question pour la cryptographie. Si le monde est régi par la théorie réelle, il pourrait exister des corrélations cachées que nous ne pouvons pas détecter, ce qui pourrait théoriquement compromettre certains protocoles de sécurité conçus pour la théorie complexe.

En résumé : La physique quantique basée sur les nombres réels n'est pas "fausse" ou "prouvée". Elle est simplement indistinguable de la version complexe tant que nous restons dans les limites de ce que nous pouvons observer. Le débat ne se résout pas dans le laboratoire, mais dans la façon dont nous interprétons ce que nous voyons.

Résumé technique

1. Problématique

La question centrale de la physique fondamentale est de savoir si les nombres complexes sont indispensables à la formulation de la mécanique quantique standard (QT). La Théorie Quantique Réelle (RQT) est une variante de la QT où les amplitudes complexes sont remplacées par des nombres réels, tout en conservant la règle de composition standard (produit de Kronecker).

Historiquement, la RQT reproduit toutes les corrélations de Bell (single-party et bipartite) de la QT. Cependant, une différence structurelle majeure existe : la RQT n'est pas localement tomographique. Cela signifie que l'état d'un système multipartite ne peut pas être entièrement reconstruit à partir des statistiques de mesures locales uniquement.

Récemment, Renou et al. (2021) ont affirmé que la RQT pouvait être falsifiée expérimentalement sans invalider la QT. Leur argument reposait sur un scénario de réseau bilocal (échange d'intrication) où, en supposant que les sources indépendantes produisent des états produits réels (produit de Kronecker), une inégalité de type Bell serait violée par la QT mais respectée par la RQT. Des expériences ont ensuite confirmé la violation de cette borne réelle, suggérant que la distinction entre QT et RQT était observable.

Le problème identifié par les auteurs : Cette conclusion repose sur une hypothèse non testable expérimentalement. Elle confond deux notions distinctes d'indépendance des sources :

1. Indépendance par état produit (Product-state independence) : Une contrainte mathématique exigeant que l'état global soit un produit tensoriel $\rho_X \otimes_K \rho_Y$.
2. Indépendance opérationnelle (Operational independence) : Une contrainte physique observable exigeant l'absence de corrélations croisées dans les statistiques de mesures locales ($p(a,b) = p(a)p(b)$).

Dans la QT, ces deux notions coïncident. Dans la RQT, elles divergent : il existe des états réels qui ne sont pas des produits tensoriels (donc "intriqués" dans la représentation matricielle) mais qui sont opérationnellement indépendants (ils ne génèrent aucune corrélation observable localement). L'hypothèse de Renou et al. impose une contrainte mathématique (produit de Kronecker) qui n'est pas justifiée par l'expérience.

2. Méthodologie

Les auteurs développent une preuve mathématique rigoureuse pour démontrer que, dès lors que l'on impose l'indépendance des sources de manière opérationnelle (et non par une hypothèse de produit de Kronecker), la RQT peut reproduire exactement toutes les statistiques observables de la QT.

La méthodologie repose sur plusieurs piliers techniques :

• Introduction de la RNQT (Real-Number Quantum Theory) : Les auteurs utilisent une théorie isomorphe à la QT, appelée RNQT, qui utilise des règles de composition de produit tensoriel modifiées ($\otimes_R$ et $\otimes_{R^*}$) pour gérer la structure complexe de manière réelle.
• Mapping Standard (Standard Mapping) : Utilisation d'un homomorphisme d'algèbre $\Gamma$ qui mappe les matrices complexes $d \times d$ vers des matrices réelles $2d \times 2d$. Ce mapping préserve les produits internes, la positivité et la trace (à un facteur près).
• Extension aux réseaux multilocaux : Le défi principal est de montrer que ce mapping fonctionne pour des réseaux avec plusieurs sources indépendantes. Les auteurs démontrent que les états produits dans la RNQT (qui sont isomorphes aux états produits de la QT) correspondent, dans la RQT, à des états qui sont opérationnellement indépendants mais qui ne sont pas nécessairement des produits de Kronecker ($\otimes_K$).
• Propriété de "Contamination" (Contamination Property) : Une propriété clé démontrée est que si un état initial est dans l'image de la QT (un état "spécial" commutant avec une structure complexe $J$), il peut "contaminer" les produits de Kronecker des effets de mesure pour les transformer en produits $R$ ($\otimes_R$) lors du calcul des probabilités (via la règle de Born). Cela permet de remplacer les règles de composition complexes par des règles réelles sans changer les statistiques.
• Généralisation aux protocoles séquentiels : La preuve est étendue aux protocoles impliquant des canaux quantiques et des mesures adaptatives successives, en montrant que chaque étape (canal ou mesure) peut être traduite individuellement en RQT tout en préservant la structure de localité.

3. Contributions Clés

1. Distinction Conceptuelle : Identification claire que l'indépendance des sources doit être définie opérationnellement (absence de corrélations observables) et non par la forme mathématique de l'état (produit de Kronecker).
2. Théorème 1 (Réseaux Statiques) : Pour tout réseau fini de sources indépendantes et de parties effectuant des mesures locales, si les sources sont seulement requises d'être opérationnellement indépendantes, alors toute distribution de résultats prédite par un modèle QT peut être prédite par un modèle RQT équivalent.
   • Conséquence : Les inégalités de Bell et les inégalités de réseaux ne peuvent pas distinguer QT de RQT tant qu'aucune violation de la QT n'est observée.
3. Théorème 2 (Protocoles Séquentiels) : L'indistinguabilité persiste pour tout protocole multipartite fini impliquant une séquence arbitraire de canaux quantiques et de mesures POVM, à condition que la structure de localité soit préservée à chaque étape.
   • La correspondance est composante par composante et indépendante du contexte : chaque canal et chaque mesure en RQT dépend uniquement de son homologue en QT, et non de l'état initial ou d'autres opérations.
4. Impossibilité de Falsification : Démonstration qu'il est impossible de falsifier expérimentalement la RQT tant que les données expérimentales sont compatibles avec la QT.

4. Résultats

• Équivalence Empirique : La RQT et la QT sont empiriquement indiscernables dans tous les scénarios de réseaux et de protocoles séquentiels où les statistiques respectent les prédictions quantiques.
• Réfutation de l'expérience de Renou et al. : Les résultats de Renou et al. (2021) ne prouvent pas que la RQT est fausse, mais seulement que l'hypothèse d'états sources produits (Kronecker) est fausse dans le cadre de la RQT. Les sources dans un monde régi par la RQT peuvent être dans des états "intriqués de représentation" (non-produits de Kronecker) qui sont néanmoins opérationnellement indépendants.
• Structure des Corrélations : La RQT permet l'existence de corrélations cachées (non observables localement) qui sont invisibles pour la tomographie locale mais qui existent dans la représentation mathématique réelle.

5. Signification et Implications

• Fondements de la Physique : Ce travail remet en cause l'idée que les nombres complexes sont nécessaires pour expliquer les phénomènes quantiques observés. Il montre que la complexité des nombres complexes peut être entièrement simulée par une théorie réelle, à condition d'accepter une structure de corrélation sous-jacente plus riche (mais inobservable localement).
• Interprétation Ontologique : Les auteurs suggèrent une différence ontologique majeure. Dans la QT, l'indépendance opérationnelle implique l'absence totale de corrélations. Dans la RQT, l'indépendance opérationnelle n'implique pas l'absence de corrélations au niveau de l'état sous-jacent ; les corrélations peuvent être omniprésentes mais "invisibles" en raison du manque de puissance de la tomographie locale dans la théorie réelle.
• Sécurité Cryptographique : Une implication potentielle est une préoccupation de sécurité. Si la nature suit la RQT, des protocoles cryptographiques considérés comme sûrs dans le cadre de la QT pourraient théoriquement être compromis par des corrélations non-quantiques qui sont invisibles pour les tests standards basés sur la QT.
• Méthodologie de Test des Théories : L'article met en garde contre la construction de "théories de substitution" (foil theories). Pour qu'une telle théorie soit testable, chaque élément de son cadre (comme l'indépendance des sources) doit avoir le même sens opérationnel que dans la théorie de référence. Sans cela, la théorie reste une "théorie de jouet" confinée au tableau noir.

En conclusion, les auteurs restaurent l'indistinguabilité empirique entre la théorie quantique standard et la théorie quantique réelle, démontrant que la différence réside uniquement dans la structure mathématique sous-jacente des corrélations, et non dans les prédictions observables des expériences actuelles.