Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracÏ{3\,C(Î_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Î$ we show $$g_Î(k)\ge (Ï/4) S^*(Î) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Î$.
論文ID : 2510.09800タイトル : On Few-Distance Sets in the Plane著者 : Lucas Wang分類 : math.MG（距離幾何学）、math.CO（組合論）投稿日時 : 2025年10月10日にarXivに投稿論文リンク : https://arxiv.org/abs/2510.09800 本論文は、平面上で最大k個の距離を決定する点集合の最大規模問題を研究している。g ( k ) g(k) g ( k ) π 3 C ( Λ h e x ) k log k ( 1 + o ( 1 ) ) ≤ g ( k ) ≤ C k log k \frac{\pi}{3}C(\Lambda_{hex}) k\sqrt{\log k} (1+o(1)) \leq g(k) \leq C k\log k 3 π C ( Λ h e x ) k log k ( 1 + o ( 1 )) ≤ g ( k ) ≤ C k log k
したがってg ( k ) ≍ k log k g(k) \asymp k\sqrt{\log k} g ( k ) ≍ k log k Λ \Lambda Λ g Λ ( k ) ≥ π 4 S ∗ ( Λ ) k log k ( 1 + o ( 1 ) ) g_\Lambda(k) \geq \frac{\pi}{4} S^*(\Lambda) k\sqrt{\log k} (1+o(1)) g Λ ( k ) ≥ 4 π S ∗ ( Λ ) k log k ( 1 + o ( 1 ))
さらに、論文は定量的安定性結果を提供する：点集合Xが線重でなく、かつ2つの流行する非平行平行移動を持たない限り、ほぼすべての順序対が距離多重集合の高分位数以下に位置するか（近中心局所化）、またはX∩Wの定数比例が2Λを法とする剰余類に位置する。
本研究は古典的なErdős距離問題の逆問題に由来する。元の問題はGuth-Katzによって解決され、n個の平面点は少なくともΩ ( n / log n ) \Omega(n/\log n) Ω ( n / log n )
理論的意義 ：組合幾何学における基本的問題であり、距離幾何学、数論、加法組合論を結びつける技術的課題 ：格子理論、発生幾何学、加法エネルギー法を組み合わせる必要がある応用価値 ：符号理論、離散幾何学最適化などの分野と関連しているGuth-Katzの上界g ( k ) ≲ k log k g(k) \lesssim k\log k g ( k ) ≲ k log k 格子窓構成はg ( k ) ≳ k log k g(k) \gtrsim k\sqrt{\log k} g ( k ) ≳ k log k 明示的な定数と定量的安定性分析が不足している g ( k ) g(k) g ( k )
精確な増長次数の決定 ：g ( k ) ≍ k log k g(k) \asymp k\sqrt{\log k} g ( k ) ≍ k log k 明示的定数の提供 ：六角格子の明示的なBernays定数C ( Λ h e x ) C(\Lambda_{hex}) C ( Λ h e x ) 格子族の統一下界 ：すべての算術格子Λ \Lambda Λ 定量的安定性定理 ：近最適構成の構造特性を特徴付ける技術的革新 ：格子窓分析と加法エネルギー法の新しい技術を開発正整数kが与えられたとき、以下を求解する：
g ( k ) : = max { ∣ X ∣ : X ⊂ R 2 , ∣ D ( X ) ∣ ≤ k } g(k) := \max\{|X| : X \subset \mathbb{R}^2, |D(X)| \leq k\} g ( k ) := max { ∣ X ∣ : X ⊂ R 2 , ∣ D ( X ) ∣ ≤ k } D ( X ) = { ∣ x − y ∣ : x ≠ y ∈ X } D(X) = \{|x-y| : x \neq y \in X\} D ( X ) = { ∣ x − y ∣ : x = y ∈ X }
算術格子Λ = Z v 1 ⊕ Z v 2 \Lambda = \mathbb{Z}v_1 \oplus \mathbb{Z}v_2 Λ = Z v 1 ⊕ Z v 2 W R = ( τ + Λ ) ∩ B ( z , R ) W_R = (\tau + \Lambda) \cap B(z, R) W R = ( τ + Λ ) ∩ B ( z , R )
Bernays-Landau漸近公式により、距離の数量は：
∣ D ( W R ) ∣ = C ( Λ ) s ( Λ ) 4 R 2 log ( 4 R 2 / s ( Λ ) ) ( 1 + o ( 1 ) ) |D(W_R)| = \frac{C(\Lambda)}{s(\Lambda)} \frac{4R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1)) ∣ D ( W R ) ∣ = s ( Λ ) C ( Λ ) l o g ( 4 R 2 / s ( Λ )) 4 R 2 ( 1 + o ( 1 ))
Guth-Katzの結果を利用して、任意のn点平面集合は少なくともc n / log n c n/\log n c n / log n g ( k ) ≤ C k log k g(k) \leq C k \log k g ( k ) ≤ C k log k
順序付き距離計数を定義する：
Q o r d ( X ) : = ∑ t ∈ D ( X ) m t 2 Q_{ord}(X) := \sum_{t \in D(X)} m_t^2 Q or d ( X ) := ∑ t ∈ D ( X ) m t 2 m t = # { ( p , q ) ∈ X 2 : p ≠ q , ∣ p − q ∣ = t } m_t = \#\{(p,q) \in X^2 : p \neq q, |p-q| = t\} m t = # {( p , q ) ∈ X 2 : p = q , ∣ p − q ∣ = t }
Cauchy-Schwarz不等式により：
Q o r d ( X ) ≥ n 2 ( n − 1 ) 2 k Q_{ord}(X) \geq \frac{n^2(n-1)^2}{k} Q or d ( X ) ≥ k n 2 ( n − 1 ) 2
標準化パラメータを導入する：
S ∗ ( Λ ) : = s ( Λ ) A ( Λ ) C ( Λ ) S^*(\Lambda) := \frac{s(\Lambda)}{A(\Lambda)C(\Lambda)} S ∗ ( Λ ) := A ( Λ ) C ( Λ ) s ( Λ ) s ( Λ ) s(\Lambda) s ( Λ ) A ( Λ ) A(\Lambda) A ( Λ ) C ( Λ ) C(\Lambda) C ( Λ )
内正則窓の概念を定義し、格子窓における距離実現の精確な制御を確立する：
補題 2.11 ：格子Λ \Lambda Λ μ ( Λ ) \mu(\Lambda) μ ( Λ ) R > μ ( Λ ) R > \mu(\Lambda) R > μ ( Λ ) { λ ∈ Λ : ∣ λ ∣ ≤ 2 R − 2 μ ( Λ ) } ⊆ { x − y : x , y ∈ ( τ + Λ ) ∩ B ( 0 , R ) } \{\lambda \in \Lambda : |\lambda| \leq 2R - 2\mu(\Lambda)\} \subseteq \{x-y : x,y \in (\tau + \Lambda) \cap B(0,R)\} { λ ∈ Λ : ∣ λ ∣ ≤ 2 R − 2 μ ( Λ )} ⊆ { x − y : x , y ∈ ( τ + Λ ) ∩ B ( 0 , R )}
加法エネルギーE + ( X ) = ∑ v r X ( v ) 2 E_+(X) = \sum_v r_X(v)^2 E + ( X ) = ∑ v r X ( v ) 2 Q o r d ( X ) ≤ E + ( X ) + C n 3 log n + O ( n 2 ) Q_{ord}(X) \leq E_+(X) + C n^3 \log n + O(n^2) Q or d ( X ) ≤ E + ( X ) + C n 3 log n + O ( n 2 )
本論文は主に理論的研究であり、以下の方法で結果を検証している：
漸近分析 ：Bernays-Landau公式の適用を検証定数計算 ：六角格子の具体的パラメータを計算境界ケース検証 ：小さいk値の既知結果を検証六角格子：s ( Λ h e x ) = 2 / 3 s(\Lambda_{hex}) = 2/\sqrt{3} s ( Λ h e x ) = 2/ 3 被覆半径と格子定数の計算 安定性パラメータの選択 定理 3.4 （算術格子の精確な界）：
標準化された算術格子Λ \Lambda Λ λ 1 ( Λ ) = 1 \lambda_1(\Lambda) = 1 λ 1 ( Λ ) = 1 k 0 ( Λ ) k_0(\Lambda) k 0 ( Λ ) k ≥ k 0 ( Λ ) k \geq k_0(\Lambda) k ≥ k 0 ( Λ ) π 4 S ∗ ( Λ ) k log k ( 1 + o Λ ( 1 ) ) ≤ g Λ ( k ) ≤ C k log k \frac{\pi}{4} S^*(\Lambda) k\sqrt{\log k} (1 + o_\Lambda(1)) \leq g_\Lambda(k) \leq C k \log k 4 π S ∗ ( Λ ) k log k ( 1 + o Λ ( 1 )) ≤ g Λ ( k ) ≤ C k log k
定理 7.1 （全体的結果）：
π 3 C ( Λ h e x ) k log k ( 1 + o ( 1 ) ) ≤ g ( k ) ≤ C k log k \frac{\pi}{3} C(\Lambda_{hex}) k\sqrt{\log k} (1 + o(1)) \leq g(k) \leq C k \log k 3 π C ( Λ h e x ) k log k ( 1 + o ( 1 )) ≤ g ( k ) ≤ C k log k
定理 7.3 （定量的安定性）：
点集合X ⊂ R 2 X \subset \mathbb{R}^2 X ⊂ R 2 ∣ X ∣ = n |X| = n ∣ X ∣ = n ∣ D ( X ) ∣ ≤ k |D(X)| \leq k ∣ D ( X ) ∣ ≤ k k ≤ C n / log n k \leq C n/\log n k ≤ C n / log n
ある直線が少なくともc n cn c n 非平行ベクトルv 1 , v 2 v_1, v_2 v 1 , v 2 W W W z ∈ X z \in X z ∈ X ∣ X ∩ B ( z , t ∗ ) ∣ |X \cap B(z, t_*)| ∣ X ∩ B ( z , t ∗ ) ∣ 命題5.1を通じて、内正則窓W R W_R W R C ( Λ ) s ( Λ ) 4 ( 1 − c ) 2 R 2 log ( 4 R 2 / s ( Λ ) ) ( 1 + o ( 1 ) ) ≤ ∣ D ( W R ) ∣ ≤ C ( Λ ) s ( Λ ) 4 R 2 log ( 4 R 2 / s ( Λ ) ) ( 1 + o ( 1 ) ) \frac{C(\Lambda)}{s(\Lambda)} \frac{4(1-c)^2R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1)) \leq |D(W_R)| \leq \frac{C(\Lambda)}{s(\Lambda)} \frac{4R^2}{\sqrt{\log(4R^2/s(\Lambda))}}(1 + o(1)) s ( Λ ) C ( Λ ) l o g ( 4 R 2 / s ( Λ )) 4 ( 1 − c ) 2 R 2 ( 1 + o ( 1 )) ≤ ∣ D ( W R ) ∣ ≤ s ( Λ ) C ( Λ ) l o g ( 4 R 2 / s ( Λ )) 4 R 2 ( 1 + o ( 1 ))
Erdős距離問題 ：Guth-Katz (2015) がm ( n ) ≳ n / log n m(n) \gtrsim n/\log n m ( n ) ≳ n / log n 小さいk場合 ：Erdős-Fishburnがk ≤ 5 k \leq 5 k ≤ 5 格子構成 ：Bernays-Landau漸近を通じた下界取得発生幾何学 ：Elekes-Sharir約化とGuth-Katz法加法組合論 ：Balog-Szemerédi-Gowers定理とFreiman定理格子理論 ：二次形式表現論と被覆性質初めて精確な増長次数k log k k\sqrt{\log k} k log k 明示的定数と統一フレームワークを提供 新しい安定性理論を開発 g ( k ) ≍ k log k g(k) \asymp k\sqrt{\log k} g ( k ) ≍ k log k 六角格子が最適下界構成を提供 近最適構成は特定の構造特性を持つ 定数の精確な値にはまだ改善の余地がある 安定性結果のパラメータ依存性が強い 非算術的な場合の分析が不十分である 明示的定数の改善 高次元への拡張 他の幾何学的制約下での類似問題の研究 理論的深さ ：長期間未解決の問題を解決し、精確な増長次数を決定技術的革新 ：格子理論、加法組合論、発生幾何学を巧妙に組み合わせ結果の完全性 ：漸近結果だけでなく、明示的定数と安定性分析を提供方法の統一性 ：すべての算術格子に対する統一フレームワークを構築計算複雑性 ：明示的定数の計算がかなり複雑適用範囲 ：主に算術格子の場合に限定安定性パラメータ ：定量的安定性において定数が多くのパラメータに依存学術的価値 ：組合幾何学における基本的問題を解決方法的貢献 ：開発された技術を関連問題に応用可能理論的完善 ：距離問題理論に重要な補足を提供離散幾何学最適化 符号理論における距離集合構成 数論における二次形式表現問題 加法組合論における構造分析 論文における主要参考文献は以下を含む：
P. Erdős and P. C. Fishburn, "Maximum planar sets that determine k distances" L. Guth and N. H. Katz, "On the Erdős distinct distances problem in the plane" G. Elekes and M. Sharir, "Incidences in three dimensions and distinct distances in the plane" 古典的なBernays-Landau漸近理論の文献 加法組合論におけるBSG定理とFreiman定理関連文献 本論文は精妙な数学的分析を通じて、平面幾何学における重要な極値問題を解決し、その技術方法と理論的結果は組合幾何学分野に重要な価値を持つ。
