数学论文证明 AG(2,13) 中 52 点子集无法有 4 个特殊方向
Four Special Directions in AG(2,13): The 52-Point Obstruction and the Sharp Minimum
数学和代数爱好者会感兴趣，这篇论文用代数方法解决了关于仿射平面中点集方向特性的问题，结果很有意思。
该论文证明在有限域 F13 的二维仿射平面 AG(2,13) 中，不存在 52 个点的子集恰好具有 4 个特殊方向。通过代数方法将问题转化为多项式恒等式，并利用线性独立性证明相关二元形式的次数不超过 2。最终分类出所有可能的二次值表，结合 Ghidelli 的下界和 Kiss & Somlai 的 65 点构造，确定了具有 4 个特殊方向的子集的最小大小为 65。
Four Special Directions in AG(2,13): The 52-Point Obstruction and the Sharp Minimum
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.
