Spatial Localization of Relativistic Quantum Systems: The Commutativity Requirement and the Locality Principle. Part II: A Model from Local QFT

Ce travail complète une étude précédente en construisant, dans le cadre de la théorie quantique des champs locale, une classe d'observables de localisation spatiale relativiste sous forme de mesures à valeurs d'opérateurs positifs (POVM) qui satisfont la causalité relativiste, dont les versions conditionnelles pour des laboratoires finis appartiennent aux algèbres de von Neumann locales et commutent pour des régions causalement séparées, tout en abordant les défis de la positivité via les inégalités d'énergie quantique.

L'essentiel

Imaginez que vous essayez de prendre une photo d'une particule subatomique (comme un électron ou un photon) qui se déplace à une vitesse proche de celle de la lumière. En physique classique, c'est facile : vous dites « la particule est ici » et « elle n'est pas là-bas ». Mais en mécanique quantique relativiste (la physique des très petites choses qui vont très vite), les règles changent radicalement.

Ce papier, écrit par Valter Moretti, est la deuxième partie d'une étude qui tente de résoudre un casse-tête majeur : Comment localiser une particule dans l'espace sans violer les lois de la causalité (le fait que rien ne va plus vite que la lumière) ?

Voici une explication simple, imagée et en français de ce que les auteurs ont découvert.

1. Le Problème : Le Dilemme du « Je suis ici ET là-bas »

Imaginez que vous avez un détecteur géant qui couvre tout l'univers. Vous voulez savoir si une particule est dans votre salon (région A) ou dans votre cuisine (région B).

• En physique classique, si A et B sont séparés par un mur, vous pouvez mesurer les deux en même temps sans problème.
• En physique quantique relativiste, les mathématiques disent que si vous essayez de dire « la particule est ici » et « la particule est là-bas » pour des régions séparées par la lumière, ces deux affirmations ne peuvent pas être vraies en même temps de manière mathématiquement propre. Elles « ne commutent pas ». C'est comme si mesurer la position de la particule dans le salon perturbait instantanément sa position dans la cuisine, même si elles sont trop loin pour que la lumière ait le temps de voyager entre les deux.

C'est un problème énorme car cela semble violer la règle d'or : Rien ne voyage plus vite que la lumière.

2. La Solution de l'Auteur : La « Loupe » et le « Laboratoire Fini »

L'auteur propose une solution élégante en changeant la façon dont on pose la question. Au lieu de demander « Où est la particule dans tout l'univers ? » (ce qui est impossible sans créer de paradoxes), il demande : « Où est la particule dans ce laboratoire fini, sachant qu'on l'a détectée quelque part dans ce laboratoire ? »

Voici les métaphores clés pour comprendre sa méthode :

A. La Loupe de l'Énergie (Le Tenseur Énergie-Impulsion)

Pour « voir » la particule, l'auteur n'utilise pas un simple détecteur de position. Il utilise une loupe faite d'énergie.

• Imaginez que la particule est une goutte d'eau dans un océan. Pour la localiser, vous ne pouvez pas juste regarder l'eau. Vous devez regarder où l'énergie est concentrée.
• L'auteur utilise un outil mathématique appelé le tenseur énergie-impulsion. C'est comme une carte thermique qui montre où l'énergie est la plus forte. En « frottant » cette carte avec une fonction mathématique (une sorte de filtre), il crée un outil de localisation.
• Le problème : Parfois, cette carte thermique montre des zones où l'énergie semble négative (ce qui est physiquement étrange, comme avoir de l'argent négatif dans votre compte bancaire). Cela rend la mesure impossible à interpréter directement.

