[论文解读] Observables II : Quantum Observables

Hans F. de Groote|ArXiv.org|Sep 30, 2005

Advanced Operator Algebra Research参考文献 13被引用 12

一句话总结

本文通过将冯诺依曼代数的投影格的Stone谱上的量子可观测量表示为连续函数，提出了一套统一的量子与经典可观测量框架。它证明了冯诺依曼代数中的自伴算子在该谱上诱导出连续的可观测量函数，且在阿贝尔代数情况下，Gelfand变换作为特例被恢复，从而统一了可观测量的算子观与函数观。

ABSTRACT

In this work we discuss the notion of observable - both quantum and classical - from a new point of view. In classical mechanics, an observable is represented as a function (measurable, continuous or smooth), whereas in (von Neumann's approach to) quantum physics, an observable is represented as a bonded selfadjoint operator on Hilbert space. We will show in the present part II and the forthcoming part III of this work that there is a common structure behind these two different concepts. If $\mathcal{R}$ is a von Neumann algebra, a selfadjoint element $A \in \mathcal{R}$ induces a continuous function $f_{A} : \mathcal{Q}(\mathcal{P(R)}) o \mathbb{R}$ defined on the \emph{Stone spectrum} $\mathcal{Q}(\mathcal{P(R)})$ (\cite{deg3}) of the lattice $\mathcal{P(R)}$ of projections in $\mathcal{R}$. $f_{A}$ is called the observable function corresponding to $A$. The aim of this part is to study observable functions and its various characterizations.

研究动机与目标

• 将经典可观测量作为相空间上函数的概念与量子可观测量作为自伴算子的概念统一起来。
• 建立经典与量子可观测量共同的数学结构——可观测量函数。
• 通过冯诺依曼代数中的谱族与层论构造，表征可观测量函数。
• 证明在阿贝尔冯诺依曼代数中，可观测量函数的构造可恢复Gelfand变换。
• 探讨Stone谱作为广义相空间的候选，其拓扑与代数性质。

提出的方法

• 将冯诺依曼代数 R 的投影格 P(R) 的 Stone 谱 Q(P(R)) 定义为该格中极大对偶理想的集合。
• 通过自伴算子 A ∈ R 的谱族 E^A，从自伴算子 A ∈ R 构造可观测量函数 f_A: Q(P(R)) → ℝ。
• 为 Stone 谱配备由集合 Q_a(R) = {𝔹 ∈ Q(R) | a ∈ 𝔹}（a ∈ P(R)）生成的拓扑。
• 将可观测量函数表征为 Q(R) 上的连续实值函数，其值域等于 A 的谱。
• 使用层论方法，通过投影格上的预层，从谱族推导可观测量函数，特别是通过投影格上的预层。
• 证明当 R 为阿贝尔代数时，映射 A ↦ f_A 即为 Gelfand 变换；对于紧算子，可观测量函数在连续准点上为零，并在原子准点上趋于无穷远。

实验结果

研究问题

• RQ1 如何将量子可观测量表示为统一经典与量子框架的拓扑空间上的函数？
• RQ2 冯诺依曼代数 R 的 Stone 谱 Q(P(R)) 的拓扑与代数结构为何？
• RQ3 在何种条件下，与自伴算子 A ∈ R 关联的可观测量函数 f_A 与 Gelfand 变换一致？
• RQ4 可观测量函数 f_A 的性质如何与 A 的谱性质（如其谱）相关联？
• RQ5 在 Stone 谱中，原子与连续准点在表征紧算子与一般自伴算子时起何作用？

主要发现

• 与自伴算子 A ∈ R 关联的可观测量函数 f_A: Q(R) → ℝ 是连续的，且其值域等于 A 的谱。
• 当冯诺依曼代数 R 为阿贝尔代数时，映射 A ↦ f_A 是等距的，且与 Gelfand 变换一致。
• 原子准点集 Q(R)_at 在 Q(R) 中是开集、离散集且稠密，而连续准点集 Q(R)_c 是其闭补集。
• 对于希尔伯特空间 H 的极大阿贝尔冯诺依曼子代数 M ⊆ L(H)，Gelfand 变换限制为从紧算子理想 K(M) 到在 Q(M) 上连续且在 Q(M)_c 上为零的函数理想的等距同构。
• 若 f 在 Q(M)_c 上为零，则 f 在 Q(M)_at 上趋于无穷远；反之，若 Q(M)_at 在 Q(M) 中稠密，则反之亦然。
• 每个在 Q(M) 上连续且在 Q(M)_c 上为零的复值函数 f: Q(M) → ℂ，都是 Q(M)_at 中具有有限支撑的函数的一致极限，这些函数对应于有限秩算子，因此 f 是某个紧算子的可观测量函数。