[論文レビュー] Cycle lengths modulo $k$ in large 3-connected cubic graphs

Kasper Szabo Lyngsie, Martin Merker|arXiv (Cornell University)|Apr 10, 2019

Advanced Graph Theory Research参考文献 20被引用数 4

ひとこと要約

本稿では、任意の奇数 $k$ と自然数 $m$ に対して、十分に大きな 3-連結立方グラフが、長さが $k$ を法として $m$ と合同なサイクルを含むことを証明している。この結果は 2-連結立方グラフにおいても鋭いものである。$m$ と $k$ がともに 3 の倍数であり、$k \geq 12$ のとき、構成された一連のグラフがその性質の不成立を示している。主な貢献は、3-連結立方グラフにおいてサイクル長の条件が保証される閾値 $N(k)$ を確立したことにある。

ABSTRACT

We prove that for all natural numbers $m$ and $k$ where $k$ is odd, there exists a natural number $N(k)$ such that any 3-connected cubic graph with at least $N(k)$ vertices contains a cycle of length $m$ modulo $k$. We also construct a family of graphs showing that this is not true for 2-connected cubic graphs if $m$ and $k$ are divisible by 3 and $k\geq 12$.

研究の動機と目的

• 十分に大きな 3-連結立方グラフにおいて、固定された $m$ と奇数 $k$ に対して、長さが $k$ を法として $m$ と合同なサイクルが存在する条件を同定すること。
• すべての 3-連結立方グラフが少なくとも $N(k)$ 個の頂点を持つ場合、任意の $m$ と奇数 $k$ に対して長さ $m \mod k$ のサイクルを含むような閾値 $N(k)$ を確立すること。
• この結果が 2-連結立方グラフに拡張可能かどうかを調査すること、特に $m$ と $k$ が 3 の倍数である場合に注目すること。
• 特定の割り切れ条件の下で、$m$ と $k$ がともに 3 の倍数であり $k \geq 12$ のとき、2-連結立方グラフにおいてサイクル長の $k$ を法とした合同性が成立しない一連のグラフを構成すること。

提案手法

• 立方グラフにおけるサイクル空間と連結性の性質を分析するための構造的グラフ理論の応用。
• 3-連結立方グラフにおけるサイクル被覆およびサイクル空間基底に関する既知の結果の適用。
• $m$ と $k$ が 3 の倍数であり $k \geq 12$ のとき、反例として機能する特定の 2-連結立方グラフの族の構成。
• グラフの直径および頂点数の上限を用いて、$k$ を法としたサイクルの存在を確立する。
• 漸近的推定においてベルヌーイの不等式を用いて、必要な頂点数 $N(k)$ の上限を導出する。
• 極値グラフ理論の技法を用いて、十分に大きな 3-連結立方グラフが所望の長さのサイクル（$k$ を法として $m$ と合同）を含む必要があることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の固定された $m$ と奇数 $k$ に対して、十分に大きな 3-連結立方グラフは、長さが $k$ を法として $m$ と合同なサイクルを含むか？
• RQ2 すべての 3-連結立方グラフが少なくとも $N(k)$ 個の頂点を持つ場合、長さ $m \mod k$ のサイクルを含む最小の数 $N(k)$ は何か？
• RQ3 同じ条件下で、この結果は 2-連結立方グラフに拡張可能か？
• RQ4 2-連結立方グラフにおいて、$m$ と $k$ のどのような条件下で、サイクル長の $k$ を法とした合同性が成立しないか？
• RQ5 $m$ と $k$ がともに 3 の倍数であり $k \geq 12$ のとき、そのようなサイクルの存在に構造的障害があるか？

主な発見

• 任意の奇数 $k$ と自然数 $m$ に対して、$N(k)$ という閾値が存在し、$N(k)$ 個以上の頂点を持つすべての 3-連結立方グラフが、長さが $k$ を法として $m$ と合同なサイクルを含む。
• 本稿では、$m$ と $k$ が 3 の倍数であり $k \geq 12$ のとき、長さ $m \mod k$ のサイクルを含まない 2-連結立方グラフの族を構成しており、この結果が 2-連結グラフに拡張されないことを示している。
• 任意のこのような 3-連結立方グラフ $G$ の直径は $f(k)$ 以上であることが示され、構造的広がりの下限が得られている。
• $N(k)$ は暗黙的に定義されており、$162^{13} < 10^{29}$ という推定が、大きな $k$ に対して非常に大きくても有限な閾値であることを示唆している。
• ベルヌーイの不等式を用いて $N(k)$ の漸近的上限を導出し、大きなグラフにおいて所望のサイクルが存在することを裏付けている。
• この結果は鋭い二分法を示している：性質は 3-連結グラフでは成立するが、特定の割り切れ条件の下では 2-連結グラフでは不成立となる。