[论文解读] On the minimum diameter of plane integral point sets

Sascha Kurz, Alfred Wassermann|ArXiv.org|Apr 8, 2008

Analytic Number Theory Research参考文献 19被引用 18

一句话总结

本文研究了平面整数点集的最小直径——即平面上 n 个点构成的配置，其中所有点对之间的距离均为整数，且并非所有点共线。通过穷举搜索与有序生成算法，作者确定了新的精确值，包括首次确认解决埃尔德什问题：在一般位置（无三点共线，无四点共圆）下，7 个点的最小直径为 22,270。研究发现，最小直径配置通常包含 n−1 个共线点，从而提出了此类集合的新下界，该下界与已知上界在指数部分的对数因子内几乎一致。

ABSTRACT

Since ancient times mathematicians consider geometrical objects with integral side lengths. We consider plane integral point sets $\mathcal{P}$, which are sets of $n$ points in the plane with pairwise integral distances where not all the points are collinear. The largest occurring distance is called its diameter. Naturally the question about the minimum possible diameter $d(2,n)$ of a plane integral point set consisting of $n$ points arises. We give some new exact values and describe state-of-the-art algorithms to obtain them. It turns out that plane integral point sets with minimum diameter consist very likely of subsets with many collinear points. For this special kind of point sets we prove a lower bound for $d(2,n)$ achieving the known upper bound $n^{c_2\log\log n}$ up to a constant in the exponent. A famous question of Erdős asks for plane integral point sets with no 3 points on a line and no 4 points on a circle. Here, we talk of point sets in general position and denote the corresponding minimum diameter by $\dot{d}(2,n)$. Recently $\dot{d}(2,7)=22 270$ could be determined via an exhaustive search.

研究动机与目标

• 确定平面整数点集在 n 个点、所有点对距离为整数且非全部共线时的最小直径 d(2,n) 的精确值。
• 研究此类最小直径配置的结构，特别是其是否倾向于包含大量共线点或位于同一圆周上。
• 解决埃尔德什关于一般位置下（无三点共线，无四点共圆） ḋ(2,n) 在 n=7 时的存在性与取值的开放问题。
• 在存在大量共线点的子集情况下，为 d(2,n) 建立新的下界，使其与已知上界在指数部分的常数因子内一致。

提出的方法

• 采用一种新颖的有序生成变体，通过组合两个整数点集来构建更大的点集，而非扩展单个点集，实现穷举搜索。
• 使用团搜索算法系统地探索并验证具有整数距离的整数点集。
• 定义并分析点集中三角形的特征：即乘积 (a+b+c)(a+b−c)(a−b+c)(−a+b+c) 的无平方因子部分，该值在给定整数点集的所有非退化三角形中保持不变。
• 建立共线整数点集中距离与整数因子分解之间的数论联系，从而实现此类配置的高效生成。
• 通过将此类配置的数量与整数上乘法函数的增长率关联，推导出至少包含 n^δ 个共线点的整数点集的直径下界。
• 提出一种策略，通过分析具有固定三角形特征和直径的规范整数点集数量，将下界推广至一般配置。

实验结果

研究问题

• RQ1 对于较小的 n，特别是当 n ≥ 9 时，最小直径 d(2,n) 的精确值是什么？
• RQ2 在半一般位置（无三点共线）下，最小直径的平面整数点集是否总是位于同一个圆周上？
• RQ3 七点在一般位置（无三点共线，无四点共圆）下的最小直径 ḋ(2,7) 是多少？该问题长期悬而未决。
• RQ4 是否对所有 n ≥ 9，每个最小直径的平面整数点集都包含一个由 n−1 个共线点构成的子集？
• RQ5 能否建立一个与已知上界 n^{c₂ log log n} 匹配的紧致下界 d(2,n)，而无需限制于高度共线的配置？

主要发现

• 七点在一般位置下的最小直径 ḋ(2,7) 恰好为 22,270，解决了埃尔德什长期悬而未决的开放问题。
• 对于 n ≤ 36，所有已知的半一般位置下最小直径的平面整数点集均位于同一圆周上，其半径为 r = z/k√k，其中 k ∈ {3,7,15}，z 为具有多个素因子的整数。
• 对于 9 ≤ n ≤ 122，最小直径的平面整数点集由 n−1 个共线点和一个位于直线外的额外点构成，支持了此类配置在 n ≥ 9 时为最优的猜想。
• 为至少包含 n^δ 个共线点的整数点集直径建立了新下界：当 n 足够大时，有 diam(P) ≥ n^{δ/(4 log 2(1+ε)) log log n}，该下界与已知上界在指数部分的常数因子内几乎一致。
• 数值证据表明，具有固定直径 d 和三角形特征的规范整数点集数量以 O(d^{c/log log d}) 的速率增长，若该结论可被证明，则可推出 d(2,n) ≥ c′ n^{c'' log log n} 的下界，其中 c′, c'' 为合适的常数。
• 本文提供了强有力的计算证据，表明最小直径整数点集的结构与数论性质密切相关，特别是整数的因子分解以及圆周上距离为有理数的分布。