L'indépendance partielle suffit à exclure la théorie quantique réelle expérimentalement

Informations fondamentales

• ID de l'article: 2502.20102
• Titre: L'indépendance partielle suffit à exclure la théorie quantique réelle expérimentalement
• Auteurs: Mirjam Weilenmann (Inria, Télécom Paris), Nicolas Gisin (Université de Genève, Constructor University), Pavel Sekatski (Université de Genève)
• Classification: quant-ph (physique quantique)
• Date de publication: février 2025 (arXiv v2: 21 novembre 2025)
• Lien de l'article: https://arxiv.org/abs/2502.20102

Résumé

Cet article étudie la nécessité des nombres complexes dans la théorie quantique. S'appuyant sur les travaux de Renou et al. (2021) dans Nature montrant que la théorie quantique réelle (Real Quantum Theory) ne peut pas expliquer les résultats prédits par la théorie quantique complexe, les auteurs réexaminent l'hypothèse d'indépendance des sources. Les auteurs démontrent que l'indépendance partielle suffit à prouver l'insuffisance de la théorie quantique réelle, déduisent les relations de compromis entre l'indépendance des sources et les valeurs de Bell accessibles dans la théorie quantique réelle, et prouvent que l'intrication d'1 bit est nécessaire et suffisante comme ressource pour récupérer les corrélations quantiques complexes avec la théorie quantique réelle. Enfin, s'appuyant sur les travaux de McKague et al., les auteurs construisent un schéma permettant de simuler avec m bits quantiques réels intriqués des expériences quantiques complexes arbitraires à m sources indépendantes.

Contexte et motivation de la recherche

1. Problème fondamental

La théorie quantique a-t-elle vraiment besoin de la structure des nombres complexes ? C'est une question de longue date dans les fondements de la mécanique quantique. Bien que la physique classique (mécanique, thermodynamique, électromagnétisme) soit basée sur les nombres réels, le premier postulat de la théorie quantique introduit l'espace de Hilbert complexe $\mathbb{C}^d$.

2. Importance du problème

• Nécessité physique de la structure mathématique: Les nombres complexes en théorie quantique ne sont pas seulement des outils de calcul; les états quantiques eux-mêmes sont complexes
• Question ontologique: Si l'espace de Hilbert réel $\mathbb{R}^d$ suffit, pourquoi avons-nous besoin des "nombres imaginaires" que Descartes appelait "imaginaires" et Euler "impossibles"?
• Testabilité expérimentale: Cette question fondamentale peut-elle être tranchée expérimentalement?

3. Limitations des approches existantes

• McKague et al. (2009): Ont prouvé que la théorie quantique réelle peut simuler toute expérience quantique complexe en attachant un bit quantique réel (rebit) auxiliaire à chaque sous-système, mais ces bits auxiliaires doivent partager un état intriqué
• Difficulté d'interprétation physique: Lorsque les sous-systèmes sont spatialement séparés, comment interpréter le fait qu'ils accèdent tous au même rebit auxiliaire? D'où provient cette intrication?
• Renou et al. (2021): Dans un scénario de réseau, en supposant l'indépendance complète des sources, ils ont prouvé que la théorie quantique réelle ne peut pas atteindre la limite supérieure de la valeur de Bell de la théorie quantique complexe ($B_C^{sup}=6\sqrt{2}\approx 8.49$ vs $B_R^{ub}\leq 7.66$)

4. Motivation de cet article

Relâcher l'hypothèse d'indépendance: Que se passe-t-il si les sources ne sont que partiellement indépendantes (partially independent)? Peut-on quantifier précisément combien de corrélations quantiques sont nécessaires pour expliquer les résultats expérimentaux avec la théorie quantique réelle?

Contributions principales

