[论文解读] The no-three-in-line problem on a torus

Jim Fowler, Andrew Groot+2 more|arXiv (Cornell University)|Mar 29, 2012

Geometric and Algebraic Topology参考文献 6被引用 4

一句话总结

本文研究了在离散环面上的无三线共点问题，将直线重新定义为 $\mathbb{Z}_m \times \mathbb{Z}_n$ 中循环子群的陪集。利用群论与格罗布纳基，本文确定了最大点数放置的精确值：$T(\mathbb{Z}_p \times \mathbb{Z}_{p^2}) = 2p$ 与 $T(\mathbb{Z}_p \times \mathbb{Z}_{pq}) = p+1$，其中 $p$、$q$ 为不同素数，并通过 Macaulay2 中的 Hilbert 系数计算出 $2 \leq m \leq 7$，$2 \leq n \leq 19$ 时的 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$。

ABSTRACT

Let $T(\Z_m imes \Z_n)$ denote the maximal number of points that can be placed on an $m imes n$ discrete torus with "no three in a line," meaning no three in a coset of a cyclic subgroup of $\Z_m imes \Z_n$. By proving upper bounds and providing explicit constructions, for distinct primes $p$ and $q$, we show that $T(\Z_p imes \Z_{p^2}) = 2p$ and $T(\Z_p imes \Z_{pq}) = p+1$. Via Gröbner bases, we compute $T(\Z_m imes \Z_n)$ for $2 \leq m \leq 7$ and $2 \leq n \leq 19$.

研究动机与目标

• 确定在 $m \times n$ 离散环面上最多可放置多少个点，使得无三点共线，其中直线定义为 $\mathbb{Z}_m \times \mathbb{Z}_n$ 中循环子群的陪集。
• 为特定环面尺寸（尤其是素数与合数阶）建立 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$ 的精确值。
• 开发并应用计算代数方法，包括格罗布纳基与 Hilbert 系数，以枚举解并验证界。
• 将环面上的解与平面上格点的解进行比较，揭示环面约束会减小最大解的规模。

提出的方法

• 将环面上的直线定义为 $\mathbb{Z} \times \mathbb{Z}$ 中直线在覆盖映射下的像，对应于 $\mathbb{Z}_m \times \mathbb{Z}_n$ 中最大循环子群的陪集。
• 通过群论分析，研究循环子群结构，以界定 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$，即无三点共线时最多可放置的点数。
• 在有限域上应用格罗布纳基，将无三线共点条件建模为多项式环中的理想，编码点的放置与禁止配置。
• 计算商环 $R = K[x_{i,j}]/I$ 的 Hilbert 系数，其中 $I$ 编码无三线共点约束，以枚举各尺寸的解。
• 使用计算机代数系统 Macaulay2 计算 Hilbert 函数与 Hilbert 系数，通过提取最高非零项的次数确定最大解的规模。
• 通过构造显式点集验证结果，特别针对 $\mathbb{Z}_p \times \mathbb{Z}_{p^2}$ 与 $\mathbb{Z}_p \times \mathbb{Z}_{pq}$ 进行验证。

实验结果

研究问题

• RQ1 在离散环面 $\mathbb{Z}_m \times \mathbb{Z}_n$ 上，最多可放置多少个点，使得无三点位于某个循环子群的陪集中？
• RQ2 环面上的最大解在规模与数量上与平面上 $n \times n$ 格点上的解相比如何？
• RQ3 能否为 $T(\mathbb{Z}_p \times \mathbb{Z}_{p^2})$ 与 $T(\mathbb{Z}_p \times \mathbb{Z}_{pq})$ 推导出精确公式，其中 $p$、$q$ 为不同素数？
• RQ4 可使用哪些计算方法系统地计算小规模 $m$、$n$ 下的 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$？
• RQ5 为何 $14 \times 14$ 环面仅允许 12 个点无三点共线，尽管其规模较大？这揭示了环面约束的何种特性？

主要发现

• 对于不同素数 $p$ 与 $q$，在 $\mathbb{Z}_p \times \mathbb{Z}_{p^2}$ 环面上，无三点共线的最多点数恰好为 $2p$。
• 对于不同素数 $p$ 与 $q$，在 $\mathbb{Z}_p \times \mathbb{Z}_{pq}$ 环面上，无三点共线的最多点数为 $p+1$。
• 对所有正整数 $n$，有 $T(\mathbb{Z}_2 \times \mathbb{Z}_{2n}) = 4$，该结果通过显式构造确立。
• $14 \times 14$ 离散环面仅允许 12 个点无三点共线，此为异常情况，即解的规模小于环面本身的规模。
• 对于 $2 \leq m \leq 7$ 与 $2 \leq n \leq 19$，本文使用格罗布纳基与 Hilbert 系数显式计算了 $T(\mathbb{Z}_m \times \mathbb{Z}_n)$。
• 环面上最大解的数量通常远小于平面上格点上的解，其中奇数阶环面的解与格点解更接近，而偶数阶环面则差异更大。