[论文解读] 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

一句话总结

本文为多项式增长Cayley图子图的第k个Steklov特征值建立了上界，表明其衰减率为 $ \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.

研究动机与目标

• 将先前针对多项式增长Cayley图子图第一Steklov特征值的上界结果推广至所有特征值。
• 建立第k个Steklov特征值关于边界大小与增长速率的定量衰减速率。
• 发展一种从连续黎曼流形到离散图的谱转移方法，利用离散化与粗等距映射。
• 证明当子图增长时，即使对于高阶特征值，Steklov特征值也趋于零，前提是边界大小持续增加。

提出的方法

• 利用基本区域 $ P $ 与几何群论工具，构造一个与Cayley图 $ \Gamma $ 对应的黎曼流形 $ M $。
• 为 $ \Gamma $ 的每个子图 $ (\Omega, B) $ 关联一个有界域 $ (N, \Sigma) \subset M $，保持边界结构不变。
• 应用Colbois、El Soufi与Girouard（2015）关于 $ (N, \Sigma) $ 上Steklov特征值的已知上界，以控制连续谱。
• 使用 $ \varepsilon $-分离点集与 $ \varepsilon $-离散化过程，将 $ (N, \Sigma) $ 离散化为带边界的图 $ (\tilde{V}, V_\Sigma) $。
• 在离散化图 $ (\tilde{V}, V_\Sigma) $ 与原始子图 $ (\Omega, B) $ 之间建立粗等距映射，其常数与 $ (\Omega, B) $ 无关。
• 利用谱比较定理，将连续域的界转移至离散图，从而得到最终的特征值估计。

实验结果

研究问题

• RQ1 能否为多项式增长Cayley图子图的所有Steklov特征值建立上界，而不仅限于第一特征值？
• RQ2 第k个Steklov特征值对边界大小 $ |B| $ 与增长速率 $ d $ 的精确依赖关系为何？
• RQ3 能否通过离散化与等距映射，有效将连续黎曼流形的谱界转移至离散图？
• RQ4 当子图增长时，Steklov特征值衰减至零的现象是否对所有特征值成立，而不仅限于第一特征值？
• RQ5 上界中的常数如何依赖于底层Cayley图与离散化参数？

主要发现

• 对于阶数 $ d \geq 2 $ 的多项式增长Cayley图的子图 $ (\Omega, B) $，其第k个Steklov特征值满足 $ \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} $，当 $ l \to \infty $ 时，若 $ |\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 $ 的精确依赖关系。