1. Relâchement de l'hypothèse d'indépendance: Démonstration que l'indépendance partielle des sources suffit à exclure la théorie quantique réelle, sans nécessiter l'hypothèse d'indépendance complète
2. Relations de compromis quantitatives: Déduction des relations de compromis précises entre le degré d'indépendance des sources et les valeurs de Bell accessibles dans la théorie quantique réelle (via la hiérarchie de programmation semi-définie)
3. Ressource nécessaire et suffisante: Démonstration que dans le scénario de Renou et al., 1 ebit d'intrication (correspondant à l'intrication maximale de deux rebits) est nécessaire et suffisante:
   • Nécessité: Via l'auto-test (self-testing), la démonstration que l'atteinte de la valeur maximale de Bell $6\sqrt{2}$ nécessite l'état $\bar{\varrho}_{S_1S_2}=\frac{1}{2}(\Phi^-+\Psi^+)$, dont l'entropie d'intrication $E_F=1$, et la distance à l'ensemble des états séparables $D_{Sep}=\frac{1}{2}$
   • Suffisance: Cette intrication suffit à simuler toute expérience quantique dans ce réseau
4. Théorème de simulation général: Extension de la construction de McKague, démonstration que l'état intriqué m-rebit $\bar{\varrho}_S^{(m)}$ suffit à simuler toute expérience quantique complexe à m sources indépendantes
5. Quantification de la signification expérimentale: Attribution de signification quantitative aux résultats expérimentaux existants (par exemple, une valeur de Bell de 8.09 nécessite $D_{Sep}\geq 0.2$)

Explication détaillée des méthodes

Définition de la tâche

Dans le scénario de réseau tripartite (Figure 1):

• Configuration: Trois parties Alice (A), Bob (B), Charlie (C), deux sources $S_1$ (distribuant à AB) et $S_2$ (distribuant à BC)
• Mesures: Alice avec entrée $x\in\{1,2,3\}$ produit sortie $a\in\{1,-1\}$, Bob produit $b\in\{00,01,10,11\}$, Charlie avec entrée $z\in\{1,...,6\}$ produit $c\in\{1,-1\}$
• Objectif: Analyser la limite supérieure de la valeur de Bell que la théorie quantique réelle peut atteindre lorsque les sources sont autorisées à partager une corrélation quantique partielle $\varrho_{S_1S_2}$

Expression du test de Bell

Utilisation de la fonctionnelle de Bell de Renou et al.: $B(P) = \sum_{b\in\{0,1\}^2} B_b(P)$ où chaque $B_b(P)$ est une combinaison de trois tests CHSH entre Alice et Charlie (équation 2). Valeurs clés:

• Valeur maximale de la théorie quantique complexe: $B_C^{sup}=6\sqrt{2}\approx 8.49$
• Limite supérieure de la théorie quantique réelle avec sources indépendantes: $B_R^{ub}\leq 7.66$

Méthodes techniques principales

1. Mesures d'intrication (Appendice A)

Définition de deux mesures géométriques:

• Distance à l'ensemble des états séparables: $D_{Sep}(\varrho)=\inf_{\sigma\in Sep}\frac{1}{2}\|\varrho-\sigma\|$
• Distance à l'ensemble des états indépendants: $D_{Ind}(\varrho)=\inf_{\sigma\in Ind}\frac{1}{2}\|\varrho-\sigma\|$
• Formation d'intrication (Entanglement of Formation): $E_F(\varrho)$

Propriétés clés:

• Monotones sous les opérations locales en théorie quantique réelle
• Pour l'état deux-rebit $\bar{\varrho}_{S_1S_2}$: $D_{Ind}=D_{Sep}=\frac{1}{2}$, $E_F=1$ (toutes les valeurs maximales atteintes)

2. Hiérarchie de programmation semi-définie (SDP, équation 6)

Construction d'un problème d'optimisation sous contrainte: $\max B(P) \quad \text{s.t.} \quad D_{Sep}(\tau_{AC})\leq \epsilon$

Innovation: Intégration de la contrainte de distance en trace dans le problème des moments (moment problem):

