[論文レビュー] Non-contraction of heat flow on Minkowski spaces

Shin‐ichi Ohta, Karl‐Theodor Sturm|arXiv (Cornell University)|Sep 13, 2010

Advanced Differential Geometry Research参考文献 11被引用数 5

ひとこと要約

本稿では、Finsler多様体上の勾配流れの収縮性を特徴付ける新しい凸性概念——歪凸性——を導入する。この流れが収縮的であるための必要十分条件が、関数が歪凸的であることであると示される。主な結果として、Minkowski空間における熱方程式の流れは、空間が内積空間でない限り、$L^2$-ウォッサーシュタイン距離において収縮的でないことが示され、非リーマン的設定における収縮の幾何的条件について長年の未解決問題が解消される。

ABSTRACT

We study contractivity properties of gradient flows for functions on normed spaces or, more generally, on Finsler manifolds. Contractivity of the flows turns out to be equivalent to a new notion of convexity for the functions. This is different from the usual convexity along geodesics in non-Riemannian Finsler manifolds. As an application, we show that the heat flow on Minkowski normed spaces other than inner product spaces is not contractive with respect to the quadratic Wasserstein distance.

研究の動機と目的

• 非リーマン的Finsler多様体における勾配流れの収縮性が成立する条件を明確化すること。
• Minkowski空間における熱方程式の流れが$L^2$-ウォッサーシュタイン距離に関して収縮的かどうかという未解決問題を解消すること。
• Finsler幾何における勾配流れの収縮性を特徴付ける新しい凸性概念——歪凸性——を確立すること。
• ウォッサーシュタイン空間における相対エントロピーの凸性が、基になる空間がリーマン的でない限り熱方程式の収縮を意味しないことの確認。

提案手法

• Finsler多様体上の非対称な近似内積を用いた第一変分公式を用いて定義される、新しい凸性条件——歪凸性——を導入する。
• 関数の$K$-歪凸性が、その勾配流れの$K$-収縮性と同値であることを証明し、リーマン的結果を一般化する。
• Minkowski空間におけるノルムの二乗の歪凸性を分析し、標準的な測地線凸性とは異なり、常に2-歪凸的であることを示す。
• Minkowskiノルムにおける内積の幾何的特徴づけを用いて、内積空間のときのみ$K$-収縮的熱方程式が存在することを証明する。
• 相対エントロピーのウォッサーシュタイン空間における勾配流れとして熱方程式を特定し、理論を適用する。
• 曲率および滑らかさの境界をJacobi場の推定に用いて、任意の$K\in\mathbb{R}$に対して$K$-収縮性が成立しないことは、空間が内積空間でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 Finsler多様体上での凸関数の勾配流れは、リーマン的場合と同様に、常に収縮的であるか？
• RQ2 ウォッサーシュタイン空間における相対エントロピーの凸性は、非リーマン的Minkowski空間上での熱方程式の流れの収縮を意味するか？
• RQ3 Minkowski空間にどのような幾何的条件を課すと、その熱方程式の流れが$L^2$-ウォッサーシュタイン距離に関して収縮的になるか？
• RQ4 Finsler多様体における測地線に沿った歪凸性は、標準的凸性とどのように異なるか？
• RQ5 非内積的Minkowski空間における収縮の失敗は、曲率および滑らかさ定数を用いて特徴づけられるか？

主な発見

• 任意の$K\in\mathbb{R}$に対して、Minkowskiノルム空間上での熱方程式の流れは、逆方向の$L^2$-ウォッサーシュタイン距離に関して$K$-収縮的でない。これは、空間が内積空間でない限り成立しない。
• 歪凸性は、Finsler多様体上での勾配流れの$K$-収縮性と同値であり、測地線凸性とは異なる新たな特徴づけを提供する。
• 任意のMinkowski空間において、ノルムの二乗は常に2-歪凸的であるが、$K>0$に対して測地線に沿って$K$-凸的であるとは限らない。
• 標準的凸性が歪凸性を意味しないことの明示的例を構成し、Finsler幾何において標準的凸性が収縮性を意味しないことを示す。
• 証明は、Minkowskiノルムにおける内積の幾何的特徴づけに依拠しており、内積空間のときのみ収縮的熱方程式が存在することを示す。
• 解析により、$L^2$-ウォッサーシュタイン距離における熱方程式の収縮性は、基になる空間がリーマン的でなければならないことを確認し、相対エントロピーの凸性とは根本的に異なる点を浮き彫りにする。