[논문 리뷰] Spectral band localization for Schrödinger operators on periodic graphs

Evgeny Korotyaev, Natalia Saburova|arXiv (Cornell University)|2013. 10. 13.

Spectral Theory in Mathematical Physics참고 문헌 4인용 수 6

한 줄 요약

이 논문은 기본 세포에서 딜리클레 및 뉴먼 연산자의 고유값을 사용하여 주기적인 이산 그래프 위의 슈뢰딩거 연산자에 대해 명시적인 스펙트럼 밴드 국소화를 확립한다. 방법론은 플로케 이론과 최소최대 원리를 활용하여 밴드 위치를 추정하고 스펙트럼 갭을 탐지하며, 특히 고차 밴드와 갭에 대해 이전 방법보다 더 날카운 bounds를 제공한다.

ABSTRACT

We consider Schrödinger operators on periodic discrete graphs. It is known that the spectrum of these operators has band structure. We obtain a localization of spectral bands in terms of eigenvalues of Dirichlet and Neumann operators on a finite graph, which is constructed from the fundamental cell of the periodic graph. The proof is based on the Floquet decomposition of Schrödinger operators and the minimax principle.

연구 동기 및 목표

• 정규화된 라플라스 연산자 기법이 적용되지 않는 주기적 그래프 위의 이산 슈뢰딩거 연산자에 대해 직접적인 스펙트럼 밴드 추정 방법의 부족을 해결하기 위해.
• 기본 세포의 기하학적 및 위치 에너지 매개변수만을 사용하여 스펙트럼 밴드에 대한 명시적이고 계산 가능한 bounds를 제공하기 위해.
• 기본 세포에서의 고유값 비교를 통해 이산 슈뢰딩거 연산자의 스펙트럼에 스펙트럼 갭이 존재하는지 탐지하기 위해.
• 레베그 측도 기반의 이전 추정을 넘어서 밴드 위치의 정밀한 국소화를 포함한 스펙트럼 추정을 확장하기 위해.
• 비정규화된 라플라스 연산자에 대해 실패하는 Cattaneo 대응과 같은 이전 접근법의 한계를 극복하기 위해.

제안 방법

• quasi-momentum 파arameter로 매개변수화된 유한차원 문제의 가족으로 주기적 슈뢰딩거 연산자의 스펙트럼 분석을 플로케 분해를 통해 축소하기 위해.
• 주기적 그래프의 기본 세포에서 딜리클레 및 뉴먼 경계 조건에 해당하는 유한 그래프 $\Gamma_D$ 및 $\Gamma_N$을 구성하기 위해.
• 적절한 경계 조건을 갖는 $H_D$ 및 $H_N$을 각각 $\Gamma_D$ 및 $\Gamma_N$ 위의 슈뢰딩거 연산자로 정의하기 위해.
• 최소최대 원리를 사용하여 전체 연산자 $H$의 스펙트럼 밴드를 $H_D$ 및 $H_N$의 고유값과 연결하기 위해.
• 각 밴드 $n$에 대해 간격 추정 $J_n = [\lambda_n^D, \lambda_n^N]$ 및 $\widetilde{J}_n = [\lambda_n^{N,D}, \lambda_n^{D,N}]$을 유도하기 위해, 여기서 $\lambda_n^D$, $\lambda_n^N$은 기본 세포에서의 딜리클레 및 뉴먼 연산자의 고유값이다.
• 이 간격들을 교차시켜 더 날카운 bounds를 얻기 위해: $\sigma_n(H) \subset J_n \cap \widetilde{J}_n$, 이는 개별 추정보다 향상된 결과를 제공한다.

실험 결과

연구 질문

• RQ1 기본 세포에서의 유한한 딜리클레 및 뉴먼 문제의 고유값만을 사용하여 주기적 그래프 위의 이산 슈뢰딩거 연산자의 스펙트럼 밴드를 국소화할 수 있는가?
• RQ2 기본 세포에서의 $H_D$ 및 $H_N$의 고유값은 절대 연속 스펙트럼 내의 스펙트럼 밴드의 위치와 너비를 어떻게 제약하는가?
• RQ3 이 방법은 이전 방법이 실패하는 경우에도 스펙트럼 내에 스펙트럼 갭이 존재하는지 탐지할 수 있는가?
• RQ4 추정치 $J_n \cap \widetilde{J}_n$는 개별 bounds $J_n$ 또는 $\widetilde{J}_n$보다 어느 정도 향상되는가?
• RQ5 다양한 그래프 기하학, 예를 들어 정사각형 격자 또는 더 복잡한 주기적 그래프에서는 bounds가 어떻게 행동하는가?

주요 결과

• 주기적인 이산 그래프 위의 슈뢰딩거 연산자 $H = \Delta + Q$의 스펙트럼 밴드 $\sigma_n(H)$는 $J_n \cap \widetilde{J}_n$에 포함되며, 여기서 $J_n = [\lambda_n^D, \lambda_n^N]$ 및 $\widetilde{J}_n = [\lambda_n^{N,D}, \lambda_n^{D,N}]$이며, $\lambda_n^D$, $\lambda_n^N$은 기본 세포에서의 딜리클레 및 뉴먼 연산자의 고유값이다.
• 그림 1a의 예시 그래프에서 두 번째 밴드 $\sigma_2 \approx [2.5, 4]$는 정확히 $J_2 \cap \widetilde{J}_2 = [2, 4]$로 국소화되었으며, 세 번째 밴드 $\sigma_3 \approx [6, 9.5]$는 정확히 $J_3 \cap \widetilde{J}_3 = \widetilde{J}_3$로 탐지되었다.
• 추정치 $\sum_{n=1}^3 |\sigma_n(H)| \leq \sum_{n=1}^2 (\lambda_{5+n}^N - \lambda_n^N) \approx 11.5$는 기존의 추정치 $\sum_{n=1}^3 |\sigma_n(H)| \leq \sum_{n=2}^3 (12 - h_n) + \sum_{n=4}^7 \lambda_n^N \approx 25.5$보다 훨씬 날카럽다.
• 이 방법은 두 번째 스펙트럼 갭(\sigma_1$와 $\sigma_2$ 사이)을 $J_2 \cap \widetilde{J}_2 = [2, 4]$의 비어 있지 않은 교차로 탐지하였으며, 첫 번째 갭은 초기 bounds가 너무 넓어 탐지되지 않았다.
• 정사각형 격자에 대해서는 bounds $\nu + d \leq \nu_N \leq \nu + \beta/2$가 정확하며, $\nu_N = \nu + d = \nu + \beta/2$로 등호가 성립하여 부등식의 등호가 성립함을 보여준다.
• 이 접근법은 메트릭 그래프 대응이나 정규화 가정에 의존하지 않는 직접적이고 비퍼티urbation 기반의 밴드 위치 추정 방법을 제공하므로, 일반적인 이산 슈뢰딩거 연산자에 적용 가능하다.