Counterfactual quantum measurements

1. Problématique et Contexte

Le raisonnement contrefactuel (« Si A avait été différent, alors C aurait été différent ») est fondamental dans de nombreux domaines (politique, intelligence artificielle, philosophie). Cependant, son application à la mécanique quantique orthodoxe (MQO) pose un défi majeur.

• Limites des approches classiques : L'analyse classique de David Lewis repose sur une ontologie déterministe et une hiérarchie de similitudes entre mondes possibles. Elle suppose que les états physiques ont des propriétés définies et que l'évolution est déterministe.
• Le défi quantique : La MQO est intrinsèquement probabiliste et viole la causalité classique (via l'intrication et le non-signalisation). La question de savoir si les propositions contrefactuelles ont une valeur de vérité définie (« définitude contrefactuelle ») est controversée.
• Objectif de l'article : Proposer un formalisme rigoureux pour les contrefactuels quantiques qui ne repose pas sur des variables cachées déterministes, mais qui fonctionne dans le cadre de la MQO standard. L'objectif est de répondre à des questions complexes comme : « Sachant qu'un détecteur de photons a cliqué à un instant $t$, quel aurait été le résultat si un détecteur de quadrature de champ avait été utilisé à la place ? »

2. Méthodologie : Le Calcul des « Supposabilités »

Les auteurs étendent l'analyse de Lewis en quatre étapes clés pour l'adapter à la théorie quantique :

1. Restriction aux éléments classiques : Le formalisme se concentre uniquement sur les paramètres de mesure (réglages), les résultats de mesure et les variables classiques non contrôlées (bruit).
2. Généralisation vers les probabilités (Supposabilité) : Au lieu de demander si une conséquence est vraie ou fausse, on calcule la probabilité de la conséquence. Les auteurs introduisent le terme « supposabilité » (Su) pour désigner cette probabilité contrefactuelle, afin de la distinguer d'une probabilité empirique directe.
3. Antécédents comme réglages de mesure : Pour éviter de violer les lois physiques, l'antécédent (la condition « Si... ») est restreint aux choix de réglages de mesure (settings), qui sont des choix libres externes au système quantique.
4. Principe des « Fixtures » (Éléments fixes) : C'est le cœur de la méthode. Pour maximiser la similitude entre le monde réel et le monde contrefactuel (deuxième desideratum de Lewis), tous les événements classiques qui ne sont pas dans le futur cône de lumière de l'antécédent doivent rester fixes.
   • Cela inclut les réglages et les résultats des autres observateurs, même s'ils sont inconnus de l'observateur posant la question.
   • Mathématiquement, la supposabilité est calculée en moyennant la probabilité dans le monde contrefactuel sur la distribution des résultats fixes (les « fixtures ») dans le monde réel, conditionnée aux preuves disponibles.

La formule générale pour la supposabilité $Su(C' = c' | A' = a' || E = e)$ est :
$$Su(C' = c' | A' = a' || E = e) = \sum_f Pr(C' = c' | A' = a', F = f) \times Pr(F = f | E = e)$$
Où $F$ représente les événements fixes, $E$ les preuves dans le monde réel, et $A'$ l'antécédent contrefactuel.

3. Contributions Clés et Résultats

L'article démontre l'efficacité de ce formalisme à travers deux exemples majeurs :

A. Scénario Bell-CHSH (Mesures discrètes)

• Situation : Alice et Bob partagent un état singulet. Alice connaît son réglage $X$, son résultat $A$, et le réglage de Bob $Y$. Elle se demande ce qu'elle aurait obtenu ($A'$) si elle avait choisi un réglage différent $X'$.
• Résultat : En appliquant la méthode des fixtures (le résultat de Bob $B$ est fixe car il est en dehors du cône de lumière de $X'$), les auteurs calculent une supposabilité de 3/4 pour un résultat spécifique.
• Signification : Ce résultat diffère radicalement des intuitions naïves (qui donneraient 1/2) ou des approches basées sur la définitude contrefactuelle. Il montre que l'information du monde réel (le résultat de Bob, même inconnu d'Alice) influence la probabilité contrefactuelle via l'intrication.

B. Surveillance Continue d'un Atome (Mesures continues)

• Situation : Un atome à deux niveaux est piloté et émet de la fluorescence détectée en continu par Alice (photons) et Bob (photons). Alice se demande quel aurait été son courant homodyne ($Y_t$) si elle avait utilisé une détection homodyne au lieu de la détection de photons, sachant son historique réel de clics ($\vec{N}$).
• Défi : L'espace des résultats est continu et non différentiable. Les auteurs introduisent le concept de « suspectation » (S), l'équivalent contrefactuel de l'espérance mathématique.
• Méthode de calcul :
  1. Utilisation du lissage quantique (quantum state smoothing) pour estimer la distribution des résultats de Bob conditionnés aux résultats d'Alice.
  2. Calcul de la valeur faible généralisée pour le courant homodyne contrefactuel.
• Résultats : La courbe de suspectation montre un pic autour du moment du clic réel d'Alice, avec des « échos » oscillants.
• Interprétation physique : Dans le monde contrefactuel, pour que les clics de Bob soient supprimés (ce qui est une contrainte fixe due à l'anti-bunching de la fluorescence), l'état de l'atome doit être plus proche de l'état fondamental. Cela implique que le courant homodyne contrefactuel doit avoir une valeur spécifique (positive) à ce moment précis, ce qui explique le pic observé.

4. Signification et Impact

• Fondation théorique : Ce travail place le raisonnement contrefactuel quantique sur des bases rigoureuses sans recourir à des variables cachées, en respectant la structure causale (non-signalisation) de la mécanique quantique.
• Distinction conceptuelle : Il clarifie la différence entre la « définitude contrefactuelle » (fausse en MQO) et la « supposabilité » (une probabilité conditionnelle bien définie).
• Applications potentielles :
  • Modélisation causale quantique : Offre un outil pour analyser les causalités dans les réseaux quantiques.
  • Apprentissage automatique quantique : Pourrait améliorer les algorithmes d'inférence causale.
  • Théories fondamentales : Pourrait aider à généraliser des théories comme la Théorie de l'Information Intégrée (IIT) au domaine quantique.
• Vérification expérimentale : L'article note (dans la note ajoutée) que la « suspectation » calculée correspond à la valeur attendue d'un observable par rapport à l'état quantique lissé (smoothed state), qui a déjà été vérifié expérimentalement en optique et en optomécanique.

En résumé, cet article propose un calcul formel permettant de répondre à des questions « Et si... » dans le monde quantique en traitant les résultats inconnus d'autres observateurs comme des éléments fixes, offrant ainsi une nouvelle perspective sur la causalité et l'information en mécanique quantique.