[论文解读] Sets with few distinct distances do not have heavy lines

Orit E. Raz, Oliver Roche‐Newton+1 more|arXiv (Cornell University)|Oct 7, 2014

Computational Geometry and Mesh Generation参考文献 16被引用 5

一句话总结

本文证明：若平面上 $ n $ 个点的集合 $ P $ 确定的欧氏距离不超过 $ n/5 $ 种，则任意直线所含 $ P $ 中的点数至多为 $ O^*(n^{43/52}) \approx O(n^{0.827}) $。该结果改进了先前的界，并适用于矩形距离（轴平行矩形的有向面积），在类似条件下也得到相同的直线包含上限，方法结合了新颖的关联几何与和积技术，辅以凸函数分析。

ABSTRACT

Let $P$ be a set of $n$ points in the plane that determines at most $n/5$ distinct distances. We show that no line can contain more than $O(n^{43/52}{ m polylog}(n))$ points of $P$. We also show a similar result for rectangular distances, equivalent to distances in the Minkowski plane, where the distance between a pair of points is the area of the axis-parallel rectangle that they span.

研究动机与目标

• 建立在确定较少不同欧氏距离的 $ n $ 点集合 $ P $ 中，单条直线上点数的强上界。
• 将分析扩展至矩形距离（轴平行矩形的有向面积），证明类似的直线包含上界。
• 改进先前结果：在类似距离约束下，对直线和圆的关联数上界分别为 $ O(n^{7/8}) $ 和 $ O(n^{5/6}) $，本研究进一步优化。
• 发展并应用涉及凸函数与和集估计的新关联界，以控制结构化集合中重复差值的数量。

提出的方法

• 提出一种关于由凸函数定义的曲线的新关联界，证明形如 $ y = -f(x+b) + s $ 的曲线至多交于一点，从而可应用关联定理。
• 应用引理 7，通过和集 $ f(A) + C $ 的大小与 $ B $ 的大小，界定至少有 $ t $ 种表示方式的实数 $ x $ 的数量。
• 利用 Hölder 不等式与能量估计，将差集大小与高阶能量函数关联，进而联系到和集增长。
• 引入关键的 $ 45^\circ $ 旋转变换，将矩形距离与闵可夫斯基平面中的平方距离关联，实现几何解释。
• 使用推论 8，以 $ |f(A) + C| $、$ |A| $、$ |C| $ 与 $ |F| $ 表示三阶能量 $ E_3(A) $ 与混合能量 $ E(A,F) $，并包含对数因子。
• 综合上述工具，推导出 $ |f(U) + V| $ 的下界，其表达式为 $ |U| $、$ |U-U| $、$ |V| $ 与 $ \log|U| $ 的函数，该下界对主结论的推导至关重要。

实验结果

研究问题

• RQ1 具有 $ O(n) $ 种不同距离的 $ n $ 点集合，是否可能在一条直线上包含 $ \Omega(n^{7/8}) $ 个点？
• RQ2 在满足 $ D(P) \leq n/5 $ 的点集 $ P $ 中，单条直线上最多可包含多少个点？
• RQ3 当使用矩形距离而非欧氏距离时，直线的关联界如何变化？
• RQ4 能否利用凸函数的和积型估计来控制结构化点集中重复差值的数量？
• RQ5 闵可夫斯基平面在理解矩形距离及其与欧氏几何关系中的作用是什么？

主要发现

• 任意平面上 $ n $ 个点的集合 $ P $，若其确定的欧氏距离不超过 $ n/5 $ 种，则任意直线所含 $ P $ 中的点数至多为 $ O^*(n^{43/52}) \approx O(n^{0.827}) $。
• 该界优于先前在 $ D(P) \leq n/5 $ 条件下得到的 $ O(n^{7/8}) $ 最好结果。
• 对于矩形距离（轴平行矩形的有向面积），在集合不全位于同一条水平或竖直线上的前提下，相同的 $ O^*(n^{43/52}) $ 直线包含上界依然成立。
• 证明依赖于一种关于凸函数定义曲线的新关联界，证明这些曲线至多交于一点，从而可获得强 $ O^* $ 型上界。
• 关键技术贡献为推论 8，其以 $ |f(A)+C| $、$ |A| $、$ |C| $ 与 $ |F| $ 表示三阶能量 $ E_3(A) $ 与混合能量 $ E(A,F) $，并包含对数因子。
• 本文建立了 $ |f(U)+V| $ 的下界，其表达式为 $ |U| $、$ |U-U| $、$ |V| $ 与 $ \log|U| $ 的函数，该下界在通过能量与 Hölder 不等式推导主结论时至关重要。