[論文レビュー] Cheeger estimates of Dirichlet-to-Neumann operators on infinite subgraphs of graphs

Bobo Hua, Yan Huang+1 more|arXiv (Cornell University)|Oct 25, 2018

Spectral Theory in Mathematical Physics参考文献 26被引用数 4

ひとこと要約

本稿は、グラフの無限部分グラフにおけるDirichlet-to-Neumann（DtN）作用素について、Cheeger型の推定を確立し、高階のCheeger-Steklov定数を用いてk番目の固有値の下界と上界を示した。断片的近似法とスペクトル収束を用いて、有限グラフの結果を無限設定に拡張し、下界に明示的な普遍定数を含む形で、ボトムスペクトルおよび高階固有値が幾何的等周的量によって制御されることを示した。

ABSTRACT

In this paper, we study the Dirichlet-to-Neumann operators on infinite subgraphs of graphs. For an infinite graph, we prove Cheeger-type estimates for the bottom spectrum of the Dirichlet-to-Neumann operator, and the higher order Cheeger estimates for higher order eigenvalues of the Dirichlet-to-Neumann operator.

研究の動機と目的

• 有限グラフから無限部分グラフへのDirichlet-to-Neumann作用素のCheeger型固有値推定を拡張すること。
• 断片的近似技術を用いて、無限グラフにおけるDtN作用素のk番目の固有値に対する高階Cheeger推定を確立すること。
• DtN作用素のボトムスペクトルおよび高階固有値が、幾何的等周的定数によって下界と上界で制御されることを証明し、有限グラフの結果を一般化すること。
• 有限断片的近似集合における固有値のスペクトル収束が、無限グラフの極限への安定性を保証するように、推定を導出できることを示すこと。

提案手法

• 有限頂点集合によるグラフの断片的近似を用いて、無限部分グラフにおけるDirichlet-to-Neumann作用素を構成すること。
• 調和拡張と境界におけるDirichlet-to-Neumann写像を用いて、有限部分グラフ上での固有値問題を定義すること。
• 断片的近似集合におけるラプラシアン固有値のスペクトル収束を応用し、DtN固有値が無限グラフの極限に収束することを示すこと。
• Lee, Oveis Gharan, and Trevisan (2014) の高階Cheeger不等式を用いて、k番目の固有値をk分割の定数で評価すること。
• 高階Cheeger-Steklov定数 $ h_k^k(W) $ と $ h_k(\theta) $ を定義し、部分グラフの等周的性質を定量的に測定すること。
• 断片的近似集合における固有値の極限が無限グラフにおける固有値に一致することを証明し、グローバル推定の導出を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 Dirichlet-to-Neumann作用素のCheeger型推定は、有限グラフから無限部分グラフに拡張可能か？
• RQ2 無限グラフにおけるDtN作用素の高階固有値は、幾何的等周的定数とどのように関係するか？
• RQ3 断片的近似列は、無限グラフにおけるDtN作用素のスペクトルを近似する際に果たす役割は何か？
• RQ4 有限断片的近似集合におけるスペクトル収束を用いて、無限グラフにおける固有値のグローバルな下界と上界を導出できるか？
• RQ5 無限グラフ設定下で、k番目の固有値はk階のCheeger-Steklov定数にどのように依存するか？

主な発見

• 無限部分グラフにおけるDtN作用素の2番目の非自明固有値は、$ \sigma_2(W) \geq \frac{1}{4} h_N(W) h_J(W) $ を満たし、Jammesの推定を無限グラフに拡張した。
• k番目の固有値に対して、$ \sigma_k(W) \geq \frac{c}{k^6} h_k(W) $ を証明した。ここで $ h_k(W) $ はk階のCheeger-Steklov定数であり、$ c $ は普遍定数である。
• 上界は $ \sigma_k(W) \leq h_k^k(W) $ を満たし、高階等周的定数の観点から推定のタイトネスを示した。
• スペクトル収束が確立された：$ \lim_{r \to \infty} \lambda^{(r)}_{k,D}(W) = \sigma_k(W) $ であり、断片的近似下での固有値推定の安定性を保証した。
• 無限グラフ $ \Omega $ におけるDtN作用素のボトムスペクトルは、$ \sigma_k(\Omega) \geq \frac{c}{k^6} h_k(\Omega) $ および $ \sigma_k(\Omega) \leq h_k^k(\Omega) $ を満たし、断片的近似列の極限を取ることで得られた。
• 本結果は、[HHW17] および [HM17] の有限グラフ推定を無限設定に一般化し、スペクトル的性質と幾何的性質の間の強固な関係を確立した。