[論文レビュー] On lattices, distinct distances, and the Elekes-Sharir framework

Javier Cilleruelo, Micha Sharir+1 more|arXiv (Cornell University)|Jun 2, 2013

Advanced Combinatorial Mathematics参考文献 9被引用数 3

ひとこと要約

この論文は、整数格子における相異なる距離の最良下界を導出する際のElekes-Sharir枠組みの限界を調査する。Erdősの√n×√n格子構成を分析することで、この枠組みがCauchy-Schwarz不等式に依存しているため、真の下界が成立しても、予想されるΘ(n/√log n)の境界に到達できないことが示される。論文は、この枠組みにおける等距離の四重組の上界が正方形格子においてタイトであることを確立しており、このギャップを埋めるにはCauchy-Schwarzを越える根本的な手法の転換が必要であることを示唆する。

ABSTRACT

In this note we consider distinct distances determined by points in an integer lattice. We first consider Erdos's lower bound for the square lattice, recast in the setup of the so-called Elekes-Sharir framework \cite{ES11,GK11}, and show that, without a major change, this framework \emph{cannot} lead to Erdos's conjectured lower bound. This shows that the upper bound of Guth and Katz \cite{GK11} for the related 3-dimensional line-intersection problem is tight for this instance. The gap between this bound and the actual bound of Erdos arises from an application of the Cauchy-Schwarz inequality (which is an integral part of the Elekes-Sharir framework). Our analysis relies on two number-theoretic results by Ramanujan. We also consider distinct distances in rectangular lattices of the form $\{(i,j) \mid 0\le i\le n^{1-α},\ 0\le j\le n^α\}$, for some $0

研究の動機と目的

• 点集合における相異なる距離の最良下界を導出する際のElekes-Sharir枠組みの限界を分析すること。
• この枠組みにおけるCauchy-Schwarz不等式の使用が、正方形格子における予想されるΘ(n/√log n)下界に到達する上で本質的な障壁を生じることを示すこと。
• GuthとKatzが等距離の四重組の数に対して示した上界が正方形格子においてタイトであることを示し、枠組みがΩ(n/log n)を超えて改善できないことを示唆すること。
• 0<α<1/2に対して{(i,j) : 0≤i≤n^{1−α}, 0≤j≤n^α}という形の長方形格子における相異なる距離の数がΘ(n)であることを確立すること。
• この結果をCillerueloとGranvilleによる円の短い弧上の格子点の数に関する予想と結びつけ、その予想の肯定的解決が同じ境界を意味することを示すこと。

提案手法

• 正方形格子におけるErdősの元々の下界を、|ap|=|bq|を満たす四重組(a,p,b,q)の数に注目してElekes-Sharir枠組み内で再定式化すること。
• Cauchy-Schwarz不等式を適用して、相異なる距離の数xを用いた、このような四重組の数|Q|の下界を導出すること。
• √n×√n格子に対して|Q|=Θ(n³log n)であることを示し、GuthとKatzの上界と一致することを証明することで、この枠組みの境界がこの例においてタイトであることを示すこと。
• 特に二乗和に関するRamanujanの結果を用いて、制限された範囲における整数の二乗和としての表現の数を分析する数論的道具の適用。
• 区間Iₗにおけるa²−b² = c²−d²の解の数を評価することで、∑ₘ binom(d(m),2)（同じ数の表現のペアの数）を抑え込むこと。
• s₁s₂ = a−c, s₃s₄ = a+c, s₁s₃ = b−d, s₂s₄ = b+dを満たす四重組(s₁,s₂,s₃,s₄)によるパラメトライゼーションを用いて、このような表現の数を制御すること。

実験結果

リサーチクエスチョン

• RQ1 現在の構造のままのElekes-Sharir枠組みは、正方形格子における相異なる距離の予想されるΘ(n/√log n)下界に到達できるか？
• RQ2 等距離の四重組の数に対するΘ(n³log n)の上界が正方形格子においてタイトであるか？ そしてこれは枠組みの限界をどのように示唆するか？
• RQ3 0<α<1/2に対して{(i,j) : 0≤i≤n^{1−α}, 0≤j≤n^α}という形の長方形格子における相異なる距離の数は何か？
• RQ4 CillerueloとGranvilleによる円の短い弧上の格子点に関する数論的予想が、長方形格子におけるD_α(n)=Θ(n)の境界をどの程度意味するか？
• RQ5 Cilleruelo–Granville予想を仮定せずに、D_α(n)=Θ(n)の境界を導出できるか？ もしそうなら、その方法は何か？

主な発見

• Elekes-Sharir枠組みは、Cauchy-Schwarz不等式を根本的に異なる技法に置き換えない限り、正方形格子における相異なる距離の予想されるΘ(n/√log n)下界に到達できない。
• √n×√n整数格子に対して、|ap|=|bq|を満たす四重組(a,p,b,q)の数はΘ(n³log n)である。これはGuthとKatzの上界と一致しており、この枠組みの境界がこの例においてタイトであることを証明する。
• 0<α<1/2に対して{(i,j) : 0≤i≤n^{1−α}, 0≤j≤n^α}という形の長方形格子における相異なる距離の数はΘ(n)であり、αに依存しない。
• この結果は、Ramanujanの結果を基盤とする、制限された範囲における整数の二乗和としての表現の数に関する数論的推定を用いて確立されている。
• D_α(n)=Θ(n)の境界が、Cilleruelo–Granville予想の特別な場合と同等であることが示され、論文はこの予想に依存せずにその証明を提供している。
• 解析により、区間Iₗにおけるa²−b² = c²−d²の解の数はO(n²α log²n)であることが示され、これが相異なる距離の数に対する最終的な境界に導く。