PulseAugur
实时 05:03:59
English(EN) Optimizing Explicit Unit-Distance Lower-Bound Certificates

新方法优化单位距离下界证书

研究人员开发了新的计算方法来优化单位距离问题的下界证书。这项工作建立在 2026 年对 Erdős 猜想的证伪之上,该猜想表明 n 个平面点之间的单位距离数量可以超过 n^(1+epsilon)。新方法将参数选择表述为非线性整数规划问题,并引入了一个开源的 Python 管道用于验证和改进。优化的证书表明,对于任意大的 n,单位距离的最大数量可以超过 n^1.0152。 AI

影响 这项研究推进了计算几何的理论理解,可能影响未来在几何算法或优化方面的 AI 研究。

排序理由 这是一篇研究论文,详细介绍了数学问题的新计算方法和结果。[lever_c_demoted from research: ic=2 ai=0.4]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →

报道来源 [3]

  1. arXiv cs.AI TIER_1 English(EN) · Michael T. M. Emmerich ·

    优化显式单位距离下界证书

    arXiv:2606.03419v1 Announce Type: cross Abstract: The 2026 disproof of Erd\H{o}s's unit-distance conjecture and Sawin's subsequent explicit quantitative refinement show that the maximum number $u(n)$ of unit distances among $n$ planar points can exceed $n^{1+\varepsilon}$ for a f…

  2. arXiv cs.NE (Neural & Evolutionary) TIER_1 English(EN) · Michael T. M. Emmerich ·

    优化显式单位距离下界证书

    The 2026 disproof of Erdős's unit-distance conjecture and Sawin's subsequent explicit quantitative refinement show that the maximum number $u(n)$ of unit distances among $n$ planar points can exceed $n^{1+\varepsilon}$ for a fixed positive $\varepsilon$. Sawin's explicit bound gi…

  3. arXiv cs.NE (Neural & Evolutionary) TIER_1 English(EN) · Michael T. M. Emmerich ·

    Optimizing Explicit Unit-Distance Lower-Bound Certificates

    The 2026 disproof of Erdős's unit-distance conjecture and Sawin's subsequent explicit quantitative refinement show that the maximum number $u(n)$ of unit distances among $n$ planar points can exceed $n^{1+\varepsilon}$ for a fixed positive $\varepsilon$. Sawin's explicit bound gi…