[論文レビュー] Entropy Compression Method and Legitimate Colorings in Projective Planes

Rodrigo Bissacot, Luís Doin|arXiv (Cornell University)|Oct 19, 2017

Limits and Structures in Graph Theory参考文献 12被引用数 4

ひとこと要約

この論文は、変数版ロヴァズ・ローカル・レムマに定式化された問題に、エントロピー圧縮法を一般化し、従来の構成拡張可能性に関する制約を除去する。この手法を射影平面に適用し、任意の有限射影平面が42色で正当な彩色をもつことを証明するとともに、$10^{54}$ より大きな位数の平面に対して8色の彩色が存在することを示し、従来の境界を改善した。

ABSTRACT

We prove that the entropy compression method systematized by L. Esperet and A. Parreau [11] can be applied to any problem formulated in the variable version of the Lovász Local Lemma. As an application, we prove the existence of legitimate colorings for projective planes with small orders, which extends results of N. Alon and Z. Füredi [2]. In fact, we allow different numbers of colors, proving that projective planes of any order can be legitimate colored with 42 colors.

研究の動機と目的

• エントロピー圧縮法を元の制約を超えて、変数版ロヴァズ・ローカル・レムマに属するすべての問題に適用可能にする。
• 禁止構成における色の拡張を一意に決定する固定頂点の必要性を取り除く。
• 洗練された手法を有限射影平面における正当彩色問題に適用する。
• 固定された色数で正当彩色が存在する射影平面の位数に関する既存の境界を改善する。
• 任意の有限射影平面が42色で正当彩色可能であることを示す。

提案手法

• 固定頂点が禁止彩色構成を一意に決定する必要がないように、エントロピー圧縮アルゴリズムを変更する。
• 変数版ロヴァズ・ローカル・レムマを用いて、特定の構成を禁止するグラフ彩色問題に再定式化する。
• 部分彩色の拡張方法の数が $m_i = \underline{m}!$ で抑えられるように、修正された依存構造を導入し、$\underline{m}$ は重要な式を最小化するように選ぶ。
• 生成関数 $\phi_E(\tau) = 1 + \tau^{\underline{m}}$ を用い、$\phi_E(\tau) - \tau \phi_E'(\tau) = 0$ を解くことで、アルゴリズムの収束条件を導出する。
• 射影平面に対してこの手法を適用する際、直線と点をハイパーエッジと頂点としてモデル化し、『危険な直線のペア』とその確率を定義する。
• 危険なペアおよびそれらに含まれる点の数に対する確率的境界を、$\mathsf{d}(n,a,b)$、$K$、および二項係数を含む組合せ的推定を用いて導出する。

実験結果

リサーチクエスチョン

• RQ1 エントロピー圧縮法は、色の拡張を一意に決定する固定頂点が存在しない場合でも、変数版ロヴァズ・ローカル・レムマのすべての問題に一般化可能か？
• RQ2 任意の有限射影平面に正当な彩色を保証するための最小色数は何か？
• RQ3 どの位数の射影平面に対して8色の正当彩色が存在するか？ これは従来の境界と比べてどうか？
• RQ4 エントロピー圧縮法は、小規模および大規模位数の射影平面における正当彩色の存在に関する既知の結果のギャップを埋められるか？
• RQ5 8色の正当彩色が存在する射影平面の位数に関する改善された境界は、手法の副産物か、問題の本質的性質か？

主な発見

• エントロピー圧縮法は、色の拡張を一意に決定する固定頂点が存在しない場合でも、変数版ロヴァズ・ローカル・レムマに属する任意の問題に適用可能である。
• 任意の有限射影平面は、その位数にかかわらず、42色で正当な彩色を持つ。
• 位数が $10^{54}$ より大きなすべての射影平面に対して、8色の正当彩色が存在する。これはアロンとフーレディによる従来の境界 $10^{250}$ よりも改善されたものである。
• この手法により、エントロピー圧縮を用いた構成的証明が得られ、モーゼル＝タロスのアルゴリズムの適用範囲がより広い組合せ的問題に拡張された。
• 8色の彩色が存在する射影平面の位数に関する境界は、$\min_m \frac{m}{m-1}(m! \cdot a \cdot b(m-1))^{1/m}$ の最適化から得られ、$a$ と $b$ は危険なペアの数を制御する。
• 大規模な $n$ に対して、危険なペアが多すぎないように部分彩色を避けるために必要な最小色数 $\mathsf{d}$ は、$K$、二項係数、対数項を含む組合せ的推定を用いて上界で抑えられることが示された。