Fugu-MT 論文翻訳(概要): Optimizing Explicit Unit-Distance Lower-Bound Certificates

論文の概要: Optimizing Explicit Unit-Distance Lower-Bound Certificates

arxiv url: http://arxiv.org/abs/2606.03419v3
Date: Fri, 05 Jun 2026 13:45:04 GMT
ステータス: 翻訳完了
システム内更新日: 2026-06-08 14:33:29.299784
Title: Optimizing Explicit Unit-Distance Lower-Bound Certificates
Title（参考訳）: 明示的単位距離下界証明書の最適化
Authors: Michael T. M. Emmerich,
Abstract要約: 2026年のエルドスの単位距離予想とサウィンの量的洗練の反証は、単位距離の最大値$u(n)$が固定正に対して$n1+varepsilon$を超えることを示した。この報告はSawinの非線形整数最適化問題から始まり、オープンソースのPython最適化と検証パイプラインを開発する。
参考スコア（独自算出の注目度）: 0.0
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: The 2026 disproof of Erdős's unit-distance conjecture and Sawin's 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 gives more than $n^{1.014}$ unit distances for arbitrarily large $n$ and exposes integer parameters whose choice is not fully optimized. This report starts from Sawin's nonlinear integer optimization problem and develops an open-source Python optimization and verification pipeline, first validating it by reproducing Sawin's parameters and then applying it to improved certificates. We optimize and verify certificates involving prime sets $T$ and $S_Q$, integer multiplicities $k(p)$, and a rationally encoded real parameter $R$. The implementation is lean and lightweight, so all results can be replicated on standard hardware and the procedures extended. We propose a deterministic greedy construction heuristic, a tailored integer evolution strategy with geometric mutation and repair operators to maintain number-theoretic feasibility, and an optional two-parent recombination variant. Four certificate levels are compared: Sawin's example with $δ=0.014114\ldots$, a greedy certificate with $δ=0.015172\ldots$, an evolution-strategy certificate with $R=6672416/100000$ and $δ=0.015262\ldots$, and a recombination variant, again with this $R$, with $δ=0.015263\ldots$. Consequently, the best reported certificate supports the cautious clean statement $u(n)>n^{1.0152}$ for arbitrarily large $n$ using the same set $T$ as in Sawin 2026, and a further improvement found with this framework hints at $u(n)>n^{1.031}$ for extended ramified prime ranges. Beyond this application, the work illustrates how randomized optimization heuristics can explore and improve explicit certificates in pure mathematics and combinatorial geometry.
Abstract（参考訳）: 2026年のエルデシュの単位距離予想とサウィンの量的洗練は、固定正の$\varepsilon$に対して、n$平面点の間の単位距離の最大数$u(n)$が$n^{1+\varepsilon}$を超えることを示した。サウィンの明示的な境界は、任意の大きさの$n$に対して$n^{1.014}$単位距離を与え、完全に最適化されていない整数パラメータを公開する。このレポートは、Sawinの非線形整数最適化問題から始まり、オープンソースのPython最適化と検証パイプラインを開発し、まずSawinのパラメータを再現し、改善された証明書に適用することで検証する。素集合$T$と$S_Q$、整数乗算$k(p)$、合理的にエンコードされた実パラメータ$R$を含む証明書を最適化し検証する。実装はリーンで軽量なので、すべての結果が標準ハードウェア上で複製され、プロシージャが拡張されます。決定論的グリーディ構成ヒューリスティック,幾何的突然変異と補修演算子を用いた最適化された整数進化戦略を,数論的な実現可能性を維持するために提案する。 Sawinの例:$δ=0.014114\ldots$、$δ=0.015172\ldots$、$R=6672416/100000$と$δ=0.015262\ldots$の進化戦略証明書、さらにこの$R$と$δ=0.015263\ldots$の組換え変種。その結果、最高の報告された証明書は、Sawin 2026と同じセットの$T$を使用して、任意に大きな$n$に対して$u(n)>n^{1.0152}$の慎重なクリーンステートメントをサポートし、このフレームワークで発見されたさらなる改善は、拡張された有理化素数に対して$u(n)>n^{1.031}$のヒントを与える。この応用の他に、この研究は、ランダム化された最適化ヒューリスティックスが純粋数学と組合せ幾何学における明示的な証明を探索し、改善する方法を説明している。

論文の概要: Optimizing Explicit Unit-Distance Lower-Bound Certificates

関連論文リスト