[論文レビュー] Tables of sizes of small complete arcs in the plane PG(2,q), q 190027, obtained by an algorithm with fixed order of points (FOP)

Daniele Bartoli, Alexander A. Davydov+3 more|arXiv (Cornell University)|Apr 2, 2014

Coding theory and cryptography参考文献 38被引用数 3

ひとこと要約

本稿では、幅広い素数 q 値（最大 190,027）において、固定点順序（特に辞書式順序およびシンガー順序）を用いて射影平面 PG(2,q) における小さな完全弧を構成するアルゴリズム（FOP）を提示する。主な貢献は、完全弧のサイズに関する包括的な表であり、点順序の選択が弧のサイズに顕著な影響を及えないことを示しており、FOP手法が小さな弧を効率的に生成するという点でその頑健性を裏付けている。

ABSTRACT

In the recent works of the authors, an algorithm FOP using any fixed order of points in PG(2,q) is proposed for constructing small complete arcs. The algorithm is based on an intuitive postulate that PG(2,q) contains a sufficient number of relatively small complete arcs. Also, in these works, it is shown that the type of order on the points of PG(2,q) is not relevant. In this work we collect the sizes of complete arcs obtained by the algorithm FOP with the lexicographical and the Singer orders of points in the following regions: Lexicographical order: 3 � q � 67993, q prime; Lexicographical order: 43 sporadic prime q’s in the interval [69997... 190027]; Singer order: 5 � q � 40009, q prime.

研究の動機と目的

• FOP アルゴリズムが広範な素数 q 値の範囲で PG(2,q) に小さな完全弧を生成する効果性を調査すること。
• 生成される完全弧のサイズに影響を及ぼす点順序の選択（辞書式順序対シンガー順序）が、実際にどのような影響を及えるかを評価すること。
• 有限幾何学および符号理論の研究に活用可能な、完全弧サイズの体系的データセットを編纂・報告すること。
• 先行研究で提唱された仮説、すなわち PG(2,q) に十分な数の比較的小さな完全弧が存在するという仮説を裏付けること。
• 69,997 から 190,027 の範囲にある散発的な素数 q 値および最大 190,027 までの大きな q 値を含む、これまでの結果を拡張すること。

提案手法

• FOP アルゴリズムは、PG(2,q) 内の点に対して固定された事前定義された順序を用い、弧のサイズを最小化する点を逐次追加することで完全弧を構築する。
• 点順序として、辞書式順序とシンガー順序という2種類の異なる順序を適用し、それらが弧のサイズに与える影響を評価する。
• アルゴリズムは、3 ≤ q ≤ 67993（辞書式順序）、69997 から 190027 の範囲に属する 43 個の散発的素数（辞書式順序）、および 5 ≤ q ≤ 40009（シンガー順序）のすべての素数 q 値に適用される。
• PG(2,q) 内のすべての直線が弧と少なくとも1点で交わることを確認することで、完全性が保証される。
• アルゴリズムは、PG(2,q) に十分に多くの小さな完全弧が存在すると仮定する直感的根拠に基づいている。この仮定により、固定順序による走査によって効率的な構築が可能となる。
• 各 q に対して結果を体系的に収集・表形式で整理し、両方の順序方式における弧のサイズを報告する。

実験結果

リサーチクエスチョン

• RQ1 FOP アルゴリズムは、広範な素数 q 値の範囲で、PG(2,q) に一貫して小さな完全弧を生成することができるか？
• RQ2 点順序として辞書式順序とシンガー順序を用いた場合、生成される完全弧のサイズは、どのように比較できるか？
• RQ3 異なる順序方式を用いた場合に、弧のサイズに体系的な差が生じるのか、それとも従来の主張どおり順序タイプは無関係であるのか？
• RQ4 FOP アルゴリズムは、69,997 から 190,027 の範囲にある散発的素数を含む、大きな素数 q 値に対しても効果的に完全弧を生成できるか？
• RQ5 調査対象の q 値の範囲において、最小弧サイズの分布はどのようなものか？また、理論的下限との比較ではどうなるか？

主な発見

• FOP アルゴリズムは、指定された範囲内のすべてのテスト済み素数 q 値（69,997 を超える 43 個の散発的素数を含む）に対して完全弧を正常に生成した。
• 辞書式順序およびシンガー順序を用いて得られた完全弧のサイズは、常に小さく、点順序の選択が弧のサイズに顕著な影響を及えないという仮説を支持する。
• アルゴリズムは理論的下限に近いサイズの完全弧を生成しており、弧の構築における高い効率性を示している。
• 3 ≤ q ≤ 67993（辞書式順序）、5 ≤ q ≤ 40009（シンガー順序）、および 69997 から 190027 の範囲に属する 43 個の散発的素数について、完全弧サイズの包括的表が作成され、貴重な参照データセットを形成した。
• 結果から、FOP 法は点順序の種別にかかわらず一貫した性能を示し、大きな素数体上でも頑健かつスケーラブルであることが確認された。