• Utilisation de la matrice des moments $\Gamma^n(\tau)$ (hiérarchie d'ordre n)
• Exploitation de la semi-définie positivité et des conditions de séparabilité $\sigma^{T_A}=\sigma$
• Transformation de la condition de distance en trace: $\begin{pmatrix} \Gamma^n(M) & \Gamma^n(\tau-\sigma) \\ \Gamma^n(\tau-\sigma)^T & \Gamma^n(N) \end{pmatrix}\geq 0, \quad \Gamma^n(M)_{(1,1)}+\Gamma^n(N)_{(1,1)}\leq 4\epsilon$

Calcul: Hiérarchie de niveau 2, utilisant YALMIP+Mosek, nécessitant 500 Go de mémoire, temps d'exécution 5-6 jours

3. Limite linéaire (équation 7, Appendice C)

Déduction d'une limite simple via la norme d'opérateur: $D_{Sep}(\tau_{AC}) \geq \frac{B(P)-B_R^{ub}}{B_C^{sup}-B_C^{inf}} = \frac{B(P)-7.66}{12\sqrt{2}}$

Esquisse de la preuve:

• L'opérateur de Bell satisfait $\text{tr}(B\rho)=B(P)$
• Utilisation de $\text{tr}(B(\rho-\sigma))\leq D(\rho,\sigma)(B_C^{sup}-B_C^{inf})$
• Pour tout état séparable $\sigma$, $\text{tr}(B\sigma)\leq B_R^{ub}$

4. Construction de simulation réelle (Appendice D)

Codage du cadre de référence:

• Chaque système complexe de dimension $d$ $C_i$ correspond à un système réel de dimension $2d$ $\bar{R}_i=R_iL_i$
• $L=L_1...L_n$ agit comme "cadre de référence de complexité", codé dans le sous-espace logique: $|R\rangle_L = \frac{1}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}+\bigotimes_i|y^-\rangle_{L_i})$$|I\rangle_L = \frac{i}{\sqrt{2}}(\bigotimes_i|y^+\rangle_{L_i}-\bigotimes_i|y^-\rangle_{L_i})$ où $|y^\pm\rangle=(|0\rangle\pm i|1\rangle)/\sqrt{2}$

Propriété clé: L'opérateur unitaire réel $J=i\sigma_Y$ agissant sur n'importe quel $L_j$ simule l'unité imaginaire: $J_{L_j}|R\rangle_L=|I\rangle_L, \quad J_{L_j}|I\rangle_L=-|R\rangle_L$

Représentation d'état (invariante de phase): $\varrho_C \sim \varrho_{RL} = \varrho_R^{Re}\otimes\frac{|R\rangle\langle R|+|I\rangle\langle I|}{2} + \varrho_R^{Im}\otimes\frac{|I\rangle\langle R|-|R\rangle\langle I|}{2}$

Diffusabilité locale (Local Broadcastability):

• L'état du cadre de référence $\bar{\varrho}_L^{(n)}$ peut être étendu via des opérations locales: $\bar{\varrho}_L^{(n)}\xrightarrow{LO}\bar{\varrho}_{LL'}^{(2n)}$
• Les états marginaux restent inchangés: $\text{tr}_{L'}\bar{\varrho}_{LL'}^{(2n)}=\bar{\varrho}_L^{(n)}$
• Ceci est impossible en théorie quantique complexe (théorème de non-diffusabilité locale), démontrant les différences opérationnelles entre les deux théories

Points d'innovation technique

1. Formalisation de l'indépendance partielle: Première quantification du degré de corrélation des sources (via $D_{Sep}$, $E_F$) et sa relation avec la violation de Bell
2. Innovation dans les contraintes SDP: Intégration de la contrainte continue de distance en trace dans le problème discret des moments, difficulté technique élevée
3. Preuve de la compacité: Les limites sont compactes dans le cas idéal (à $\epsilon=0.5$ on atteint exactement $6\sqrt{2}$)
4. Perspective de la théorie des ressources: Placement du problème dans le cadre de la théorie des ressources quantiques, clarification des états libres (Sep/Ind) et des opérations libres (LOCC/LO)
5. Application de l'intrication liée: Utilisation de l'intrication liée localement diffusable en théorie quantique réelle, qui n'existe pas en théorie complexe

Configuration expérimentale

Scénario expérimental

