结果族 166：The higher-dimensional Erdős distinct-distances conjecture · 学科：Combinatorics · 验证状态：暂无形式化证明，请以社区核验为准
在天上撒一把星星，量出每两颗之间的距离——这些距离里能有多少种不同的数值？撒得聪明的话，很多距离会重复。Erdős 在 1946 年问：n 个点最少能给出多少种不同距离？平面情形至今还差着对数因子没合拢，而这篇论文把三维及以上的版本彻底解决：不管你怎么撒，至少 @@M@@c_d n^{2/d}@@ 种，而且幂次无法再改进。
关键词卡片
@@M@@|\Delta(P)|@@。@@M@@\{1,\dots,t\}^d@@，已知最”省距离”的撒法。@@M@@2/d@@（exponent）：距离种数随点数增长的指数，定理证明它不能更低。看个具体例子
拿最熟悉的格点：正方体的 8 个顶点。28 对点对的距离只有 3 种——棱、面对角线、体对角线。
推向三维格 @@M@@\{1,\dots,t\}^3@@：@@M@@t^3@@ 个点，平方距离是 1 到 @@M@@3(t-1)^2@@ 的整数，至多 @@M@@O(t^2)=O(n^{2/3})@@ 种——指数 @@M@@\tfrac23=2/d@@ 正是构造与定理的会师点。定理（数字版）：@@M@@\mathbb{R}^3@@ 中任意 n 个点至少 @@M@@c_3 n^{2/3}@@ 种距离；如 @@M@@n=10^6@@ 时至少约 @@M@@c_3\cdot 10^4@@ 种，且 @@M@@c_3@@ 是不随点集变化的绝对常数。这最后一句并不显然：三维此前最好的 @@M@@n^{2/3-o(1)}@@ 型界带着会慢慢衰减的尾巴，推不出常数因子，本文必须一次性排除所有潜在的反例序列。
为什么值得关心
高维 Erdős 不同距离猜想获正面解决；此前偏低的指数（如四维的 @@M@@8/17@@）全部被推平到 @@M@@2/d@@。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读用撒星星作比：n 颗星两两量距离，这些距离里能有多少种不同数值？半数学地说：对象是欧氏空间中 n 个点组成的有限集，考察的量是把所有点对距离去重后剩下的个数；问题问这个数随 n 增长的最小可能阶。
第二级台阶
用本科术语精确化：不同距离集 @@M@@\Delta(P)=\{|p-q|:p\ne q\}@@ 是点对距离的取值全体；整数格 @@M@@\{1,\dots,t\}^d@@ 的平方距离只是 1 到 @@M@@d(t-1)^2@@ 间的整数，故只有 @@M@@O(t^2)=O(n^{2/d})@@ 种，是最省距离的已知撒法；猜想即任何 n 点至少有常数倍的 @@M@@n^{2/d}@@ 种距离。刚体运动——整体旋转加平移——在证明中用来组织等距点对。
第三级台阶
主定理陈述：对每个固定维数 @@M@@d\ge3@@，存在只依赖 @@M@@d@@ 的正常数 @@M@@c_d@@，使任意 @@M@@n\ge2@@ 个不同点至少决定 @@M@@c_dn^{2/d}@@ 种距离，对点的位置、间距与集中程度不作任何假设。”固定 d”挡住常数随维数恶化的麻烦；”不带衰减尾巴的常数因子”则挡住旧界 @@M@@n^{2/d-o(1)}@@ 无法排除慢衰减反例序列的缺陷——全文因此取反证法，必须一次性排除所有失效序列。结论：高维 Erdős 不同距离猜想获正面解决，指数 @@M@@2/d@@ 与格点构造会师、无法再改进。
对每个固定维数 @@M@@d\ge3@@，@@M@@\mathbb R^d@@ 中任意 @@M@@n\ge2@@ 个不同点至少决定 @@M@@c_d n^{2/d}@@ 个不同距离，@@M@@c_d>0@@ 只依赖 @@M@@d@@。幂次与整数格例子一致而达最优，由此正面解决高维 Erdős 不同距离猜想。
不同距离问题（distinct-distances problem）由 Erdős 于 1946 年提出：@@M@@n@@ 个点两两距离的总数最少能有多少？平面方格构造只给出 @@M@@O(n/\sqrt{\log n})@@ 个距离，Guth–Katz 证明了阶匹配的 @@M@@\Omega(n/\log n)@@ 下界；而 @@M@@d\ge3@@ 时的猜想是常数倍的 @@M@@n^{2/d}@@。此前最好的结果沿两条线：Solymosi–Vu 的递推不等式，以及 Tidor–Yu–Zakharov（2026）的三维界 @@M@@n^{2/3-o(1)}@@——代入递推得四维 @@M@@n^{8/17-o(1)}@@、五维 @@M@@n^{3/8-o(1)}@@，指数全都低于 @@M@@2/d@@。更本质的困难是：@@M@@n^{2/d-o(1)}@@ 型下界推不出常数因子，因为比值可能以任意慢的速度衰减，证明必须一次性排除所有反例序列。历史上 Aksoy Yazici 曾宣布解决该猜想，后因证明有误自行撤稿，可见此问题极易出错。
记 @@M@@\Delta(P)=\{|p-q|:p,q\in P,\ p\ne q\}@@。主定理（introduction.tex 第 19–26 行）：对每个整数 @@M@@d\ge3@@ 存在 @@M@@c_d>0@@，使任意 @@M@@n\ge2@@ 个不同点的有限集 @@M@@P\subset\mathbb R^d@@ 满足 @@M@@|\Delta(P)|\ge c_d n^{2/d}@@，对点的位置、间距与集中程度不作任何假设。指数 @@M@@2/d@@ 最优：整数格 @@M@@\{1,\ldots,t\}^d@@ 有 @@M@@t^d@@ 个点，其平方距离是 @@M@@1@@ 到 @@M@@d(t-1)^2@@ 之间的整数，故仅 @@M@@O(t^2)=O(n^{2/d})@@ 个距离。平面情形因方格给出 @@M@@O(n/\sqrt{\log n})@@，猜想阶与此不同，不属本文范围。
全文用反证法：取定理失效的最小维数 @@M@@d\ge3@@，则有序列 @@M@@N=|P|\to\infty@@ 使 @@M@@M=1+|\Delta(P)|=o(A)@@，其中 @@M@@B=N^{1/d}@@、@@M@@A=B^2@@；由低维归纳与附录自给的平面 Guth–Katz 型界，先封顶每个真仿射平坦上的点数。
第一步做对称的方向选取：在每个中心 @@M@@p@@ 处，让次数 @@M@@\lfloor A\rfloor@@ 的齐次多项式能在选中的位移方向 @@M@@\pi_p(q)=[q-p]@@ 上任意指定取值（等价于赋值向量线性无关）。唯一实质障碍是”稀疏锥”（sparse cones）：给每点配一族总次数 @@M@@o(N/A)@@ 的投影曲线，覆盖几乎全体点对。论文用多尺度”尺度剖面”（scale profile）将其排除——在 @@M@@[Be^{-s},Be^s]@@ 的多个对数宽度窗口内记录 @@M@@d@@ 次真超曲面切割的切割时刻，得到平衡剖面（@@M@@\sum_i b_i=0@@，@@M@@b_1<0<b_d@@ 等），再用 Chardin–Philippon 型 Hilbert 函数（Hilbert function）下界给出每个正密度子集的多项式限制秩下界，与锥覆盖迫使的秩上界冲突；割线几何（secant geometry）与终端曲线的先期删除控制径向投影合并造成的损失，两个端点情形则用直接的投影像比较处理。
第二步把等距化为平坦相交：取 @@M@@P@@ 的通用旋转副本 @@M@@Q@@，当 @@M@@|p-p'|=|q-q'|@@ 且两端点对均被选中时连边，Cauchy–Schwarz 给出 @@M@@\Omega(N^4/M)@@ 条边。每个点对对应斜形式空间中一个 @@M@@s_0=d(d-1)/2@@ 维仿射平坦 @@M@@F_{p,q}@@，插值性保证邻居平坦两两不同且有 @@M@@O(A)@@ 次分离子（separator）。@@M@@d=3@@ 时还需”富运动定理”（@@M@@\sum_g k_g^2\le K N^4/A@@，两种定向都计入）删除单个刚性运动（rigid motion）匹配过多的边，其证明综合了 Szemerédi–Trotter、Beck 二分法与六维空间中关于分裂二次型的多项式降次论证。
最后一步只做一次随机采样：全局集中性加 Hilbert 下界给出全体保留平坦在次数 @@M@@\lfloor A\rfloor@@ 的总秩至少 @@M@@c_4 mA^{s_0}@@，而以小固定概率采样的子族秩严格更小，同时每个顶点仍保有 @@M@@\gg A^{d-1}@@ 个采样邻居。于是存在次数 @@M@@\le A@@ 的多项式，在所有采样平坦上为零、却在某个保留平坦 @@M@@F@@ 上不恒为零；其限制零化超过 @@M@@C A^{d-1}@@ 个两两不同的邻居平坦，与局部集中性（次数 @@M@@\le A@@ 的多项式至多含 @@M@@O(A^{d-1})@@ 个邻居平坦）矛盾。所有常数沿序列一致，这正是常数因子的来源。
本文暂无形式化证明，请以社区核验为准。结果族 166 目前仅此一篇手稿，无姊妹篇互证；其依赖的平面基例与集中性、经典关联工具均在附录内自给并逐处标明与 Szemerédi–Trotter、Beck、Elekes–Sharir、Guth–Katz 及 Tidor–Yu–Zakharov 工作的关系，作者还如实记录了前人撤稿的教训。按 OpenAI 官方声明，未经形式化的结果可能有问题。
问 1：证明中最关键、也最脆弱的一步是哪里？
答：稀疏锥的排除。方向选取要求次数 @@M@@\lfloor A\rfloor@@ 的齐次多项式能在选中方向上任意赋值，唯一实质障碍是一族总次数 @@M@@o(N/A)@@ 的投影曲线覆盖几乎全部点对；论文用多尺度”尺度剖面”配合 Chardin–Philippon 型 Hilbert 函数下界，与锥覆盖迫使的秩上界正面冲突才将其排除。这一段失败，后面的平坦秩论证整体落空。
问 2：为什么只有 @@M@@d\ge3@@，平面怎么办？
答：平面的最优阶不是 @@M@@n^{2/d}=n@@：方格构造只给 @@M@@O(n/\sqrt{\log n})@@ 种距离，Guth–Katz 下界 @@M@@\Omega(n/\log n)@@ 与之尚差对数因子，问题本质不同。本文明确把平面排除在范围外，只在附录自给平面 Guth–Katz 型基例作低维归纳的输入。
问 3：与已有工作相比真正的新意是什么？
答：Tidor–Yu–Zakharov（2026）只给三维 @@M@@n^{2/3-o(1)}@@，经 Solymosi–Vu 递推出四维 @@M@@8/17@@、五维 @@M@@3/8@@ 等偏低指数；本文一次性对全部 @@M@@d\ge3@@ 给出常数因子的 @@M@@n^{2/d}@@。技术关键在于把会衰减的尾巴换成沿一切反例序列一致的常数——这正是反证加紧性式论证的用武之地。
问 4：这种 AI 参与生成的证明最可能在哪里出错？
答：多工具缝合处。此题有翻车前科：Aksoy Yazici 曾宣布解决后因证明有误自行撤稿。本文最险的是 @@M@@d=3@@ 的富运动定理——综合 Szemerédi–Trotter、Beck 二分法与六维空间中分裂二次型的降次论证——以及末步”多项式在采样平坦上全零、却在某个保留平坦上不恒为零”的存在性推理；跨工具的隐藏假设缺口是典型病灶，且本篇暂无形式化证明。
问 5：常数 @@M@@c_d@@ 有显式数值吗？界紧到什么程度？
答：没有显式值——反证法只保证常数沿序列一致，不优化大小。指数 @@M@@2/d@@ 已最优（整数格构造恰取该阶），但常数因子与平面对数缝隙问题一样留有后续空间；论文未讨论常数改进。
问 6：谁会用到它？
答：离散几何与关联理论社区：距离集估计是距离能量、单位距离、等距集等 Erdős 型问题的基本构件，@@M@@d\ge3@@ 一侧从此干净，Solymosi–Vu 型递推不再需要衰减尾巴输入。论文未展开向一般范数、球面或双曲空间的推广。
总评
把悬置八十年的高维 Erdős 猜想一步推平到最优指数，若核验通过是离散几何的里程碑；但它是本批中纯解析链条最长、又无形式化且问题素有翻车史的一篇，宜按最严格标准逐节核验。