[논문 리뷰] Topological Poincaré type inequalities and lower bounds on the infimum of the spectrum for graphs

Daniel Lenz, Marcel Schmidt외 1명|arXiv (Cornell University)|2018. 01. 28.

Geometric Analysis and Curvature Flows참고 문헌 17인용 수 6

한 줄 요약

이 논문은 저자들이 기하학적으로 유용한 거리 척도—특히 저항 거리와 편의 거리—를 도입하여 그래프 위에서 위상적 Poincaré 부등식을 수립한다. 이는 최적 상수를 지름과 내접원 반지름 등의 기하학적 불변량으로 기술하는 데 기여한다. 모든 확률 측도에서 라플라스 연산자의 스펙트럼 갭과 관련된 변분 공식을 유도함으로써, 스펙트럼 갭과 고유값의 날카로운 하한을 도출하며, 유한 그래프의 경우 고전적 추정치보다 인자 4만큼 향상된 결과를 얻는다.

ABSTRACT

We study topological Poincaré type inequalities on general graphs. We characterize graphs satisfying such inequalities and then turn to the best constants in these inequalities. Invoking suitable metrics we can interpret these constants geometrically as diameters and inradii. Moreover, we can relate them to spectral theory of Laplacians once a probability measure on the graph is chosen. More specifically, we obtain a variational characterization of these constants as infimum over spectral gaps of all Laplacians on the graphs associated to probability measures.

연구 동기 및 목표

• 측도에 대한 참조 없이 위상적 Poincaré 부등식(TPI)을 만족하는 그래프를 특성화하는 것.
• 저항 기반 거리 체계에서 지름과 내접원 반지름 등의 기하학적 불변량을 사용하여 TPI의 최적 상수를 결정하는 것.
• 모든 그래프 위의 확률 측도에서 라플라스 연산자의 스펙트럼 갭의 하한으로서 이러한 상수들을 스펙트럼 이론과 연결하는 것.
• Poincaré 상수를 사용하여 라플라스 연산자의 스펙트럼의 최소값과 고유값의 하한을 도출하는 것.

제안 방법

• 모든 $ x,y \in X $ 및 $ f \in \mathcal{D} $ 에 대해 $ |f(x) - f(y)|^2 \leq \delta(x,y)\mathcal{E}(f) $ 를 만족하는 그래프 위의 편의 거리 $\delta$ 를 정의함으로써, 이 부등식이 이 거리 체계에서 그래프의 지름과 연결됨을 보임.
• 저항 거리 $r$ 과 그 변형들인 $r'$ 과 $r_\Omega$ 를 도입하여 최적 상수 $c_P$ 가 $\mathrm{diam}_{r'}(X)$ 또는 $\mathrm{Inr}_{r_\Omega}(\Omega)$ 로 기하학적으로 해석됨을 설명함.
• 변분 원리를 사용하여 최적 상수 $c_P$ 가 그래프 위의 전지수를 가진 모든 확률 측도와 관련된 라플라스 연산자의 두 번째 노이만 고유값의 하한과 같음을 보임.
• 최소-최대 원리와 Poincaré 유형 추정을 적용하여 고유값 $\lambda_{n+1}$ 이 $c_P$, $m(X\setminus F)$, 및 $c_P^{X\setminus F}$ 에 따라 유계됨을 도출함.
• 기하학적으로 캐논컬리 캄팩티피어블 그래프의 경우 최적 상수 $c_P$ 는 저항 거리 $r'$ 에서의 지름과 같으며, $c_P = \mathrm{diam}_{r'}(X)$ 라고 나타남.
• 첫 번째 비영인 고유값에 대해 스펙트럼 갭의 하한이 $4 / (c_P m(X))$ 라고 보장되며, 이는 고전적 추정치보다 인자 4만큼 향상됨.

실험 결과

연구 질문

• RQ1 모든 유한 에너지 함수에 대해 $\|f\|_{\infty}^2 \leq c\mathcal{E}(f)$ 의 형태를 가진 위상적 Poincaré 부등식을 만족하는 그래프는 어떤 것인가?
• RQ2 지름과 내접원 반지름 등의 거리 체계를 사용하여 이러한 부등식의 최적 상수 $c_P$ 가 어떻게 기하학적으로 기술될 수 있는가?
• RQ3 모든 그래프 위의 확률 측도에서 라플라스 연산자의 스펙트럼 갭과 최적 상수 $c_P$ 사이의 관계는 무엇인가?
• RQ4 Poincaré 부등식을 사용하여 그래프 위의 노이만 라플라스 연산자의 고유값을 유계로 만들 수 있는가?
• RQ5 함수들이 집합 $\Omega$ 외부에서 0이 되는 제한된 Poincaré 부등식의 상수들은 스펙트럼 불변량과 어떻게 관련되는가?

주요 결과

• 모든 유한 에너지 함수에 대해 위상적 Poincaré 부등식의 최적 상수 $c_P$ 는 저항 거리 $r'$ 에서의 그래프의 지름과 같으며, 즉 $c_P = \mathrm{diam}_{r'}(X)$ 라고 기술된다.
• 유한 조합론적 그래프의 경우, 스펙트럼 갭에 대한 하한이 고전적 추정치보다 인자 4만큼 향상되어 $\lambda_1 \geq 4 / (c_P m(X))$ 라는 결과를 도출한다.
• 최적 상수 $c_P$ 는 그래프 위의 전지수를 가진 모든 확률 측도와 관련된 라플라스 연산자의 두 번째 노이만 고유값의 하한으로 기술된다.
• 집합 $\Omega$ 외부에서 0이 되는 함수들에 대해 최적 상수 $c_P^\Omega$ 는 거리 체계 $r_\Omega$ 에서의 $\Omega$ 의 내접원 반지름과 같으며, $c_P^\Omega = \sup_{\Omega' \subsetneq X} \mathrm{Inr}_{r_{\Omega'}}(\Omega')$ 라고 기술된다.
• 첫 번째 비영인 고유값 $\lambda_1$ 은 $\lambda_1 \geq 4 / (c_P m(X))$ 를 만족하며, $n \geq 1$ 인 경우 높은 고유값 $\lambda_{n+1} \geq 1 / (c_P^{X\setminus F} m(X\setminus F))$ 를 만족한다. 여기서 $F$ 는 $n$ 개의 점으로 이루어진 집합이다.
• 스펙트럼 갭은 $4 / (c_P m(X))$ 로 하한이 보장되며, 이 하한은 $\lambda_1$ 에 대해 날카로우며, 정리 3.6의 변분 특성화에 의해 입증된다.