Bayesian inference and retrodiction for faithful states on von Neumann algebras

Technische Zusammenfassung: Bayessche Inferenz und Retrodiction für treue Zustände auf von Neumann-Algebren

Problemstellung
Die Arbeit befasst sich mit der Erweiterung der Bayesschen Inferenz und des Konzepts der Retrodiction (Schlussfolgerung von Ursachen aus Wirkungen) von endlichen klassischen und quantenmechanischen Systemen auf den unendlichdimensionalen Kontext von von Neumann-Algebren. Während die Petz-Recovery-Map in der endlichen dimensionalen Quanteninformationstheorie weithin als eine quantenmechanische Verallgemeinerung der Bayes-Regel anerkannt ist, war ihre strukturelle Charakterisierung und kategorielle Formulierung in unendlichen Dimensionen – insbesondere für treue normale Zustände – nicht vollständig etabliert. Die Autoren zielen darauf ab, zu bestimmen, ob die Petz-Recovery-Map der einzig mögliche universelle Kandidat für die Quanten-Bayessche Inferenz ist, wenn sie durch spezifische strukturelle, prozesstheoretische Axiome innerhalb des Rahmens der Kategorientheorie definiert wird.

Methodik
Die Autoren verwenden eine Kombination aus Operatoralgebra-Theorie, Modular-Theorie und Kategorientheorie.

1. KMS-Skalarprodukt: Die Arbeit etabliert zunächst das KMS-Skalarprodukt (Kubo-Martin-Schwinger) auf einer von Neumann-Algebra $\mathcal{A}$, die mit einem treuen normalen Zustand $\omega$ ausgestattet ist. Dieses Skalarprodukt, das über die GNS-Repräsentation und den modularen Konjugationsoperator $J$ definiert ist, dient als metrische Struktur, die zur Definition von Adjungierten notwendig ist.
2. Konstruktion der Petz-Map: Unter Verwendung des KMS-Skalarprodukts definieren die Autoren die Petz-Recovery-Map (oder Petz-Retrodiction) als die eindeutige lineare Abbildung $E^\star$, die als Adjungierte einer zustandserhaltenden, normalen, kompositiv positiven, unitären (NCPU) Abbildung $E$ bezüglich der KMS-Skalarprodukte der Quell- und Zielzustände wirkt.
3. Kategoriale Formulierung: Die Autoren definieren eine Kategorie \mathcal{ \mathcal{Q}}, in der die Objekte Paare $(\mathcal{A}, \omega)$ sind und die Morphismen zustandserhaltende NCPU-Abbildungen darstellen. Sie definieren dann einen „Retrodiction-Funktor“ $R: \mathcal{Q} \to \mathcal{Q}^{\text{op}}$ und verifizieren, dass die Zuweisung der Petz-Map zu jedem Morphismus die Axiome eines solchen Funktors erfüllt: Rekonstruktion (Recovery), Identitätserhaltung, Kompositionalität (Kettenregel), Tensorialität, Erweiterung der Inversion (für Isomorphismen) und Involutivität.
4. Spezialisierung auf kommutative Algebren: Der Rahmen wird auf kommutative von Neumann-Algebren (die klassische Systeme repräsentieren) spezialisiert, um zu zeigen, dass der Petz-Funktor die Standard-Bayes-Inversion (Bayes-Regel) für Wahrscheinlichkeitsverteilungen und Markov-Kernel auf standardmäßigen Borel-Räumen wiedergibt.
5. Markov-Abbildungen: Die Arbeit analysiert eine Unterkategorie von „Markov-Abbildungen“ (Morphismen, die die Accardi–Cecchini-Bedingung der modularen Kovarianz erfüllen) und zeigt, dass die Petz-Recovery-Map für diese Abbildungen mit dem GNS-Adjungierten übereinstimmt.

Wesentliche Beiträge und Ergebnisse