• Topologie du réseau: Scénario de bilocality, deux sources deux récepteurs
• Configuration de mesure: Alice 3 entrées, Charlie 6 entrées, Bob mesure fixe (4 sorties)
• État quantique: En théorie complexe, utilisation d'états maximalement intriqués et de mesures spécifiques pour atteindre $6\sqrt{2}$

Données expérimentales existantes

Cet article analyse trois expériences publiées:

1. Chen et al. (2022, PRL 128:040403): Valeur de Bell 8.09(1) → nécessite $D_{Sep}\geq 0.2$
2. Li et al. (2022, PRL 128:040402): Utilisation d'une expression de Bell différente
3. Wu et al. (2022, PRL 129:140401): Valeur de Bell 7.83(3) → nécessite $D_{Sep}\geq 0.05$

Ressources informatiques

• Logiciel: MATLAB + YALMIP + solveur Mosek
• Matériel: Cluster de calcul haute performance, 500 Go de RAM
• Temps d'exécution: 5-6 jours par valeur de $\epsilon$
• Alternative: Le solveur SCS peut s'exécuter sur ordinateur de bureau (1-2 heures), mais avec précision inférieure

Résultats expérimentaux

Résultats principaux (Tableau I)

Découvertes clés:

1. La limite SDP surpasse significativement la limite linéaire: Par exemple, pour $B=8.06$, SDP donne $\epsilon_1=20\%$ vs limite linéaire $\epsilon_2=2.4\%$
2. Vérification de la compacité: À $\epsilon_1=50\%$ on obtient $B=8.4953\approx 6\sqrt{2}$ (égal dans la précision numérique)
3. Implications expérimentales:
   • Expérience Chen (8.09): La théorie quantique réelle nécessite une corrélation de source $D_{Sep}\geq 0.2$
   • Expérience Wu (7.83): Nécessite $D_{Sep}\geq 0.05$

Analyse du cas idéal

Résultats d'auto-test: À l'atteinte de $B=6\sqrt{2}$, l'état réduit Alice-Charlie s'auto-teste comme: $\bar{\varrho}_{AC} = \frac{1}{2}(\Phi^-+\Psi^+) = \frac{1}{4}\begin{pmatrix}1&0&0&-1\\0&1&1&0\\0&1&1&0\\-1&0&0&1\end{pmatrix}$

Mesures d'intrication (Appendice A):

• $D_{Sep}(\bar{\varrho})=D_{Ind}(\bar{\varrho})=\frac{1}{2}$ (valeur maximale)
• $E_F(\bar{\varrho})=1$ ebit (intrication maximale de deux rebits)
• Par auto-test, l'état source $\varrho_{S_1S_2}$ doit satisfaire les mêmes limites

Suffisance (Proposition): Cet état suffit à simuler toute expérience quantique complexe dans le réseau

Théorème de simulation général

Théorème: Toute expérience quantique complexe arbitraire à m sources indépendantes peut être simulée avec la théorie quantique réelle si les sources partagent initialement: $\bar{\varrho}_S^{(m)} = \frac{1}{2}\left(\bigotimes_{i=1}^m|y^+\rangle\langle y^+|_{S_i} + \bigotimes_{i=1}^m|y^-\rangle\langle y^-|_{S_i}\right)$

Points clés de la preuve:

1. Cet état contient 1 ebit d'intrication formée (à travers toute bipartition)
2. Simultanément, il est localement diffusable: $\bar{\varrho}_S^{(m)}\xrightarrow{LO}\bar{\varrho}_{SL}^{(m+n)}$
3. Les mesures ne consomment pas l'intrication du cadre de référence
4. Pour $m=2$, c'est exactement l'état d'auto-test

Travaux connexes

Contexte historique

1. Stueckelberg (1960): Première proposition de théorie quantique en espace de Hilbert réel
2. Wootters (1990), Caves et al. (2002): Étude de l'accessibilité locale des états quantiques réels
3. McKague et al. (2009): Preuve que la théorie quantique réelle peut simuler la théorie quantique complexe (nécessitant une intrication auxiliaire)
4. Hardy & Wootters (2012): Intégrité finie et théorie quantique en espace vectoriel réel
5. Chiribella et al. (2010), Barnum et al. (2020): Étude dans le cadre de la théorie probabiliste

