[論文レビュー] New recurrent inequality on a class of vertex Folkman numbers

Nikolay Rangelov Kolev, Nedyalko Nenov|ArXiv.org|Mar 13, 2006

Graph theory and applications参考文献 4被引用数 4

ひとこと要約

本稿は、頂点フォルクマン数に対する新しい再帰的不等式を確立し、特に $p \geq 5$ の場合に $F(2,2,p;p+1)$ および $F(3,p;p+1)$ の上界を改善した。グラフ結合構成と帰納法を用いて、従来の $4p+2$ の推定値よりも tighter な上界を導出し、$F(3,p;p+1) \leq \frac{13p}{4} + O(1)$ および $F(2,2,p;p+1) \leq \frac{13p}{4} + O(1)$ を示した。$p \equiv 0 \mod 4$ の場合の正確な値は、予想された線形上界と一致する。

ABSTRACT

We give a new recurrent inequality on a class of vertex Folkman numbers.

研究の動機と目的

• 境界ケース $m = p+2$ における頂点フォルクマン数 $F(2,2,p;p+1)$ および $F(3,p;p+1)$ の既知の上界を改善すること。
• 最大クリークサイズを小さい整数の和に分解することに基づく、$F(a_1,\dots,a_r; a_r+1)$ に対する一般再帰的不等式を確立すること。
• これらのフォルクマン数の漸近的上界を精緻化し、以前の $4p+2$ の推定値をよりtightな $\sim 13p/4$ の上界に低減すること。
• $F(2,2,p;p+1) = F(3,p;p+1)$ がすべての $p$ に対して成り立つか、反例が存在するかを調査すること。

提案手法

• グラフ結合作用を用いた再帰的不等式を提案：$G_1 \rightarrow (a_1,\dots,a_{i-1},b_i,a_{i+1},\dots,a_r)$ および $G_2 \rightarrow (a_1,\dots,a_{i-1},b_j,a_{i+1},\dots,a_r)$ ならば、$G_1 + G_2 \rightarrow (a_1,\dots,a_{i-1},b_i + b_j,a_{i+1},\dots,a_r)$ が成り立つ。
• 最大クリークサイズ $a_r = b_1 + \cdots + b_s$ の分解における和項数に関する帰納法を適用し、主な不等式 $F(a_1,\dots,a_r; a_r+1) \leq \sum_{i=1}^s F(a_1,\dots,a_{r-1},b_i; b_i+1)$ を導出する。
• 既知の正確な値 $F(3,4;5) = 13$ および $F(2,2,4;5) = 13$ を用いて再帰の基盤とし、より大きな $p$ に対する境界を計算する。
• 再帰を $F(3,p;p+1)$ および $F(2,2,p;p+1)$ に適用する際、$p = 4k + l$ と表現し、$p$ を $k-1$ 個の 4 と余り $l$ に分解し、対応するフォルクマン数の和をとる。
• $p \mod 4$ に応じた区分的線形上界を導出し、$F(3,p;p+1) \leq \frac{13p + c}{4}$（$c \in \{0,23,26,29\}$）および $F(2,2,p;p+1) \leq \frac{13p + c}{4}$（$c \in \{0,23,10,21\}$）が得られ、$p \equiv 0 \mod 4$ の場合に $\frac{13p}{4}$ が達成可能であることを示した。
• 予想される上界 $\frac{13p}{4}$ が $p \geq 4$ に対してtightであると仮定し、$p=5,6,7$ で成り立つならば、再帰と既知の基本ケースによりすべての $p \geq 4$ で成り立つことを証明した。

実験結果

リサーチクエスチョン

• RQ1 $F(3,p;p+1)$ の上界を、既知の $4p+2$ の推定値を超えて改善できるか。
• RQ2 構造的グラフ構成を用いて、$F(2,2,p;p+1)$ のよりtightな漸近的上界を確立できるか。
• RQ3 再帰的不等式 $F(a_1,\dots,a_r; a_r+1) \leq \sum F(a_1,\dots,a_{r-1},b_i; b_i+1)$ は正当で、より良い上界を導出するのに有用か。
• RQ4 $F(2,2,p;p+1) = F(3,p;p+1)$ はすべての $p \geq 4$ で成り立つか、それとも反例が存在するか。
• RQ5 再帰を用いて、予想される上界 $\frac{13p}{4}$ がすべての $p \geq 4$ で成り立つことを証明できるか。

主な発見

• 本稿は、$a_r = b_1 + \cdots + b_s$ かつ $b_i \geq a_{r-1}$ のもとで、$F(a_1,\dots,a_r; a_r+1) \leq \sum_{i=1}^s F(a_1,\dots,a_{r-1},b_i; b_i+1)$ という新しい再帰的不等式を確立した。
• $F(3,p;p+1)$ については、$p \equiv 0 \mod 4$ の場合に上界が $\leq \frac{13p}{4}$ に改善され、$p \equiv 3 \mod 4$ の場合に $\leq \frac{13p + 29}{4}$ に改善され、従来の $4p+2$ の推定値より顕著に低減された。
• $F(2,2,p;p+1)$ については、$p \equiv 0 \mod 4$ の場合に上界が $\leq \frac{13p}{4}$ に改善され、$p \equiv 3 \mod 4$ の場合に $\leq \frac{13p + 21}{4}$ に改善され、以前の $4p+2$ の上界よりもよりtightな定数を有する。
• 著者らは、もし予想される上界 $\frac{13p}{4}$ が $p=5,6,7$ で成り立つならば、再帰と既知の基本ケースを用いて、すべての $p \geq 4$ で成り立つことを証明した。
• 本稿は、$F(3,4;5) = 13$ および $F(2,2,4;5) = 13$ が確認され、これらは再帰の基盤として不可欠であり、導出された境界の根拠となった。
• 本稿は、未解決の問題を提示している：すべての $p$ に対して $F(2,2,p;p+1) = F(3,p;p+1)$ が成り立つかどうか。現在の結果では $F(2,2,p;p+1) \leq F(3,p;p+1)$ は示されているが、等号の成立は証明されていない。