Relative State Quantum Logic

Cet article propose un cadre de logique quantique relative qui rend compte de l'évolution historique et du transfert d'information vers l'environnement, démontrant que, bien que les conjonctions de variables conjuguées soient non commutatives et que le système reste généralement non distributif, ces écarts se rapportent à des effets d'interférence qui peuvent être résolus en mappant les probabilités de projection vers une logique ternaire orthocomplémentée où la loi du tiers exclu vaut.

L'essentiel

La Grande Image : Pourquoi la Logique Quantique est Étrange

Imaginez que vous essayez de rédiger un manuel de règles expliquant le fonctionnement de l'univers. Dans notre monde quotidien (la logique classique), les règles sont simples :

• Loi de Distributivité : Si vous avez une balle rouge OU une balle bleue, et que vous demandez « Est-ce une balle ? », la réponse est « Oui ». Peu importe si vous regroupez d'abord les couleurs ou d'abord la forme ; la logique tient bon.
• Le Problème : Dans le monde quantique (le monde des atomes et des particules), cette règle s'effondre. Si vous essayez de combiner deux façons différentes d'observer une particule (comme sa position et sa vitesse, qui sont des « variables conjuguées »), les mathématiques deviennent désordonnées. Le manuel de règles standard pour la logique quantique (créé par Birkhoff et von Neumann en 1936) affirme que si vous essayez de combiner ces deux points de vue, le résultat est « rien » (probabilité nulle).

L'Argument de l'Auteur :
L'auteur, M.P. Vaughan, soutient que ce manuel de règles standard est incomplet. Il affirme que la raison pour laquelle les mathématiques s'effondrent est que le modèle standard traite la particule comme si elle était seule dans le vide. En réalité, une particule interagit toujours avec son environnement.

Vaughan propose une nouvelle façon d'aborder cela, appelée « Logique Quantique des États Relatifs ». Au lieu de demander « Que fait la particule ? », nous demandons « Que fait la particule par rapport à ce que l'environnement sait d'elle ? »

---

Concepts Clés Expliqués par des Analogies

1. La « Boîte Noire » contre le « Livre d'Histoires »

L'Ancienne Vue (Birkhoff/von Neumann) :
Imaginez qu'une particule est un secret gardé dans une boîte noire. Une fois que vous ouvrez la boîte pour la mesurer, le secret est révélé et la boîte est vide. L'ancienne logique dit que la boîte ne peut pas contenir deux secrets différents à la fois. Si vous demandez : « Le secret est-il « Rouge » ET « Bleu » ? », la réponse est « Impossible ».

La Nouvelle Vue (États Relatifs) :
Imaginez que la particule est un personnage dans une histoire, et que l'environnement est un carnet qui enregistre l'histoire du personnage.

• Lorsque la particule change d'état, elle ne fait pas simplement « s'effondrer » en un nouvel état ; elle écrit une nouvelle entrée dans le carnet.
• Si le carnet enregistre l'histoire clairement, nous pouvons regarder en arrière et voir : « D'abord, la particule était dans l'état A, et ensuite elle est passée à l'état B. »
• L'auteur appelle ces entrées des « États Relatifs Partiels ». Ils sont comme des notes de bas de page dans l'environnement qui nous racontent l'histoire du système.

2. Le Sandwich « Non-Commutatif »

En mécanique quantique, l'ordre des événements compte. Si vous mesurez la position d'une particule en premier, puis sa vitesse, vous obtenez un résultat différent de celui obtenu si vous mesurez la vitesse en premier, puis la position.

• L'Analogie : Imaginez faire un sandwich.
  • Ordre A : Mettez du beurre de cacahuète sur le pain, puis de la gelée.
  • Ordre B : Mettez de la gelée sur le pain, puis du beurre de cacahuète.
  • Ce sont deux sandwiches différents, même s'ils ont les mêmes ingrédients.