B. Le Correcteur de « Dette Énergétique » (Les Inégalités d'Énergie Quantique)

Pour régler le problème de l'énergie négative, l'auteur utilise une astuce brillante inspirée par les travaux de Fewster et d'autres.

• Imaginez que votre compteur d'énergie affiche parfois des nombres négatifs à cause d'un bug. L'auteur dit : « Ajoutons une petite somme d'argent fictive (un paramètre $\eta$) à tout le système pour que le total soit toujours positif. »
• En élargissant la « fenêtre de temps » de la mesure (en regardant la particule sur une durée plus longue), il peut rendre cette « dette » négative aussi petite qu'on veut. Ainsi, il peut construire un détecteur qui ne montre que des énergies positives.

C. Le Laboratoire Fini et la Conditionnalité

C'est le cœur de la découverte.

• L'ancien problème : Si vous essayez de localiser une particule dans l'univers entier, les mesures dans deux régions éloignées se « marchent sur les pieds » (elles ne commutent pas).
• La nouvelle approche : L'auteur dit : « Oublions l'univers entier. Concentrons-nous sur un laboratoire fini (une boîte). »
• Il définit une mesure conditionnelle : « Quelle est la probabilité que la particule soit dans le coin gauche du laboratoire, SACHANT qu'elle est quelque part dans le laboratoire ? »
• Le résultat magique : Quand on fait cette mesure conditionnelle dans deux laboratoires différents, séparés par une distance telle que la lumière ne peut pas passer de l'un à l'autre, les mesures ne se marchent plus sur les pieds ! Elles commutent. Elles deviennent compatibles avec la relativité.

3. L'Analogie Finale : Le Jeu de Cache-Cache

Imaginez un jeu de cache-cache dans une immense ville (l'univers).

• Le problème initial : Si vous demandez à deux joueurs séparés par la ville « Est-ce que l'enfant est dans la rue A ? » et « Est-ce que l'enfant est dans la rue B ? », leurs réponses peuvent entrer en conflit mathématique si on essaie de les combiner instantanément.
• La solution de Moretti : Au lieu de chercher dans toute la ville, on dit : « Nous sommes dans ce quartier (le laboratoire). Nous savons que l'enfant est quelque part dans ce quartier. Maintenant, est-il dans cette maison précise ? »
• En restant confinés à des quartiers (laboratoires) séparés, les joueurs peuvent faire leurs mesures sans se perturber mutuellement. La « magie » de la localisation quantique ne fonctionne que si on accepte de ne pas savoir où est la particule hors du laboratoire.

En Résumé

Ce papier réussit à construire un outil mathématique rigoureux pour localiser des particules relativistes en utilisant l'énergie du champ quantique.

1. Il résout le problème de l'énergie négative en ajustant les paramètres de mesure.
2. Il montre que la localisation absolue (dans tout l'univers) est impossible sans briser la causalité.
3. Il démontre que la localisation conditionnelle (dans un laboratoire fini, sachant que la particule est dedans) est possible et respecte parfaitement la règle « rien ne va plus vite que la lumière ».

C'est une avancée majeure qui réconcilie la mécanique quantique (où les choses sont floues) et la relativité (où le temps et l'espace sont stricts), en nous disant essentiellement : « Pour bien localiser une particule, il faut accepter de ne regarder que dans une boîte fermée. »

Résumé technique

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie quantique des champs (QFT) en espace-temps de Minkowski et aborde le problème fondamental de la localisation spatiale des systèmes quantiques relativistes.

• Le paradoxe de la localisation : Des travaux antérieurs (notamment Halvorson et Clifton) ont démontré que, sous des hypothèses raisonnables (énergie positive, additivité), il est impossible de définir des observables de localisation spatiale (POVMs) dont les effets associés à des régions spatialement séparées (causalement disjointes) commutent. Cela semble en tension avec le principe de microcausalité du cadre Araki-Haag-Kastler (AHK), qui exige que les observables locales commutent.
• La limite des observables globales : Dans [Mor26], l'auteur a montré que pour des observables de localisation décrivant la position d'une particule relativiste sur un espace de repos complet, l'exigence de commutativité n'est pas justifiée physiquement (pas de signalisation superluminale nécessaire). Cependant, ces observables ne sont pas des éléments d'algèbres d'opérateurs locaux au sens AHK.
• L'objectif de ce travail : Construire une classe d'observables de localisation spatiale à énergie positive rigoureusement définis dans le formalisme standard de la QFT, et démontrer que la commutativité peut être restaurée au niveau des mesures conditionnelles effectuées dans des laboratoires de taille finie (régions spatio-temporelles bornées).

2. Méthodologie

L'auteur utilise le formalisme rigoureux de la QFT pour un champ scalaire réel massif libre, en s'appuyant sur les outils suivants :

• Tenseur énergie-impulsion : La construction repose sur l'opérateur du tenseur énergie-impulsion normalement ordonné, noté $:\hat{T}_{\mu\nu}:$, lissé (smeared) avec des fonctions tests $f \in \mathcal{D}(M)$.
• Espace de Fock : Le travail est mené sur l'espace de Fock bosonique $F_s(H^{(1)})$, en considérant les secteurs à $n$ particules.
• Inégalités d'énergie quantique (QEI) : Pour contourner le théorème de Reeh-Schlieder (qui implique que le tenseur énergie-impulsion n'est pas positif sur tout l'espace de Fock, permettant des énergies négatives), l'auteur utilise des inégalités d'énergie quantique (Fewster et al.) pour établir des bornes inférieures contrôlées.
• Extensions de Friedrichs : Pour définir des opérateurs auto-adjoints à partir d'opérateurs symétriques bornés inférieurement (mais non positifs), l'auteur utilise les extensions de Friedrichs.
• Dualité de Haag et Algèbres de von Neumann : La preuve de la commutativité repose sur la dualité de Haag pour les algèbres de Weyl locales et un résultat de Kadison concernant l'affiliation des extensions de Friedrichs aux algèbres de von Neumann locales.

3. Contributions Clés et Résultats

A. Construction d'observables de localisation relativiste (Section 5)

L'auteur construit une famille d'observables de localisation spatiale $A^u_f(\Delta)$ définis sur les hypersurfaces de type espace $\Sigma$.

• Définition : Les effets sont définis par l'intégration du tenseur énergie-impulsion lissé sur une région $\Delta \subset \Sigma$, régularisée par l'opérateur résolvant de l'hamiltonien $H_u$ (pour éviter la singularité du vide).
  $$A^u_f(\Delta) = \lim_{\epsilon \to 0^+} \frac{1}{\sqrt{H_u + \epsilon I}} \left( \int_\Delta :\hat{T}_{\mu\nu}:[f_x^2] u^\mu u^\nu d\Sigma \right) \frac{1}{\sqrt{H_u + \epsilon I}}$$
• Propriétés :
  • Ce sont des POVMs (mesures de valeurs d'opérateurs positifs) bien définis sur chaque secteur à $n$ particules.
  • Ils satisfont la condition de causalité de Castrigiano (CC), empêchant la propagation superluminale des probabilités de détection.
  • Lien avec Newton-Wigner : Dans le secteur à une particule, le premier moment de cette POVM coïncide avec l'opérateur de position de Newton-Wigner, indépendamment du choix de la fonction de lissage $f$ (sous conditions de normalisation).
  • Limite non-relativiste : Pour une masse grande, l'observable se réduit à une mesure de position floue (unsharp) de type von Neumann.

B. Gestion des énergies négatives et régularisation

Le tenseur énergie-impulsion normalement ordonné n'est pas positif sur tout l'espace de Fock (à cause du théorème de Reeh-Schlieder).

• L'auteur démontre que l'on peut modifier le terme temporel de la fonction de lissage $f$ pour rendre l'énergie moyenne positive à une précision $\eta$ près.
• Il introduit un opérateur d'énergie locale modifié $H^u_{f,\eta}(\Delta) = \int_\Delta (:\hat{T}_{\mu\nu}:[f_x^2] - \eta g_{\mu\nu}I) u^\mu u^\nu d\Sigma$.
• En choisissant judicieusement le support temporel de $f$, la borne inférieure de l'énergie négative peut être rendue arbitrairement petite, permettant de définir des opérateurs strictement positifs sur des régions finies.

C. Observables de localisation conditionnelle et Commutativité (Section 6)

C'est le résultat principal de l'article. L'auteur définit des POVMs conditionnels $B_{\Delta_0}(\Delta)$ pour un laboratoire de taille finie $\Delta_0$.

• Construction : En utilisant les extensions de Friedrichs $\hat{H}^u_{f,\eta}(\Delta)$ des opérateurs d'énergie locale, on définit :
  $$B_{\Delta_0}(\Delta) = \frac{1}{\sqrt{\hat{H}^u_{f,\eta}(\Delta_0)}} \hat{H}^u_{f,\eta}(\Delta) \frac{1}{\sqrt{\hat{H}^u_{f,\eta}(\Delta_0)}}$$
• Résultat de Commutativité : Si deux laboratoires sont causalement séparés (leurs régions d'observation $\Delta_0$ et $\Delta'_0$ sont dans des cônes doubles ouverts causalement disjoints), alors les effets des POVMs conditionnels associés commutent :
  $$[B_{\Delta_0}(\Delta), B_{\Delta'_0}(\Delta')] = 0$$
• Justification Mathématique :
  1. Les opérateurs d'énergie locale sont affiliés aux algèbres de von Neumann locales $W(O)$ (grâce à la dualité de Haag).
  2. Le théorème de Kadison assure que les extensions de Friedrichs d'opérateurs affiliés restent affiliés à l'algèbre.
  3. Par conséquent, les effets $B_{\Delta_0}(\Delta)$ appartiennent aux algèbres locales $W(O)$, garantissant la commutativité pour des régions causalement séparées.

4. Signification et Implications

• Rigueur Mathématique : Ce travail place sur des bases mathématiques rigoureuses des constructions précédemment heuristiques (Terno, Moretti) reliant la localisation au tenseur énergie-impulsion.
• Réconciliation Localisation/Localité : L'article résout la tension apparente entre l'impossibilité de définir des observables de position strictement locaux commutant partout et le principe de localité de la QFT. Il montre que la commutativité est une propriété qui émerge naturellement au niveau des mesures conditionnelles dans des régions finies, et non pour des mesures sur l'espace de repos complet.
• Physique des Détecteurs : Cela fournit un modèle théorique pour des détecteurs réalistes (de taille finie) qui respectent la causalité relativiste et la structure algébrique locale de la QFT, tout en évitant les paradoxes de propagation instantanée.
• Ouverture : Le cadre ouvre la voie à l'étude de la localisation dans des espaces-temps courbes (états de Hadamard) et à une analyse plus fine des procédures de mesure indirecte.

En résumé, Moretti démontre que la localisation relativiste peut être construite rigoureusement à partir du tenseur énergie-impulsion, et que la propriété de commutativité, bien que perdue pour les observables globales, est préservée pour les observables conditionnels locaux, validant ainsi l'approche AHK dans un contexte de mesure réaliste.