[论文解读] 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-可观测函数格之间的序同构，为量子可观测量提供了一套新的序理论框架，并与拓扑方法中的去因化（daseinisation）相联系。

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}}$ 唯一确定，反之亦然，建立了二者之间的一一对应关系。
• $o^{\tilde{A}}$ 在非零投影上的像恰好是 $\tilde{A}$ 的谱，确认了其物理意义。
• q-可观测函数的格与在谱序下自伴算子的格之间存在序同构，为量子可观测量提供了新的表征方式。
• 外在与内在去因化映射对应于 $o^{\tilde{A}}$ 在子代数 $\mathcal{M} \subset \mathcal{N}$ 上的限制，且满足 $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})$。