[論文レビュー] Borel version of the Local Lemma

Endre Csóka, Łukasz Grabowski+3 more|arXiv (Cornell University)|May 16, 2016

Advanced Topology and Set Theory被引用数 7

ひとこと要約

本稿は、依存グラフにおける一様に超指数的成長と有界な失敗確率の下で、Borel可測関数としての満たす割り当てが存在することを示す、Lovászの局所補題のBorel版を確立する。著者らは、離れた節に対して共通の確率を再利用する並列化されたMoser-Tardosアルゴリズムを導入し、ユークリッド空間の可測制約を伴う組合せ的構造（例：可測なユークリッド色分け）において、Borel解を有効に構築可能であることを示す。

ABSTRACT

We prove a Borel version of the local lemma, i.e. we show that, under suitable assumptions, if the set of variables in the local lemma has a structure of a Borel space, then there exists a satisfying assignment which is a Borel function. The main tool which we develop for the proof, which is of independent interest, is a parallel version of the Moser-Tardos algorithm which uses the same random bits to resample clauses that are far enough in the dependency graph.

研究の動機と目的

• 無限の組合せ的問題における可測構造を尊重する Borel 可測設定への Lovász 局所補題の拡張。
• 例えばユークリッド空間の色分けを含む、非可算空間を含む問題における可測解の構築の課題に対処する。
• 適切な位相的および成長条件の下で、満たす割り当てが単に組合せ的に存在するのではなく、Borel関数として存在することを保証する枠組みを構築する。
• 並列化されたMoser-Tardosの変種を介した構成的アルゴリズム的手法を提供し、遠く離れた節間で共通の確率を再利用しながら Borel 可測性と整合性を保つ。
• 古典的局所補題の存在結果が、特に幾何的・位相的組合せ論において、可測設定にどのように持ち上げられるかの条件を確立する。

提案手法

• 変数空間に Borel グラフ構造を導入し、依存関係および局所ルール関数が Borel 可測であることを保証する。
• 依存グラフ上で十分に離れた節に対して同じ乱数ビットを再利用する並列化されたMoser-Tardosアルゴリズムを定義する。
• 木構造のランドスケープ解析を用いてリサンプリングプロセスの進化をモデル化し、長時間実行される確率を抑え込む。
• Borel列の頂点集合の上を走る超限的グリーディアルゴリズムにより、Borel独立関数を構築し、最大独立集合が Borel 可測であることを保証する。
• Rel(G) グラフの超指数的成長を活用して、Borel設定下で期待値が有限であることを示し、アルゴリズムの終了を保証する。
• 最終的な割り当て関数が Borel σ-代数に関して可測であることを示すことで、得られた満たす割り当てが Borel 関数であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 基礎となる変数空間が標準的 Borel 空間である場合、Lovász 局所補題を、満たす割り当てが Borel 可測であることを保証するように強化できるか？
• RQ2 依存グラフ（例えば成長率など）にどのような構造的条件が課されると、Moser-Tardos アルゴリズムを Borel 可測性を保つように適合できるか？
• RQ3 非隣接節間で共通の乱数を再利用する並列化リサンプリングアルゴリズムを構築することは可能か？ その際、終了性と可測性を維持できるか？
• RQ4 古典的局所補題の確率的存在結果が、幾何的組合せ論において、どの程度まで構成的・可測な設定に持ち上げられるか？
• RQ5 Rel(G) グラフにおける一様な超指数的成長の仮定が、Borel 解の存在および構築にどのように影響するか？

主な発見

• Borel 局所補題が確立された：依存グラフ Rel(G) が一様に超指数的成長を示し、かつ失敗確率が p(x) < 1/(eΔ) を満たすならば、Borel 可測な満たす割り当てが存在する。
• Moser-Tardos アルゴリズムは、同じ条件下で Borel 可測性と有限の期待時間での終了を保つように、並列的かつ共通乱数を再利用する形に適合可能である。
• Borel列の頂点集合の上を走る超限的グリーディアルゴリズムにより、Borel 独立関数が構築され、最大独立集合が Borel 可測であることが保証された。
• 主な技術的革新は、木構造上のランドスケープ理論を用いてリサンプリングダイナミクスをモデル化し、アルゴリズムにおける長時間実行パスの確率を抑え込むことにある。
• この結果により、ユークリッド色分け問題（例：平行移動の多色付け）において、色分けを Borel 関数として選べることを示し、Corollary 1.2 を可測設定に拡張した。
• 失敗確率の境界 p(x) < 1/(eΔ) は、Borel 設定において鋭いものであり、古典的局所補題で得られている最良の境界と一致する。