[論文レビュー] Problems and results in Extremal Combinatorics -- IV

Noga Alon|arXiv (Cornell University)|Sep 26, 2020

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

ひとこと要約

本稿は、極値組合せ論における新規結果を提示する。特に、高サイクル長のグラフパッキング、符号理論、社会選択論に焦点を当てている。2つのグラフがその和集合において高いサイクル長を保つようにパッキングできる十分条件を確立し、古典的結果を一般化することで、高サイクル長の有向拡張子の明示的構成を可能にする。

ABSTRACT

Extremal Combinatorics is among the most active topics in Discrete Mathematics, dealing with problems that are often motivated by questions in other areas, including Theoretical Computer Science and Information Theory. This paper contains a collection of problems and results in the area, including solutions or partial solutions to open problems suggested by various researchers. The topics considered here include questions in Extremal Graph Theory, Coding Theory and Social Choice. This is by no means a comprehensive survey of the area, and is merely a collection of problems, results and proofs, which are hopefully interesting. As the title of the paper suggests, this is a sequel of three previous papers of the same flavour. Each section of this paper is essentially self contained, and can be read separately.

研究の動機と目的

• 2つのグラフが、それらの和集合が高サイクル長を保つようにパッキングできる条件を調査し、古典的グラフパッキング定理を拡張する。
• Erdős–Sachsの高サイクル長正則グラフの存在に関する結果を、パッキングにおける次数およびサイクル長の制約を組み込むことで一般化する。
• 新しいパッキング条件を用いて、高サイクル長の有向拡張子の明示的構成法を提供する。
• 特に正則グラフにおける連結支配数と通常支配数の差のギャップに関する未解決問題に取り組む。
• 極値組合せ論におけるグラフ構造、サイクル長、次数制約の間の相互作用を調査する。

提案手法

• 条件付き期待値に基づくポテンシャル関数の議論を用いて、有界なサイズの支配集合を段階的に構成する。
• 各頂点の順序に対して、支配集合の期待サイズ、未支配頂点数、および逆次数の和の凹関数を組み合わせた条件付き期待値関数 $ \psi_i $ を定義する。
• 期待値の線形性を用いて、各頂点についての条件付き期待値を計算し、ポテンシャル関数の単調減少を保証する。
• 関数 $ f $ の凹性を用いて、$ \psi_{i+1} $ を最小化する次頂点を選択することでポテンシャルが減少することを保証し、良好な近似が得られることを保証する。
• 最終的なポテンシャル関数の値が $ \frac{n}{k+1} (\ln(k+1) + 4) - 2 $ で有界であることを証明し、支配集合のサイズに対する上限を得る。
• この手法を連結支配数と通常支配数の差の分析に適用し、その差が $ \frac{n}{k+1} (\ln \lceil \ln(k+1) \rceil + 3) $ 以下であることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた最大次数とサイクル長をもつ2つのグラフが、それらの和集合が高サイクル長を保つようにパッキングできる条件は何か？
• RQ2 グラフパッキングに関するBollobás–Eldridge予想を、結合グラフにおける高サイクル長を保つように拡張できるか？
• RQ3 $ k $-正則連結グラフにおける連結支配数と通常支配数の最大差は何か？
• RQ4 極値グラフパッキングの結果を用いて、高サイクル長の有向拡張子を明示的に構成できるか？
• RQ5 $ k $-正則連結グラフにおける支配ギャップ $ \gamma_c(G) - \gamma(G) $ の最もタイトな上界は何か？

主な発見

• 本稿は、$ (d_1 + d_2) $-ボールが半径 $ k $ のグラフにおいてサイズが $ n $ より小さい場合、最大次数 $ d_1, d_2 $ かつサイクル長が少なくとも $ g $ の2つのグラフが、それらの和集合がサイクル長 $ \min\{g, k\} $ 以上であるようにパッキング可能であることを証明している。
• 固定された $ d_1 + d_2 \geq 3 $ に対して、サイズ条件を満たす $ k $ の値は漸近的に $ (1+o(1)) \frac{\log n}{\log(d_1 + d_2 - 1)} $ に収束し、これがパッキングされたグラフのサイクル長を制御する。
• この結果は、高サイクル長の正則グラフの存在を示しており、Erdős–Sachsの定理を特別な場合として回復する。
• パッキング結果から、高サイクル長の有向拡張子の明示的構成が得られる。
• $ k $-正則連結グラフにおける連結支配数と通常支配数の差は、$ \frac{n}{k+1} (\ln \lceil \ln(k+1) \rceil + 3) $ 以下であり、かつ $ \lfloor \frac{n}{k+1} \rfloor - 1 $ 以上である。したがって、$ \ln \ln(k+1) $ のギャップが残されている。
• 条件付き期待値に基づくアルゴリズムにより、支配集合のサイズが $ \frac{n}{k+1} (\ln(k+1) + 4) - 2 $ で有界であることが保証され、正則グラフにおける近似保証を改善する。