[論文レビュー] Tables of sizes of random complete arcs in the plane $PG(2,q)$

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

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

ひとこと要約

本稿では、46,337までの素数 $q$ について、$PG(2,q)$ におけるランダムな構成プロセスを用いて生成された、ランダムな完全な弧のサイズの広範な表を提示する。これらの弧のサイズは、最小の既知の完全な弧に常に近く、$√{q} \ln^{0.73}q$ のオーダーの理論的上限に近づいており、ランダム構成が弧のサイズを最小化する際に効率的であることを強く裏付ける実験的証拠を提供する。

ABSTRACT

Tables of sizes of random complete arcs in the plane $PG(2,q)$ are given. The sizes are close to the smallest known sizes of complete arcs in $PG(2,q)$, in particular, to ones constructed by Algorithm FOP (fixed order of points). The random arcs are obtained in the region $\{3\leq q\leq 46337,~q \mbox{prime}\}$.

研究の動機と目的

• 広範な素数 $q$ の値について、$PG(2,q)$ におけるランダムな完全な弧のサイズを生成し、表形式でまとめること。
• これらのランダムな弧のサイズを、特に Algorithm FOP からのものと比較すること。
• ランダム構成の性能を、$t_2(2,q)$（完全な弧の最小サイズ）の理論的下限に近づくかどうかを評価すること。
• ランダム構成が $√{q} \ln^{0.73}q$ に近いサイズの弧を達成できるという仮説を実験的に裏付けるデータを提供すること。
• ランダム手法を用いて、従来の計算範囲を超えて最小完全弧サイズのスケールを拡張すること。

提案手法

• $PG(2,q)$ 内の点をランダムに選んで弧を形成し、3点が一直線上に来ないことを保証すること。
• 弧が完全になるまで（より大きな弧に含まれない状態になるまで）反復的に拡張すること。
• 体系的な順序を避けるために、ランダムな貪欲法アルゴリズムを用いて、多様な構成を探索すること。
• すべての素数 $q$（$3 \leq q \leq 46337$）について弧のサイズを計算し、分析用に表形式でまとめること。
• 得られた弧のサイズを、$√{q} \ln^{0.73}q$ などの既知の上界と比較すること。
• 辞書的順序や Singer 順序を用いた Algorithm FOP（点の固定順序）などの既知の構成と照合して結果を検証すること。

実験結果

リサーチクエスチョン

• RQ1 大きな素数 $q$ に対して、$PG(2,q)$ におけるランダムな完全な弧はどのくらい小さくできるか。また、既知の理論的上界と比べてどうか？
• RQ2 ランダム構成が、最小の既知の完全な弧と同等またはそれ以上に小さいサイズの弧をどれほど達成できるか？
• RQ3 先行する確率的構成が示唆するように、ランダムな弧生成が $√{q} \ln^{0.73}q$ に近いサイズを達成できるか？
• RQ4 広範な素数 $q$ の範囲でランダムサンプリングを用いた場合、完全な弧サイズの経験的分布はどのようなものか？
• RQ5 アルゴリズム FOP などの構造的アルゴリズムが生成する弧のサイズと比較して、ランダムな弧のサイズは最小化の観点でどれほど優れているか、一貫性は保たれているか？

主な発見

• 本稿では、$3 \leq q \leq 46337$ のすべての素数 $q$ について、ランダムな完全な弧のサイズの包括的な表を提供しており、サイズは1215から1280の範囲にわたる。
• $q = 46337$ の場合、ランダムな完全な弧のサイズは1280であり、これは $√{q \ln q}$ の約1.83倍に相当し、理論的上界と整合的である。
• ランダムな完全な弧のサイズは、特に $q \leq 40009$ の範囲では、Algorithm FOP から得られる最小の既知のサイズと一貫して近く、$t_2^{S}(2,q) < 1.83\sqrt{q\ln q}$ が成り立つ。
• 結果は、ランダム構成が $√{q} \ln^{0.73}q$ のオーダーの弧サイズを達成できることを示唆する仮説を支持しており、先行するランダム化アルゴリズムの最良の境界と一致する。
• $q = 46337$ の場合、1280の弧サイズは $q/3 \approx 15446$ よりも顕著に小さく、弧サイズの最小化における高い効率性を示している。
• データは、ランダムな弧がしばしば構造的アルゴリズム（例：Algorithm FOP）から得られるものと同等またはわずかに大きいサイズであることを示しており、小さな完全な弧を構築する際のランダム手法の頑健性を示している。