[論文レビュー] Tables, bounds and graphics of the smallest known sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le160001$ and sporadic $q$ in the interval $[160801\ldots 430007]$

Daniele Bartoli, Alexander A. Davydov+4 more|arXiv (Cornell University)|Dec 8, 2013

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

ひとこと要約

本論文は、すべての素数冪 q ≤ 160,001 および区間 [160,801, 430,007] 内の散発的な q について、射影平面 PG(2,q) における最小既知の完全弧に関する広範な表、境界値、および図的データを提示する。最小サイズ t₂(2,q) の完全弧に対して、新たな上界を確立し、q ≥ 7 に対して t₂(2,q) < 0.998√(3q ln q) < 1.729√(q ln q) が成り立つことを示し、従来の推定値を顕著に改善し、すべての q ≥ 109 に対してこれらの境界が成り立つという予想を支持する。

ABSTRACT

In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &amp;\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &amp;Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*} For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers are considered. This proves new upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in $\mathrm{PG}(2,q)$, in particular \begin{align*} t_{2}(2,q)&amp;&lt;0.998\sqrt{3q\ln q}&lt;1.729\sqrt{q\ln q}&amp;\mbox{ for }&amp;&amp;7&amp;\le q\le160001;~~(1) \\ t_{2}(2,q)&amp;

研究の動機と目的

• すべての素数冪 q ≤ 160,001 における PG(2,q) における最小既知の完全弧サイズを収集すること。
• 範囲 [160,801, 430,007] 内の 34 個の散発的な q 値へデータを拡張すること。
• PG(2,q) における完全弧の最小サイズ t₂(2,q) の新たな上界を確立すること。
• 導出された境界がすべての q ≥ 109 に対して成り立つという予想を支持すること。
• 有限幾何学および符号理論の研究者にとって包括的な参考文献を提供すること。

提案手法

• すべての素数冪 q ≤ 160,001 における最小既知の完全弧サイズの体系的計算と収集。
• 確率的および構成的手法を用いて完全弧を生成・検証すること。
• q の対数関数および平方根関数を用いた漸近的上界の導出。
• q ≥ 7 に対して公式 t₂(2,q) < 0.998√(3q ln q) を適用し、ln^c(q) 項を含む改良された境界を導出すること。
• 補間法を用い、既知の構成法を用いて検証することで、散発的な q 値への境界の拡張。
• q にわたる弧サイズの傾向を図示することで、漸近的挙動および境界のきつさを可視化すること。

実験結果

リサーチクエスチョン

• RQ1 すべての素数冪 q ≤ 160,001 における PG(2,q) における最小既知の完全弧サイズは何か？
• RQ2 区間 [160,801, 430,007] 内の散発的な q における完全弧のサイズはどのように振る舞うか？
• RQ3 従来の推定値よりもタイトな上界を t₂(2,q) に対して確立できるか？
• RQ4 導出された境界は計算範囲を越えて、特に q ≥ 109 に対しても成り立つか？
• RQ5 有限射影平面における完全弧のサイズと理論的下界の関係は何か？

主な発見

• 本論文は新たな上界を確立した：7 ≤ q ≤ 160,001 の範囲で t₂(2,q) < 0.998√(3q ln q) < 1.729√(q ln q) が成り立つ。
• q ≥ 109 に対して、t₂(2,q) < √q ln^0.7295 q が証明され、従来の推定値を改善した。
• 洗練された境界が導出された：q ≥ 19 に対して t₂(2,q) < √q ln^{0.27/ln q + 0.7} q が成り立ち、q ≤ 160,001 および [160,801, 430,007] 内の散発的な q に対して有効である。
• さらなる改良された境界が提示された：q ≥ 19 に対して t₂(2,q) < 0.6√q ln^{1.5/ln q + 0.802} q が成り立ち、両範囲で有効である。
• 34 個の散発的な q 値すべてに対して、境界 t₂(2,q) < 1.006√(3q ln q) < 1.743√(q ln q) が確認された。
• 著者らは、広範な計算的証拠および範囲間での一貫性に基づき、すべての導出された境界が q ≥ 109 に対して成り立つと予想している。