[论文解读] Affine connections, duality and divergences for a von Neumann algebra

Anna Jenčová|ArXiv.org|Nov 5, 2003

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

一句话总结

本文通过将冯诺依曼代数的对偶代数嵌入到非交换 $L_p$-空间中，利用仿射联络和对偶性，建立了一个微分几何框架。借助 $L_p$ 空间在 $p \in (1,\infty)$ 时的一致凸性与巴拿赫空间对偶性，定义了 $α$-散度（$α \in (-1,1)$），并证明其在正锥上与佩茨的拟熵完全一致，从而将阿马里经典的信息几何推广至无限维非交换设置。

ABSTRACT

On the predual of a von Neumann algebra, we define a differentiable manifold structure and affine connections by embeddings into non-commutative L_p-spaces. Using the geometry of uniformly convex Banach spaces and duality of the L_p and L_q spaces for 1/p+1/q=1, we show that we can introduce the α-divergence, for αin (-1,1), in a similar manner as Amari in the classical case. If restricted to the positive cone, the α-divergence belongs to the class of quasi-entropies, defined by Petz.

研究动机与目标

• 将基于对偶平坦联络与 $α$-散度的经典信息几何，从有限维概率空间推广至冯诺依曼代数的无限维非交换设置。
• 通过非交换 $L_p$-空间中的 $α$-嵌入，在冯诺依曼代数的对偶代数上定义微分流形结构。
• 仅利用 $L_p$ 与 $L_q$ 空间的巴拿赫空间对偶性，无需黎曼度量，建立 $α$-联络的对偶性。
• 证明通过 $α$-嵌入在正锥上诱导的 $α$-散度与佩茨的拟熵 $S_{g_\alpha}$ 一致，从而统一非交换散度与信息几何。

提出的方法

• 通过 $\alpha$-嵌入将冯诺依曼代数 $M$ 的对偶代数 $M_*$ 嵌入到非交换 $L_p(M,\phi)$-空间中，其中 $p = \frac{2}{1-\alpha}$，$\alpha \in (-1,1)$。
• 在 $L_p(M,\phi)$ 中将 $α$-联络定义为平凡联络，$\pm\alpha$-对偶性由 $L_p$ 与 $L_q$ 空间之间的对偶性产生，其中 $1/p + 1/q = 1$。
• 利用 $p \in (1,\infty)$ 时 $L_p$-空间的一致凸性，确保支撑超平面的唯一性与光滑性，从而构造对偶坐标对应的势能泛函。
• 通过 $α$-嵌入在 $M_* \times M_*$ 上诱导的泛函，利用 $L_p$-范数最小化将联络投影到切空间，从而定义 $α$-散度。
• 利用凸性模与一致凸性，建立正锥上 $S_\alpha$-拓扑、$α$-弱拓扑与 $L_1$-拓扑之间的拓扑等价性。

实验结果

研究问题

• RQ1 能否将基于对偶仿射联络与 $α$-散度的微分几何结构，从有限维概率空间推广至冯诺依曼代数的对偶代数？
• RQ2 如何仅利用 $L_p$ 与 $L_q$ 空间的巴拿赫空间对偶性，而不依赖黎曼度量，实现 $α$-联络的对偶性？
• RQ3 通过 $L_p(M,\phi)$ 中 $α$-嵌入诱导的 $α$-散度，是否与对偶代数正锥上的佩茨拟熵 $S_{g_\alpha}$ 完全一致？
• RQ4 $α$-散度在状态集合上诱导了何种拓扑性质？其与 $L_1$-拓扑等标准拓扑之间有何关系？

主要发现

• 通过 $α$-嵌入至 $L_p(M,\phi)$（$p = \frac{2}{1-\alpha}$）定义的 $α$-散度，在对偶代数的正锥上与佩茨的拟熵 $S_{g_\alpha}$ 完全一致。
• $α$-联络在 $L_p(M,\phi)$ 中是平坦的，其对偶性完全源于 $L_p$ 与 $L_q$ 空间之间的巴拿赫空间对偶性，无需引入度量结构。
• 正锥 $S^+$ 上的 $S_\alpha$-拓扑与 $L_1$-拓扑一致，且该等价性对所有 $\alpha \in (-1,1)$ 均成立，表明其具有拓扑鲁棒性。
• $α$-嵌入将 $M_*$ 中的单位球面映射为 $L_p(M,\phi)$ 中的球面，且 $L_p$ 与 $L_q$ 之间的对偶映射是一致连续的，从而保证了光滑流形结构。
• 将 $α$-联络投影到单位球面的切空间后，其不再平坦，但 $S_\alpha$ 限制在单位球面上仍定义了一个拟距离，其形式与经典 $α$-散度表达式一致。
• $α$-散度满足 $S_\alpha(\varphi,\psi) \leq S_\beta(\varphi,\psi)$ 对所有 $-1 < \alpha \leq \beta < 1$ 成立，且集合 $O^\alpha(\psi,d)$ 呈嵌套结构，表明其在 $\alpha$ 变化时具有一致的拓扑行为。