[논문 리뷰] Laplacians on periodic discrete graphs

Andrey Badanin, Evgeny Korotyaev외 1명|arXiv (Cornell University)|2013. 01. 29.

Graph theory and applications참고 문헌 16인용 수 4

한 줄 요약

이 논문은 ${\mathbb{Z}}^2$-주기적인 이산 그래프 위의 라플라스 연산자에 대한 플로케-블로흐 이론을 개발하며, 기하학적 매개변수를 통해 스펙트럼 추정을 도출하고, 정사각형 및 육각형 격자의 변형에 대해 스펙트럼을 완전히 특성화한다. 주요 결과는 육각형 격자를 한 개의 간선을 추가함으로써 변형할 경우, 그 결과 그래프가 비이분할이면 스펙트럼 간극이 생기고, 이분할이면 스펙트럼은 $[-1,1]$로 유지된다는 것이다.

ABSTRACT

We consider Laplacians on $\Z^2$-periodic discrete graphs. The following results are obtained: 1) The Floquet-Bloch decomposition is constructed and basic properties are derived. 2) The estimates of the Lebesgue measure of the spectrum in terms of geometric parameters of the graph are obtained. 3) The spectrum of the Laplacian is described, when the so-called fundamental graph consists of one or two vertices and any number of edges. 4) We consider the hexagonal lattice perturbed by adding one edge to the fundamental graph. There exist two cases: a) if the perturbed hexagonal lattice is bipartite, then the spectrum of the perturbed Laplacian coincides with the spectrum $[-1,1]$ for the unperturbed case, b) if the perturbed hexagonal lattice is not bipartite, then there is a gap in the spectrum of the perturbed Laplacian. Moreover, some deeper results are obtained for the perturbation of the square lattice.

연구 동기 및 목표

• ${\mathbb{Z}}^2$-주기적인 이산 그래프 위의 라플라스 연산자에 대한 플로케-블로흐 분해를 수립하기 위해.
• 그래프의 기하학적 불변량을 사용하여 스펙트럼의 르베그 측도를 추정하기 위해.
• 기본 그래프에 정점이 한 개 또는 두 개인 경우 라플라스 연산자의 스펙트럼을 특성화하기 위해.
• 정사각형 및 육각형 격자의 간선 변형에 따른 스펙트럼 변화를 분석하기 위해.
• 양자 그래프의 스펙트럼 분석을 위한 기초를 마련하기 위해.

제안 방법

• ${\mathbb{Z}}^2$-주기성과 관련된 파이버 번들의 구조를 이용하여 플로케-블로흐 분해를 구성하기 위해.
• 그래프 $\Gamma$ 에 대한 ${\mathbb{Z}}^2$ 작용에 대한 몫으로서 기본 그래프 $\Gamma_0$ 를 정의하며, 정점과 간선의 구조를 유지하기 위해.
• 간선의 분류와 이동 불변성을 추적하기 위해 인덱스 사상 $\tau({\bf e}) = [v] - [u]$ 를 정의하기 위해.
• 힐베르트 공간 위의 자기수반 연산자의 스펙트럼 이론을 적용하여, 브릴루아 영역을 따라 라플라스 연산자를 직접 적분으로 분해하기 위해.
• 준위상적 경계 조건을 갖는 기본 그래프 위에서 고유값 문제를 분석하여 스펙트럼을 분석하기 위해.
• 그래프의 이분성과 위상수학적 불변량을 이용하여 스펙트럼 간극의 유무를 결정하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 ${\mathbb{Z}}^2$-주기적인 이산 그래프 위의 라플라스 연산자에 대해 플로케-블로흐 분해를 체계적으로 구성할 수 있는가?
• RQ2 어떤 기하학적 매개변수가 이러한 라플라스 연산자의 스펙트럼의 르베그 측도를 제어하는가?
• RQ3 기본 그래프에 정점이 한 개 또는 두 개인 경우, 라플라스 연산자의 스펙트럼은 무엇인가?
• RQ4 육각형 격자에 한 개의 간선을 추가하면 스펙트럼에 어떤 영향을 미치며, 특히 스펙트럼 간극 측면에서 어떻게 변화하는가?
• RQ5 어떤 조건에서 변형된 육각형 격자는 $[-1,1]$ 스펙트럼을 유지하거나 간극을 형성하는가?

주요 결과

• ${\mathbb{Z}}^2$-주기적인 이산 그래프에 대해 플로케-블로흐 분해가 엄밀히 구성되었으며, 이를 통해 섬유 연산자에 의한 스펙트럼 분석이 가능해졌다.
• 스펙트럼의 르베그 측도는 기본 그래프의 정점 수와 간선 수에 따라 추정되었으며, 이는 스펙트럼 성질과 기하학적 성질 간의 연결을 나타낸다.
• 정점이 한 개 또는 두 개인 기본 그래프의 경우, 라플라스 연산자의 스펙트럼이 완전히 특성화되었으며, 명시적인 밴드 구조가 유도되었다.
• 육각형 격자를 한 개의 간선을 추가하여 변형한 경우, 결과 그래프가 이분할이면 스펙트럼은 $[-1,1]$로 유지된다.
• 결과 그래프가 비이분할이면 스펙트럼에 스펙트럼 간극이 나타나며, 이는 밴드 구조에 근본적인 변화가 있음을 나타낸다.
• 정사각형 격자의 변형에 대해서는 더 깊은 스펙트럼 결과를 도출하였으며, 특정 조건 하에서 평탄한 밴드와 스펙트럼 간극이 나타나는 것으로 확인되었다.