[论文解读] 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) 下的射影等价性，消除同构重复项并减少搜索空间。
• 采用并行化策略，将 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。
• 在 PGL(3, 31) 的等价类下，共找到 3,391 个非等价的最小完全弧。
• 在 PΓL(3, 32) 的等价类下，共找到 9,300 个非等价的最小完全弧。
• 所发现的最小弧中，自同构群的最大阶为 6，其中一个示例的稳定子群同构于 S₃。
• 提供了 PG(2, 31) 中具有 S₃ 自同构群的 14-弧的显式构造，以及 PG(2, 32) 中具有 Z₄ 和 Z₅ 自同构群的 14-弧的显式构造。