[论文解读] A view on transport theory from noncommutative geometry

Francesco D’Andrea, Pierre Martinetti|arXiv (Cornell University)|Jun 6, 2009

Advanced Neuroimaging Techniques and Applications被引用 8

一句话总结

本文建立了最优传输中的Wasserstein距离与非交换几何中的谱距离之间的深刻联系，证明了在完备黎曼自旋流形上两者完全一致。研究推导了凸流形上的界，显式计算了R^n中广义高斯波包的谱距离，并揭示在非交换情形（如标准模型）中，度量需要一个非零对角线代价函数，类似于相对论性热流的特性。

ABSTRACT

We discuss the relation between the Wasserstein distance of order 1 between probability distributions on a metric space, arising in the study of Monge-Kantorovich transport problem, and the spectral distance of noncommutative geometry. Starting from a remark of Rieffel on compact manifolds, we first show that on any - i.e. non-necessary compact - complete Riemannian spin manifolds, the two distances coincide. Then, on convex manifolds in the sense of Nash embedding, we provide some natural upper and lower bounds to the distance between any two probability distributions. Specializing to the Euclidean space $R^n$, we explicitly compute the distance for a particular class of distributions generalizing Gaussian wave packet. Finally we explore the analogy between the spectral and the Wasserstein distances in the noncommutative case, focusing on the standard model and the Moyal plane. In particular we point out that in the two-sheet space of the standard model, an optimal-transport interpretation of the metric requires a cost function that does not vanish on the diagonal. The latest is similar to the cost function occurring in the relativistic heat equation.

研究动机与目标

• 探索最优传输理论与非交换几何（特别是谱距离）之间的关系。
• 确定谱距离与一阶Wasserstein距离在何种条件下一致。
• 将Rieffel在紧致流形上的观察结果推广至非紧致、完备的黎曼自旋流形。
• 通过上界与下界分析谱距离在凸流形上的行为。
• 研究该对应关系在非交换空间（包括标准模型和Moyal平面）中的影响。

提出的方法

• 使用非交换几何中的谱距离公式，通过Lipschitz可观测量期望值差的上确界来定义。
• 应用Monge-Kantorovich运输问题，定义度量空间上概率测度之间的一阶Wasserstein距离。
• 通过狄拉克算子与谱三元组，证明了在完备黎曼自旋流形上两种距离的等价性。
• 利用度量结构的几何与分析性质，为凸流形上的距离推导上界与下界。
• 显式计算了欧氏空间R^n中一类广义高斯波包的谱距离。
• 通过将谱距离与运输度量进行比较，分析了非交换情形，强调了在标准模型的双叶空间中对角线上存在非零代价函数。

实验结果

研究问题

• RQ1 在完备黎曼自旋流形上，非交换几何中的谱距离是否与一阶Wasserstein距离一致？
• RQ2 能否在Nash嵌入意义下，为凸流形上的谱距离导出有意义的上界与下界？
• RQ3 在R^n中，广义高斯波包的谱距离的显式值是多少？
• RQ4 在非交换空间（如标准模型）中，该最优传输解释的度量行为如何？
• RQ5 为何相对论性传输模型中的代价函数，与标准模型双叶空间中谱度量所要求的代价函数相似？

主要发现

• 在任意完备黎曼自旋流形上，谱距离与一阶Wasserstein距离完全一致，无需假设紧致性。
• 在凸流形上，谱距离可通过嵌入的几何约束自然地得到上界与下界。
• 在欧氏空间R^n中，对一类广义高斯波包的概率分布，谱距离被显式计算。
• 在标准模型的非交换设定中，谱度量要求一个在对角线上不为零的代价函数，表明其与经典传输假设存在本质差异。
• 标准模型度量中所需的非对角代价函数，在结构上与相对论性热方程中出现的代价函数相似。
• Moyal平面表现出类似行为，暗示非交换几何与相对论性传输现象之间存在更深层的联系。