[論文レビュー] On the number of edges in the special distance graph

Philipp Pushnyakov|arXiv (Cornell University)|Jun 24, 2015

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

ひとこと要約

本稿は、頂点が $[n]$ の3要素部分集合である特殊な距離グラフ $G(n,3,1)$ の誘導部分グラフにおける最小辺数を調査する。頂点間の辺は、部分集合がちょうど1つの共通要素を持つ場合に存在する。極値グラフ理論および独立集合の構造的解析を用いて、部分グラフのサイズ $l(n)$ の4つのスケール（部分的2次関数的からほぼ最大サイズまで）における最小辺数 $r(l(n))$ の漸近的境界を導出する。各スケールで明確な漸近的式またはタイトな境界が得られる。

ABSTRACT

In this paper we obtain new estimates of the number of edges in subgraphs of the special distance graph. Bibliography: 21 item.

研究の動機と目的

• 特殊な距離グラフ $G(n,3,1)$ の誘導部分グラフにおける最小辺数を特定すること。ここで、頂点は $[n]$ の3要素部分集合であり、2つの部分集合がちょうど1つの要素を共有する場合に辺が存在する。
• 部分グラフサイズ $l(n)$ の異なる成長率に応じて、$n \to \infty$ の下での最小辺数 $r(l(n))$ の漸近的挙動を分析すること。
• $l(n)$ のサイズが $n$ に対して相対的にどの程度であるかに応じて、$r(l(n))$ の挙動を4つの明確な漸近的スケールに分類すること。
• 各スケールにおいて、独立集合の構造的性質と極値グラフ理論を活用して、$r(l(n))$ のタイトな漸近的推定値または境界を提供すること。
• 特に、$\alpha_n \sim n$ である独立数が、頂点集合全体に近い密度の領域で最小辺数が厳密に制御されることを確立すること。

提案手法

• グラフ $G(n,3,1)$ は、$[n]$ の3要素部分集合に対応する頂点を持ち、2つの頂点間に辺が存在するのは、それらの部分集合の共通要素がちょうど1つである場合に限る。
• 解析は、Z. Nagy の定理から導かれる既知の漸近的独立数 $\alpha_n \sim n$ と、独立集合の構造的分解（共通ペア型、共通4要素型、互いに素な部分集合型）に依存している。
• 最小辺数 $r(l(n))$ は、$l(n)$ の成長率に応じたケース別分析により研究され、4つのスケールで異なる漸近的挙動が同定された。
• スケール1および2では、Turán型の上界を用いて $r(l(n)) \sim \frac{l(n)^2}{2\alpha_n}$ を示し、グラフの正則性とTuránの定理による $|E(W_1)|$ の下界を活用した。
• スケール3では、下界 $\frac{l(n)^2}{\alpha_n}$ と上界 $h(n) \sim \frac{5l(n)^2}{\alpha_n}$ が確立され、オーダーの大きさが $\Theta\left(\frac{l(n)^2}{\alpha_n}\right)$ であることが示された。
• スケール4では、$l(n) \sim \binom{n}{3}$ の場合、辺数の下界を、$n^3$ のオーダーの部分グラフ $W_1$ を削除する構成を用いて導出し、$r(l(n)) \sim n^5\left(\frac{1}{8} - \frac{c_n}{4} + \frac{c_n^2}{72}\right)$ が得られ、ここで $c_n = 1 - \frac{l(n)}{\binom{n}{3}}$ である。

実験結果

リサーチクエスチョン

• RQ1 誘導部分グラフのサイズが $l(n)$ のとき、$G(n,3,1)$ の最小辺数の漸近的挙動はどのように振る舞うか？
• RQ2 $l(n)$ が $n^2$ よりも遅く成長する、$n^2$ に近い、または $n^2$ より速く成長する場合に、最小辺数 $r(l(n))$ はどのようにスケーリングするか？
• RQ3 $l(n)$ が全頂点集合 $\binom{n}{3}$ に近いスケールにある場合に、$r(l(n))$ のタイトな漸近的境界を確立できるか？
• RQ4 独立集合の構造的性質が、これらの境界の導出を可能にする要因は何か？
• RQ5 誘導部分グラフの辺数は、独立数 $\alpha_n \sim n$ とどのように関係しているか？

主な発見

• $n = o(f)$ かつ $g = o(n^2)$ である $f(n) \leq l(n) \leq g(n)$ の範囲で、$n \to \infty$ の下で $r(l(n)) \sim \frac{l(n)^2}{2\alpha_n}$ が成り立つ。
• $l(n)$ が $\Theta(n^2)$ の範囲にあるとき、同じ漸近的式 $r(l(n)) \sim \frac{l(n)^2}{2\alpha_n}$ が成り立つ。
• $n^2 = o(f(n))$ かつ $g = o(n^3)$ の範囲では、$r(l(n))$ は下界 $\frac{l(n)^2}{\alpha_n}$ と上界 $h(n) \sim \frac{5l(n)^2}{\alpha_n}$ で抑えられ、オーダーの大きさが $\Theta\left(\frac{l(n)^2}{\alpha_n}\right)$ であることが示された。
• $l(n) = \Theta(n^3)$、特に $l(n) \sim \binom{n}{3}$ の場合、最小辺数は $r(l(n)) \geq f(n)$ を満たし、$f(n) \sim n^5\left(\frac{1}{8} - \frac{c_n}{4} + \frac{c_n^2}{72}\right)$ が成り立つ。ここで $c_n = 1 - \frac{l(n)}{\binom{n}{3}}$ である。
• 密度の高いスケール、すなわち $l(n) \sim \binom{n}{3}$ の場合、境界 $f(n) \sim n^5\left(\frac{1}{8} - \frac{c_n}{4} + \frac{c_n^2}{72}\right)$ は全辺数 $|E_n| \sim \frac{n^5}{8}$ に近づき、タイトさが確認される。
• これらの結果は、独立集合の構造の分析と、グラフの正則性およびTuránの定理を用いた補グラフの辺数のバウンディングを組み合わせた二重数え上げにより得られた。