[論文レビュー] Upper bounds on the smallest size of a complete arc in the plane PG(2,q)

Daniele Bartoli, Alexander A. Davydov+3 more|arXiv (Cornell University)|Nov 15, 2011

Finite Group Theory Research参考文献 15被引用数 3

ひとこと要約

本稿では、コンピュータ支援の確率的グリーディアルゴリズムを用いてより小さな完全な弧を構成することで、射影平面 $PG(2,q)$ における最小完全弧のサイズに対する新たな上界を提示する。$q \leq 2621$ および $q=2659,\dots,2753$ に対して $t_2(2,q) < 4.5\sqrt{q}$ を証明し、$q \leq 5399$ および特定の素数に対して $t_2(2,q) < 4.8\sqrt{q}$ を示し、$q \leq 9067$ に対して $t_2(2,q) < 5\sqrt{q}$ を確認する。これらは $q \geq 23$ のとき $t_2(2,q) < \sqrt{q}\ln^{0.75}q$ であるという予想を支持するものであり、広範な計算探索と弧サイズ分布の統計的分析に基づいて導出されたものである。

ABSTRACT

New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for q &lt;= 9109. From these new bounds it follows that for q &lt;= 2621 and q = 2659,2663,2683,2693,2753,2801, the relation t_{2}(2,q) &lt; 4.5\sqrt{q} holds. Also, for q &lt;= 5399 and q = 5413,5417,5419,5441,5443,5471,5483,5501,5521, we have t_{2}(2,q) &lt; 4.8\sqrt{q}. Finally, for q &lt;= 9067 it holds that t_{2}(2,q) &lt; 5\sqrt{q}. The new upper bounds are obtained by finding new small complete arcs with the help of a computer search using randomized greedy algorithms.

研究の動機と目的

• 射影平面 $PG(2,q)$ in における最小完全弧のサイズ $t_2(2,q)$ の上界を改善すること。
• 特に $q \geq 23$ のとき $t_2(2,q) < \sqrt{q}\ln^{0.75}q$ であるという予想の拡張および精緻化を図ること。
• $q = 9109$ までにまで計算的に検証された $t_2(2,q)$ の上界を提供すること。
• 弧サイズの分布を分析し、$\overline{D}_q(0.75)$ のような統計的指標を用いて予測された上界の正確さを評価すること。
• $t_2(2,q) < 5\sqrt{q}$ がすべての $q \leq 8192$ に対して成り立つという予想を支持する。本研究でこの予想が証明された。

提案手法

• $q \leq 9109$ の範囲で、$PG(2,q)$ における小さな完全弧を構成するためのコンピュータ支援の確率的グリーディアルゴリズムを用いた探索。
• $\sqrt{q}\ln^{0.75}q$ に対する完全弧の平均密度 $\overline{D}_q(0.75)$ を計算し、上界の質を評価する。
• $\widehat{t}_2(2,q) = \overline{D}_{\text{aver}}(0.75,173)\sqrt{q}\ln^{0.75}q$ を $t_2(2,q)$ の予測上界として定義する。
• $\overline{\Delta}_q = \overline{t}_2(2,q) - \widehat{t}_2(2,q)$ およびパcentage誤差 $\overline{P}_q$ を計算し、上界のきつさを評価する。
• $q$ の区間ごとの $\overline{D}_q(0.75}$ の統計的分析により、$\sqrt{q}\ln^{0.75}q$ 上界の堅牢性を検証する。
• 既知の上界および構成法（$4\sqrt{q}$、$4.5\sqrt{q}$、$4.8\sqrt{q}$ など）をベースラインとして用い、新しい結果を文脈づける。

実験結果

リサーチクエスチョン

• RQ1 すべての $q \leq 2621$ およびその範囲内の特定の素数に対して $t_2(2,q) < 4.5\sqrt{q}$ が成り立つか。
• RQ2 $t_2(2,q) < 4.8\sqrt{q}$ の上界が $q \leq 5399$ および追加の素数へと拡張可能か。
• RQ3 本研究で証明されたように、$q \leq 8192$ に対して $t_2(2,q) < 5\sqrt{q}$ がすべての $q$ に対して成り立つか。
• RQ4 現在知られている最小の弧サイズ $\overline{t}_2(2,q)$ は予測上界 $\sqrt{q}\ln^{0.75}q$ にどの程度近いか。
• RQ5 統計的指標 $\overline{D}_q(0.75)$ は、$t_2(2,q)$ の漸近的上界のきつさを信頼性を持って推定できるか。

主な発見

• すべての $q \leq 2621$ および $q = 2659, 2663, 2683, 2693, 2753$ に対して $t_2(2,q) < 4.5\sqrt{q}$ が成り立つ。
• $q \leq 5399$ および $q = 5413, 5417, 5419, 5441, 5443, 5471, 5483, 5501, 5521$ に対して $t_2(2,q) < 4.8\sqrt{q}$ が成り立つ。
• $q \leq 9067$ に対して、$t_2(2,q) < 5\sqrt{q}$ の上界が確認され、先行研究の予想1.2が証明された。
• $173 \leq q \leq 9109$ の範囲で、知られている最小の弧サイズと予測された $\sqrt{q}\ln^{0.75}q$ 上界との平均偏差 $\overline{\Delta}_q$ は $-3.70 < \overline{\Delta}_q < 0.81$ の範囲に収束する。
• $q < 1000$ に対してはパーセンテージ誤差 $\overline{P}_q$ は $-0.94\% < \overline{P}_q < 0.79\%$ の範囲にあり、$q$ が増加するにつれて減少し、$q$ が大きくなるにつれて予測と一致するようになる。
• $\overline{D}_q(0.75)$ の統計的分析により、区間全体で0.947から0.9634の間で一貫した値が得られ、$\sqrt{q}\ln^{0.75}q$ 上界が信頼できる上界推定値であることを支持する。