• Unendlichdimensionale Verallgemeinerung: Die Arbeit definiert rigoros die Petz-Recovery-Map für treue normale Zustände auf beliebigen von Neumann-Algebren und erweitert damit bisherige Ergebnisse, die auf endliche dimensionale $C^*$-Algebren oder volle Matrixalgebren beschränkt waren. Sie klärt die Beziehung zwischen der Definition mittels Modular-Theorie und der endlichen dimensionalen „Quadratwurzel“-Formel.
• Kategoriale Charakterisierung: Die Autoren beweisen, dass die Petz-Recovery-Map einen Retrodiction-Funktor auf der Kategorie der von Neumann-Algebren mit treuen Zuständen definiert. Dieser Funktor erfüllt sechs spezifische Axiome:
  1. Recovery (Rekonstruktion): Er bildet einen Morphismus auf einen Morphismus in der entgegengesetzten Kategorie ab.
  2. Identitätserhaltung: Er bildet Identitätsmorphismen auf Identitätsmorphismen ab.
  3. Kompositionalität: Er kehrt die Reihenfolge der Komposition um ($R(F \circ E) = R(E) \circ R(F)$).
  4. Tensorialität: Er bewahrt Tensorprodukte von Morphismen.
  5. Erweiterung der Inversion: Er wirkt als Inverses für Isomorphismen.
  6. Involutivität: Das zweimalige Anwenden des Funktors führt zum ursprünglichen Morphismus zurück ($R \circ R = \text{id}$).
• Klassische Grenze: Es wird demonstriert, dass der Petz-Funktor bei Einschränkung auf kommutative von Neumann-Algebren (klassische Wahrscheinlichkeit) die Standard-Bayessche Inversion bedingter Wahrscheinlichkeiten wiederherstellt und somit die klassische und die Quanten-Inferenz unter einer einzigen kategorialen Struktur vereinigt.
• Markov-Abbildungen und GNS-Adjungierter: Die Arbeit beweist, dass für Markov-Abbildungen (die modulare Kovarianz erfüllen) die Petz-Recovery-Map identisch mit dem GNS-Adjungierten ist, wodurch der Begriff der Retrodiction mit etablierten Begriffen von Adjungierten in der Modular-Theorie verknüpft wird.

Bedeutung und Behauptungen
Die Arbeit behauptet, ein Argument der „strukturellen Notwendigkeit“ für die Petz-Recovery-Map zu liefern. Indem sie zeigt, dass die Abbildung eine spezifische Liste natürlicher, prozesstheoretischer Axiome (kategoriale Eigenschaften) erfüllt, legen die Autoren nahe, dass die Bayessche Inferenz und die Petz-Map nicht bloß algorithmische Werkzeuge sind, die aus Optimierungsprinzipien (wie der Minimierung der relativen Entropie) abgeleitet werden, sondern fundamentale strukturelle Merkmale der Inferenz sowohl in klassischen als auch in quantenmechanischen Settings sind.

Die Autoren halten explizit fest, dass es eine offene Frage bleibt, ob diese Axiome die Petz-Recovery-Map eindeutig charakterisieren. Sie schlagen Vermutung 7.1 vor, die postuliert, dass jeder Retrodiction-Funktor, der diese Axiome erfüllt, mit dem Petz-Retrodiction-Funktor übereinstimmen muss. Sollte dies wahr sein, würde dies implizieren, dass die spezifische algebraische Form der Petz-Map (unter Verwendung von modularen Operatoren oder Quadratwurzeln von Dichtematrizen) eine notwendige Folge der strukturellen Axiome der Inferenz ist und keine willkürliche Wahl darstellt.

Die Arbeit hebt zudem die Notwendigkeit von von Neumann-Algebren hervor, um Systeme mit unendlich vielen Freiheitsgraden zu behandeln, wie sie in der Quantenfeldtheorie und in unendlichen Gitter-Systemen vorkommen, wo Standardansätze der endlichen dimensionalen Matrixalgebra unzurereichend sind.

Limitierungen und zukünftige Richtungen
Die Arbeit beansprucht nicht, die Unikatsvermutung bewiesen zu haben. Sie identifiziert mehrere offene Probleme für die zukünftige Forschung, darunter:

• Die Bestimmung der Bedingungen für die Existenz anderer Arten von Bayesschen Inversen (z. B. basierend auf anderen Skalarprodukten).
• Die Erweiterung des Rahmens auf semifinite Gewichte anstelle von nur treuen Zuständen.
• Die Untersuchung der Anwendung dieser Ergebnisse auf Kreuzprodukt-Algebren vom Typ III$_1$, die für die Quantengravitation und die Untersuchung von Schwarzen Löchern relevant sind.
• Die Erforschung der Anwendbarkeit von Retrodiction-Funktoren in Kontexten jenseits der klassischen und quantenmechanischen Wahrscheinlichkeit.