[论文解读] Quadratic Wasserstein metrics for von Neumann algebras via transport plans

Rocco Duvenhage|arXiv (Cornell University)|Dec 7, 2020

Algebraic structures and combinatorial models被引用 9

一句话总结

本文通过运输计划，在冯诺依曼代数的忠实正规态空间上建立了一类二次 Wasserstein 度量，利用了 Tomita-Takesaki 理论和双模的相对张量积。关键贡献在于证明了当代数有限生成时，$ W_2(\mu,\nu) = 0 $ 蕴含 $ \mu = \nu $，从而确保该距离为真正的度量——解决了非交换最优传输中长期存在的问题，此前的运输计划方法未能产生度量。

ABSTRACT

We show how one can obtain a class of quadratic Wasserstein metrics, that is to say, Wasserstein metrics of order 2, on the set of faithful normal states of a von Neumann algebra $A$, via transport plans, rather than through a dynamical approach. Two key points to make this work, are a suitable formulation of the cost of transport arising from Tomita-Takesaki theory and relative tensor products of bimodules (or correspondences in the sense of Connes). The triangle inequality, symmetry and $W_{2}(μ,μ)=0$ all work quite generally, but to show that $W_{2}(μ,ν)=0$ implies $μ=ν$, we need to assume that $A$ is finitely generated.

研究动机与目标

• 通过运输计划而非动力学形式，发展经典二次 Wasserstein 度量的非交换类比。
• 解决先前非交换运输计划方法中 $ W_2(\mu,\mu) \neq 0 $ 的问题，从而无法产生真正度量的问题。
• 建立 $ W_2(\mu,\nu) = 0 $ 蕴含 $ \mu = \nu $ 的条件，确保该距离为真正的度量。
• 将 Tomita-Takesaki 理论和双模的相对张量积（Connes 的对应关系）作为定义运输成本的基础工具。
• 将框架扩展至非忠实态，并探讨对无限或无界生成元的一般化。

提出的方法

• 通过算子 $ c = \sum_{l=1}^n |k_l \otimes 1 - 1 \otimes (S_\nu k_l^* S_\nu)|^2 $ 定义状态 $ \mu $ 和 $ \nu $ 之间运输的成本，其中 $ S\_\nu $ 是 Tomita-Takesaki 理论中的模算子。
• 使用双模的相对张量积（Connes 的对应关系）构建运输计划底层代数结构的循环表示。
• 对于运输计划 $ \omega $，定义能量泛函 $ I(\omega) = \| \pi_\mu^\omega(k^\zeta)\Omega - \pi_\nu^\omega(k^\eta)\Omega \|_{\oplus \omega}^2 $，该泛函推广了经典的 $ L^2 $ 成本。
• 通过条件期望和相对独立耦合构造运输计划，特别是使用 $ \omega = \delta_\nu \circ (E \odot \text{id}_{A'}) $，其中 $ E $ 是满足 $ \mu \circ E = \mu $ 的条件期望。
• 利用底层双模表示结构和模自同构群，证明三角不等式和对称性。
• 在冯诺依曼代数 $ A $ 有限生成的假设下，利用条件期望的唯一性和态的忠实性，证明 $ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $。

实验结果

研究问题

• RQ1 能否通过运输计划构造一个非交换的二次 Wasserstein 度量，使其满足所有度量公理，包括 $ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $？
• RQ2 如何利用 Tomita-Takesaki 理论和 Connes 的对应关系，为非交换传输定义一个物理上有意义的成本函数？
• RQ3 为何先前非交换概率中的运输计划方法无法产生真正的度量？需要哪些结构假设才能修复此问题？
• RQ4 冯诺依曼代数的有限生成性在确保度量性质 $ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $ 中起什么作用？
• RQ5 该框架能否推广至非忠实态或无界生成元？这对度量结构有何影响？

主要发现

• 所提出的 Wasserstein 距离 $ W_2 $ 对所有冯诺依曼代数的忠实正规态均满足三角不等式和对称性。
• 对所有忠实正规态 $ \mu $，恒等式 $ W_2(\mu,\mu) = 0 $ 成立，符合度量的要求。
• 关键结果是：当且仅当冯诺依曼代数 $ A $ 有限生成时，$ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $ 成立。
• 成本函数通过 Tomita-Takesaki 理论中的模算子 $ S_\nu $ 定义，使得成本依赖于态，且以尊重非交换性的方式体现。
• 可通过满足 $ \mu \circ E = \mu $ 的条件期望 $ E $ 构造运输计划 $ \omega $；若 $ \mu|_F = \nu|_F $，则 $ I(\omega) = 0 $，这意味着 $ W_2(\mu,\nu) = 0 $。
• 对于非忠实态，通过限制到支撑投影定义了一个伪度量 $ \rho $，但 $ \rho(\zeta,\eta) = 0 $ 可能成立即使 $ \zeta \neq \eta $，表明在缺乏忠实性时度量性质不成立。