[论文解读] Areas of rectangles and product sets of sum sets

Oliver Roche‐Newton, Misha Rudnev|arXiv (Cornell University)|Mar 28, 2012

Digital Image Processing Techniques被引用 6

一句话总结

本文通过分析闵可夫斯基平面 ℝ¹¹ 并应用改进的关联几何方法解决埃里克斯距离问题，克服了零线带来的挑战，提出了一种改进的计数策略，从而建立了有限集在 ℝ 上的近似最优和积估计：|(A±B)·(A±B)| ≫ |A||B|/(log|A| + log|B|)。

ABSTRACT

Given two points $p,q$ in the real plane, the signed area of the rectangle with the diagonal $[pq]$ equals the square of the Minkowski distance between the points $p,q$. We prove that $N>1$ points in the Minkowski plane $\R^{1,1}$ generate $\Omega(\frac{N}{\log{N}})$ distinct distances, or all the distances are zero. The proof follows the lines of the Elekes/Sharir/Guth/Katz approach to the Erd\H os distance problem, analysing the 3D incidence problem, arising by considering the action of the Minkowski isometry group $ISO^*(1,1)$. The signature of the metric creates an obstacle to applying the Guth/Katz incidence theorem to the 3D problem at hand, since one may encounter a high count of congruent line intervals, lying on null lines, or light cones, all these intervals having zero Minkowski length. In terms of the Guth/Katz theorem, its condition of the non-existence of generally gets violated. It turns out, however, that one can efficiently identify and discount incidences, corresponding to null intervals and devise a counting strategy, where the rich planes condition happens to be just ample enough for the strategy to succeed. As a corollary we establish the following near-optimal sum-product type estimate for finite sets $A,B\subset \R$, with more than one element: $$|(A\pm{B})\cdot{(A\pm{B})}|\gg{\frac{|A||B|}{\log{|A|}+\log{|B|}}}.$$

研究动机与目标

• 为 ℝ 中的有限集建立近似最优的和积估计。
• 解决闵可夫斯基平面 ℝ¹¹ 中的埃里克斯距离问题。
• 克服由于零长度区间在零线上导致的 Guth/Katz 关联定理失效问题。
• 设计一种有效排除零区间关联的计数策略。
• 证明在 ℝ¹¹ 中，若 N > 1 个点的全部距离不全为零，则其生成的闵可夫斯基距离数量为 Ω(N/log N)。

提出的方法

• 将 Elekes/Sharir/Guth/Katz 框架应用于闵可夫斯基平面 ℝ¹¹。
• 分析由闵可夫斯基等距群 ISO*(1,1) 作用引发的三维关联问题。
• 识别并隔离涉及零长度区间在零线（光锥）上的关联。
• 设计一种计数策略，以排除这些零关联，从而保持丰富平面条件的成立。
• 利用以 [pq] 为对角线的矩形的有向面积作为 p 与 q 之间闵可夫斯基距离的平方。
• 通过证明即使存在零线关联，丰富平面条件依然充分，从而建立关键估计。

实验结果

研究问题

• RQ1 尽管零线区间导致违反，Guth/Katz 关联定理是否可被适配于闵可夫斯基平面？
• RQ2 在 ℝ¹¹ 中，N > 1 个点最少能生成多少种不同的闵可夫斯基距离？
• RQ3 在三维关联计数中，如何有效排除零线上关联的影响？
• RQ4 从 ℝ¹¹ 中的几何关联结构中可导出何种和积估计？
• RQ5 当零区间破坏标准关联假设时，丰富平面条件是否仍足以用于计数？

主要发现

• 本文证明：在 ℝ¹¹ 中，若 N > 1 个点的全部距离不全为零，则其生成的闵可夫斯基距离数量为 Ω(N/log N)。
• 建立了近似最优的和积估计：对于 ℝ 中元素多于一个的有限集 A, B ⊂ ℝ，有 |(A±B)·(A±B)| ≫ |A||B|/(log|A| + log|B|)。
• 该方法成功克服了由于零长度区间在零线上导致的 Guth/Katz 定理失效问题。
• 计数策略有效隔离并排除了零区间关联的影响，从而保持了丰富平面条件的实用性。
• 以 [pq] 为对角线的矩形的有向面积等于 p 与 q 之间闵可夫斯基距离的平方，为距离度量提供了几何解释。
• 结果表明，关联几何框架可被推广至不定度量，只要对退化情形进行细致处理。