[논문 리뷰] Accessibility percolation and first-passage site percolation on the unoriented binary hypercube

Anders Martinsson|arXiv (Cornell University)|2015. 01. 09.

Evolution and Genetic Dynamics참고 문헌 9인용 수 11

한 줄 요약

이 논문은 i.i.d. $U(0,1)$ 적합도 가중치 하에 비방향성 $n$-차원 이진 초입방체에서 전역 적합도 최댓값이 모두 0인 꼭짓점에서 도달 가능한 극한 확률을 규명하며, $n \to \infty$ 일 때 $1 - \frac{1}{2}\ln(2 + \sqrt{5})$로 수렴함을 증명한다. 또한 최대 적합도 꼭짓점 $\hat{v}$를 조건부로 두었을 때, 접근 가능성 확률이 정규화된 하밍 거리 $|\hat{v}|/n$ 의 함수로 수렴함을 보이며, Berestycki, Brunet, 및 Shi의 추측을 거의 완전한 일반성으로 해결한다.

ABSTRACT

Inspired by biological evolution, we consider the following so-called accessibility percolation problem: The vertices of the unoriented $n$-dimensional binary hypercube are assigned independent $U(0, 1)$ weights, referred to as fitnesses. A path is considered accessible if fitnesses are strictly increasing along it. We prove that the probability that the global fitness maximum is accessible from the all zeroes vertex converges to $1-\frac{1}{2}\ln\left(2+\sqrt{5} ight)$ as $n ightarrow\infty$. Moreover, we prove that if one conditions on the location of the fitness maximum being $v$, then provided $v$ is not too close to the all zeroes vertex in Hamming distance, the probability that $v$ is accessible converges to a function of this distance divided by $n$ as $n ightarrow\infty$. This resolves a conjecture by Berestycki, Brunet and Shi in almost full generality. As a second result we show that, for any graph, accessibility percolation can equivalently be formulated in terms of first-passage site percolation. This connection is of particular importance for the study of accessibility percolation on trees.

연구 동기 및 목표

• i.i.d. $U(0,1)$ 적합도 가중치 하에 비방향성 $n$-차원 이진 초입방체에서 전역 적합도 최댓값이 모두 0인 꼭짓점에서 도달 가능한 극한 확률을 결정하는 것.
• 모든 0인 꼭짓점에서 조건부 전역 적합도 최댓값 $\hat{v}$로의 접근 가능성 확률이 정규화된 하밍 거리 $|\hat{v}|/n$ 에 어떻게 의존하는지 조사하는 것.
• 모든 그래프에서 접근 가능성 퍼콜레이션과 제1도달 시점 사이트 퍼콜레이션 간의 일반적 동치성을 확립하여 이전 결과의 재형식화를 가능하게 하는 것.
• Berestycki, Brunet, 및 Shi의 추측을 해결하는 것 — 즉, 정규화된 최대 적합도 꼭짓점과의 거리에 따른 점근적 접근 가능성 확률이 비자명한 함수로 수렴하는가에 대한 것.
• 초입방체 모델에서 제1도달 시간 분포를 분석하고, 주어진 시간 임계값 이내에 적합도 최댓값에 도달할 확률에 대한 경계를 도출하는 것.

제안 방법

• 접근 가능성 퍼콜레이션의 등가 형식으로 제1도달 시점 사이트 퍼콜레이션을 사용하여 기존의 퍼콜레이션 이론의 적용을 가능하게 한다.
• 초입방체 내 꼭짓점 도달 시간의 尾행동을 제어하기 위해 대규모 편차 추정과 농도 부등식을 적용한다.
• 하나의 차원이 감소한 하위그래프 $Q_0$ 와 $Q_1$ 로 초입방체를 재귀적으로 분해하여 중간 꼭짓점을 통과하는 경로를 분리한다.
• 이항 농도를 사용하여, 높은 확률로 여러 좌표가 존재하여 $e_i$ 와 $\hat{v} - e_i$ 가 모두 작은 도달 시간을 가지게 됨을 보인다.
• 하위그래프의 도달 시간들이 서로 독립이므로, 제1도달 시간이 $\vartheta(x) + \varepsilon$ 이하일 확률에 대해 반복적인 경계를 적용한다.
• 하위그래프 간의 독립성을 활용한 하한의 반복적 개선을 통해 극한 접근 가능성 확률을 유도하며, $n \to \infty$ 일 때 $1 - \frac{1}{2}\ln(2 + \sqrt{5})$ 로 수렴한다.

실험 결과

연구 질문

• RQ1 i.i.d. $U(0,1)$ 적합도 가중치 하에 비방향성 $n$-차원 이진 초입방체에서 전역 적합도 최댓값이 모두 0인 꼭짓점에서 도달 가능한 극한 확률은 무엇인가?
• RQ2 모든 0인 꼭짓점에서 적합도 최댓값 $\hat{v}$ 로의 접근 가능성 확률은 정규화된 하밍 거리 $|\hat{v}|/n$ 에 어떻게 의존하는가?
• RQ3 모든 그래프에서 접근 가능성 퍼콜레이션은 제1도달 시점 사이트 퍼콜레이션으로 등가적으로 표현될 수 있는가?
• RQ4 적합도 최댓값에서 너무 멀리 떨어지지 않은 경우, 점근적 접근 가능성 확률이 정규화된 거리 $|\hat{v}|/n$ 에 따라 비자명한 함수로 수렴하는가?
• RQ5 시퀀스 $\hat{v}_n$ 에 대해 $|\hat{v}_n|/n \to x$ 를 만족할 때, $n \to \infty$ 일 때 제1도달 시간 $\mathcal{T}_V'(\hat{0}, \hat{v}_n)$ 의 극한 행동은 어떠한가?

주요 결과

• 모든 0인 꼭짓점에서 전역 적합도 최댓값이 도달 가능한 확률은 $n \to \infty$ 일 때 $1 - \frac{1}{2}\ln(2 + \sqrt{5}) \approx 0.298$ 로 수렴한다.
• 시퀀스 $\hat{v}_n$ 에 대해 $|\hat{v}_n|/n \to x \geq 0.002$ 를 만족할 경우, 접근 가능성 확률은 $x$ 에 따라 달라지는 함수로 수렴한다.
• 제1도달 시간 $\mathcal{T}_V'(\hat{0}, \hat{v}_n)$ 는 거의 확실하게 $\vartheta(x) + \varepsilon$ 이하로 제한된다. 여기서 $\varepsilon > 0$ 이며 $\vartheta(x)$ 는 극한 임계값 함수이다.
• 하위그래프 간의 독립성을 활용한 접근 가능성 확률 하한은 반복적으로 개선되며, 극한에서 $1 - \frac{1}{2}\ln(2 + \sqrt{5})$ 로 수렴한다.
• 접근 가능성 퍼콜레이션과 제1도달 시점 사이트 퍼콜레이션 간의 동치성은 모든 그래프에 대해 성립하며, 접근 경로 분석을 위한 새로운 프레임워크를 제공한다.
• 결과적으로 Berestycki, Brunet, 및 Shi의 추측을 거의 완전한 일반성으로 확인하였으며, 하밍 거리에서 모두 0인 꼭짓점에 매우 가까운 꼭짓점들만 제외한다.