[論文レビュー] 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

ひとこと要約

本稿は、最適輸送におけるウォッサーシュタイン距離と非可換幾何におけるスペクトル距離の間の深い関係を確立し、完全なリーマン多様体上で両者が一致することを証明している。凸多様体上では境界が得られ、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.

研究の動機と目的

• 最適輸送理論と非可換幾何（特にスペクトル距離）の関係を調査すること。
• スペクトル距離と1次ウォッサーシュタイン距離がどのような条件下で一致するかを特定すること。
• コンパクト多様体上でのリエッフェルの観察を、非コンパクトで完全なリーマンスピン多様体へと拡張すること。
• ナッシュ埋め込みの意味で凸多様体上でのスペクトル距離の挙動を、上界と下界を用いて分析すること。
• この対応関係が、標準模型やモーヤル平面を含む非可換空間に与える影響を調査すること。

提案手法

• 非可換幾何におけるスペクトル距離の定義に従い、リプシッツな観測量の期待値の差の上界を用いる。
• メートリック空間上の確率測度間の1次ウォッサーシュタイン距離を、モンゴメ＝カンタロヴィッチ輸送問題を用いて定義する。
• ディラック作用素とスぺクトラルトリプルを用いることで、完全なリーマンスピン多様体上で両距離が等価であることを証明する。
• メトリック構造の幾何学的・解析的性質を用いて、凸多様体上での距離の上界と下界を導出する。
• ユークリッド空間 R^n における一般化されたガウス型波パッケットのクラスに対して、スペクトル距離を明示的に計算する。
• 非可換な場合を分析する際、スペクトル距離を輸送計量と比較し、標準模型の二重シート空間における対角成分に消えないコスト関数が顕在することを強調する。

実験結果

リサーチクエスチョン

• RQ1 完全なリーマンスピン多様体上では、非可換幾何におけるスペクトル距離が1次ウォッサーシュタイン距離と一致するか？
• RQ2 ナッシュ埋め込みの意味で、凸多様体上でのスペクトル距離に対して意味のある上界と下界を導出できるか？
• RQ3 R^n における一般化されたガウス型波パッケットのスペクトル距離の明示的な値は何か？
• RQ4 非可換空間（たとえば標準模型）において、最適輸送解釈による計量はどのように振る舞うか？
• RQ5 相対論的輸送モデルにおけるコスト関数が、標準模型の二重シート空間におけるスペクトル計量に必要なものと類似しているのはなぜか？

主な発見

• スペクトル距離と1次ウォッサーシュタイン距離は、任意の完全なリーマンスピン多様体上で一致する。コンパクト性は必要ない。
• 凸多様体上では、埋め込みの幾何的制約から自然な上界と下界が得られる。
• ユークリッド空間 R^n において、ガウス型波パッケットを一般化した確率分布のクラスに対して、スペクトル距離が明示的に計算された。
• 標準模型の非可換設定では、スペクトル計量に、対角成分がゼロでないコスト関数が必要であり、これは古典的輸送仮定からの逸脱を示している。
• 標準模型の計量に必要な非対角成分のコスト関数は、相対論的熱方程式に現れるものと構造的に類似している。
• モーヤル平面は類似した振る舞いを示し、非可換幾何と相対論的輸送現象との間に深い関係がある可能性を示唆している。