Bayesian inference and retrodiction for faithful states on von Neumann algebras

Résumé technique : Inférence bayésienne et rétrodiction pour les états fidèles sur les algèbres de von Neumann

Énoncé du problème
Le présent article traite de l'extension de l'inférence bayésienne et du concept de rétrodiction (inférer les causes à partir des effets) des systèmes classiques et quantiques de dimension finie vers le cadre de dimension infinie des algèbres de von Neumann. Bien que la carte de récupération de Petz soit largement reconnue dans la théorie de l'information quantique de dimension finie comme une généralisation quantique de la règle de Bayes, sa caractérisation structurelle et sa formulation catégorique dans les dimensions infinies — spécifiquement pour les états normaux fidèles — n'avaient pas été pleinement établies. Les auteurs visent à déterminer si la carte de récupération de Petz est l'unique candidat universel pour l'inférence bayésienne quantique lorsqu'elle est définie par des axiomes structurels et de théorie des processus spécifiques au sein du cadre de la théorie des catégories.

Méthodologie
Les auteurs emploient une combinaison de la théorie des algèbres d'opérateurs, de la théorie modulaire et de la théorie des catégories.

1. Produit scalaire KMS : L'article établit d'abord le produit scalaire KMS (Kubo-Martin-Schwinger) sur une algèbre de von Neumann $\mathcal{A}$ équipée d'un état fidèle normal. Ce produit scalaire, défini via la représentation GNS et l'opérateur de conjugaison modulaire $J$, sert de structure métrique nécessaire pour définir les adjoints.
2. Construction de la carte de Petz : En utilisant le produit scalaire KMS, les auteurs définissent la carte de récupération de Petz (ou rétrodiction de Petz) comme l'unique application linéaire $E^\star$ qui agit comme l'adjoint d'une application unitaire, complètement positive et préservant l'état (NCPU) $E$ par rapport aux produits scalaires KMS associés aux états sources et cibles.
3. Formulation catégorique : Les auteurs définissent une catégorie $\mathcal{Q}$ où les objets sont des paires $(\mathcal{A}, \omega)$ et les morphismes sont des applications NCPU préservant l'état. Ils définissent ensuite un « foncteur de rétrodiction » $R: \mathcal{Q} \to \mathcal{Q}^{\text{op}}$ et vérifient que l'assignation de la carte de Petz à chaque morphisme satisfait les axiomes d'un tel foncteur : récupération, préservation de l'identité, compositionnalité (règle de la chaîne), tensorialité, extension de l'inversion (pour les isomorphismes) et involutivité.
4. Spécialisation aux algèbres commutatives : Le cadre est spécialisé pour les algèbres de von Neumann commutatives (représentant des systèmes classiques) afin de démontrer que le foncteur de Petz se restreint à l'inverse bayésien classique (règle de Bayes) pour les distributions de probabilité et les noyaux de Markov sur les espaces de Borel standards.
5. Applications de Markov : L'article analyse une sous-catégorie d'« applications de Markov » (morphismes satisfaisant la condition d'Accardi–Cecchini de covariance modulaire) et montre que pour ces applications, la carte de récupération de Petz coïncide avec l'adjoint GNS.

Contributions clés et résultats

• Généralisation en dimension infinie : L'article définit rigoureusement la carte de récupération de Petz pour les états normaux fidèles sur des algèbres de von Neumann arbitraires, étendant ainsi les résultats précédents limités aux $C^*$-algèbres de dimension finie ou aux algèbres de matrices complètes. Il clarifie la relation entre la définition de la théorie modulaire et la formule de la « racine carrée » en dimension finie.
• Caractérisation catégorique : Les auteurs prouvent que la carte de récupération de Petz définit un foncteur de rétrodiction sur la catégorie des algèbres de von Neumann avec états fidèles. Ce foncteur satisfait six axiomes spécifiques :
  1. Récupération : Il associe à un morphisme un morphisme dans la catégorie opposée.
  2. Préservation de l'identité : Il associe les morphismes identité aux morphismes identité.
  3. Compositionnalité : Il inverse l'ordre de composition ($R(F \circ E) = R(E) \circ R(F)$).
  4. Tensorialité : Il préserve les produits tensoriels de morphismes.
  5. Extension de l'inversion : Il agit comme l'inverse pour les isomorphismes.
  6. Involutivité : Appliquer le foncteur deux fois redonne le morphisme original ($R \circ R = \text{id}$).
• Limite classique : Il est démontré que lorsqu'il est restreint aux algèbres de von Neumann commutatives (probabilité classique), le foncteur de Petz récupère l'inversion bayésienne standard des probabilités conditionnelles, unifiant ainsi l'inférence classique et quantique sous une structure catégorique unique.
• Applications de Markov et adjoint GNS : L'article prouve que pour les applications de Markov (qui satisfont la covariance modulaire), la carte de récupération de Petz est identique à l'adjoint GNS, liant le concept de rétrodiction aux notions établies d'adjoints dans la théorie modulaire.

Signification et affirmations
L'article soutient qu'il fournit un argument de « nécessité structurelle » pour la carte de récupération de Petz. En montrant que la carte satisfait une liste spécifique d'axiomes naturels et de théorie des processus (propriétés catégoriques), les auteurs suggèrent que l'inférence bayésienne et la carte de Petz ne sont pas simplement des outils algorithmiques dérivés de principes d'optimisation (comme la minimisation de l'entropie relative), mais sont des caractéristiques structurelles fondamentales de l'inférence tant dans les contextes classiques que quantiques.

Les auteurs déclarent explicitement qu'il reste une question ouverte de savoir si ces axiomes caractérisent uniquement la carte de récupération de Petz. Ils proposent la Conjecture 7.1, qui postule que toute carte de rétrodiction satisfaisant ces axiomes doit coïncider avec la carte de rétrodiction de Petz. Si elle est vraie, cela impliquerait que la forme algébrique spécifique de la carte de Petz (impliquant des opérateurs modulaires ou des racines carrées de matrices de densité) est une conséquence nécessaire des axiomes structurels de l'inférence, plutôt qu'un choix arbitraire.

Le travail souligne également la nécessité des algèbres de von Neumann pour traiter les systèmes possédant des degrés de liberté infinis, tels que ceux rencontrés en théorie quantique des champs et dans les systèmes de réseaux infinis, où les approches standard d'algèbres de matrices de dimension finie sont insuffisantes.

Limites et directions futures
L'article ne prétend pas avoir prouvé la conjecture d'unicité. Il identifie plusieurs problèmes ouverts pour des recherches futures, notamment :

• Déterminer les conditions d'existence d'autres types d'inverses bayésiens (par exemple, basés sur des produits scalaires différents).
• Étendre le cadre aux poids semifinis plutôt qu'aux seuls états fidèles.
• Étudier l'application de ces résultats aux produits croisés d'algèbres de type III$_1$, qui sont pertinents pour la gravité quantique et l'étude des trous noirs.
• Explorer l'applicabilité des foncteurs de rétrodiction dans des contextes au-delà de la probabilité classique et quantique.