[論文レビュー] Self-adjoint Operators as Functions I: Lattices, Galois Connections, and the Spectral Order

Andreas Doering, Barry Dewitt|arXiv (Cornell University)|Aug 23, 2012

Advanced Operator Algebra Research参考文献 14被引用数 6

ひとこと要約

本稿では、フォン・ノイマン代数の射影格子上の実数値関数であるq-観測可能関数を導入し、それらがスペクトル族とのガロア接続を通じて自己随伴作用素を双対的に特徴付ける。主な貢献は、スペクトル順序における自己随伴作用素の格子とq-観測可能関数の格子との間で順序同型が確立されることであり、これは量子観測量の新しい順序論的枠組みを提供し、トポス的量子理論におけるダイゼイニゼーションと関連する。

ABSTRACT

Observables of a quantum system, described by self-adjoint operators in a von Neumann algebra or affiliated with it in the unbounded case, form a conditionally complete lattice when equipped with the spectral order. Using this order-theoretic structure, we develop a new perspective on quantum observables. In this first paper (of two), we show that self-adjoint operators affiliated with a von Neumann algebra can equivalently be described as certain real-valued functions on the projection lattice of the algebra, which we call q-observable functions. Bounded self-adjoint operators correspond to q-observable functions with compact image on non-zero projections. These functions, originally defined in a similar form by de Groote, are most naturally seen as adjoints (in the categorical sense) of spectral families. We show how they relate to the daseinisation mapping from the topos approach to quantum theory. Moreover, the q-observable functions form a conditionally complete lattice which is shown to be order-isomorphic to the lattice of self-adjoint operators with respect to the spectral order. In a subsequent paper, we will give an interpretation of q-observable functions in terms of quantum probability theory, and using results from the topos approach to quantum theory, we will provide a joint sample space for all quantum observables.

研究の動機と目的

• フォン・ノイマン代数に付随する自己随伴作用素を、その射影格子上の実数値関数（q-観測可能関数と呼ぶ）として再定式化すること。
• これらの関数が、スペクトル順序における自己随伴作用素の格子と順序同型となる条件付き完備格子を形成することを確立すること。
• q-観測可能関数の構成を、トポス的量子理論におけるダイゼイニゼーション写像（特に外部および内部ダイゼイニゼーション）と関連付けること。
• 線形構造よりもスペクトル順序を重視する、量子観測量のカテゴリカルかつ順序論的基盤を提供すること。
• q-観測可能関数の解釈を量子確率論に応用する基盤を、続編論文で継続的に構築すること。

提案手法

• q-観測可能関数を、$E^{\tilde{A}}:\overline{\mathbb{R}} \to \mathcal{P}(\mathcal{N})$ というスペクトル族写像の左随伴（圏論的意味での）として定義し、下付き半格子間のガロア接続を用いる。
• 非ゼロ射影上でのq-観測可能関数 $o^{\tilde{A}}$ の像が $\tilde{A}$ のスペクトルに一致することを示し、スペクトル理論への直接的な関連を確立する。
• q-観測可能関数を、$\mathcal{P}(\mathcal{N})$ 上の関数として、特定の順序論的および単調性条件を満たすものとして抽象的に特徴付ける。
• q-観測可能関数の格子が、スペクトル順序における自己随伴作用素の格子と順序同型であることを示す。
• 定義域の制限と拡張を用いて、外部および内部ダイゼイニゼーション写像を、部分代数へのq-観測可能関数の制限として特徴付ける。
• 制限された関数計算を確立する：単調な $f:\overline{\mathbb{R}} \to \overline{\mathbb{R}}$ に対して、$o^{f(\tilde{A})} = f \circ o^{\tilde{A}}$ が成り立つ。

実験結果

リサーチクエスチョン

• RQ1 自己随伴作用素がフォン・ノイマン代数に付随する場合、その射影格子上の関数としてどのように同等に記述できるか。
• RQ2 このような関数の集合の順序論的構造は何か。また、作用素のスペクトル順序とはどのように関係するか。
• RQ3 q-観測可能関数は、トポス的量子理論におけるダイゼイニゼーション写像とどのように関連するか。
• RQ4 q-観測可能関数に対して関数計算を定義できるか。また、その関数計算が作用素の関数関係をどのように保存するか。
• RQ5 q-反対称関数の役割は何か。また、観測量の負の値とはどのように関係するか。

主な発見

• q-観測可能関数 $o^{\tilde{A}}$ はスペクトル族 $E^{\tilde{A}}$ によって一意に定まり、逆に $E^{\tilde{A}}$ は $o^{\tilde{A}}$ によって一意に定まる。これにより、一対一対応が確立される。
• $o^{\tilde{A}}$ の非ゼロ射影上での像は、$\tilde{A}$ のスペクトルに正確に一致する。これにより、物理的意味の明確化が得られる。
• q-観測可能関数の格子は、スペクトル順序における自己随伴作用素の格子と順序同型である。これにより、量子観測量の新たな表現が得られる。
• 外部および内部ダイゼイニゼーション写像は、$\mathcal{M} \subset \mathcal{N}$ という部分代数への $o^{\tilde{A}}$ の制限として表され、$o^{\tilde{A}}|_{\mathcal{P}(\mathcal{M})} = o^{\delta^o(\tilde{A})_{\mathcal{M}}}$ が成り立つ。
• 制限された関数計算が成立する：単調な $f$ に対して、$o^{f(\tilde{A})} = f \circ o^{\tilde{A}}$ が成り立ち、関数表現における関数関係が保存される。
• 未有界作用素に対しても、フォン・ノイマン代数への付随性を用いて一般化可能であり、スペクトル順序により、ダイゼイニゼーションによる近似がスペクトル部分集合を保存することが保証される：$\operatorname{sp}(\delta^o(\tilde{A})_{\mathcal{M}}) \subseteq \operatorname{sp}(\tilde{A})$。