[論文レビュー] On the rational Tur\'an exponents conjecture

Dong Yeap Kang, Jaehoon Kim+1 more|arXiv (Cornell University)|Nov 16, 2018

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

ひとこと要約

この論文は、$2 - \frac{a}{b}$ がすべての整数 $a,b \geq 1$ に対して実現可能であることを示し、$b > a$ かつ $b \equiv \pm 1 \pmod{a}$ を満たす場合に限る。これにより、無限に多くの新たな実現可能指数が得られ、$2 - \frac{1}{m}$ が極限点であることが確認される。さらに、すべての有理数が $[1,2]$ 内で実現可能であることを示唆する新たな分割に関する予想を提示し、極値グラフ理論と構造的グラフ性質を結びつける。

ABSTRACT

The extremal number $\\mathrm{ex}(n,F)$ of a graph $F$ is the maximum number of edges in an $n$-vertex graph not containing $F$ as a subgraph. A real number $r \\in [1,2]$ is realisable if there exists a graph $F$ with $\\mathrm{ex}(n , F) = \\Theta(n^r)$. Several decades ago, Erd\\H{o}s and Simonovits conjectured that every rational number in $[1,2]$ is realisable. Despite decades of effort, the only known realisable numbers are $0,1, \\frac{7}{5}, 2$, and the numbers of the form $1+\\frac{1}{m}$, $2-\\frac{1}{m}$, $2-\\frac{2}{m}$ for integers $m \\geq 1$. In particular, it is not even known whether the set of all realisable numbers contains a single limit point other than two numbers $1$ and $2$. In this paper, we make progress on the conjecture of Erd\\H{o}s and Simonovits. First, we show that $2 - \\frac{a}{b}$ is realisable for any integers $a,b \\geq 1$ with $b>a$ and $b \\equiv \\pm 1 ~({\ m mod}\\:a)$. This includes all previously known ones, and gives infinitely many limit points $2-\\frac{1}{m}$ in the set of all realisable numbers as a consequence. Secondly, we propose a conjecture on subdivisions of bipartite graphs. Apart from being interesting on its own, we show that, somewhat surprisingly, this subdivision conjecture in fact implies that every rational number between 1 and 2 is realisable.

研究の動機と目的

• 長年の有理数Turán指数予想を解消するため、区間 $[1,2]$ 内で新たな実現可能指数を同定すること。
• 整数 $a,b \geq 1$ に対して $b > a$ かつ $b \equiv \pm 1 \pmod{a}$ を満たすとき、$2 - \frac{a}{b}$ が実現可能であることを確立し、既知の結果を拡張すること。
• 二部グラフに関する新たな分割予想を提示し、これが真であれば、有理数Turán指数予想が完全に成立することを示唆すること。
• 特に木と完全二部グラフに対して、ブロー・アップと分割を用いた極値グラフの構造的洞察を提供すること。
• 実現可能指数の集合における新たな極限点を同定すること、特にすべての $m \in \mathbb{N}$ に対して $2 - \frac{1}{m}$ を含むこと。

提案手法

• 根付き木のブロー・アップとその分割に基づく新規構成を用い、密度を制御した極値グラフを生成する。
• 従属確率的選択法の変種を適用し、近傍の成長を制御し、禁止構成を避ける密集部分グラフの存在を保証する。
• 二部グラフにおけるハルの定理とマッチングの議論を用い、$\mathrm{sub}(K_{s,t})$ や $T_{s,t}^\ell$ などの特定の部分グラフの埋め込みを実現する。
• $D_{s,t}^\ell$（木 $D_{s,t}$ の $\ell$-ブロー・アップ）の概念を導入し、再帰的近傍拡張を用いて極値数を分析する。
• 既知の極値境界と還元定理（例：Faudree-Simonovits）を活用し、分割グラフの極値数の上界を導出する。
• 二部グラフ $F$ の $1$-分割の極値数に関する予想を提示し、指数構造を保存するべきべき乗則スケーリングを示唆する。

実験結果

リサーチクエスチョン

• RQ1 区間 $[1,2]$ 内で、既知の $1 + \frac{1}{m}$、$2 - \frac{1}{m}$、$2 - \frac{2}{m}$ とは異なる、無限に多くの新たな実現可能指数が存在するか？
• RQ2 $b \equiv \pm 1 \pmod{a}$ という条件を用いて、$2 - \frac{a}{b}$ 形式の実現可能指数を体系的に生成できるか？
• RQ3 二部グラフ $F$ に対して $\mathrm{ex}(n,F) = O(n^{1+\alpha})$ が成り立つとき、$\mathrm{ex}(n,\mathrm{sub}(F)) = O(n^{1+\alpha/2})$ が成り立つか？
• RQ4 大きな $\ell$ に対して、木 $H_{t,s}$ の $\ell$-ブロー・アップの極値数は $\Theta(n^{1 + \frac{t}{1 + (s+1)t}})$ に漸近的に一致するか？
• RQ5 $D_{t-1,s-1}^\ell$ の極値数が $O(n^{4/3})$ から $O(n^{2 - \frac{t}{st-1}})$ へと遷移する閾値 $\ell_0$ は何か？

主な発見

• $2 - \frac{a}{b}$ はすべての整数 $a,b \geq 1$ に対して実現可能である。ただし $b > a$ かつ $b \equiv \pm 1 \pmod{a}$ を満たすものとする。これにより、既知の実現可能指数の集合が著しく拡張される。
• その結果、すべての $m \in \mathbb{N}$ に対して $2 - \frac{1}{m}$ が実現可能指数の集合における極限点であることが示され、無限に多くのこのような極限点が存在することが確認される。
• 提示された分割予想が真であれば、$[1,2]$ 内のすべての有理数が実現可能であることが示唆される。
• $t \geq s$ である $K_{s,t}$ の $1$-分割に対して、$\mathrm{ex}(n,\mathrm{sub}(K_{s,t})) \leq O(n^{\frac{3}{2} - \frac{1}{4s-2}})$ が成り立ち、既存の境界を改善する。
• $D_{2,1}^2$ の極値数は $\Theta(n^{4/3})$ であるが、大きな $\ell$ に対しては $\mathrm{ex}(n,D_{2,1}^\ell) = \Theta(n^{7/5})$ となる。これは $\ell = 3$ で段階的転移が発生することを示し、$\ell = 2$ ではない。
• $T_{4,7}^\ell$ の極値数は十分に大きな $\ell$ に対して $\Theta(n^{10/7})$ に一致する。これはブロー・アップ構成により新たな実現可能指数が確認されたことを確認する。