Locality Implies Complex Numbers in Quantum Mechanics

Cette étude démontre que, sous l'hypothèse de sources indépendantes, la théorie quantique à nombres complexes est indispensable car toute tentative de la remplacer par une théorie à nombres réels impliquerait nécessairement l'introduction de degrés de liberté non locaux cachés.

L'essentiel

🌌 Le Mystère des Nombres Complexes dans la Réalité

Imaginez que l'univers est un immense jeu de construction. Pour décrire comment les pièces (les particules) bougent et interagissent, les physiciens utilisent une boîte à outils mathématique.

Pendant longtemps, on s'est demandé : Pourquoi cette boîte à outils contient-elle obligatoirement des "nombres complexes" (avec la fameuse unité imaginaire $i$) ?
Dans la vie de tous les jours, on n'a besoin que de nombres "réels" (1, 2, 3, 100...). Même en électricité ou en optique, les nombres complexes ne sont qu'un outil de calcul pratique, comme une règle graduée qui facilite la tâche, mais on pourrait théoriquement s'en passer.

Pourtant, en mécanique quantique, ces nombres complexes semblent indispensables. Cet article de Feng, Ren et Vedral nous explique pourquoi, en utilisant une analogie simple.

---

🧩 L'Analogie du Traducteur et du Secret

1. Le Dilemme : Peut-on tout faire avec des nombres "simples" ?

Les chercheurs se sont demandé : "Et si on essayait de décrire tout l'univers quantique uniquement avec des nombres réels ?"
La réponse est : Oui, mais avec une astuce.

Imaginez que vous avez un message secret écrit en "Langage Complexe" (avec des $i$). Vous pouvez le traduire en "Langage Réel" (sans $i$) en doublant la taille du message.

