[論文レビュー] Clairvoyant embedding in one dimension

Péter Gács|arXiv (Cornell University)|Apr 22, 2012

Stochastic processes and statistical mechanics参考文献 7被引用数 5

ひとこと要約

本稿では、ある有限の遅延閾値 $\tilde{m}$ に対して、独立な i.i.d. 列 $X$ に i.i.d. な表裏のコイン投げ列 $Y$ が正の確率で $\tilde{m}$-埋め込み可能であることを確立している。証明は、先行研究の「まぜら」フレームワークを一般化した階層的パーコレーションモデルを用いる。ここで、$\tilde{m}$-埋め込み可能性は、確率的有向グラフ内に無限路が存在することに対応する。主な結果は、このような $\tilde{m}$ の存在を示したことであり、従来の依存的パーコレーションおよび埋め込み理論における未解決問題を解決する。

ABSTRACT

Let v, w be infinite 0-1 sequences, and m a positive integer. We say that w is m-embeddable in v, if there exists an increasing sequence n_{i} of integers with n_{0}=0, such that 0< n_{i} - n_{i-1} < m, w(i) = v(n_i) for all i > 0. Let X and Y be independent coin-tossing sequences. We will show that there is an m with the property that Y is m-embeddable into X with positive probability. This answers a question that was open for a while. The proof generalizes somewhat the hierarchical method of an earlier paper of the author on dependent percolation.

研究の動機と目的

• 独立な i.i.d. 列 $X$ に i.i.d. な表裏のコイン投げ列 $Y$ が正の確率で $\tilde{m}$-埋め込み可能となるような有限の $\tilde{m}$ が存在するかどうかという未解決問題を解くこと。
• 先行研究における依存的パーコレーションに関する階層的パーコレーション手法を、埋め込み問題へ一般化すること。
• $X$ と $Y$ の独立性仮定が、このような $\tilde{m}$ の存在に必要でないことを示し、i.i.d. マージナルを持つ一般の同時分布へ拡張すること。
• 埋め込みに必要なパーコレーション特性を支持する「まぜら」と呼ばれる階層的構造の形式的定式化とその存在の証明。

提案手法

• 有向パーコレーション過程として埋め込み問題を $\mathbb{Z}_+^2$ 上に定式化し、$X(i) = Y(j)$ のときのみ辺が存在するようにする。
• $(i,j)$ から $(i+k,j+1)$ への辺が $1 \leq k \leq \tilde{m}$ かつ $X(i+k) = Y(j+1)$ のとき存在するような、確率的グラフ $\mathcal{G}_{\tilde{m}}(X,Y)$ を定義する。
• 壁、トラップ、穴、クリーニング性といった性質を持つ「まぜら」と呼ばれる階層的構造を導入し、パーコレーション路における障害物と通過条件をモデル化する。
• スケールアップ操作 $\mathcal{M}^k \mapsto \mathcal{M}^{k+1}$ を用いて、組合せ的および確率的性質を保ちながら、より複雑なまぜらを再帰的に構築する。
• 近似補題（補題 7.74）を用いて到達可能性を証明し、障害物が存在する中でもクリーニング領域を通る経路が構成可能であることを示す。
• 壁、トラップ、穴、クリーニング性のイベントに関する確率の上限・下限を確立し、無限路が正の確率で存在することを保証する。

実験結果

リサーチクエスチョン

• RQ1 有限の $\tilde{m}$ が存在し、i.i.d. な列 $Y$ が独立な i.i.d. 列 $X$ に正の確率で $\tilde{m}$-埋め込み可能となるか？
• RQ2 $X$ と $Y$ の独立性仮定を撤廃しても、このような $\tilde{m}$ の存在が保たれるか？
• RQ3 先行研究における依存的パーコレーションに用いられた階層的パーコレーションフレームワークを、埋め込み結果の証明に適応可能か？
• RQ4 確率的グラフ $\mathcal{G}_{\tilde{m}}(X,Y)$ に、原点から無限路が存在するための構造的および確率的条件は何か？
• RQ5 「クリーニング性」と「トラップカバレッジ」の概念をどのように形式化すれば、埋め込みグラフ内の障害物を回避できる経路を構築できるか？

主な発見

• $X$ と $Y$ が独立であっても、$Y$ が $X$ に正の確率で $\tilde{m}$-埋め込み可能となる有限の $\tilde{m}$ が存在する。
• このような $\tilde{m}$ の存在は、より一般に、i.i.d. マージナルを持つ任意の $X$ と $Y$ の同時分布に対して成り立つ。
• $\tilde{m} \to \infty$ のとき、$\tilde{m}$-埋め込み可能性の確率は 1 に収束する。これは、大きな遅延では埋め込みが極めて高確率で達成可能であることを示唆する。
• 到達可能性、壁およびトラップの確率の上限、クリーニング性および穴の確率の下限といった組合せ的および確率的条件を満たす、まぜら $\mathcal{M}^k$ の列が構築されている。
• 近似補題（補題 7.74）により、傾きの変化や経路のずれを制御することで、障害物が存在する中でもクリーニング領域を通る経路が構成可能であることが保証される。
• スケールアップの下で主要な性質が保存され、補題 6.53, 6.58, 6.65, 6.68, 6.69, 6.72 で確立された確率的境界に依存した証明がなされている。