Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

Cet article construit un modèle ontologique pour la théorie classique bilocale afin de démontrer que la classicalité locale ne garantit pas l'explicabilité classique, réfutant ainsi une conjecture antérieure, exposant les limites des hypothèses de tomographie locale dans les théorèmes structurels, et prouvant par contre-exemple que les deux concepts sont fondamentalement distincts.

L'essentiel

Imaginez que vous essayez de comprendre les règles d'un jeu. En physique, nous avons généralement deux façons principales de regarder le monde : la manière « Classique » (comme un jeu de cartes standard où chaque carte a une face définie) et la manière « Quantique » (où les cartes peuvent être dans une superposition de faces jusqu'à ce que vous regardiez).

Ce document traite d'un jeu particulier et étrange appelé Théorie Classique Bilocale (BCT). Les auteurs posent une question profonde : Pouvons-nous expliquer ce jeu étrange en utilisant une logique simple et quotidienne (la classicalité), même si les règles de combinaison des joueurs semblent briser les lois habituelles de la physique ?

Voici la décomposition de leur découverte, en utilisant des analogies simples.

1. Les deux façons d'être « classique »

Le document distingue deux types de « classicalité » :

• Localement Classique : Imaginez que chaque joueur du jeu est une personne normale et prévisible. Si vous les examinez un par un, ils sont parfaitement cohérents.
• Classiquement Explicable : Imaginez que vous pouvez expliquer l'ensemble du jeu, y compris la façon dont les joueurs interagissent et se combinent, en utilisant une histoire simple et logique (un « modèle ontologique ») qui correspond à notre compréhension quotidienne de la cause et de l'effet.