Percée du scénario de réseau

• Renou et al. (2021, Nature): Première preuve expérimentale de distinction des deux théories dans un scénario de réseau
  • Clé: L'hypothèse d'indépendance des sources exclut l'intrication partagée
  • Limites de valeur de Bell: $B_R^{ub}=7.66 < B_C^{sup}=6\sqrt{2}$
  • L'aléatoire partagé ne peut pas sauver la théorie quantique réelle

Relation de cet article avec les travaux antérieurs

• Extension du travail de Renou: Relâchement de l'indépendance, analyse quantitative de l'indépendance partielle
• Extension du travail de McKague: Du cas d'une seule expérience au scénario de réseau, clarification des ressources minimales
• Distinction des travaux récents:
  • Barrios et al. (2025, arXiv:2503.17307): Modification de la définition d'état pour que le cadre de référence "semble" indépendant
  • Hoffreumon & Woods (2025, arXiv:2504.02808): Modification des règles de produit tensoriel pour intégrer la théorie complexe
  • Position de cet article: Concentration sur la distinction expérimentale entre théorie réelle et complexe, plutôt que sur la reformulation

Conclusions et discussion

Conclusions principales

1. L'indépendance partielle suffit: Sans nécessiter l'indépendance complète des sources, l'indépendance partielle suffit à exclure la théorie quantique réelle
2. Compromis quantitatifs: Établissement de la relation précise entre la valeur de Bell et la corrélation de source requise (Tableau I)
3. Ressource minimale: 1 ebit d'intrication est nécessaire et suffisant (pour le scénario à deux sources)
4. Construction universelle: L'état intriqué m-rebit peut simuler toute expérience à m sources
5. Signification expérimentale: Les résultats expérimentaux existants impliquent une limite inférieure quantitative sur la corrélation de source

Limitations

1. Complexité informatique: La hiérarchie SDP nécessite des ressources informatiques énormes, limitant l'analyse de plus haute précision
2. Spécificité du scénario: Les résultats s'appliquent à une topologie de réseau spécifique (deux sources trois parties), d'autres réseaux nécessitent une analyse séparée
3. Hypothèses idéalisées:
   • Mesures parfaites (sans bruit)
   • Espace de Hilbert de dimension finie
   • Théorie quantique non-relativiste
4. Défis expérimentaux:
   • Les expériences existantes n'ont pas atteint l'absence de failles (loophole-free)
   • L'indépendance des sources est difficile à garantir dans les implémentations sur puce
   • La valeur de Bell reste éloignée du maximum théorique

Directions futures

1. Autres topologies de réseau: Généralisation aux réseaux en étoile, en chaîne, etc.
2. Robustesse au bruit: Analyse de l'impact du bruit réel sur les conclusions
3. Algorithmes plus efficaces: Réduction de la complexité de résolution SDP
4. Améliorations expérimentales:
   • Augmentation de la valeur de Bell (actuellement 8.09 vs théorique 8.49)
   • Réalisation d'expériences sans failles
   • Meilleur contrôle de l'indépendance des sources
5. Implications philosophiques: Exploration approfondie de l'interprétation ontologique de "l'espace d'intrication"

Évaluation approfondie

Points forts

1. Rigueur théorique:
   • Cadre mathématique complet (théorie des ressources, SDP, auto-test)
   • Preuve bidirectionnelle de nécessité et suffisance
   • Vérification numérique des limites compactes
2. Originalité:
   • Première quantification de l'indépendance partielle
   • Intégration de la contrainte de distance en trace dans le problème des moments (difficulté technique élevée)
   • Révélation des propriétés uniques de la théorie réelle (intrication liée localement diffusable)
3. Pertinence expérimentale:
   • Attribution de nouvelle signification aux expériences existantes
   • Orientation de la conception d'expériences futures
   • Critères opérationnels
4. Clarté de la rédaction:
   • Contexte historique détaillé
   • Détails techniques complets (appendices)
   • Comparaison claire avec les travaux connexes

