[論文レビュー] On the $l^p$ spectrum of Laplacians on graphs

Frank Bauer, Bobo Hua+1 more|arXiv (Cornell University)|Nov 28, 2012

Spectral Theory in Mathematical Physics参考文献 29被引用数 5

ひとこと要約

本稿は、内在的距離に関する一様な超指数的成長条件の下で、グラフ上のラプラシアン作用素のスペクトルが $p$-独立性を示すことを確立している。曲率や有界幾何の仮定を回避するために、弱い熱核推定と内在的距離を用いる。主な結果は、すべての $p \in [1, \infty]$ に対して $\ell^p$ スペクトルが同一であることで、リーマン多様体における結果を、最小限の幾何的制約のもとで離散的グラフへと拡張する。

ABSTRACT

We study the $p$-independence of spectra of Laplace operators on graphs arising from regular Dirichlet forms on discrete spaces. Here, a sufficient criterion is given solely by a uniform subexponential growth condition. Moreover, under a mild assumption on the measure we show a one-sided spectral inclusion without any further assumptions. We study applications to normalized Laplacians including symmetries of the spectrum and a characterization for positivity of the Cheeger constant. Furthermore, we consider Laplacians on planar tessellations for which we relate the spectral $p$-independence to assumptions on the curvature.

研究の動機と目的

• 最小限の幾何的仮定のもとで、グラフ上のラプラシアン作用素の $\ell^p$ スペクトルの $p$-独立性を確立すること。
• 通常の微分幾何学的スペクトル理論で必要とされる下界の曲率や有界幾何の仮定を排除すること。
• 弱い熱核推定と内在的距離を用いて、連続的設定から離散的グラフへと $p$-独立性の結果を拡張すること。
• 正規化ラプラシアンのスペクトル的性質を分析し、チーハー定数のような幾何的不変量と関連付けること。
• 平面充填における曲率条件が体積成長とスペクトルの $p$-独立性に与える影響を結びつけること。

提案手法

• 離散空間上の正規ディリクレ型形式を用いて、グラフ上のラプラシアンを定義する基礎的枠組みを構築する。
• 適応距離（内在的距離）を用いて体積成長を定義し、一様楕円性を要請しないでスペクトル挙動を制御する。
• Gaussian推定に代えて、Folz（2011）の対数補正付き弱い熱核推定を用いて、非有界幾何を扱う。
• 内在的距離に関する一様な超指数的体積成長条件を、$p$-独立性のための主要な十分条件として導入する。
• 追加の幾何的仮定なしに、測度の下界のみで $\sigma(\Delta_2) \subseteq \sigma(\Delta_p)$ という片側スペクトル包含関係を確立する。
• 平面充填への応用において、頂点曲率 $\kappa(x)$ を定義し、非負または発散する曲率が体積成長とスペクトル不変性に与える影響を結びつける。

実験結果

リサーチクエスチョン

• RQ1 グラフラプラシアンの $\ell^p$ スペクトルが $p$ に依存しないのは、どのような幾何的条件下か？
• RQ2 有界幾何や下界の曲率を仮定せずに、$p$-独立性を確立できるか？
• RQ3 内在的距離と弱い熱核推定は、非有界次数を持つグラフにおけるスペクトル解析をどのように支援するか？
• RQ4 正規化ラプラシアンは、異なる $\ell^p$ 空間間でスペクトルの対称性を保つ役割を果たすか？
• RQ5 平面充填における曲率条件は、体積成長とスペクトルの $p$-独立性にどのように影響を与えるか？

主な発見

• グラフが内在的距離に関する一様な超指数的体積成長を満たす限り、すべての $p \in [1, \infty]$ に対してラプラシアンの $\ell^p$ スペクトルは $p$ に依存しない。
• 幾何的仮定なしに、測度の下界のみで $\sigma(\Delta_2) \subseteq \sigma(\Delta_p)$ が成り立つ。
• 正規化ラプラシアンでは、$\ell^p$ スペクトルに対称性が現れ、チーハー定数が正であることと、$\ell^2$ スペクトルがゼロから離れていることは同値である。
• 頂点曲率 $\kappa \geq 0$ の平面充填では、体積成長が二次的に有界になり、スペクトルの $p$-独立性が成立する。
• もし $\inf_K \sup_{x \notin K} \kappa(x) = -\infty$ ならば、すべての $p \in (1, \infty)$ に対して $\ell^p$ スペクトルは純粋離散的であり、$\ell^2$ スペクトルと等しい。
• 負の曲率を有する充填では、体積成長が少なくとも指数的になる。この場合、$\ell^1$ と $\ell^2$ スペクトルが異なり、$p$-依存性が示される。