Habituellement, les physiciens pensaient que si un jeu semblait « bizarre » lorsque les joueurs se combinaient (plus précisément, s'il violait une règle appelée Tomographie Locale), il serait impossible de l'expliquer avec une histoire simple. La Tomographie Locale est comme dire : « Pour connaître l'état d'une équipe, il suffit de vérifier chaque joueur individuellement. » Si un jeu viole cela, cela signifie que l'équipe possède un « code secret » ou une connexion cachée que vous ne pouvez pas voir simplement en regardant les individus.

2. La première découverte : Le jeu « Bilocal » EST explicable

Les auteurs ont étudié la Théorie Classique Bilocale (BCT).

• La Configuration : Dans la BCT, chaque joueur individuel est parfaitement normal (localement classique). Cependant, les règles de leur combinaison sont étranges. C'est comme si deux personnes normales se tenant la main créaient soudainement une troisième personne invisible qui n'existe que parce qu'elles se tiennent la main. Vous ne pouvez pas comprendre ce que fait la paire en regardant simplement la Personne A et la Personne B séparément ; vous devez regarder la paire ensemble.
• L'Ancienne Croyance : Une théorie précédente suggérait que parce que la BCT possède cette « troisième personne invisible » (violant la Tomographie Locale), il était impossible de créer une histoire simple et logique pour l'expliquer. On pensait qu'elle était trop bizarre pour une explication classique.
• Le Nouveau Résultat : Les auteurs ont construit une carte (un modèle ontologique) qui traduit le jeu étrange de la BCT en un jeu classique standard et ennuyeux.
  • L'Analogie : Imaginez que la BCT est un tour de magie complexe. Les auteurs ont trouvé un moyen de montrer que ce tour est en réalité un simple mélange de cartes, mais effectué sur une table deux fois plus grande que ce que vous pensiez. Ils ont montré que même si le comportement de « l'équipe » semble mystérieux, vous pouvez l'expliquer parfaitement en ajoutant quelques « emplacements cachés » (états ontiques) au modèle mental des joueurs.
  • La Conclusion : Vous pouvez avoir un jeu qui semble bizarre lorsque les joueurs se combinent, mais qui peut toujours être expliqué par une logique locale simple. La « bizarrerie » n'est pas un mystère fondamental ; c'est juste une question de regarder au bon niveau de détail.

3. La deuxième découverte : Tous les jeux bizarres ne sont PAS explicables

Si le premier résultat était « Oui, ce jeu bizarre est explicable », les auteurs se sont demandé : « Est-ce que chaque jeu bizarre est explicable ? »

• Le Contre-exemple : Ils ont construit un autre type de jeu appelé Théories Classiques Latentes (LCT).
• La Configuration : Comme la BCT, chaque joueur individuel est normal. Mais les règles de leur combinaison sont encore plus tordues. Dans ce jeu, lorsque deux joueurs se combinent, ils créent parfois une connexion « fantôme » si forte qu'elle peut annuler toute interaction normale entre eux.
• Le Résultat : Les auteurs ont proué que pour ces jeux spécifiques, aucune histoire simple n'existe. Vous ne pouvez pas construire une carte qui traduise ce jeu en un jeu classique standard.
  • L'Analogie : Imaginez un jeu où deux personnes normales se serrent la main, et soudain, elles deviennent une entité unique capable d'« effacer » toute autre personne dans la pièce. Peu importe la façon dont vous essayez de l'expliquer en utilisant une logique standard (comme « ils se tiennent simplement la main »), les mathématiques s'effondrent. La connexion « fantôme » est trop fondamentale pour être expliquée par l'ajout d'emplacements cachés.
  • La Conclusion : Le fait qu'un jeu paraisse classique lorsque vous regardez les joueurs individuellement ne signifie pas que l'ensemble du jeu peut être expliqué de manière classique. Parfois, la façon dont les choses se combinent crée une « bizarrerie » qui est véritablement inexplicable par une logique simple.

4. La vue d'ensemble

Le document trace une ligne de démarcation :

• Ancienne Vue : Si une théorie échoue au test de la « Tomographie Locale » (ce qui signifie que vous ne pouvez pas comprendre le tout en regardant simplement les parties), elle doit être fondamentalement non-classique et inexpliquable.
• Nouvelle Vue : C'est faux.
  • Certaines théories (comme la BCT) échouent au test mais sont explicables.
  • Certaines théories (comme la LCT) échouent au test et ne sont pas explicables.

La Conclusion :
Les auteurs montrent qu'il n'y a pas de relation simple et directe entre « paraître classique à l'intérieur » et « être explicable par une histoire simple ». La façon dont les systèmes se combinent (la composition) est un facteur crucial et indépendant. Vous ne pouvez pas simplement supposer que parce que les parties sont simples, le tout doit être simple — ou que si le tout est bizarre, il est inexpliquable. Vous devez examiner les règles spécifiques de la combinaison pour en être certain.

En bref : Être « localement classique » ne suffit pas pour garantir qu'une théorie est « classiquement explicable ». Le diable est dans les détails de la manière dont les choses s'assemblent.

Résumé technique

Résumé Technique : Découplage de la classicalité locale et de l'explicabilité classique

Énoncé du Problème
L'article traite de la relation entre deux notions distinctes de « classicalité » au sein du cadre des Théories Probabilistes Opérationnelles (TPO) : la classicalité locale et l'explicabilité classique.

• Classicalité Locale : Une théorie est localement classique si chaque système individuel en son sein est classique (c'est-à-dire que son espace d'états est un simplexe et qu'il satisfait l'hypothèse de non-restriction), même si la règle de composition de ces systèmes diffère de la théorie classique standard.
• Explicabilité Classique : Une théorie est classiquement explicable si elle admet un modèle ontologique. Ceci est défini comme une application linéaire, préservant les diagrammes et préservant la déterminance, de la théorie vers la Théorie Classique (TC) standard. Ce concept est équivalent au fait que la théorie soit généralisée non-contextuelle.

Une question centrale se pose : toute théorie localement classique admet-elle un modèle ontologique ? Des travaux antérieurs sur la Théorie Classique Bilocale (BCT) [1] suggéraient que, puisque la BCT viole la tomographie locale (le principe selon lequel les états composites sont entièrement déterminés par les mesures locales), elle pourrait ne pas admettre de modèle ontologique réaliste local. Inversement, d'autres constructions de théories localement classiques pourraient intrinsèquement échouer à être classiquement explicables. L'article vise à découpler ces concepts en construisant des modèles et des contre-exemples explicites.

Méthodologie
Les auteurs emploient le formalisme des TPO et le cadre des modèles ontologiques tels que définis dans les références [2, 6]. La méthodologie repose sur deux constructions primaires :

1. Construction d'un modèle ontologique pour la BCT :

   • Les auteurs définissent une application linéaire $\tilde{\xi}$ de la BCT vers la Théorie Classique standard ($\Delta$).
   • Correspondance des Systèmes : Un système non trivial $n$ dans la BCT est associé à un système classique de dimension $2n$ (spécifiquement, un produit tensoriel d'un espace de dimension $n$ et d'un espace binaire).
   • Correspondance États/Effets : Les états purs et les effets dans la BCT, qui impliquent des variables binaires ($s \in \{0,1\}$) aux côtés d'indices standards, sont associés à des états/effets classiques en utilisant des portes de « copie » et de « controlled-NOT » (CNOT) sur les sous-espaces binaires.
   • Correspondance des Transformations : Les transformations atomiques dans la BCT sont associées à des matrices sous-stochastiques dans la théorie classique, préservant la structure spécifique de la règle de composition de la BCT (qui implique un « torsion » des indices via la variable binaire).
   • Vérifications de Cohérence : Les auteurs vérifient rigoureusement que cette application satisfait les propriétés requises : linéarité, préservation des diagrammes (préservation de la composition séquentielle et parallèle, de l'identité et du swap), et préservation de la déterminance (association des transformations déterministes à des transformations déterministes).

2. Construction d'un Contre-exemple (Théories Classiques Latentes - LCT) :

   • Les auteurs utilisent la construction de « théorie latente » de la référence [76], adaptée aux systèmes classiques.
   • Définition : Les LCT sont définies par une règle de composition où le composite de deux systèmes $C_1$ et $C_2$ inclut un espace facteur latent supplémentaire $L_{12}$ (c'est-à-dire, $C_1 \otimes C_2 = L_{12} \otimes C_1 \otimes C_2$).
   • Condition : L'état latent $|\kappa\rangle_{L_{12}}$ est choisi pour ne pas être de rang plein (ne couvrant pas l'intégralité de l'espace latent).
   • Preuve de Non-existence : Les auteurs prouvent que si l'état latent n'est pas de rang plein, il existe un effet bipartite non nul qui annihile chaque état produit. Ils démontrent qu'aucun modèle ontologique ne peut exister pour une telle théorie car la propriété de préservation des diagrammes exigerait que cet effet soit associé à un effet nul dans la théorie classique, ce qui contredirait la préservation de la probabilité de l'effet non nul sur un état composite spécifique.

Contributions Clés et Résultats

1. Existence d'un Modèle Ontologique pour la BCT (Théorème 2.3) :
   L'article construit le premier modèle ontologique pour une théorie entière qui échoue à être localement tomographique. Ce résultat réfute la conjecture de la référence [1] selon laquelle la BCT pourrait manquer d'un modèle ontologique réaliste local.

   • Implication : L'échec de la tomographie locale ne préclut pas nécessairement l'explicabilité classique. Les degrés de liberté non-localement tomographiques dans la BCT peuvent être rendus compte par l'ajout d'états ontiques supplémentaires localement.

2. Non-existence de Modèles Ontologiques pour les LCT (Théorème 3.2) :
   L'article prouve que les Théories Classiques Latentes avec des états latents de rang non plein n'admettent aucun modèle ontologique.

   • Implication : Toutes les théories localement classiques ne sont pas classiquement explicables. Il existe une tension fondamentale entre certaines règles de composition (spécifiquement celles permettant de fortes violations de la tomographie locale) et l'existence d'un modèle à variables cachées non-contextuel.

3. Découplage des Concepts :
   Les résultats démontrent que la classicalité locale et l'explicabilité classique sont des propriétés indépendantes. Une théorie peut être localement classique mais non classiquement explicable (LCT), ou localement classique et classiquement explicable malgré l'échec de la tomographie locale (BCT).

Signification et Revendications
L'article affirme que ces découvertes ont des implications significatives pour la compréhension fondamentale de la classicalité :

• Limitation des Théorèmes de Structure : Le résultat montre que l'hypothèse de la tomographie locale, qui sous-tend le théorème de structure pour les modèles non-contextuels généralisés de la référence [2], est une limitation réelle de ce théorème. Le théorème ne s'applique pas aux théories qui violent la tomographie locale, même si elles sont localement classiques.
• Centralité des Propriétés de Composition : Les auteurs soutiennent que la manière dont les systèmes se composent (la règle de composition) n'est pas un aspect technique secondaire, mais une question centrale et incontournable pour comprendre la classicalité. La distinction entre les théories qui sont localement classiques mais globalement non-classiques (au sens de l'explicabilité) souligne l'importance de la structure de composition.
• Clarification de la Classicalité : L'article fournit un exemple concret (BCT) où une théorie est plus simplement comprise via son modèle ontique sous-jacent que via sa formulation opérationnelle originale, de la même manière que la théorie de jouet de Spekkens clarifie les sous-théories de stabilisateurs de dimensions impaires.
• Absence de Relation Directe : Les conclusions établissent qu'il n'y a pas de relation directe entre le fait qu'une théorie soit localement classique et le fait qu'elle soit classiquement explicable. Des travaux futurs sont suggérés pour identifier les principes physiques qui distinguent quelles théories localement classiques admettent des modèles ontologiques.

L'article conclut que le statut des propriétés de composition est fondamental pour une compréhension cohérente de la classicalité, dépassant la vision traditionnelle selon laquelle la tomographie locale est une condition nécessaire pour l'explicabilité classique.