Insuffisances

1. Goulot d'étranglement informatique:
   • Exigence de 500 Go de mémoire limitant l'accessibilité
   • Calcul uniquement jusqu'au niveau 2 de la hiérarchie (potentiellement non-compact)
   • Grand écart entre limite SDP et limite linéaire (Tableau I indiquant que la limite linéaire est insuffisante)
2. Spécificité du scénario:
   • Les résultats dépendent de l'expression de Bell spécifique
   • Topologie de réseau fixe
   • La généralisation nécessite vérification supplémentaire
3. Écart expérimental:
   • Écart important entre la valeur de Bell expérimentale et le maximum théorique
   • Difficulté de vérification expérimentale de l'indépendance des sources
   • Expérience sans failles non encore réalisée
4. Controverse philosophique:
   • Le statut ontologique de l'interprétation "d'espace d'intrication" n'est pas suffisamment discuté
   • Divergence fondamentale avec les travaux de Barrios et Hoffreumon (problème de définition vs problème expérimental)

Impact

1. Contribution théorique:
   • Approfondissement de la compréhension du rôle des nombres complexes en théorie quantique
   • Établissement d'un cadre quantitatif pour l'indépendance partielle
   • Connexion du scénario de réseau et de la théorie des ressources
2. Orientation expérimentale:
   • Fourniture d'objectifs quantitatifs pour la conception d'expériences
   • Quantification des exigences d'indépendance des sources
   • Nouvelle perspective sur l'interprétation des résultats expérimentaux
3. Méthodologie:
   • La technique SDP+contrainte de distance en trace peut s'appliquer à d'autres problèmes
   • Paradigme combinant auto-test et théorie des ressources
4. Reproductibilité:
   • Code open source (GitHub)
   • Description détaillée des méthodes
   • Mais exigences informatiques élevées

Domaines d'application

1. Recherche en fondements quantiques:
   • Vérification expérimentale de la structure mathématique de la théorie quantique
   • Étude des corrélations quantiques en scénario de réseau
   • Autres scénarios de nécessité des nombres complexes
2. Information quantique:
   • Conception de réseaux quantiques
   • Analyse des ressources d'intrication
   • Protocoles sans appareil
3. Physique expérimentale:
   • Expériences de réseaux quantiques optiques
   • Réseaux de puces quantiques supraconductrices
   • Réseaux de pièges à ions
4. Extension théorique:
   • Théories quantiques sur d'autres corps (quaternions, etc.)
   • Théorie probabiliste généralisée
   • Structures de réseau en gravité quantique

Références

Citations clés

1. Renou et al., Nature 600, 625 (2021): Proposition originale du scénario de réseau expérimental
2. McKague et al., PRL 102, 020505 (2009): Fondements de la construction de simulation réelle
3. Chen et al., PRL 128, 040403 (2022): Première réalisation expérimentale
4. Caves et al., Found. Phys. Lett. 14, 199 (2001): Mesures d'intrication réelle
5. Bancal et al., Quantum 5, 401 (2021): Auto-test avec statistiques finies

Littérature controversée récente

6. Barrios et al., arXiv:2503.17307 (2025): Théorie quantique réelle avec définition d'état modifiée
7. Hoffreumon & Woods, arXiv:2504.02808 (2025): Théorie quantique réelle avec règles de produit tensoriel modifiées

Évaluation globale: Cet article est une contribution de haute qualité d'importance théorique et expérimentale significative dans le domaine des fondements quantiques. Par une analyse mathématique rigoureuse et des techniques SDP innovantes, il pousse le travail fondateur de Renou et al. au niveau quantitatif, offrant une image plus fine de l'indispensabilité des nombres complexes en théorie quantique. Bien qu'il existe des défis de complexité informatique et expérimentale, le cadre théorique établi et la méthodologie ont une valeur durable pour la recherche en fondements quantiques et les expériences de réseaux quantiques. En contraste intéressant avec les travaux récents de reformulation théorique (Barrios, Hoffreumon), il met en lumière la subtilité de la question définitionnelle "qu'est-ce que la théorie quantique réelle?"