[论文解读] 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格点，作者表明，该框架对柯西-施瓦茨不等式的依赖本质上限制了其无法达到猜想中的Θ(n/√log n)界，即使真实界成立。本文证明，该框架对等距离四元组数量的上界在正方形格点上是紧致的，意味着必须进行根本性的方法论变革——超越柯西-施瓦茨不等式——才能弥合这一差距。

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框架在推导点集中不同距离最优下界时的局限性。
• 证明该框架使用柯西-施瓦茨不等式导致其无法达到正方形格点上猜想的Θ(n/√log n)下界。
• 表明Guth和Katz对等距离四元组数量的上界在正方形格点上是紧致的，暗示该框架在不进行重大修改的情况下无法超越Ω(n/log n)的界限。
• 建立形如{(i,j) : 0≤i≤n^{1−α}, 0≤j≤n^α}的矩形格点在0<α<1/2时的不同距离数量为Θ(n)，从而绕过一个深层的数论猜想。
• 将此结果与Cilleruelo和Granville关于圆上短弧上格点数量的猜想联系起来，表明若该猜想被正面解决，则可推出相同界。

提出的方法

• 在Elekes-Sharir框架内重新表述Erdős对正方形格点原始下界的推导，重点在于计数满足|ap|=|bq|的四元组(a,p,b,q)。
• 应用柯西-施瓦茨不等式，以不同距离数x表示此类四元组数量|Q|的下界。
• 证明对于√n×√n格点，|Q|=Θ(n³log n)，与Guth和Katz的上界一致，从而证明该框架的界在此实例中是紧致的。
• 使用数论工具，特别是Ramanujan关于两平方和结果的分析，研究整数在受限范围内表示为两平方和的表示数量。
• 分析方程a²−b² = c²−d²在区间Iₗ中的解的数量，以界定∑ₘ 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 形如{(i,j) : 0≤i≤n^{1−α}, 0≤j≤n^α}且0<α<1/2的矩形格点中，不同距离的数量是多少？
• RQ4 Cilleruelo和Granville关于圆上短弧上格点数量的数论猜想，在多大程度上能推出矩形格点的D_α(n)=Θ(n)？
• RQ5 是否可以在不假设Cilleruelo–Granville猜想的前提下推导出D_α(n)=Θ(n)？若可以，其方法是什么？

主要发现

• Elekes-Sharir框架若不将柯西-施瓦茨不等式替换为根本不同的技术，则无法实现正方形格点中不同距离猜想的Θ(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猜想在圆上短弧上格点数量的一个特例，且本文提供了绕过该猜想的证明。
• 分析表明，方程a²−b² = c²−d²在区间Iₗ中的解的数量为O(n²α log²n)，从而导出不同距离数量的最终界。