[논문 리뷰] Spectral properties of graphs associated to the Basilica group

Antoni Brzoska, Courtney George외 3명|arXiv (Cornell University)|2019. 08. 28.

Geometric and Algebraic Topology참고 문헌 47인용 수 9

한 줄 요약

이 논문은 자기를 유사한 아벨리안이지만 초등 아벨리안이 아닌 그룹인 Basilica 군의 궤도 Schreier 그래프 위에서 라플라스 연산자의 스펙트럼 성질을 규명한다. 특성 다항식과 스펙트럼 측도 분석에 기반한 재귀적 동역계를 통해, 스펙트럼이 무수히 많은 갭을 가지며, KNS 스펙트럼 측도는 칸토어 집합에 지지되고, 일반적인 블로우업 클래스에 대해 스펙트럼은 순수 점 스펙트럼이며 국소화된 고유함수를 가짐을 증명한다.

ABSTRACT

We provide the foundation of the spectral analysis of the Laplacian on the orbital Schreier graphs of the Basilica group, the iterated monodromy group of the quadratic polynomial $z^2-1$. This group is an important example in the class of self-similar amenable but not elementary amenable finite automata groups studied by Grigorchuk, Żuk, \v Sunić, Bartholdi, Virág, Nekrashevych, Kaimanovich, Nagnibeda et al. We prove that the spectrum of the Laplacian has infinitely many gaps and that the support of the KNS Spectral Measure is a Cantor set. Moreover, on a generic blowup, the spectrum coincides with this Cantor set, and is pure point with localized eigenfunctions and eigenvalues located at the endpoints of the gaps.

연구 동기 및 목표

• 자기유사 군 이론의 핵심 예인 Basilica 군의 궤도 Schreier 그래프에서 그래프 라플라스 연산자의 스펙트럼 성질을 분석하는 것.
• 스펙트럼의 구조, 특히 구간이 있는지 또는 갭이 있는지와 스펙트럼 측도의 성격을 이해하는 것.
• 무한 블로우업의 맥락에서 스펙트럼이 순수 점 스펙트럼이 되고 국소화된 고유함수를 가지는 조건을 규명하는 것.
• 특성 다항식의 재귀적 인수분해를 통해 고유값과 그 중복도의 동역계를 수립하는 것.
• KNS 스펙트럼 측도의 지지가 칸토어 집합임을 증명하고, 무한 라플라스 연산자의 스펙트럼이 일반적인 그래프 클래스에서 이 측도의 지지와 일치함을 보이는 것.

제안 방법

• 유한 Schreier 그래프 $\Gamma_n$를 더 다룰 수 있는 그래프 $G_n$로 분해하여 스펙트럼 분석을 단순화하는 것.
• $G_n$에서의 라플라스 연산자 특성 다항식에 대한 재귀적 동역계를 개발하여, 수준 간 고유값과 그 중복도의 변화를 추적하는 것.
• 신규 고유값에 근을 가지며 이전 고유값에 극을 가지는 유리 함수를 도입하여 스펙트럼 역학을 모델링하고, 스펙트럼 갭 분석을 단순화하는 것.
• 무한 블로우업 $G_\infty$에서 통합 밀도를 근사하기 위해 Kesten–von Neumann–Serre (KNS) 스펙트럼 측도를 적용하는 것.
• 반대칭화 기법과 $l^2$ 공간에서의 내적 추정을 활용하여 거의 고유함수의 조밀성을 증명하고 순수 점 스펙트럼을 확립하는 것.
• 궤도 Schreier 그래프에서 경계점 주소의 구조를 활용하여 순수 점 스펙트럼을 가지는 그래프 집합을 특성화하는 것.

실험 결과

연구 질문

• RQ1 Basilica 군의 궤도 Schreier 그래프에서 라플라스 연산자의 스펙트럼은 무수히 많은 갭을 포함하는가?
• RQ2 KNS 스펙트럼 측도의 지지는 칸토어 집합인가? 기하학적 및 동역학적 구조는 어떠한가?
• RQ3 블로우업 과정에 어떤 조건이 성립할 경우 무한 라플라스 연산자의 스펙트럼이 순수 점 스펙트럼이며 국소화된 고유함수를 가지는가?
• RQ4 그래프 수열의 수준 간 고유값과 중복도의 진화를 묘사할 수 있는 재귀적 동역계를 구성할 수 있는가?
• RQ5 유한 근사 $G_n$의 스펙트럼 성질은 무한 블로우업 $G_\infty$에서의 극한 스펙트럼과 어떻게 관련이 있는가?

주요 결과

• Basilica 군의 궤도 Schreier 그래프에서 라플라스 연산자의 스펙트럼은 무수히 많은 갭을 가지며, 어떤 구간도 포함하지 않는다.
• KNS 스펙트럼 측도의 지지는 칸토어 집합이며, 통합 밀도의 근사화를 통해 증명되었다.
• 그래프 $G_n$의 일반적인 무한 블로우업 클래스에 대해, 라플라스 연산자의 스펙트럼은 순수 점 스펙트럼이며 국소화된 고유함수를 가진다.
• 고유값은 스펙트럼 갭의 끝점에 정확히 위치하며, 그 중복도는 국소화된 고유함수와 비국소화된 고유함수의 수에 의해 결정된다.
• 무한 라플라스 연산자 $L_\infty$의 스펙트럼은 KNS 스펙트럼과 일치하며, 이는 측도의 지지가 되는 칸토어 집합과 같다.
• 순수 점 스펙트럼을 위한 필요충분조건은 경계점 주소에 홀수와 짝수 위치에서 모두 무수히 많은 0과 1이 존재하며, 이는 수열 $k_{n+1}-k_n$ 이 1과 2를 유한번 이상 반복함을 의미한다.