[論文レビュー] Minimal complete arcs in PG(2,q), q<= 32

Stefano Marcugini, Alfredo Milani+1 more|arXiv (Cornell University)|May 19, 2010

Finite Group Theory Research参考文献 5被引用数 13

ひとこと要約

この論文は、射影平面 PG(2, q) における完全な弧の最小サイズが q = 31 および q = 32 の両方で 14 である、コンピュータで検証された証明を提示する。8-弧に対する射影的同型による削減と並列化されたバックトラッキングを用いた全数探索により、著者たちは t₂(2, 31) = t₂(2, 32) = 14 を確認し、PG(2, 31) と PG(2, 32) にそれぞれ 3,391 個および 9,300 個の同型でない最小完全弧を同定した。

ABSTRACT

In this paper it has been verified, by a computer-based proof, that the smallest size of a complete arc is 14 in PG(2,31) and in PG(2,32). Some examples of such arcs are also described.

研究の動機と目的

• q = 31 および q = 32 の PG(2, q) における完全な弧の最小サイズを特定すること。
• 既知の完全な弧の分類を q ≤ 29 を超えて拡張すること。
• PG(2, 31) および PG(2, 32) における同型でない最小完全弧の例を同定・分類すること。
• これらの平面における最小完全弧の自己同型群を調査すること。
• 大規模な有限幾何における射影的同型と並列化を用いた全数探索の実現可能性を示すこと。

提案手法

• 木構造による小規模な弧（最大サイズ 8 まで）の分類とバックトラッキング拡張を組み合わせたハイブリッドアルゴリズムを用いた全数コンピュータ探索。
• PGL(3, 31) および PΓL(3, 32) における射影的同型を活用して同型の重複を排除し、探索空間を削減。
• 計算負荷を均衡させるために、4 つのプロセッサに 8-弧の 10%、20%、30%、40% を割り当てた並列化戦略を採用。
• バックトラッキング中に、すでに発見済みの同型解を生成する可能性がある拡張をスキップするための刈込技術を適用。
• MAGMA 組合体代数システムを用いて、PGL(3, 31) および PΓL(3, 32) による同型類としての完全弧を分類。
• S₃、Z₄、Z₅ を含む非自明な自己同型群をもつ 14-弧の明示的構成を提供。

実験結果

リサーチクエスチョン

• RQ1 PG(2, 31) における完全な弧の最小サイズは何か？
• RQ2 PG(2, 32) における完全な弧の最小サイズは何か？
• RQ3 PG(2, 31) および PG(2, 32) に同型でない最小完全弧はそれぞれ何個存在するか？
• RQ4 PG(2, 31) および PG(2, 32) における最小完全弧の可能な自己同型群は何か？
• RQ5 射影的同型と並列化を用いることで、最小完全弧の探索空間を効果的に削減できるか？

主な発見

• PG(2, 31) における完全な弧の最小サイズは 14 であり、t₂(2, 31) = 14 である。
• PG(2, 32) における完全な弧の最小サイズは 14 であり、t₂(2, 32) = 14 である。
• PG(2, 31) において PGL(3, 31) による同型類として 3,391 個の同型でない最小完全弧が発見された。
• PG(2, 32) において PΓL(3, 32) による同型類として 9,300 個の同型でない最小完全弧が発見された。
• 発見された最小完全弧の中で最大の自己同型群の位数は 6 であり、そのうちの1つは S₃ に同型な安定化群をもつ。
• S₃ 自己同型群をもつ PG(2, 31) の 14-弧と、Z₄ および Z₅ 自己同型群をもつ PG(2, 32) の 14-弧の明示的構成が提供された。