[论文解读] Upper bounds on the smallest size of a complete arc in the plane PG(2,q)

Daniele Bartoli, Alexander A. Davydov+3 more|arXiv (Cornell University)|Nov 15, 2011

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

一句话总结

本文通过计算机辅助的随机贪心算法构造更小的完全弧，提出了射影平面 $PG(2,q)$ 中最小完全弧大小的新上界。证明了当 $q \leq 2621$ 且 $q=2659,\dots,2753$ 时，$t_2(2,q) < 4.5\sqrt{q}$；当 $q \leq 5399$ 且某些素数时，$t_2(2,q) < 4.8\sqrt{q}$；当 $q \leq 9067$ 时，$t_2(2,q) < 5\sqrt{q}$，支持了猜想：对所有 $q \geq 23$，有 $t_2(2,q) < \sqrt{q}\ln^{0.75}q$。这些上界基于广泛的计算搜索和对弧大小分布的统计分析得出。

ABSTRACT

New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for q &lt;= 9109. From these new bounds it follows that for q &lt;= 2621 and q = 2659,2663,2683,2693,2753,2801, the relation t_{2}(2,q) &lt; 4.5\sqrt{q} holds. Also, for q &lt;= 5399 and q = 5413,5417,5419,5441,5443,5471,5483,5501,5521, we have t_{2}(2,q) &lt; 4.8\sqrt{q}. Finally, for q &lt;= 9067 it holds that t_{2}(2,q) &lt; 5\sqrt{q}. The new upper bounds are obtained by finding new small complete arcs with the help of a computer search using randomized greedy algorithms.

研究动机与目标

• 改进射影平面 $PG(2,q)$ 中最小完全弧大小 $t_2(2,q)$ 的上界。
• 扩展并细化关于 $t_2(2,q)$ 渐近增长的先前猜想，特别是 $t_2(2,q) < \sqrt{q}\ln^{0.75}q$ 对于 $q \geq 23$。
• 使用随机贪心算法，对 $q = 9109$ 以内的 $t_2(2,q)$ 提供计算验证的上界。
• 分析弧大小的分布，并利用 $\overline{D}_q(0.75)$ 等统计量评估预测上界精度。
• 支持猜想：对所有 $q \leq 8192$，有 $t_2(2,q) < 5\sqrt{q}$，该猜想在本研究中已得到证明。

提出的方法

• 使用计算机辅助搜索，通过随机贪心算法在 $PG(2,q)$ 中构造小规模完全弧，适用于 $q \leq 9109$。
• 计算完全弧相对于 $\sqrt{q}\ln^{0.75}q$ 的平均密度 $\overline{D}_q(0.75)$，以评估上界质量。
• 定义 $\widehat{t}_2(2,q) = \overline{D}_{\text{aver}}(0.75,173)\sqrt{q}\ln^{0.75}q$ 作为 $t_2(2,q)$ 的预测上界。
• 计算偏差 $\overline{\Delta}_q = \overline{t}_2(2,q) - \widehat{t}_2(2,q)$ 和百分比误差 $\overline{P}_q$，以评估上界紧密度。
• 对 $q$ 的区间内 $\overline{D}_q(0.75)$ 进行统计分析，以验证 $\sqrt{q}\ln^{0.75}q$ 上界的稳健性。
• 将先前已知的上界和构造方法（包括 $4\sqrt{q}$、$4.5\sqrt{q}$ 和 $4.8\sqrt{q}$）作为基线，以定位新结果。

实验结果

研究问题

• RQ1 对所有 $q \leq 2621$ 及该范围内特定素数，是否成立 $t_2(2,q) < 4.5\sqrt{q}$？
• RQ2 能否将上界 $t_2(2,q) < 4.8\sqrt{q}$ 扩展至 $q \leq 5399$ 及更多素数？
• RQ3 本研究已证明，猜想 $t_2(2,q) < 5\sqrt{q}$ 对所有 $q \leq 8192$ 是否成立？
• RQ4 当前已知最小弧大小 $\overline{t}_2(2,q)$ 与预测上界 $\sqrt{q}\ln^{0.75}q$ 的接近程度如何？
• RQ5 统计量 $\overline{D}_q(0.75)$ 是否可用于可靠估计 $t_2(2,q)$ 渐近上界的紧密度？

主要发现

• 当 $q \leq 2621$ 且 $q = 2659, 2663, 2683, 2693, 2753$ 时，有 $t_2(2,q) < 4.5\sqrt{q}$。
• 当 $q \leq 5399$ 且 $q = 5413, 5417, 5419, 5441, 5443, 5471, 5483, 5501, 5521$ 时，有 $t_2(2,q) < 4.8\sqrt{q}$。
• 当 $q \leq 9067$ 时，上界 $t_2(2,q) < 5\sqrt{q}$ 得到确认，从而证明了先前工作中猜想 1.2 的正确性。
• 在 $173 \leq q \leq 9109$ 范围内，最小已知弧大小与预测 $\sqrt{q}\ln^{0.75}q$ 上界之间的平均偏差 $\overline{\Delta}_q$ 满足 $-3.70 < \overline{\Delta}_q < 0.81$。
• 当 $q < 1000$ 时，百分比误差 $\overline{P}_q$ 满足 $-0.94\% < \overline{P}_q < 0.79\%$，且随 $q$ 增大而减小，表明随着 $q$ 增大，预测值与实际值的吻合度更高。
• 对 $\overline{D}_q(0.75)$ 的统计分析显示，其值在各区间内稳定在 0.947 至 0.9634 之间，支持 $\sqrt{q}\ln^{0.75}q$ 作为可靠上界估计。