[論文レビュー] A Cauchy-Davenport type result for arbitrary regular graphs

Peter Hegarty|ArXiv.org|Oct 12, 2009

Limits and Structures in Graph Theory被引用数 4

ひとこと要約

本稿は、任意の正則で連結なグラフに対して、コーシー＝ドーベン型の不等式を確立する。ある普遍定数 $\epsilon > 0$（約 0.087）が存在し、任意の $n$ 頂点の正則で連結なグラフについて、すべての頂点対が長さ 3 以下のパスで接続されている、または 3 重和グラフにおけるこのような頂点対の数が、辺の数を $1 + \epsilon$ 倍以上超える。この結果は、アーベル群における古典的なコーシー＝ドーベンの定理を、正則性と連結性の制約を用いてグラフ理論的設定へ一般化する。

ABSTRACT

Motivated by the Cauchy-Davenport theorem for sumsets, and its interpretation in terms of Cayley graphs, we prove the following main result : There is a universal constant e > 0 such that, if G is a connected, regular graph on n vertices, then either every pair of vertices can be connected by a path of length at most 3, or the number of pairs of such vertices is at least 1+e times the number of edges in G. We discuss a range of further questions to which this result gives rise.

研究の動機と目的

• アーベル群の和集合におけるコーシー＝ドーベンの定理を、正則で連結なグラフの文脈へ一般化すること。
• ケイリー群（正則グラフの特別なクラス）で観察される和集合の線形的成長が、任意の正則グラフへ拡張されるかを調査すること。
• 特に $h=3$ の場合に、正則グラフにおける $h$ 重和グラフの辺数が $h$ の線形関数から下限で抑えられるかを特定すること。
• 和グラフの成長が遅い正則グラフの構造的制約を明らかにし、逆問題型の問いを提示すること。

提案手法

• 同じ頂点集合を持つグラフ $h\mathscr{G}$ を、$\mathscr{G}$ 内で長さ $h$ 以下のパスで接続される頂点間に辺が存在するものとして定義する。
• 正則で連結なグラフにおける $|3\mathscr{E}|$ と $|\mathscr{E}|$ の相対的な成長を、極値的グラフ理論的議論により分析する。
• 特定の近傍における長さ 3 のパスの二重数え上げを用い、$\mathscr{G}$ に存在しない $3\mathscr{G}$ の新たな辺の数の下界を導出する。
• 成長が遅い（すなわち $|3\mathscr{E}| < (1+\epsilon)|\mathscr{E}|$）と仮定し、正則性または連結性を破る構造的制約を導出することで背理法を用いる。
• 直径の上限 $\text{diam}(\mathscr{G}) \leq \frac{3n - (d+3)}{d+1}$ を用いて極値ケースを分析し、タイトな境界を達成する例を構成する。
• 方程式 $\epsilon = \frac{1}{4}(1 - \sqrt{\epsilon})^3$ を解き、最適な普遍定数 $\epsilon \approx 0.087$ を特定する。

実験結果

リサーチクエスチョン

• RQ1 アーベル群における古典的結果に類似した、正則で連結なグラフにおける和グラフの辺数成長に対するコーシー＝ドーベン型の下界が、任意の正則で連結なグラフに成り立つかどうか。
• RQ2 正則グラフにおいて、$h \geq 3$ のとき、$h$ 重和グラフの成長が $h$ の線形関数から一様に下限で抑えられるか、$n$ に依存しないか。
• RQ3 直径が 3 未満でない限り、すべての正則で連結なグラフについて $|3\mathscr{E}| \geq (1 + \epsilon)|\mathscr{E}|$ を満たす普遍的 $\epsilon > 0$ が存在するか。
• RQ4 和グラフ成長が部分線形である正則グラフの構造的性質は何か。これにより逆問題型の問いが生じる。
• RQ5 極値的パス数え上げを用いて、最小次数に関するグラフの直径の上限を改善または鋭くできるか。

主な発見

• 任意の $n$ 頂点の連結で正則なグラフ $\mathscr{G}$ に対して、ある普遍定数 $\epsilon > 0$ が存在し、$\mathscr{G}$ の直径が 3 以下である、または $|3\mathscr{E}| \geq (1 + \epsilon)|\mathscr{E}|$ を満たす。
• 最適な $\epsilon$ の値は、方程式 $\epsilon = \frac{1}{4}(1 - \sqrt{\epsilon})^3$ の唯一の正の解であり、$\epsilon \approx 0.087$ を得る。
• この結果は、$h=2$ の場合には成り立たない。明示的な反例により、$|2\mathscr{E}|$ が $|\mathscr{E}|$ に限りなく近づくことが示され、$\epsilon > 0$ が存在しないことが示される。
• 最小次数 $d$ の任意の連結グラフの直径は、$\frac{3n - (d+3)}{d+1}$ 以下である。この上限は、特定の構成において漸近的にタイトである。
• $d$ 正則グラフの明示的構成により、直径の上限 $\delta = \left\lfloor \frac{3n - (d+3)}{d+1} \right\rfloor$ を達成することができ、直径推定値のタイトさを示している。
• 証明は、近傍内の長さ 3 のパスの二重数え上げに依拠しており、$3\mathscr{G}$ の成長が遅いと仮定すると、正則性と連結性の仮定に反する構造的制約が導かれる。