[論文レビュー] On Bures distance over standard form vN-algebras

Peter M. Alberti, Gregor Peltri|ArXiv.org|Aug 22, 2000

Advanced Operator Algebra Research参考文献 22被引用数 4

ひとこと要約

この論文は、標準形 von Neumann 代数における Bures 距離を調査し、正規正の線形形式間の距離が固定されたファイバー内の実装ベクトルによって実現される条件に注目している。無限大 von Neumann 代数では、固定されたベクトルによる距離の達成が常に可能ではないことが示され、反例と距離式が失敗する条件が提示されており、主要な結果として、Bures 距離式における等号が成立するのは、代数が有限であるか、状態が忠実であるか、または有限な補助集合を持つ場合に限ることを示している。

ABSTRACT

In case of a standard form vN-algebra, the Bures distance is the natural distance between the fibres of implementing vectors at normal positive linear forms. Thereby, it is well-known that to each two normal positive linear forms implementing vectors exist such that the Bures distance is attained by the metric distance of the implementing vectors in question. We discuss to which extend this can remain true if a vector in one of the fibres is considered as fixed. For each nonfinite algebra, classes of counterexamples are given and situations are analyzed where the latter type of result must fail. In the course of the paper, an account of those facts and notions is given, which can be taken as a useful minimum of basic C^*-algebraic tools needed in order to efficiently develop the fundamentals of Bures geometry over standard form vN-algebras.

研究の動機と目的

• 2つの正規正の線形形式間の Bures 距離が、あるファイバー内の固定された実装ベクトルによって実現される条件を特定すること。
• 特に非有限 von Neumann 代数において、1つの実装ベクトルが固定された場合に Bures 距離式がなぜ達成されないかを分析すること。
• 標準形 vN-代数におけるファイバーの構造とその交差の性質を、特に可換性と補助射影との関係で特徴づけること。
• 忠実性と有限性が、ファイバー内に固定されたベクトルによって Bures 距離を最小化できるかどうかを決定する役割を明確にすること。
• 特にタイプ I∞ および III 型因子の文脈において、Bures 距離が実装ベクトル間のノルム距離に等しくなる条件を完全に特徴づけること。

提案手法

• Bures 距離は、すべての循環表現における実装ベクトル間のヒルベルト空間ノルムの下界として定義され、2つの正の線形形式の実装ベクトル間の距離を最小化する。
• 遷移確率 $ P_M(\nu,\varrho) $ を用いて、実装ベクトルの重なりを表現する Bures 距離を表現する。
• 正の線形形式とヒルベルト空間内の循環ベクトルとの関係を確立するために、Gelfand-Naimark-Segal (GNS) 構成が用いられる。
• 状態とその補助射影の可換性を分析するため、von Neumann 代数の標準形が用いられる。
• 主な道具には、可換子 $ M^\varrho $、補助射影 $ s(\nu) $、およびタイプ I∞ および III 型因子の構造が含まれる。
• 特に、トレースクラス作用素 $ c $ に対して $ zc = cz $ を満たすヒルベルト空間の正射影 $ z \in M $ の性質に依存しており、特に $ \tau(z) = \infty $ の場合に注目する。

実験結果

リサーチクエスチョン

• RQ1 2つの正規正の線形形式間の Bures 距離が、あるファイバー内の固定された実装ベクトルによって実現される条件は何か？
• RQ2 無限大 von Neumann 代数の場合に、1つのベクトルが固定された場合に Bures 距離式がなぜ達成されないのか？
• RQ3 固定された $ \varrho $ に対して、$ \mathcal{S}_M(\nu|\varrho) = \mathcal{S}_M(\nu) $ が成り立つのはいつで、何時失敗するのか？
• RQ4 実装ベクトル間の Hilbert 空間ノルム距離に等しくなるような状態 $ \nu $ の集合はどのように特徴づけられるか？
• RQ5 von Neumann 代数の有限性またはタイプ（例：タイプ I∞ または III）は、固定されたベクトルを用いた Bures 距離式の有効性にどのように影響するか？

主な発見

• 有限 von Neumann 代数では、任意の2つの正規正の線形形式間の Bures 距離は、常に一方の形式のファイバー内に固定された実装ベクトルによって実現される。
• 無限大 von Neumann 代数では、$ \mathcal{S}_M(\nu|\varrho) \neq \mathcal{S}_M(\nu) $ となる状態 $ \nu $ と忠実な $ \varrho $ が存在し、これは $ \mathcal{S}_M(\nu) $ 内に固定されたベクトルによる距離の達成が不可能であることを意味する。
• 等式 $ d_B(\nu,\varrho) = \|\xi_\nu - \xi_\varrho\| $ が成り立つのは、$ \nu $ が $ \varrho $ と可換である、すなわち $ \nu \in M^\varrho $ である場合に限る（Lemma 2.13 による）。
• 因子の場合、$ \mathcal{S}_M(\nu|\varrho) = \{ u\xi_\nu : u^*u = \mathbf{1}, u \in M' \} $ が成り立ち、これはファイバーが可換子の下でユニタリ同値であることを示している。
• タイプ I∞ 因子では、$ \tau(z) = \infty $、$ z \neq \mathbf{1} $、$ zc = cz $ を満たす正射影 $ z $ を用いた反例が存在し、これにより $ \mathcal{S}_M(\nu|\varrho) \neq \mathcal{S}_M(\nu) $ が得られる。
• タイプ III 因子では、$ d_B(\nu,\varrho) = \|\xi_\nu - \xi_\varrho\| $ の条件は、明示的なスペクトル的条件がないため、幾何学的に最も適切に特徴づけられる。