[論文レビュー] Upper bounds for Steklov eigenvalues of subgraphs of polynomial growth Cayley graphs

Léonard Tschanz|arXiv (Cornell University)|Jan 12, 2021

Graph theory and applications参考文献 13被引用数 6

ひとこと要約

本稿では、多項式成長のカイリー群の部分グラフにおける第kスティルチェフ固有値の上界を確立し、$ \sigma_k \leq C(\Gamma) \cdot |B|^{-1/(d-1)} \cdot k^{(d+2)/d} $ と表される衰減が生じることを示している。ここで $ d $ は成長率、$ |B| $ は境界のサイズである。この手法は連続多様体モデルからの離散化と粗等長写像を介して上界を転送し、第一固有値に限った既存の結果をすべての固有値へと拡張する。

ABSTRACT

We study the Steklov problem on a subgraph with boundary $(\Omega,B)$ of a polynomial growth Cayley graph $\Gamma$. We prove that for each $k \in \mathbb{N}$, the $k^{\mbox{th}}$ eigenvalue tends to $0$ proportionally to $1/|B|^{\frac{1}{d-1}}$, where $d$ represents the growth rate of $\Gamma$. The method consists in associating a manifold $M$ to $\Gamma$ and a bounded domain $N \subset M$ to a subgraph $(\Omega, B)$ of $\Gamma$. We find upper bounds for the Steklov spectrum of $N$ and transfer these bounds to $(\Omega, B)$ by discretizing $N$ and using comparison Theorems.

研究の動機と目的

• 多項式成長カイリー群の部分グラフにおける第一スティルチェフ固有値の上界を、すべての固有値へと拡張すること。
• 境界サイズと成長率を用いた第kスティルチェフ固有値の定量的衰減率を確立すること。
• 離散グラフへの連続リーマン多様体からのスペクトル転送手法を、離散化と粗等長写像を用いて開発すること。
• 部分グラフが拡大する際、境界サイズが増加する条件下でも、スティルチェフ固有値がすべての固有値について0に収束することを示すこと。

提案手法

• 幾何的群論の道具を用いて、基本領域 $ P $ を用いてカイリー群 $ \Gamma $ をモデル化したリーマン多様体 $ M $ を構成する。
• 各部分グラフ $ (\Omega, B) $ に対して、境界構造を保つ有界領域 $ (N, \Sigma) \subset M $ を関連付ける。
• Colbois, El Soufi, および Girouard (2015) が得た $ (N, \Sigma) $ におけるスティルチェフ固有値の既知の上界を適用し、連続スペクトルを制御する。
• 各点が $ \varepsilon $-分離された集合と $ \varepsilon $-離散化手順を用いて、$ (N, \Sigma) $ を境界付きグラフ $ (\tilde{V}, V_\Sigma) $ に離散化する。
• 離散化されたグラフ $ (\tilde{V}, V_\Sigma) $ と元の部分グラフ $ (\Omega, B) $ の間で、$ (\Omega, B) $ に依存しない定数を有する粗等長写像を確立する。
• スペクトル比較定理を用いて、連続領域からの上界を離散グラフへと転送し、最終的な固有値推定を得る。

実験結果

リサーチクエスチョン

• RQ1 多項式成長カイリー群の部分グラフにおけるすべてのスティルチェフ固有値の上界を、第一固有値に限らずに確立できるか？
• RQ2 第kスティルチェフ固有値が境界サイズ $ |B| $ と成長率 $ d $ にどのように依存するか、正確な依存関係は何か？
• RQ3 連続リーマン多様体からのスペクトル上界を、離散化と等長写像を用いて効果的に離散グラフへと転送できるか？
• RQ4 部分グラフが拡大する際、すべての固有値についてスティルチェフ固有値が0に収束するという衰減は、第一固有値に限らないか？
• RQ5 上界の定数が、元のカイリー群と離散化パラメータにどのように依存するか？

主な発見

• 多項式成長カイリー群（$ d \geq 2 $）の部分グラフ $ (\Omega, B) $ における第kスティルチェフ固有値は、$ \sigma_k(\Omega, B) \leq C(\Gamma) \cdot |B|^{-1/(d-1)} \cdot k^{(d+2)/d} $ を満たす。ここで $ C(\Gamma) $ はグラフ $ \Gamma $、基本領域 $ P $、および離散化パラメータ $ \varepsilon $ のみに依存する。
• 固有値の $ |B| $ に対する衰減率は第一固有値と同一であるが、$ k^{(d+2)/d} $ 要素が追加されており、これは高次の固有値の成長を反映している。
• 任意の固定された $ k \in \mathbb{N} $ に対して、$ |\Omega_l| \to \infty $ ならば $ \sigma_k(\Omega_l, B_l) \to 0 $ となる。これは等周的制御により $ |B_l| \to \infty $ となるため、成立する。
• $ \varepsilon $-離散化と粗等長写像を用いて、連続多様体からのスペクトル上界を離散グラフへと効果的に転送する手法が成功した。スペクトル比について明示的な制御が可能である。
• 最終的な上界における定数は、特定の部分グラフ $ (\Omega, B) $ に依存せず、$ \Gamma $、$ P $、$ \varepsilon $ のみに依存するため、すべての部分グラフにわたる一様性が保証される。
• 本結果は、HanとHua (2019) や Perrin (2020) の先行研究を一般化し、第一固有値に限らない制御を全固有値へと拡張し、$ k $ に明確な鋭い依存関係を与える。