[논문 리뷰] Eigenvalue asymptotics for Schr\\"odinger operators on sparse graphs

Michel Bonnefont, Sylvain Golénia외 1명|arXiv (Cornell University)|2013. 11. 28.

Spectral Theory in Mathematical Physics참고 문헌 36인용 수 9

한 줄 요약

이 논문은 스체르링거 연산자에 대한 고유값 점점이 성질을, 라플라스 연산자와 정점 차수 함수 간의 함수해석적 부등식과 기하학적 희소성의 연결을 통해 희소 그래프 위에서 유도한다. 희소성은 라플라스 연산자를 차수 함수로 통제하는 형태 부등식을 유도하며, 이는 명시적인 고유값 점점이 성질과 스펙트럼 이산성 기준을 함수해석적 방법을 통해 도출한다.

ABSTRACT

We consider Schr\\"odinger operators on sparse graphs. The geometric definition of sparseness turn out to be equivalent to a functional inequality for the Laplacian. In consequence, sparseness has in turn strong spectral and functional analytic consequences. Specifically, one consequence is that it allows to completely describe the form domain. Moreover, as another consequence it leads to a characterization for discreteness of the spectrum. In this case we determine the first order of the corresponding eigenvalue asymptotics.

연구 동기 및 목표

• 희소 그래프 위의 스크레딩거 연산자에 대한 스펙트럼 이산성과 고유값 점점이 성질을 특성화하는 것.
• 기하학적 희소성이 정점 차수 함수로 라플라스 연산자를 통제하는 기능적 부등식과 동치임을 보이는 것.
• 이러한 그래프 위의 스크레딩거 연산자에 대한 형태 도메인을 완전히 기술하는 것.
• 유도된 기능적 부등식과 스펙트럼 비교 원리를 사용하여 일阶 고유값 점점이 성질을 도출하는 것.

제안 방법

• 지역적으로 유한한 그래프에 대해 기하학적 희소성의 개념을 도입하며, 유한 부분집합 내 간선 수에 대한 균일한 상한을 통해 정의한다.
• 이 기하학적 희소성이 형태 의미에서 $(1-a)\text{deg} - k \trianglelefteq \trianglelefteq (1+a)\text{deg} + k$ 형태의 기능적 부등식과 동치임을 증명한다. 여기서 $a \to 0^+$ 이고 $k \to 0$ 이다.
• 기능적 부등식을 사용하여 스크레딩거 연산자 $\triangle + q$의 형태 도메인을 명시적으로 특성화한다.
• 스펙트럼 비교 정리(예: 정리 A.2)를 적용하여 $\triangle + q$의 고유값을 차수 함수로 통제되는 기준 연산자와 연결한다.
• 형태 핵과 닫힌 그래프 정리를 사용하여 연산자의 유계성과 자기수반성을 확보한다.
• 레마 A.3을 활용하여 형태 섭동을 다루고, 잠재력 및 자기장 조건 하에서 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 그래프의 기하학적 희소성은 관련 스크레딩거 연산자의 스펙트럼 성질과 어떻게 관련이 있는가?
• RQ2 희소 그래프 위의 스크레딩거 연산자에 대한 형태 도메인은 명시적으로 특성화될 수 있는가?
• RQ3 스크레딩거 연산자의 스펙트럼이 이산이 되는 조건은 무엇인가?
• RQ4 희소 그래프에서 본질 스펙트럼 이하의 고유값의 일阶 점점이 성질은 무엇인가?
• RQ5 차수 함수를 포함하는 기능적 부등식은 라플라스 연산자의 스펙트럼 행동을 어떻게 통제하는가?

주요 결과

• 그래프의 기하학적 희소성은 $a \to 0^+$ 이고 $k \to 0$ 일 때 형태 의미에서 $(1-a)\text{deg} - k \trianglelefteq \trianglelefteq (1+a)\text{deg} + k$ 형태의 기능적 부등식과 동치이다.
• 이 부등식은 스크레딩거 연산자 $\triangle + q$의 형태 도메인이 $\text{dom}(\triangle)$에 속하는 함수들 중에서 $q^{1/2}\text{dom}(\triangle)$ 가 $\text{dom}(\triangle)$ 에 속하는 집합으로 명시적으로 특성화됨을 의미한다.
• $\triangle + q$의 스펙트럼 이산성은 차수 함수가 무한대에서 충분히 빠르게 증가함 조건에 의해 특성화된다.
• 본질 스펙트럼 이하의 고유값에 대한 일阶 고유값 점점이 성질은 차수 함수로 통제되는 기준 연산자와의 비교를 통해 결정된다.
• 고유값 점점이 성질은 $|x| \to \text{infty}$ 일 때 $c_1 \frac{\text{deg}(x)}{1 + \text{deg}(x)} \to \text{const}$ 를 만족하며, 상수는 $\text{deg}$ 의 증가율에 따라 달라진다.
• 스펙트럼의 바닥과 본질 스펙트럼은 기능적 부등식에 의해 통제되며, 본질 스펙트럼의 바닥이 유한함은 차수 함수가 유계일 때이고 그 경우에만 유한하다.