[논문 리뷰] Empirical distributions, geodesic lengths, and a variational formula in first-passage percolation

Erik Bates|arXiv (Cornell University)|2020. 06. 22.

Stochastic processes and statistical mechanics인용 수 9

한 줄 요약

이 논문은 $Δ^d$에서 i.i.d. 제1통과 평행성에서 지오데식선을 따라 경험적 간선가중치 측도의 약한 수렴을 확립하며, 정규성 조건 없이 적용 가능한 새로운 변분 공식을 통해 시간 상수를 유도함으로써, 다양한 간선가중치 분포(변형, 이산형, 연속형)에 대해 광범위한 클래스에서 결정론적 극한으로의 수렴을 증명한다. 결과는 무한 지오데식선 및 지오데식선의 길이 수렴과 관련된 오랫동안 열려 있던 문제를 해결한다.

ABSTRACT

This article resolves, in a dense set of cases, several open problems concerning geodesics in i.i.d. first-passage percolation on $\mathbb{Z}^d$. Our primary interest is in the empirical measures of edge-weights observed along geodesics from $0$ to $n\xi$, where $\xi$ is a fixed unit vector. For various dense families of edge-weight distributions, we prove that these measures converge weakly to a deterministic limit as $n o \infty$, answering a question of Hoffman. These families include arbitrarily small $L^\infty$-perturbations of any given distribution, almost every finitely supported distribution, uncountable collections of continuous distributions, and certain discrete distributions whose atoms have any prescribed sequence of probabilities. Moreover, the constructions are explicit enough to guarantee examples possessing certain features, for instance: both continuous and discrete distributions whose support is all of $[0,\infty)$, and distributions given by a density function that is $k$-times differentiable. All results also hold for $\xi$-directed infinite geodesics. In comparison, we show that if $\mathbb{Z}^d$ is replaced by the infinite $d$-ary tree, then any weight distribution admits a unique limiting empirical measure along geodesics. In both the lattice and tree cases, our methodology is driven by a new variational formula for the time constant, which requires no assumptions on the edge-weight distribution. Incidentally, this variational approach also allows us to obtain new convergence results for geodesic lengths, which have been unimproved in the subcritical case since the seminal 1965 manuscript of Hammersley and Welsh.

연구 동기 및 목표

• 제1통과 평행성에서 $Δ^d$의 지오데식선을 따라 경험적 간선가중치 분포의 극한 행동에 관한 열린 문제를 해결하기 위해.
• 간선가중치 분포에 대한 넓은 조건 하에서 이러한 경험적 측도가 결정론적 극한으로 약하게 수렴함을 확립하기 위해.
• 하나의 지오데식선이 무한한 $Δ$-지향 무한 지오데식선과 하위임계 상태에서의 지오데식선 길이로의 수렴 결과를 확장하기 위해.
• 간선가중치 분포에 대한 어떠한 가정도 필요로 하지 않는 시간 상수에 대한 변분 공식을 개발하기 위해.
• 무한 $d$-진수에서 모든 가중치 분포가 지오데식선을 따라 고유한 극한 경험적 측도를 갖는다는 것을 보여주기 위해.

제안 방법

• 간선가중치 분포에 대한 정규성 조건 없이도 유효한, 제1통과 평행성에서 시간 상수에 대한 새로운 변분 공식을 도입하기 위해.
• 이 변분 공식을 사용하여 지오데식선의 점근적 행동을 분석하고 경험적 간선가중치 측도의 수렴을 도출하기 위해.
• 수렴가능한 간선가중치 분포의 구체적 예시(연속형, 이산형, 특정 원소 확률을 갖는)를 구성하기 위해.
• 변분 접근법을 적용하여 하위임계 상태에서의 지오데식선 길이의 수렴을 증명하고, 1965년 허머슬리와 웰시의 결과를 향상시키기 위해.
• 격자와 나무 구조를 비교하기 위해: 무한 $d$-진수에서 모든 분포가 지오데식선을 따라 고유한 극한 경험적 측도를 갖는다는 것을 보여주기 위해.
• 약한 수렴 기법과 대 deviations 원리를 활용하여 $Δ^d$에서 조밀한 분포 가족에 대한 극한 측도를 확립하기 위해.

실험 결과

연구 질문

• RQ1 다양한 간선가중치 분포에 대해, $0$에서 $n\xi$로 향하는 지오데식선을 따라 경험적 간선가중치 측도가 $n \to \infty$일 때 약하게 결정론적 극한으로 수렴하는가?
• RQ2 어떤 주어진 분포에 대해 임의로 작은 $L^\infty$-편차가 있을 경우에도 수렴이 보장될 수 있는가?
• RQ3 무한 $d$-진수에서 모든 간선가중치 분포에 대해 극한 경험적 측도가 고유하고 결정론적인가?
• RQ4 시간 상수에 대한 변분 공식을 사용하여 하위임계 상태에서의 지오데식선 길이에 대한 수렴 결과를 도출할 수 있는가?
• RQ5 간선가중치 분포의 어떤 구조적 특성(예: 연속성, 미분 가능성, 지지집합)이 지오데식선을 따라 경험적 측도의 수렴을 보장하는가?

주요 결과

• 경험적 간선가중치 측도가 $0$에서 $n\xi$로 향하는 지오데식선을 따라 약하게 결정론적 극한으로 수렴하며, 이는 모든 $L^\infty$-편이가 있는 분포를 포함한 조밀한 간선가중치 분포 가족에 대해 성립한다.
• 이 수렴은 거의 모든 유한지지 분포, 연속분포의 불가측한 가족, 임의의 주어진 원소 확률 수열을 갖는 이산분포에 대해 성립한다.
• 지지집합이 $[0,\infty)$에 포함되는 분포에 대해서는 극한 측도가 결정론적이며 명시적으로 구성 가능하다. 이는 연속형 및 이산형 모두에 해당된다.
• 시간 상수에 대한 변분 공식은 간선가중치 분포에 대한 어떠한 가정도 필요 없이 유효하며, 이는 수렴 결과의 도출을 가능하게 한다.
• 무한 $d$-진수에서는 모든 간선가중치 분포가 지오데식선을 따라 고유한 극한 경험적 측도를 갖는다. 이는 격자에서는 조건이 필요로 하는 것과 대조된다.
• 이 방법론은 하위임계 상태에서의 지오데식선 길이에 대한 새로운 수렴 결과를 도출하며, 1965년 허머슬리–웰시의 경계를 향상시킨다.