[論文レビュー] Meyniel's conjecture holds for random d-regular graphs

Paweł Prałat, Nicholas Wormald|arXiv (Cornell University)|Oct 11, 2015

Limits and Structures in Graph Theory参考文献 17被引用数 13

ひとこと要約

この論文は、d ≥ 3 のとき、ランダムなd正則グラフに対して、Meynielの予想—任意の連結なn頂点グラフのコップ数はO(√n)である—が漸近的にほとんど確実に成り立つことを証明している。拡張性の性質と確率的技法を用いて、このようなグラフが、コップ数がO(√n)に有界であることを保証するための必要な構造的条件を満たすことが示され、これまでの二項ランダムグラフに関する結果がd正則モデルへと拡張されている。

ABSTRACT

In the game of cops and robber, the cops try to capture a robber moving on the vertices of the graph. The minimum number of cops required to win on a given graph $G$ is called the cop number of $G$. The biggest open conjecture in this area is the one of Meyniel, which asserts that for some absolute constant $C$, the cop number of every connected graph $G$ is at most $C \sqrt{|V(G)|}$. In a separate paper, we showed that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. The result was obtained by showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. In this paper, this deterministic result is used to show that the conjecture holds asymptotically almost surely for random $d$-regular graphs when $d = d(n) \ge 3$.

研究の動機と目的

• 任意の連結なn頂点グラフに対してコップ数がO(√n)であると予想するMeynielの予想が、d ≥ 3 のときランダムなd正則グラフに対して漸近的にほとんど確実に成り立つことを確立すること。
• 二項ランダムグラフに関する先行結果をd正則ランダムグラフモデルへと拡張し、この異なるランダムグラフアンサンブルにおいても予想が成立することを示すこと。
• d ≥ 3 のとき、ランダムなd正則グラフが、Meynielの予想の妥当性を示す拡張性タイプの性質を漸近的にほとんど確実に持つことを示すこと。
• 確率的モデルと決定的境界の間のギャップを埋めるために、典型的なランダムなd正則グラフがMeynielの予想の構造的前提条件を満たすことを示すこと。

提案手法

• 著者らは、特定の拡張性タイプの性質を持つグラフがMeynielの予想を満たすことを示す決定的結果を用い、その後ランダムなd正則グラフがこのクラスに漸近的にほとんど確実に属することを証明する。
• グラフの構造を頂点から距離のレベルごとに段階的に分析し、集合S(v,r)とN(v,r)を定義して、頂点からの距離と近傍を追跡する。
• 証明では、選択された頂点を根とする互いに素な木を構築し、各段階で拡張して十分な成長を確保する。初期グラフ構成に対する確率的条件付けを用いる。
• 集合U内の各頂点wに対して、制御された成長を示す拡張木T̃(w)を定義し、各段階での頂点数がd^iおよびn/(|U|d^j)に比例する下界を満たすようにする。
• 初期の木構造の存在に条件づけた後、高い確率でさらなる拡張が存在することを示し、以前の補題の修正版を用いる。
• 主な技術的ステップは、各段階での頂点数を、jの和として定義されるパラメータχ = Σ_j d^{-j}|Ũ_j| を用いて上限で抑え、成長率が必要な下限と一致することを保証することである。

実験結果

リサーチクエスチョン

• RQ1 d ≥ 3 のとき、Meynielの予想はランダムなd正則グラフに対してa.a.s.成り立つか？
• RQ2 一般のグラフにおいてMeynielの予想を示す拡張性タイプの性質が、ランダムなd正則グラフに対してもa.a.s.成り立つかどうかを示せるか？
• RQ3 ランダムなd正則グラフのコップ数はnに対してどのようにスケーリングされ、漸近的にほとんど確実にO(√n)の境界を満たすか？
• RQ4 ランダムなd正則グラフのどのような構造的性質が、Meynielの予想のための必要なコップ戦略を可能にするか？

主な発見

• d ≥ 3 のとき、n頂点のランダムなd正則グラフのコップ数はa.a.s. O(√n)である。
• この結果は、ランダムなd正則グラフが、Meynielの予想を示すクラスの拡張性タイプの性質を満たすことを示すことによって得られた。
• d ≥ log⁴n の密度の高いd正則グラフでは、グラフ構造における十分な拡張性と木の成長性により、予想がa.a.s.成り立つ。
• 証明は、選択された頂点を根とする互いに素な木を構築し、各段階での頂点数がd^iおよびn/(|U|d^j)の関数として下限で抑えられることを示すことに依存している。
• 高い確率でこのような木の拡張が存在することにより、コップの配置に必要な集合W(w)が存在し、コップ数が有界である条件を満たすことが保証される。
• 解析により、d ≥ 3 のスパarselyなd正則グラフに対してもコップ数がO(√n)のまま保たれること、かつ二項ランダムグラフモデルにおける以前の結果が拡張されていることが確認された。