[论文解读] Bisector energy and few distinct distances

Ben Lund, Adam Sheffer+1 more|arXiv (Cornell University)|Nov 25, 2014

Digital Image Processing Techniques参考文献 12被引用 4

一句话总结

本文引入了角平分线能量这一新工具，用于研究平面上具有较少不同距离的点集。在假设无直线或圆包含过多点的前提下，通过有界角平分线能量，作者们推导出关于不同垂直平分线数量的改进界，并表明：若点集具有 $O(n/\sqrt{\log n})$ 个不同距离，则其要么存在一条包含 $n^\alpha$ 个点（$α \leq 1/4$）的直线或圆，要么存在许多每条包含 $Ω(\sqrt{\log n})$ 个点的直线，从而推进了 Erd". 长期以来的猜想。

ABSTRACT

We introduce the bisector energy of an $n$-point set $P$ in $\mathbb{R}^2$, defined as the number of quadruples $(a,b,c,d)$ from $P$ such that $a$ and $b$ determine the same perpendicular bisector as $c$ and $d$. If no line or circle contains $M(n)$ points of $P$, then we prove that the bisector energy is $O(M(n)^{\frac{2}{5}}n^{\frac{12}{5}+ε} + M(n)n^2).$. We also prove the lower bound $Ω(M(n)n^2)$, which matches our upper bound when $M(n)$ is large. We use our upper bound on the bisector energy to obtain two rather different results: (i) If $P$ determines $O(n/\sqrt{\log n})$ distinct distances, then for any $0

研究动机与目标

• 解决 Erd". 长期以来关于具有较少不同距离的点集结构的猜想，特别是此类点集是否必须包含一条包含 $n^\alpha$ 个点（$α > 0$）的直线。
• 提供一种新的分析工具——角平分线能量，以研究 $\mathbb{R}^2$ 中点集的几何与组合结构。
• 建立点集上位于直线或圆上的点数与该点集所确定的不同垂直平分线数量之间的定量权衡。
• 在无直线或圆包含过多点的前提下，改进 Szemer". 的结果：$O(n/\sqrt{\log n})$ 个不同距离蕴含 $Ω(\sqrt{\log n})$ 个共线点，表明存在更强的结构替代方案。
• 将多项式分划与关联几何的新应用，用于分析平面上垂直平分线的扩展性质。

提出的方法

• 角平分线能量被定义为满足 $a \neq b$，$c \neq d$ 且线段 $a,b$ 与 $c,d$ 的垂直平分线重合的四元组 $(a,b,c,d)$ 的数量，从而捕捉重复的平分线结构。
• 论文证明了角平分线能量的上界：$\mathcal{E}(\mathcal{P}) = O\left(M(n)^{2/5}n^{12/5+\varepsilon} + M(n)n^2\right)$，其中 $M(n)$ 表示任意直线或圆上最多包含的点数。
• 通过将该界与 Guth-Katz 的不同距离定理相结合，作者们推导出具有 $O(n/\sqrt{\log n})$ 个不同距离的点集的结构后果。
• 分析使用了多项式分划与关联几何，特别是点与代数簇之间关联数的界，以控制角平分线能量的增长。
• 采用代数簇维度的归纳法，利用 Elekes 和 R"." 框架中关于实数域上多项式扩展的界。
• 通过 H"{o}lder 不等式与单元分解，推导出关键不等式，以控制分划区域内的关联数，最终得出能量上界。

实验结果

研究问题

• RQ1 当无直线或圆包含超过 $M(n)$ 个点时，$\mathbb{R}^2$ 中有限点集的最大可能角平分线能量是多少？
• RQ2 当点集中无直线或圆包含大量点时，不同垂直平分线的数量如何增长？
• RQ3 若一个点集具有 $O(n/\sqrt{\log n})$ 个不同距离，且无直线或圆包含 $n^\alpha$ 个点，则会引发何种结构约束？
• RQ4 能否在 $\Omega(\sqrt{\log n})$ 个共线点的界之外，进一步改进具有较少不同距离的点集中共线点数的界？
• RQ5 若不存在高重数的直线或圆，是否可推出存在大量不同的垂直平分线？

主要发现

• 对于任意 $n$-点集 $\mathcal{P} \subset \mathbb{R}^2$，若无直线或圆包含超过 $M(n)$ 个点，则其角平分线能量满足 $\mathcal{E}(\mathcal{P}) = O\left(M(n)^{2/5}n^{12/5+\varepsilon} + M(n)n^2\right)$。
• 建立了匹配的下界 $\mathcal{E}(\mathcal{P}) = \Omega(M(n)n^2)$，表明当 $M(n)$ 较大时，该上界是紧的。
• 若一个点集确定了 $O(n/\sqrt{\log n})$ 个不同距离，则要么存在一条或一个圆包含 $n^\alpha$ 个点（对任意 $0 < \alpha \leq 1/4$），要么存在 $\Omega(n^{8/5 - 12\alpha/5 - \varepsilon})$ 条不同直线，每条直线包含 $\Omega(\sqrt{\log n})$ 个点。
• 点集 $\mathcal{P}$ 所确定的不同垂直平分线数量为 $\Omega\left(\min\left\{M(n)^{-2/5}n^{8/5-\varepsilon}, M(n)^{-1}n^2\right\} ight)$，这是 Elekes-R"." 框架中首次实现的更高维扩展结果。
• 角平分线能量的界是通过多项式分划与关联几何推导得出的，且依赖于 Guth-Katz 的不同距离定理作为关键输入。
• 能量界的应用表明，具有较少不同距离的点集要么具有较高的直线/圆重数，要么其密集直线的数量显著多于以往已知的数量，从而改进了 Szemer". 的结果。