[论文解读] Gromov-Hausdorff Distance for Quantum Metric Spaces

Marc A. Rieffel|ArXiv.org|Nov 9, 2000

Advanced Operator Algebra Research参考文献 54被引用 16

一句话总结

本文为紧致量子度量空间引入了格罗莫夫–豪斯多夫距离的量子类比，通过 C*-代数或单位序空间上的利普希茨半范数定义。证明了当 $\theta_n \to \theta$ 时，量子环面 $A_{\theta_n}$ 沿量子格罗莫夫–豪斯多夫距离收敛于 $A_\theta$，将经典度量收敛性推广至非交换几何领域。

ABSTRACT

By a quantum metric space we mean a C^*-algebra (or more generally an order-unit space) equipped with a generalization of the Lipschitz seminorm on functions which is defined by an ordinary metric. We develop for compact quantum metric spaces a version of Gromov-Hausdorff distance. We show that the basic theorems of the classical theory have natural quantum analogues. Our main example involves the quantum tori, $A_þ$. We show, for consistently defined ``metrics'', that if a sequence $\{þ_n\}$ of parameters converges to a parameter $þ$, then the sequence $\{A_{þ_n}\}$ of quantum tori converges in quantum Gromov-Hausdorff distance to $A_þ$.

研究动机与目标

• 为非交换度量空间发展格罗莫夫–豪斯多夫距离的量子类比。
• 将经典度量收敛性推广至由 C*-代数上利普希茨半范数定义的量子度量空间设定。
• 证明当 $\theta_n \to \theta$ 时，量子环面 $A_{\theta_n}$ 沿量子格罗莫夫–豪斯多夫距离收敛于 $A_\theta$。
• 表明量子格罗莫夫–豪斯多夫距离满足度量几何中经典定理的类比性质。

提出的方法

• 将量子度量空间定义为配备下半连续利普希茨半范数 $L$ 的单位 C*-代数或单位序空间，该范数通过坎托罗维奇度量在状态空间上诱导出度量。
• 将量子格罗莫夫–豪斯多夫距离 $\mathop{\mathrm{dist}}\nolimits_q(A,C)$ 构造为所有耦合中，由 $L$ 诱导的度量下状态空间之间豪斯多夫距离的下确界。
• 利用公式 $L(a) = \sup\{ |\mu(a) - \nu(a)| / \rho_L(\mu,\nu) : \mu \neq \nu \}$ 从状态空间 $S(A)$ 上的度量 $\rho_L$ 恢复 $L$。
• 在 $L^2(Y, m \times m)$ 上构造一个狄拉克算子 $D$，其中 $Y = S(A) \times S(A) \setminus \Delta$，使得对所有 $a \in A$ 有 $\|[D,a]\| = L(a)$。
• 证明量子格罗莫夫–豪斯多夫距离满足三角不等式和等距不变性，推广经典性质。
• 利用利普希茨范数的商构造及度量 $\rho_L$ 的凸性，通过状态空间子集之间的豪斯多夫距离来界定量子距离。

实验结果

研究问题

• RQ1 能否将格罗莫夫–豪斯多夫距离的概念扩展至非交换（量子）度量空间？
• RQ2 量子格罗莫夫–豪斯多夫距离是否在交换极限下恢复经典收敛性？
• RQ3 当 $\theta_n \to \theta$ 时，量子环面 $A_{\theta_n}$ 是否沿量子格罗莫夫–豪斯多夫距离收敛于 $A_\theta$？
• RQ4 每个在单位序空间上的下半连续利普希茨半范数是否都能通过狄拉克算子实现？

主要发现

• 量子格罗莫夫–豪斯多夫距离 $\mathop{\mathrm{dist}}\nolimits_q(A,C)$ 满足三角不等式，并在量子度量空间的等距同构下保持不变。
• 对于量子环面 $A_\theta$，若 $\theta_n \to \theta$，则 $\{A_{\theta_n}\}$ 沿量子格罗莫夫–豪斯多夫距离收敛于 $A_\theta$。
• 当 $Y$ 为三角形而 $Z$ 为线段时，$C(Y)$ 与 $C(Z)$ 之间的量子格罗莫夫–豪斯多夫距离恰好为 $1/2$，通过控制豪斯多夫距离并结合直径比较得出。
• 状态空间 $S(A)$ 上的度量 $\rho_L$ 可通过 $L(a) = \sup\{ |\mu(a) - \nu(a)| / \rho_L(\mu,\nu) \}$ 从利普希茨半范数 $L$ 恢复。
• 每个在单位序空间上的下半连续利普希茨半范数 $L$ 均可表示为 $L(a) = \|[D,a]\|$，其中 $D$ 为希尔伯特空间上的自伴无界算子，表明狄拉克算子对量子度量具有普遍性。
• 在 $C(Y)$ 与 $C(Z)$ 之间，量子格罗莫夫–豪斯多夫距离的上界由豪斯多夫距离 $\mathop{\mathrm{dist}}\nolimits_H^{\rho_L}(S(A), K_1)$ 给出，其值至多为 $1/2$，且通过直径比较可达到等号。