• L'Affirmation du Document : La logique standard dit que vous ne pouvez pas avoir un sandwich avec les deux ingrédients car ils sont « incompatibles ». Vaughan dit : « Non, vous pouvez avoir le sandwich, mais l'ordre compte. » La probabilité d'obtenir le sandwich « Beurre de cacahuète puis Gelée » est différente de « Gelée puis Beurre de cacahuète ».
• La Surprise : L'auteur montre que si vous regardez le « carnet » (l'environnement), vous pouvez définir un « ET » logique pour ces deux événements, mais il est non-commutatif (l'ordre compte).

3. Le « Brouillard » et l'« Éclaircie » (Interférence)

Pourquoi la logique devient-elle si étrange ? Le document suggère que c'est à cause de l'interférence, qui est comme un brouillard.

• Le Brouillard : Lorsque l'environnement ne sait pas ce que fait la particule, la particule existe dans un « brouillard » de possibilités. C'est comme une onde qui se propage. Ce brouillard fait échouer la « Loi de Distributivité ». Les mathématiques incluent des « termes d'interférence » (termes croisés) qui font que les probabilités se comportent étrangement.
• L'Éclaircie : Lorsque l'environnement enregistre bien l'information (comme le carnet se remplissant de notes claires), le brouillard se dissipe. Les termes d'interférence disparaissent.
• Le Résultat : Une fois que l'environnement possède l'information, la logique quantique étrange commence à ressembler à nouveau à la logique quotidienne normale. La « Loi de Distributivité » (la règle qui échoue habituellement) commence soudainement à fonctionner à nouveau !

4. Vrai, Faux et « Peut-être » (Logique Ternaire)

La logique standard est binaire : une affirmation est soit Vraie soit Fausse.

• Le Problème : En mécanique quantique, une particule peut être dans un état où elle a 50 % de chances d'être ici et 50 % de chances d'être là. L'affirmation « La particule est ici » est-elle Vraie ou Fausse ? Ni l'un ni l'autre.
• La Solution : L'auteur suggère que nous avons besoin d'une Logique à Trois Valeurs :
  1. Vrai : La probabilité est de 100 % (Certain).
  2. Faux : La probabilité est de 0 % (Impossible).
  3. Incertain : La probabilité est quelque part entre les deux (par exemple, 50 %).

Point Crucial : Même si nous avons une catégorie « Peut-être », l'auteur soutient que la règle classique « Une chose est soit Vraie, soit Pas Vraie » (la Loi du Tiers Exclu) reste valable.

• Analogie : Si je demande : « Pleut-il ou ne pleut-il pas ? » La réponse est toujours « Oui » (Vrai), même si je ne sais pas lequel des deux c'est. L'état « Incertain » signifie simplement que nous ne connaissons pas le fait spécifique, mais la structure logique reste solide.

Résumé des Affirmations du Document

1. L'Histoire Compte : Vous ne pouvez pas comprendre un système quantique sans connaître son histoire. L'environnement agit comme un dispositif de stockage pour cette histoire.
2. L'Ordre Compte : Combiner deux mesures quantiques différentes (variables conjuguées) est possible, mais l'ordre dans lequel vous les effectuez change le résultat. La logique standard échoue à capturer cela.
3. L'Information Dissipe le Brouillard : L'« étrangeté » de la logique quantique (comme l'échec de la Loi de Distributivité) est causée par un manque de transfert d'information. Lorsque l'information passe du système à l'environnement, l'étrangeté s'estompe et la logique classique réémerge.
4. Nouveau Système Logique : Nous devrions arrêter d'essayer de forcer la mécanique quantique dans une case « Vrai/Faux ». Au lieu de cela, nous devrions utiliser un système « Vrai/Faux/Incertain » qui respecte les probabilités tout en maintenant les lois fondamentales de la logique intactes.

Ce que le document NE prétend PAS :

• Il ne prétend pas résoudre définitivement le « problème de la mesure » (pourquoi nous voyons un résultat plutôt qu'une superposition) ; il offre simplement un nouveau cadre logique pour le décrire.
• Il ne propose pas de nouvelles applications médicales ou technologiques.
• Il ne dit pas que l'environnement cause l'effondrement dans un sens physique, mais plutôt que l'enregistrement de l'information dans l'environnement est ce qui fait que la logique se comporte de manière classique.

En bref, le document soutient que la logique n'est pas brisée dans le monde quantique ; notre vision en manque simplement le contexte de l'environnement. Une fois que nous incluons les « notes » de l'environnement sur l'histoire du système, la logique devient cohérente, même si cela nécessite un nouveau système de vérité à trois voies.

Résumé technique

Résumé Technique : Logique Quantique de l'État Relatif

Énoncé du Problème
L'article aborde les limitations fondamentales de la formulation standard de la logique quantique de Birkhoff-von Neumann (BvN). Dans l'approche BvN, les propositions concernant des observables physiques sont mappées sur des sous-espaces d'un espace de Hilbert, où la conjonction logique correspond à l'intersection de sous-espaces et la disjonction à la somme de sous-espaces. Ce cadre produit un treillis non distributif. Un problème critique surgit lorsqu'on considère la conjonction de vecteurs non orthogonaux (représentant des variables conjuguées ou des mesures à des instants différents). Dans la logique BvN, l'intersection de deux sous-espaces distincts non orthogonaux est l'espace nul, impliquant que la conjonction est toujours fausse ($P(\phi \land \chi) = 0$). Cependant, la mécanique quantique dicte une probabilité conditionnelle non nulle $P(\phi|\chi) = |\langle \phi|\chi \rangle|^2$ pour trouver le système dans l'état $|\phi\rangle$ sachant qu'il était dans $|\chi\rangle$. Cela crée une incohérence avec la définition classique de la probabilité conditionnelle, $P(\phi|\chi) = P(\phi \land \chi)/P(\chi)$, suggérant que la logique BvN échoue à décrire adéquatement la conjonction de variables conjuguées ou de séquences de mesures. De plus, l'approche standard traite le système de manière isolée, négligeant l'évolution historique du système et le mécanisme par lequel l'information sur les états passés est enregistrée.

Méthodologie
L'auteur développe une « logique quantique projective » basée sur la formulation de l'état relatif (interprétation d'Everett) étendue pour inclure l'environnement. La méthodologie procède par plusieurs étapes clés :

1. Modélisation Système-Environnement : Le système physique $S$ est traité comme faisant partie d'un système bipartite plus large $S \otimes E$ (système et environnement). L'état total est exprimé comme une superposition d'états du système $|\phi_i\rangle$ intriqués avec des états relatifs de l'environnement $|R_i(t)\rangle$.
2. États Relatifs Partiels : Un concept novateur est introduit où les « états relatifs partiels » encodent l'information historique. Si un système subit une séquence de mesures (par exemple, d'abord dans la base $\phi$, puis dans la base conjuguée $\chi$), l'environnement stocke l'information sur les deux événements. Si les états relatifs correspondant à différentes histoires deviennent orthogonaux, l'information est pleinement enregistrée ; s'ils restent non orthogonaux, l'information est perdue ou ambiguë.
3. Généralisation aux POM : Pour gérer la conjonction de variables conjuguées (observables non commutatives), l'article dépasse les Mesures à Valeurs de Projecteurs (PVM), limitées aux sous-espaces orthogonaux. Il utilise plutôt des Mesures à Valeurs d'Opérateurs Positifs (POVM). En utilisant le théorème de dilatation de Naimark, l'auteur démontre qu'une POVM sur l'espace de Hilbert du système peut être mappée sur une PVM sur un espace de Hilbert plus large (le système plus l'environnement).
4. Opérateurs Logiques : L'article définit la conjonction et la disjonction logiques pour les variables conjuguées en construisant des éléments spécifiques de POVM dérivés du développement de l'état relatif. Il introduit également des opérateurs de vérité unaire ($T, F, U$) qui mappent les valeurs de probabilité continues sur une logique ternaire de « Vrai », « Faux » et « Incertain ».

Contributions et Résultats Clés

• Conjonction Non Commutative : L'article démontre que la conjonction logique de variables conjuguées (par exemple, $\phi \land \chi$) est bien définie mais non commutative. La probabilité de la séquence $\phi$ puis $\chi$ diffère de $\chi$ puis $\phi$. L'article soutient que la logique BvN échoue ici car elle traite la conjonction comme une intersection statique de sous-espaces, tandis que l'approche par état relatif modélise correctement la nature séquentielle et dépendante du temps du processus de mesure.
• Récupération de la Loi Distributive via le Transfert d'Information : La loi distributive ($A \land (B \lor C) = (A \land B) \lor (A \land C)$), qui échoue en logique quantique standard, est montrée réémergeant sous des conditions spécifiques. L'écart entre les résultats logiques quantiques et classiques est directement proportionnel aux termes d'interférence. Ces termes d'interférence sont supprimés lorsque l'information sur l'état du système est transférée à l'environnement (c'est-à-dire lorsque les états relatifs deviennent orthogonaux). Ainsi, la logique classique émerge comme une limite de transfert maximal d'information (décohérence), tandis que la non-distributivité quantique résulte d'un manque d'une telle information.
• Logique Ternaire Orthocomplémentée : L'auteur propose de mapper les probabilités quantiques sur une logique ternaire avec les valeurs : Vrai ($P=1$), Faux ($P=0$) et Incertain ($0 < P < 1$). Contrairement à d'autres logiques ternaires (par exemple, Kleene ou Lukasiewicz), ce schéma préserve la Loi du Tiers Exclu ($T(X \lor \neg X)$) car la logique reste orthocomplémentée. L'état « Incertain » gère la nature probabiliste des résultats quantiques sans violer les tautologies fondamentales.
• États Conditionnels : Un formalisme pour les « états conditionnels » est développé, permettant de définir un état représentant un « état de choses » spécifique (par exemple, le système est dans l'état $|\chi\rangle$ sachant que l'environnement est dans $|R\rangle$). Cela fournit une manière rigoureuse de traiter les probabilités conditionnelles au sein de la logique.

Signification et Revendications
L'article prétend fournir un cadre qui résout l'incohérence entre l'approche BvN et la nature probabiliste des mesures séquentielles impliquant des variables conjuguées. En déplaçant l'accent des systèmes isolés vers le transfert d'information entre un système et son environnement, l'auteur soutient que :

1. La « réduction » de la fonction d'onde peut être comprise comme l'enregistrement d'information historique dans l'environnement via des états relatifs orthogonaux.
2. Les caractéristiques non classiques de la logique quantique (non-distributivité) ne sont pas des échecs intrinsèques de la logique mais des conséquences des effets d'interférence causés par une information incomplète sur l'histoire du système.
3. La logique classique n'est pas remplacée mais émerge plutôt comme un cas limite lorsque le transfert d'information est suffisant pour supprimer les interférences.
4. Une logique ternaire mappée à partir de la théorie des probabilités est un fondement plus approprié pour le raisonnement quantique que la logique binaire, car elle accommodé la nature « incertaine » des états quantiques tout en maintenant la cohérence logique (spécifiquement, la loi du tiers exclu).

L'auteur positionne ce travail comme une description préliminaire d'une logique quantique projective, soulignant le lien conceptuel entre la théorie de l'information et la structure logique, plutôt qu'un système entièrement axiomatisé. La signification réside dans la reformulation des anomalies logiques quantiques comme des déficits informationnels par rapport à l'environnement de l'observateur.