Bayesian inference and retrodiction for faithful states on von Neumann algebras

技術要約：フォン・ノイマン環上の忠実な状態に対するベイズ推論と逆推論（Retrodiction）

問題提起
本論文は、有限次元の古典的および量子的な系におけるベイズ推論および逆推論（原因から結果を推論すること）の概念を、フォン・ノイマン環の無限次元の設定へと拡張することを目的としている。ペッツ復元写像（Petz recovery map）は、有限次元の量子情報理論において、ベイズの法則の量子的な一般化として広く認識されているが、その構造的特徴付けおよび、特定のプロセス論的な公理に基づく圏論的な定式化は、忠実な法的な状態（faithful normal states）を伴う無限次元の設定においては、完全には確立されていなかった。著者らは、特定の構造的、プロセス論的な公理の枠組みの中で、ペッツ復元写像が量子ベイズ推論における唯一の普遍的な候補であるかどうかを決定することを目指している。

手法
著者らは、作用素環理論、モジュラー理論、および圏論を組み合わせた手法を用いている。

1. KMS内積: 本論文ではまず、忠実な法的な状態 $\omega$ を備えたフォン・ノネマン環 $\mathcal{A}$ 上のKMS（Kubo-Martin-Schwinger）内積を確立する。この内積は、GNS表現とモジュラー共役演算子 $J$ を通じて定義され、随伴（adjoint）を定義するために必要な計量構造として機能する。
2. ペッツ写像の構成: KMS内積を用いて、著者らはペッツ復元写像（またはペッツ逆推論）を、ソースおよびターゲットの各状態に関連するKMS内積に関して、状態保存的な正規完全正値単位（NCPU）写像 $E$ の随伴として作用する一意な線形写像 $E^\star$ として定義する。
3. 圏論的定式化: 著者らは、対象をペア $(\mathcal{A}, \omega)$ とし、射を状態保存的なNCPU写像とする圏 $\mathcal{Q}$ を定義する。そして、「逆推論関手（retrodiction functor）」$R: \mathcal{Q} \to \mathcal{Q}^{\text{op}}$ を定義し、各射に対してペッツ写像を割り当てる操作が、以下の関手の公理（リカバリ、恒等写像の保存、合成性、テンソル性、反転の拡張、および対合性）を満たすことを検証する。
4. 可換代数への特殊化: 本フレームワークを可換なフォン・ノマン環（古典的な系を表す）に特殊化することで、ペッツ関手が、確率分布および標準ボレル空間上のマルコフ核に対する標準的なベイズ逆変換（ベイズの法則）に制限されることを示す。
5. マルコフ写像: 著者らは「マルコフ写像」（モジュラー共変性のAccardi–Cecchini条件を満たす射）のサブカテゴリを分析し、これらの写像に対してペッツ復元写像がGNS随伴と一致することを示す。

主要な貢献と結果

• 無限次元への一般化: 本論文は、任意のフォン・ノイマン環上の忠実な法的な状態に対するペッツ復元写像を厳密に定義し、有限次元の $C^*$ 代数やフル行列代数に限定されていた従来の結果を拡張した。また、モジュラー理論による定義と、有限次元における「平方根」の公式との関係を明確にしている。
• 圏論的特徴付け: 著者らは、ペッツ復元写像が、忠実な状態を伴うフォン・ノイマン環の圏において逆推論関手を定義することを証明した。この関手は、以下の6つの特定の公理を満たす：
  1. リカバリ（Recovery）: 射を、反対の圏における射へと写す。
  2. 恒等写像の保存（Identity Preservation）: 恒等射を恒等射へと写す。
  3. 合成性（Compositionality）: 合成の順序を逆転させる（$R(F \circ E) = R(E) \circ R(F)$）。
  4. テンソル性（Tensoriality）: 写像のテンソル積を保存する。
  5. 反転の拡張（Extension of Inversion）: 同型写像に対する逆写像として作用する。
  6. 対合性（Involutivity）: 関手を2回適用すると元の射に戻る（$R \circ R = \text{id}$）。
• 古典的極限: 可換なフォン・ノイマン環（古典的確率）に制限した場合、ペッツ関手が標準的な条件付き確率のベイズ逆変換を復元することを示し、古典的推論と量子的な推論を単一の圏論的構造の下で統一した。
• マルコフ写像とGNS随伴: 著者らは、マルコフ写像（モジュラー共変性を満たすもの）に対して、ペッツ復元写像がGNS随伴と同一であることを証明し、逆推論の概念をモジュラー理論における確立された随伴の概念に結びつけた。

意義と主張
本論文は、ペッツ復元写像に対する「構造的な必然性」の議論を提供していると主張している。ペッツ写像が、自然なプロセス論的公理（圏論的性質）のリストを満たすことを示すことで、著者らは、ベイズ推論およびペッツ写像が、相対エントロピーの最小化のような最適化原理から導かれる単なるアルゴリズム的ツールではなく、古典的および量子的な設定の両方における推論の根本的な構造的特徴であることを示唆している。

著者らは、これらの公理がペッツ復元写像を一意に特徴付けるかどうかは依然として未解決の問いであると明言している。彼らは予想 7.1を提示しており、これは「これらの公理を満たす任意の逆推論関手は、ペッツ復元関手と一致しなければならない」というものである。もしこれが真であれば、モジュラー演算子や密度行列の平方根を含むペッツ写像の具体的な代数的形式は、推論の構造的公理の必然的な帰結であり、恣意的な選択ではないことを意味することになる。

また、本研究は、量子場理論や無限格子系に見られるような、無限の自由度を持つ系を扱うために、フォン・ノイマン環が必要であることを強調している。そこでは、標準的な有限次元行列代法のアプローチは不十分である。

限界と今後の方向性
本論文は、一意性の予想を証明したとは主張していない。著者らは、以下の事項を含む将来の研究のための未解決問題を特定している：

• 他のタイプのベイズ逆変換（例：異なる内積に基づくもの）の存在条件の決定。
• 忠実な状態だけでなく、半有限なウェイト（semifinite weights）への拡張。
• 量子重力やブラックホールの研究に関連する、タイプ III$_1$ 代数のクロスド・プロダクトへの適用。
• 古典的および量子的な確率を超えた文脈における逆推論関手の適用可能性の調査。