• Règle de Stueckelberg (l'astuce) : Pour traduire un nombre complexe, on le décompose en deux nombres réels (une partie réelle et une partie imaginaire). C'est comme si chaque pièce du puzzle devenait deux pièces collées ensemble.
• Pour un seul système : Ça marche parfaitement ! Si vous avez une seule particule, vous pouvez tout décrire avec des nombres réels en utilisant cette traduction. Tout est cohérent.

2. Le Problème : Quand deux systèmes indépendants se rencontrent

Le vrai problème surgit quand on a deux systèmes indépendants (par exemple, Alice a une particule d'un côté de la galaxie, et Bob en a une de l'autre).

• En physique classique, si Alice et Bob agissent séparément, leurs actions ne devraient pas s'influencer instantanément. C'est le principe de localité (pas de communication plus rapide que la lumière).
• En physique quantique, ces deux particules peuvent être intriquées (liées d'une manière mystérieuse).

L'article montre que si vous essayez de décrire cette situation avec seulement des nombres réels, la traduction échoue.

• Si vous traduisez Alice en réel, et Bob en réel, puis que vous essayez de les mettre ensemble (faire leur "produit tensoriel"), le résultat ne correspond pas à la réalité quantique complexe.
• Les mathématiques réelles disent : "Ça ne colle pas".

3. La Solution "Triche" : Le Lien Invisible (Non-localité)

Pour que les nombres réels fonctionnent quand deux systèmes s'intriquent, les auteurs montrent qu'il faut introduire une règle de traduction modifiée.
Cette règle agit comme un traducteur magique qui regarde simultanément les deux systèmes, même s'ils sont séparés par des années-lumière.

• L'analogie du Parapluie : Imaginez qu'Alice ouvre son parapluie. Dans un monde réel "normal", cela n'affecte pas Bob. Mais dans ce modèle de nombres réels, pour que la physique fonctionne, il faut qu'une main invisible (un degré de liberté caché) touche le parapluie de Bob en même temps, pour ajuster la traduction.
• Ce "traducteur" doit connaître l'état de Alice et de Bob en même temps pour faire le calcul. C'est ce qu'on appelle une opération non-locale.

---

💡 La Conclusion en une phrase

Les nombres complexes ne sont pas juste une commodité mathématique ; ils sont la preuve que l'univers est "local" (respecte la séparation entre les objets).

• Si vous voulez décrire l'univers uniquement avec des nombres réels, vous êtes obligé d'ajouter des liens secrets invisibles (non-localité) qui permettent aux objets distants de se coordonner instantanément.
• Mais comme nous savons que l'univers respecte la localité (pas de magie instantanée entre objets lointains), les nombres complexes sont nécessaires pour décrire correctement l'intrication quantique sans avoir besoin de ces liens secrets.

🎭 En résumé pour le grand public

Imaginez que la mécanique quantique est un film.

• Les nombres réels sont comme un film en noir et blanc. On peut le regarder, mais pour que l'histoire tienne debout quand deux personnages sont loin l'un de l'autre, il faut ajouter un scénariste caché qui écrit les dialogues des deux personnages en même temps, en violation de la distance.
• Les nombres complexes sont le film en couleurs. Ils permettent de raconter l'histoire naturellement, sans avoir besoin de ce scénariste caché qui triche avec la distance.

Le message de l'article : La nature préfère les "couleurs" (les nombres complexes) parce que c'est le seul moyen de décrire des liens mystérieux entre objets distants sans violer les règles de la localité.

Résumé technique

1. Problématique

L'article s'attaque à une question fondamentale de la physique théorique : les nombres complexes sont-ils indispensables en mécanique quantique ?
Bien que les nombres complexes soient omniprésents dans la formulation standard de la théorie (espaces de Hilbert complexes), il est mathématiquement possible de formuler des théories quantiques basées uniquement sur les nombres réels (ou les quaternions). Historiquement, des règles comme celle de Stueckelberg (1960) ont montré qu'un système quantique complexe de dimension $d$ pouvait être mappé sur un espace réel de dimension $2d$.
Cependant, des travaux récents (Renou et al., 2021, et expériences subséquentes) ont démontré que la théorie quantique réelle standard échoue à reproduire les résultats expérimentaux dans des réseaux quantiques impliquant des sources indépendantes (localité).
Le problème central abordé par Feng, Ren et Vedral est le suivant : Si l'on maintient l'hypothèse de sources indépendantes (localité), peut-on sauver une théorie quantique purement réelle ? Les auteurs examinent si une reformulation réelle peut être compatible avec la localité sans introduire de mécanismes cachés non locaux.

2. Méthodologie

Les auteurs utilisent une approche algébrique rigoureuse pour analyser la correspondance entre la mécanique quantique complexe et réelle, en se concentrant sur la structure des opérateurs et des états composites.

• Rappel de la règle de Stueckelberg : Ils définissent d'abord la transformation linéaire qui mappe un état complexe $|\psi\rangle$ et un opérateur $A$ vers leurs équivalents réels $\tilde{|\psi\rangle}$ et $\tilde{A}$. Pour un état $|\psi\rangle = \sum (a_j + i b_j)|j\rangle$, la version réelle est $\tilde{|\psi\rangle} = \sum a_j |0\rangle|j\rangle + b_j |1\rangle|j\rangle$. De même, une matrice complexe $A = A_R + i A_I$ devient une matrice réelle bloc $\tilde{A} = \begin{pmatrix} A_R & -A_I \\ A_I & A_R \end{pmatrix}$.
• Analyse des systèmes individuels : Ils démontrent que pour un système unique, cette transformation préserve l'addition, la multiplication, l'évolution unitaire et les valeurs moyennes des observables. La théorie réelle est donc équivalente à la théorie complexe pour les systèmes isolés.
• Analyse des systèmes composites (Produit Tensoriel) : Le cœur de l'analyse réside dans l'étude du produit tensoriel de deux systèmes indépendants ($\rho_1 \otimes \rho_2$). Les auteurs comparent deux approches :
  1. Le produit tensoriel standard appliqué aux matrices réelles : $\tilde{\rho}_1 \otimes \tilde{\rho}_2$.
  2. La transformation réelle du produit tensoriel complexe : $\text{Map}_R(\rho_1 \otimes \rho_2)$.
• Construction d'une carte modifiée : Pour forcer la cohérence entre la théorie réelle et les prédictions complexes dans le cas de sources indépendantes, les auteurs introduisent un opérateur non linéaire $\tilde{P}$ agissant sur un qubit auxiliaire (ancillaire). Cet opérateur calcule la parité des états auxiliaires des deux systèmes ($\tilde{P}(|00\rangle)=|0\rangle, \tilde{P}(|11\rangle)=-|0\rangle, \tilde{P}(|01\rangle)=|1\rangle, \tilde{P}(|10\rangle)=|1\rangle$).
• Définition d'un nouveau produit tensoriel : Ils définissent un « produit tensoriel modifié » ($\tilde{\otimes}$) pour les matrices réelles, tel que $\tilde{\rho}_1 \tilde{\otimes} \tilde{\rho}_2 = \text{Map}_R(\rho_1 \otimes \rho_2)$.

3. Contributions Clés

• Démonstration de l'incompatibilité locale : Les auteurs prouvent mathématiquement que le produit tensoriel standard des matrices réelles ($\tilde{\rho}_1 \otimes \tilde{\rho}_2$) n'est pas égal à la transformation réelle du produit tensoriel complexe ($\text{Map}_R(\rho_1 \otimes \rho_2)$). Les dimensions et les structures algébriques ne correspondent pas sans intervention supplémentaire.
• Identification de la non-localité cachée : La contribution majeure est la démonstration que pour rendre une théorie quantique réelle compatible avec l'hypothèse de sources indépendantes (localité), il est nécessaire d'introduire le produit tensoriel modifié via l'opérateur $\tilde{P}$.
• Nature non locale de la solution : Ils analysent la nature physique de l'opérateur $\tilde{P}$. Cet opérateur agit conjointement sur les qubits auxiliaires des deux systèmes, même si ceux-ci sont spatialement séparés. Par conséquent, bien que la théorie semble respecter l'indépendance des sources, l'opération mathématique requise pour décrire l'état composite est intrinsèquement non locale.

4. Résultats

• Équivalence conditionnelle : La théorie quantique réelle peut simuler la théorie complexe pour des systèmes individuels ou des systèmes composites sans interaction d'intrication.
• Échec de la localité stricte : Pour décrire l'intrication entre deux sources indépendantes, une théorie purement réelle ne peut pas utiliser une structure locale standard. Elle doit recourir à une « carte non locale cachée » (hidden nonlocal map).
• Conclusion sur les nombres complexes : Si l'on exige que la théorie respecte à la fois l'hypothèse de sources indépendantes et la localité (sans degrés de liberté cachés non locaux), alors les nombres complexes deviennent indispensables. La complexité de la structure mathématique (nombres complexes) n'est pas un artefact de commodité, mais une nécessité physique pour décrire l'intrication entre systèmes indépendants de manière locale.

5. Signification

Ce travail apporte un éclairage profond sur la nature de la mécanique quantique :

• Nécessité ontologique des nombres complexes : Il suggère que les nombres complexes ne sont pas simplement un outil de calcul pratique, mais qu'ils sont structurellement requis pour décrire l'intrication dans un cadre local.
• Limites des théories réelles alternatives : Bien que des travaux récents (cités en référence [12, 13]) aient proposé des théories réelles compatibles avec les sources indépendantes, cet article montre que ces théories sacrifient la localité stricte en introduisant des opérations non locales cachées.
• Implications pour les fondements : L'article renforce l'idée que la structure complexe de l'espace de Hilbert est liée à la manière dont l'information quantique est partagée et corrélée entre des systèmes distants. Si l'on rejette les variables cachées non locales, la théorie quantique standard (complexe) est la seule description cohérente de la nature.

En résumé, l'article conclut que la localité implique les nombres complexes : toute tentative de formuler la mécanique quantique uniquement avec des nombres réels tout en préservant l'indépendance des sources conduit inévitablement à l'introduction de mécanismes non locaux, rendant les nombres complexes l'option la plus naturelle et fondamentale pour une description locale de l'intrication.