[논문 리뷰] On the uniqueness class, stochastic completeness and volume growth for graphs

Xueping Huang, Matthias Keller외 1명|arXiv (Cornell University)|2018. 12. 13.

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

한 줄 요약

이 논문은 새로운 유형의 그래프인 글로벌로컬(Globally Local, GL) 그래프로 구성된 그래프에서 열 방정식에 대한 그리고르얀 유형의 유일성 클래스 기준을 증명함으로써, 스토하스틱 완전성에 대한 최적의 체적 성장 조건을 확립한다. 저자들은 거리 공역이 유한한 내재 거리(metric)를 갖는 조건 하에서 스토하스틱 완전성이 성립함을 보이며, 이 유일성 클래스 결과는 날카로운 결과—GL 조건이 심지어 로그 인자만큼 실패하더라도 비자명한 해가 존재함으로써 최적성의 정도를 입증한다.

ABSTRACT

In this note we prove an optimal volume growth condition for stochastic completeness of graphs under very mild assumptions. This is realized by proving a uniqueness class criterion for the heat equation which is an analogue to a corresponding result of Grigor'yan on manifolds. This uniqueness class criterion is shown to hold for graphs that we call globally local, i.e., graphs where we control the jump size far outside. The transfer from general graphs to globally local graphs is then carried out via so called refinements.

연구 동기 및 목표

• 열 방정식에 대한 그리고르얀 결과와 유사한 최적의 유일성 클래스 기준을 그래프에 확장하는 것.
• 비국소성에도 불구하고 그리고르얀 부등식이 성립하는 자연스러운 그래프의 클래스—글로벌로컬(GL) 그래프—를 규명하는 것.
• 지역 유한성 또는 유한한 점프 크기를 요구하지 않으며, 내재 거리에서 거리 공역이 유한한 조건 하에서 스토하스틱 완전성이 보장됨을 보이는 것.
• GL 조건이 로그 인자만큼 약화될 경우 비자명한 해가 존재함을 보여주는 반례를 구성함으로써, 글로벌로컬 조건의 날카로움을 입증하는 것.
• 균일한 하한 측도나 유한한 점프 크기 등의 제한 조건을 제거하여 이전의 스토하스틱 완전성 결과를 통합하고 확장하는 것.

제안 방법

• 기준점으로부터의 거리에 따라 점프 크기가 감소하는 조건을 만족하는 내재 거리 하에서 정의된 글로벌로컬(GL) 그래프의 클래스를 도입하는 것.
• 비국소성에 적응된 그리고르얀 원래 증명 전략의 수정된 버전을 사용하여 GL 그래프에 대해 그려르얀 부등식을 증명하는 것.
• 모든 그래프를 GL 그래프로 변환하면서 스토하스틱 완전성을 유지하는 그래프 정밀화—간선 위에 정점을 삽입하는 것—를 사용하는 것.
• 그래프 공간의 이산성에 기반하여 정밀화에 따른 스토하스틱 완전성의 안정성 결과를 확립하는 것.
• 유일성 클래스 정리의 성장 조건을 만족하지만 GL 조건을 로그 인자만큼 위반하는 비GL 그래프에서 열 방정식의 비자명한 해를 구성하는 것.
• 특히 내재 편의거리(intrinsic pseudo-metric)를 사용하여 딜레르흐 형식에 적합한 내재 거리를 정의하고, 거리 공역과 체적 성장을 정의하는 것.

실험 결과

연구 질문

• RQ1 그리고르얀의 열 방정식에 대한 유일성 클래스 기준은 비국소 그래프로 확장될 수 있는가? 만약 가능하면 어떤 조건에서 가능할까?
• RQ2 일반 그래프에서 이러한 결과가 실패하는 것과는 대조적으로, 그래프의 어떤 구조적 조건이 유일성 클래스 결과가 유지되도록 보장하는가?
• RQ3 글로벌로컬 조건은 유일성 클래스 기준에 대해 필수적이고 최적인가? 그리고 조합적 거리에서의 체적 성장과 비교해보면 어떠한가?
• RQ4 내재 거리에서 거리 공역이 유한한 조건 하에서 스토하스틱 완전성이 최소한의 가정 하에서도 보장될 수 있는가? 지역 유한성 또는 유한한 점프 크기 조건이 필요하지 않은가?
• RQ5 글로벌로컬 조건이 로그 인자만큼 약화될 경우, 성장 조건을 만족하는 해가 비자명하게 존재하는가?

주요 결과

• 글로벌로컬 그래프에서는 열 방정식에 대한 유일성 클래스 기준이 성립하며, 이를 통해 그려르얀의 다변수 결과를 그래프로 확장한다.
• 모든 거리 공역이 유한한 내재 편의거리(intrinsic pseudo-metric)가 존재하는 한 그래프의 스토하스틱 완전성이 보장된다.
• 글로벌로컬 조건은 날카로운 결과이다: 이 조건이 로그 인자만큼 실패하면, 유일성 클래스 정리의 성장 조건을 만족하는 비자명한 해가 존재한다.
• 정수 직선에서 $ b(n-1,n) = n $ for $ n \geq 1 $ 인 경우에 구성된 반례는 조건을 더 이상 약화시킬 수 없음을 보여준다.
• 성장 조건 $ \int_0^T \sum_{x \in B_r(0)} |u_t(x)|^2 m(x) dt \leq C e^{c r^2} $ 는 그래프가 글로벌로컬일 경우에만 해의 자명성을 보장한다.
• 그래프 정밀화와 스토하스틱 완전성의 안정성에 기반한 증명 기법은 일반 그래프로의 결과 확장을 가능하게 하며, 이를 GL 경우로 환원함으로써 가능하게 한다.