[논문 리뷰] Volume doubling, Poincaré inequality and Guassian heat kernel estimate for nonnegative curvature graphs

Paul Horn, Yong Lin외 2명|arXiv (Cornell University)|2014. 11. 19.

Geometric Analysis and Curvature Flows참고 문헌 23인용 수 28

한 줄 요약

이 논문은 $CDE'(n,0)$ 곡률 조건 하에서 비음성 곡률을 가진 그래프 위에서 가우시안 열핵 추정, 체적 두배 조건, 피카르레 부등식을 도출하기 위해 반군 기반 방법을 도입함으로써, 그래프에서 비음성 곡률을 가진 경우에 강력한 기하학적 및 해석적 성질이 성립함을 증명한다. 주요 기여는 비음성 곡률을 가진 그래프가 유한차원 조화 함수와 양성 곡률 하에서 본넷-마이어스 유형의 지름 유계를 만족함을 입증한 것이다.

ABSTRACT

By studying the heat semigroup, we prove Li-Yau type estimates for bounded and positive solutions of the heat equation on graphs, under the assumption of the curvature-dimension inequality $CDE'(n,0)$, which can be consider as a notion of curvature for graphs. Furthermore, we derive that if a graph has non-negative curvature then it has the volume doubling property, from this we can prove the Gaussian estimate for heat kernel, and then Poincaré inequality and Harnack inequality. As a consequence, we obtain that the dimension of space of harmonic functions on graphs with polynomial growth is finite, which original is a conjecture of Yau on Riemannian manifold proved by Colding and Minicozzi. Under the assumption of positive curvature on graphs, we derive the Bonnet-Myers type theorem that the diameter of graphs is finite and bounded above in terms of the positive curvature by proving some Log Sobolev inequalities.

연구 동기 및 목표

• 최대 원리 방법의 한계를 극복하기 위해 반군 기반 기법을 사용하여 비음성 곡률을 가진 그래프로 리-요우 유형의 기울기 추정을 확장한다.
• $CDE'(n,0)$ 조건을 만족하는 그래프에 대해 체적 두배 조건을 확립한다.
• 체적 두배 조건과 곡률 가정에서 가우시안 열핵 추정 및 피카르레 부등식을 유도한다.
• 양성 곡률을 가진 그래프에 대해 본넷-마이어스 유형의 정리를 증명하여 곡률에 따라 지름을 유계로 제한한다.
• 이러한 그래프에서 다항식 성장 조건을 만족하는 조화 함수의 공간이 유한차원임을 증명한다. 이는 얀의 추측에 대한 이산적 해석이다.

제안 방법

• 그래프 위의 이산 열 방정식의 유계 및 양성 해에 대해 전역 기울기 추정을 도출하기 위해 열 반군을 활용한다.
• 비음성 리치 곡률의 이산적 해석으로서 수정된 곡률-차원 부등식 $CDE'(n,0)$을 적용한다.
• 로그-소볼레브 부등식과 엔트로피 방법을 사용하여 해의 성장률을 제어하고 측도 집중을 도출한다.
• 내재 거리와 표준 거리를 활용하여 추상적 거리 구조를 그래프의 자연적 거리와 연결함으로써 지름 추정을 가능하게 한다.
• 체비셰프 부등식과 지수 모멘트 유계를 적용하여 함수의 $L^ty$ 노름을 평균에 대해 제어함으로써 지름 제어로 이어진다.
• 반군 추정과 함수 부등식(Poincaré, 로그-소볼레브)을 조합하여 기하학적 및 해석적 성질의 전반적인 등가 체계를 유도한다.

실험 결과

연구 질문

• RQ1 최대 원리 대신 반군 기반 기법을 사용하여 리-요우 유형의 기울기 추정을 그래프로 확장할 수 있는가?
• RQ2 그래프에서 $CDE'(n,0)$ 곡률 조건이 체적 두배 조건과 피카르레 부등식을 유도하는가?
• RQ3 곡률과 체적 두배 조건으로부터 그래프에서 가우시안 열핵 추정을 도출할 수 있는가?
• RQ4 그래프에서 양성 곡률이 본넷-마이어스 정리와 유사하게 유한한 지름을 유도하는가?
• RQ5 비음성 곡률을 가진 그래프에서 다항식 성장 조건을 만족하는 조화 함수의 공간은 유한차원인가?

주요 결과

• $CDE'(n,0)$ 조건을 만족하는 그래프는 기하학적 분석에 핵심적인 조건인 체적 두배 조건을 만족한다.
• $CDE'(n,0)$ 조건 하에서 피카르레 부등식과 가우시안 열핵 추정이 성립하며, 이는 하르나크 부등식과 등가임을 입증한다.
• 이러한 그래프에서 다항식 성장 조건을 만족하는 조화 함수의 공간은 유한차원이며, 이는 얀의 추측에 대한 이산적 해석을 확인한다.
• 양성 곡률 $K>0$ 을 가진 그래프의 경우 표준 지름은 $\widetilde{D} \leq 4\sqrt{3}\pi\sqrt{n/K}$ 로 유계로 제한되며, 이는 이산적 본넷-마이어스 정리를 증명한다.
• 내재 거리를 사용하여 자연적 그래프 거리 지름은 $D \leq 2\pi\sqrt{6D_{\mu}n/K}$ 로 유계로 제한되며, 여기서 $D_{\mu}$ 는 그래프의 총 측도이다.
• 반군 기반 방법은 이산적 환경에서 최대 원리의 한계를 효과적으로 극복하여 더 강력한 기울기 추정 및 열핵 추정을 가능하게 한다.