[論文レビュー] An optimal dimension-free upper bound for eigenvalue ratios

Shiping Liu|arXiv (Cornell University)|May 9, 2014

Point processes and geometric inequalities参考文献 16被引用数 13

ひとこと要約

本稿は、非負の Bakry-Émery リッチ曲率をもつ閉 weighted Riemann多様体上の weighted ラプラシアンの第 $k$ 番目と第 1 番目の固有値の比に対して、次元に依存しない最適な上界 $641k^2$ を確立する。次元に依存しない Cheeger 不等式とスペクトル解析を活用することで、Funano による未解決の問題を解決し、Funano と Shioya が提唱した非負曲率の Alexandrov 空間に関する予想を裏付ける。

ABSTRACT

On a closed weighted Riemannian manifold with nonnegative Bakry-Émery Ricci curvature, it is shown that the ratio of the $k$-th to first eigenvalues of the weighted Laplacian is dominated by $641k^2$, using an argument via the Cheeger constant. While improving the previous exponential upper bound, the order of $k$ here is optimal, and hence answers an open question of Funano. This approach works still on a compact finite-dimensional Alexandrov space of nonnegative curvature and proves affirmatively a conjecture of Funano and Shioya asserting a dimension free upper bound for eigenvalue ratios in that setting.

研究の動機と目的

• Funano が提起した、固有値比 $\lambda_k / \lambda_1$ が $k$ の多項式関数で抑えられるかどうかという未解決問題を解消すること。
• 非負の Bakry-Émery リッチ曲率をもつ閉 weighted Riemann 多様体上における固有値比の次元に依存しない上界を確立すること。
• 非負曲率をもつコンパクトかつ有限次元の Alexandrov 空間における固有値比の次元に依存しない上界を示す Funano と Shioya の予想を確認すること。
• 従来の指数関数的推定を改善し、鋭い $k^2$ 階の最適な上界を提示すること。
• 測度空間上の一般化された Sobolev 理論およびスペクトル理論を用いて、結果を Alexandrov 空間に拡張すること。

提案手法

• 次元に依存しない Cheeger 不等式を導出：$ h_1(M,\mu) \leq 8\sqrt{2}k \frac{\lambda_1(M,\mu)}{\sqrt{\lambda_k(M,\mu)}} $。これは Cheeger 定数と固有値比を結びつける。
• Kwok らの改善された Cheeger 不等式を、次元に依存しない形で weighted Riemann 多様体に応用する。
• Bakry-Émery の勾配推定と熱核解析を用いて、結果を Alexandrov 空間に拡張する。
• 測度空間における min-max 原理と co-area 不等式を用いて、スペクトル理論を Alexandrov 空間に一般化する。
• CD(0,\infty) 条件と RCD$^*(0,N)$ フレームワークに依拠して、weighted Alexandrov 空間への結果の拡張を実現する。
• 固有値の上界と観測可能な直径の推定値を組み合わせることで、次元に依存しない Cheng 型不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 非負の Bakry-Émery リッチ曲率をもつ閉 weighted Riemann 多様体上での固有値比 $\lambda_k / \lambda_1$ は、$k$ の多項式で抑えられるか？
• RQ2 固有値比の上界における $k^2$ の依存性は最適であり、改善可能か、あるいはタイトであるか？
• RQ3 コンパクトかつ有限次元の Alexandrov 空間で非負曲率をもつ場合、固有値比に対して次元に依存しない上界が存在するか？
• RQ4 Riemann 多様体に対して得られたスペクトルの上界は、特異空間（例：Alexandrov 空間）へ拡張可能か？
• RQ5 次元に依存しない固有値比の上界における鋭い定数は何か？ そしてそれは幾何学的・解析的不変量とどのように関係するか？

主な発見

• 本稿は、最適な次元に依存しない上界 $ \lambda_k(M,\mu) \leq \left(\frac{16e}{e-1}\right)^2 k^2 \lambda_1(M,\mu) $ を確立し、これは $641k^2\lambda_1(M,\mu)$ 未満に簡略化される。
• 上界における $k^2$ の依存性が最適であることが、円周上および細長いトーラス上の例によって示された。
• Funano が提示した従来の指数関数的推定（$e^{ck}$）を、多項式的推定（$k^2$）に改善した。
• 結果は、非負曲率をもつコンパクトかつ有限次元の Alexandrov 空間における Funano と Shioya の予想を裏付ける。
• CD(0,\infty) 条件を満たす weighted Alexandrov 空間に対しても、上記の上界が成立し、より広い設定でも成立することが確認された。
• 次元に依存しない Cheng 型不等式が導出された：$ \text{ObsDiam}((M,\mu); -\kappa) \leq \frac{152k}{\sqrt{\lambda_k(M,\mu)}} \log \frac{2}{\kappa} $、以前の定数を改善した。