[論文レビュー] Accessibility percolation and first-passage site percolation on the unoriented binary hypercube

Anders Martinsson|arXiv (Cornell University)|Jan 9, 2015

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$ にどのように依存するかを調査する。
• 任意のグラフにおいて、到達可能性パーコレーションと第一到達時刻サイトパーコレーションの間の一般的同値性を確立し、先行研究の再定式化を可能にする。
• Berestycki, Brunet, および Shi が提起した、正規化された適応度最大値からの距離に依存する漸近的到達可能性確率に関する予想を解消する。
• ハイパーグラフモデルにおける第一到達時刻の分布を分析し、所定の時間閾値内に適応度最大値に到達する確率の上限を導出する。

提案手法

• 到達可能性パーコレーションの等価な定式化として第一到達時刻サイトパーコレーションを用い、既存のパーコレーション理論の適用を可能にする。
• 大偏差推定と集中不等式を用いて、ハイパーグラフ内の頂点到達時刻の尾部挙動を制御する。
• ハイパーグラフを次元 $n-2$ の部分グラフ $Q_0$ と $Q_1$ に再帰的に分解し、中間頂点を通るパスを分離する。
• 二項分布の集中性を用いて、高確率で、$e_i$ および $\hat{v} - e_i$ の両方が小さな到達時刻を持つような複数の座標が存在することを示す。
• 部分グラフの到達時刻の独立性を用いて、第一到達時刻が $\vartheta(x) + \varepsilon$ 未満である確率に対する繰り返しの上限を適用する。
• 部分グラフ間の独立性を活用した下界の再帰的改善により、極限において $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 任意のグラフにおける到達可能性パーコレーションは、第一到達時刻サイトパーコレーションとして等価に定式化可能か？
• RQ4 最大値からハミング距離が非常に近くない場合、漸近的到達可能性確率が正規化距離 $|\hat{v}|/n$ の非自明な関数に収束するか？
• RQ5 正規化された距離 $|\hat{v}_n|/n \to x$ を満たす列 $\hat{v}_n$ に対して、$n \to \infty$ のときの第一到達時刻 $\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|/n \to x \geq 0.002$ を満たす列 $\hat{v}_n$ に対して、到達可能性確率は $x$ に依存する関数に収束する。
• 任意の $\varepsilon > 0$ に対して、第一到達時刻 $\mathcal{T}_V'(\hat{0}, \hat{v}_n)$ は高確率で $\vartheta(x) + \varepsilon$ 未満に抑えられる。ここで $\vartheta(x)$ は極限的閾値関数である。
• 部分グラフ間の独立性を活用した下界の繰り返し的改善により、極限において $1 - \frac{1}{2}\ln(2 + \sqrt{5})$ に収束する到達可能性確率の下界が得られる。
• 到達可能性パーコレーションと第一到達時刻サイトパーコレーションの同値性は任意のグラフに対して成り立ち、アクセスパスの分析に新たな枠組みを提供する。
• Berestycki, Brunet, および Shi の予想は、ハミング距離がすべての成分が0の頂点に非常に近い頂点を除き、ほぼ完全な一般性で確認された。