AG(2,13)中的四个特殊方向：52点障碍与锐利最小值
Four Special Directions in AG(2,13): The 52-Point Obstruction and the Sharp Minimum
浏览论文内容
中文总结 AI 辅助
本文证明仿射平面F_13^2中不存在恰好有四个特殊方向的52点子集，结合下界与构造，确定该最小规模为65。
中文摘要 AI 辅助
我们证明仿射平面 $\mathbb F_{13}^{2}$ 中不存在恰好具有四个特殊方向的 $52$ 点子集，其中当某方向的十三条平行仿射直线并非都与该集合交于相同数量的点时，该方向称为特殊方向。一个普适的关联恒等式将四个例外线计数函数归结为 $\mathbb F_{13}$ 上的多项式恒等式。相关次数至少为三的二元形式的线性无关性进而迫使这些函数的次数至多为二。对由此产生的常数、线性和二次轮廓进行分类后，得到一个无解的二次特征同余式。该关联与多项式论证对所有 $52$ 点子集和所有四方向集合提供了全称量词；剩余的二次取值表分类是有限且精确的。结合 Ghidelli 的下界以及 Kiss 和 Somlai 的 $65$ 点构造，这确定了 $\mathbb F_{13}^{2}$ 中恰好具有四个特殊方向的子集的最小规模：它为 $65$。AI辅助工作流程使用了 OpenAI GPT-5.6 Sol、Anthropic Claude Fable 5、Grok 4.6 和 OpenAI GPT-6 Astra，以及 Codex 控制的 Danus。
英文摘要
We prove that no $52$-point subset of the affine plane $\mathbb F_{13}^{2}$ has exactly four special directions, where a direction is special when its thirteen parallel affine lines do not all meet the set in the same number of points. A universal incidence identity reduces the four exceptional line-count functions to a polynomial identity over $\mathbb F_{13}$. Linear independence of the associated binary forms of degree at least three then forces those functions to have degree at most two. Classification of the resulting constant, linear, and quadratic profiles leaves a quadratic-character congruence with no solution. The incidence and polynomial argument supplies the quantifier over all $52$-point subsets and all four-direction sets; the remaining classification of quadratic value tables is finite and exact. Together with Ghidelli's lower bound and the $65$-point construction of Kiss and Somlai, this determines the minimum size of a subset of $\mathbb F_{13}^{2}$ with exactly four special directions: it is $65$. The AI-assisted workflow used OpenAI GPT-5.6 Sol, Anthropic Claude Fable 5, Grok 4.6, and OpenAI GPT-6 Astra, together with Codex-controlled Danus.
发表机构
- School of Mathematical Sciences, Peking University（北京大学数学科学学院）
机构由 AI 辅助整理，请以论文原文为准。
