[논문 리뷰] Upper bounds for Steklov eigenvalues of subgraphs of polynomial growth Cayley graphs

Léonard Tschanz|arXiv (Cornell University)|2021. 01. 12.

Graph theory and applications참고 문헌 13인용 수 6

한 줄 요약

이 논문은 다항성장 카일리 그래프의 부분그래프에 대한 k번째 스테크로프 고유값에 상한을 설정하며, $ \sigma_k \leq C(\Gamma) \cdot |B|^{-1/(d-1)} \cdot k^{(d+2)/d} $ 로 표현되는 감쇠율을 보여주며, 여기서 $ d $ 는 성장률이고 $ |B| $ 는 경계 크기이다. 이 방법은 연속 다양체 모델에서 이산화 및 약한 등장사상(rough isometry)을 통해 상한을 이전하고, 이는 이전의 첫 번째 고유값에 대한 결과를 모든 고유값으로 확장한다.

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 최종 상한의 상수들이 기저 카일리 그래프와 이산화 파라미터에 따라 어떻게 의존하는가?

주요 결과

• 다항성장 카일리 그래프의 부분그래프 $ (\Omega, B) $ 에 대해 $ d \geq 2 $ 이면 $ \sigma_k(\Omega, B) \leq C(\Gamma) \cdot |B|^{-1/(d-1)} \cdot k^{(d+2)/d} $ 를 만족하며, 여기서 $ C(\Gamma) $ 는 그래프 $ \Gamma $, 기본 조각 $ P $, 그리고 이산화 파라미터 $ \varepsilon $ 에만 의존한다.
• 고유값의 감쇠율은 첫 번째 고유값과 동일한 $ |B|^{-1/(d-1)} $ 의 형태를 가지지만, 추가적으로 $ 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 $ 에 대한 날카로운 의존성 제공.