[논문 리뷰] On-diagonal lower estimate of heat kernel on graphs

Yong Lin, Yiting Wu|arXiv (Cornell University)|2016. 12. 27.

Geometric Analysis and Curvature Flows참고 문헌 14인용 수 4

한 줄 요약

이 논문은 곡률 유사 조건을 요구하지 않고, 단지 체적 성장 조건을 사용하여 큰 시간에 대해 그래프 위의 열핵에 대한 새로운 대각선 아래쪽 추정을 수립한다. 자연적인 그래프 거리에서 상한을 먼저 유도한 후 체적 성장 조건을 적용하여, $ p(t,x,x) \geq \frac{c}{V(x,\sqrt{t})} $ 형태의 하한을 증명한다. 이는 곡률 기반 방법보다 더 약한 조건 하에서 이전 결과를 확장한다.

ABSTRACT

The purpose of this paper is to establish a new continuous-time on-diagonal lower estimate of heat kernel for large time on graphs. To achieve the goal, we first give an upper bound of heat kernel in natural graph metric, and then use this bound and the volume growth condition to show the validity of the on-diagonal lower bound.

연구 동기 및 목표

• 최소한의 기하적 가정 하에서 그래프 위의 대각선 열핵에 대한 하한을 유도하기 위해.
• 그래프의 구조를 제약하는 $ CDE(n,0) $ 또는 $ CDE'(n,0) $ 와 같은 곡률 조건에 의존하지 않기 위해.
• 체적 성장 조건 $ V(x,r) \leq c r^m $ 를 유일한 가정으로 사용하여 하한을 수립하기 위해.
• 곡률 조건이 성립하지 않을 경우에도 다항 체적 성장이 있는 그래프로 열핵 추정의 적용 범위를 확장하기 위해.
• 연속 시간 열핵 추정을 자연적 그래프 거리에서 유도하여 큰 시간에 대해 유효하게 하기 위해.

제안 방법

• Davies와 Folz의 영감을 얻은 기법을 사용하여 자연적 그래프 거리 $ d(x,y) $ 에서 열핵 $ p(t,x,y) $ 의 상한을 유도하기 위해.
• 상한을 사용하여 공역 $ B(x,r) $ 외부의 열핵 분포 尾 꼬리 부분을 제어하고, $ B(x,r) $ 외부의 질량을 추정하기 위해.
• $ B(x,r)^c $ 를 이진 링태(annuli) $ B(x,2^{k+1}r) \setminus B(x,2^k r) $ 로 분할하여 먼 정점들에 대한 합을 유계화하기 위해.
• 체적 성장 조건 $ V(x,r) \leq c r^m $ 을 적용하여 링태의 측도를 유계화하고 상한 내의 지수 감소를 제어하기 위해.
• $ r(t) = Ct \log t $ 이고 $ C > 2D_{\mu}e $ 인 경우에 $ t \to \infty $ 일 때 꼬리 합이 0으로 감소함을 보장하여 대각선 하한을 증명하기 위해.
• 열핵의 총 질량이 1임을 이용하고, 큰 $ t $ 에서 꼬리 질량이 $ 1/2 $ 미만임을 보여 대각선 질량이 아래로 유계임을 보장하기 위해.

실험 결과

연구 질문

• RQ1 곡률 가정 없이 다항 체적 성장 조건만을 사용하여 그래프 위의 비가우시안 대각선 하한 추정을 유도할 수 있는가?
• RQ2 큰 시간에서의 그래프 위 열핵 행동 맥락에서 하한 $ p(t,x,x) \geq c / V(x,\sqrt{t}) $ 의 정밀도는 어떠한가?
• RQ3 자연적 그래프 거리가 $ d_\theta $ 와 같은 변형 거리와 비교하여 열핵 추정 유도에 어떤 영향을 미치는가?
• RQ4 DGG 보조정리 및 관련 기법들이 상한 제어를 통해 하한을 유도하는 데 얼마나 잘 적응될 수 있는가?
• RQ5 열핵의 꼬리 질량이 충분히 제어되어 대각선 값에 대한 하한을 유추할 수 있는가?

주요 결과

• 논문은 다항 체적 성장 조건 $ V(x,r) \leq c r^m $ 하에서 큰 $ t $ 에 대해 $ p(t,x,x) \geq \frac{c}{V(x,\sqrt{t})} $ 형태의 하한을 수립한다.
• 열핵의 상한은 자연적 그래프 거리 $ d(x,y) $ 에서 유도되었으며, 이는 이전 연구에서 사용된 거리 변환의 필요성을 피한다.
• 반경 $ r(t) = Ct \log t $ 이고 $ C > 2D_{\mu}e $ 인 경우, $ t \to \infty $ 일 때 꼬리 합 $ \sum_{z \in B(x,r)^c} \mu(z) p(t,x,z) $ 이 0으로 감소함을 보여 대각선 질량이 아래로 유계임을 보장한다.
• 이중 링태와 로그를 포함한 지수 감소 항을 통해 꼬리의 감쇠율을 제어하고, 그 결과로 합이 극한에서 0이 되게 한다.
• 결과는 모든 $ t \geq T $ 에 대해 성립하며, $ T $ 는 충분히 크고, 하한은 모든 정점 $ x \in V $ 에 대해 일관되게 유지된다.
• 이 방법은 $ CDE'(n,0) $ 와 같은 곡률 기반 가정을 피하므로, 오직 체적 성장 조건만을 만족하는 더 넓은 그래프 클래스에 적용 가능하다.