[論文レビュー] Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics

Anton Bernshteyn|arXiv (Cornell University)|Apr 10, 2020

Advanced Topology and Set Theory被引用数 4

ひとこと要約

本稿は、有限グラフ上の効率的な分散アルゴリズムが、有界次数の無限Borelグラフにおいて、well-behaved（Borel、可測、またはBaire可測）な彩色をもたらすことを示すことによって、分散アルゴリズムと記述的組合せ論の間の橋渡しを確立している。さらに、より強い条件下で、対称的Lovász局部補題の可測およびBaire可測版を証明し、短いサイクルを含まないグラフにおける可測彩色数に関する新たな結果を得ている。

ABSTRACT

In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or measure. To this end, we show that such well-behaved colorings can be produced using certain powerful techniques from finite combinatorics and computer science. First, we prove that efficient distributed coloring algorithms (on finite graphs) yield well-behaved colorings of Borel graphs of bounded degree; roughly speaking, deterministic algorithms produce Borel colorings, while randomized algorithms give measurable and Baire-measurable colorings. Second, we establish measurable and Baire-measurable versions of the Symmetric Lovász Local Lemma (under the assumption $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$, which is stronger than the standard LLL assumption $\mathsf{p}(\mathsf{d} + 1) \leq e^{-1}$ but still sufficient for many applications). From these general results, we derive a number of consequences in descriptive combinatorics and ergodic theory.

研究の動機と目的

• Borelグラフ上の組合せ的彩色が、位相的または測度論的意味でwell-behavedとなる十分条件を確立すること。
• 特に、分散アルゴリズムおよびLovász局部補題といった有限組合せ論の技術を、記述的組合せ論の文脈に移行すること。
• 有界次数および制限された周長（girth）をもつBorelグラフに対する可測彩色数の新たな定量的境界を導出すること。
• 通常の条件よりも強い条件下で、対称的Lovász局部補題の可測およびBaire可測版を証明すること。
• 無限組合せ論における彩色問題に関して、アルゴリズム的および記述的集合論的アプローチを統合すること。

提案手法

• 分散計算のLOCALモデルを適応し、決定的分散アルゴリズムがBorel彩色を生成すること、確率的アルゴリズムがBorelグラフ上で可測およびBaire可測彩色をもたらすことを見せる。
• 確率的有限部分解集合上の構成を用いて、確率的分散アルゴリズムを可測およびBaire可測設定でシミュレートするBorel還元フレームワークを導入する。
• Lovász局部補題の精密分析を適用し、より強い条件 $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$ を課すことにより、可測およびBaire可測解の存在を保証する。
• 非空なまたは全測度な定義域を持つ部分解の再帰的構築により、グローバル解が正規性（可測性またはBaire可測性）を保つようにする。
• Borel還元および確率的平均化の議論を用いて、有限組合せ論の結果（例：CSPからの結果）を正規性を保ったまま無限構造へと拡張する。
• comeager集合やBorel決定性といった記述的集合論の結果を活用し、最終的な彩色関数が可測またはBaire可測であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 有限グラフ上の効率的分散アルゴリズムを用いて、有界次数の無限Borelグラフに対してwell-behaved（Borel、可測、またはBaire可測）な彩色を構成できるか？
• RQ2 標準的Borel空間の文脈において、可測またはBaire可測版の対称的Lovász局部補題が成立する条件は何か？
• RQ3 有界次数かつ短いサイクルを含まないBorelグラフの可測彩色数のタイトな境界は何か？
• RQ4 有効な次数および周長制約の下で、可測彩色数は組合せ的彩色数にどれほど近づけるか？
• RQ5 大規模な周長をもつグラフにおいて、組合せ的彩色数と可測彩色数の差を埋めることは可能か。また、Lovász局部補題はこの過程においてどのような役割を果たすか？

主な発見

• 任意の $\Delta \geq \Delta_0$ に対して、$c \leq \sqrt{\Delta + 1/4} - 5/2$ が成り立つならば、最大次数 $\leq \Delta$ であるBorelグラフの可測彩色数は、その組合せ的彩色数に等しくなる。ただし、後者がある値以下である場合に限る。
• 命題により、$c \leq \sqrt{\Delta + 1/4} - 5/2$ の境界は、最適値から2の誤差内にあり、近似的に最適であることが示されている。
• 3-サイクルを含まないグラフでは、十分大きな $\Delta$ に対して $\mu$-可測彩色数は $(4 + \varepsilon)\Delta / \log \Delta$ 以下である。
• 4-サイクルを含まないグラフでは、十分大きな $\Delta$ に対して $\mu$-可測彩色数は $(1 + \varepsilon)\Delta / \log \Delta$ 以下であり、既知の下界と定数因子の違いを除いて一致する。
• 木的Borelグラフの可測彩色数は、$(1/2 + o(1))\Delta / \log \Delta$ 以上であるため、本稿の境界は定数因子の意味で最適であることが示された。
• 条件 $\mathsf{p}(\mathsf{d}+1)^8 \leq 2^{-15}$ の下で、対称的Lovász局部補題を可測およびBaire可測設定に適応可能であり、古典的条件 $\mathsf{p}(\mathsf{d}+1) \leq e^{-1}$ よりも強いが、多くの応用に対して十分である。