[论文解读] The number of unit-area triangles in the plane: Theme and variations

Orit E. Raz, Micha Sharir|arXiv (Cornell University)|Jan 2, 2015

Computational Geometry and Mesh Generation参考文献 14被引用 4

一句话总结

该论文将平面上 $ n $ 个点构成的单位面积三角形数量的上界从 $ O(n^{9/4}) $ 改进为 $ O(n^{20/9}) $，通过将问题新颖地转化为 $ \mathbb{R}^4 $ 中点与二维代数曲面的关联问题，同时为特殊情况建立了紧致界：在三条直线上为 $ \Omega(n^2) $ 个单位面积三角形，在凸网格上为 $ O(n^{31/14}) $ 个。

ABSTRACT

We show that the number of unit-area triangles determined by a set $S$ of $n$ points in the plane is $O(n^{20/9})$, improving the earlier bound $O(n^{9/4})$ of Apfelbaum and Sharir [Discrete Comput. Geom., 2010]. We also consider two special cases of this problem: (i) We show, using a somewhat subtle construction, that if $S$ consists of points on three lines, the number of unit-area triangles that $S$ spans can be $Ω(n^2)$, for any triple of lines (it is always $O(n^2)$ in this case). (ii) We show that if $S$ is a {\em convex grid} of the form $A imes B$, where $A$, $B$ are {\em convex} sets of $n^{1/2}$ real numbers each (i.e., the sequences of differences of consecutive elements of $A$ and of $B$ are both strictly increasing), then $S$ determines $O(n^{31/14})$ unit-area triangles.

研究动机与目标

• 改进平面上 $ n $ 个点构成的单位面积三角形数量的上界。
• 分析单位面积三角形数量可能被最大化或最小化的特殊配置。
• 为两个特定情况（三点共线于三条直线和凸网格）建立紧致的渐近界。
• 将高级关联几何技术应用于离散几何中的经典问题。

提出的方法

• 将计数单位面积三角形的问题转化为 $ \mathbb{R}^4 $ 中点与二维代数曲面之间的关联问题。
• 利用 Solymosi 和 De Zeeuw 最近得到的在特定代数约束下点与曲面关联的界。
• 通过富点和富平面的二元分解来高效管理关联计数。
• 在投影平面上应用 Szemerédi–Trotter 定理，以界定三维和四维配置中的关联数。
• 利用 Schoen 和 Shkredov 的结果中的凸集差分性质，分析凸网格情形。
• 通过三元多项式零点理论构造三条直线配置的极值例子。

实验结果

研究问题

• RQ1 平面上 $ n $ 个点最多能构成多少个单位面积三角形？
• RQ2 能否改进 $ O(n^{9/4}) $ 的上界？若能，通过何种方法？
• RQ3 对于三条直线，$ O(n^2) $ 的上界是否紧致？是否对任意三条直线都能达到？
• RQ4 对于大小为 $ n^{1/2} $ 的凸集 $ A $ 和 $ B $ 构成的凸网格 $ A \times B $，能形成多少个单位面积三角形？
• RQ5 高维空间中的关联几何能否为三角形计数问题提供更强的界？

主要发现

• 平面上 $ n $ 个点构成的单位面积三角形数量为 $ O(n^{20/9}) $，优于先前的 $ O(n^{9/4}) $ 界。
• 对于任意三条直线，均存在 $ n $ 个点的配置（每条直线上一个点）可构成 $ \Omega(n^2) $ 个单位面积三角形，表明 $ O(n^2) $ 界是紧致的。
• 在凸网格 $ A \times B $ 且 $ |A| = |B| = n^{1/2} $ 的情况下，单位面积三角形的数量为 $ O(n^{31/14}) $。
• 该分析依赖于将问题约化为 $ \mathbb{R}^4 $ 中的点-曲面关联，且此设定满足 Solymosi–De Zeeuw 关联界中的假设。
• 三条直线的构造与 Elekes–Rónyai 定理（关于三元多项式零点集）密切相关。
• 凸网格的界在后续工作中进一步改进，但当前结果仍为 $ O(n^{31/14}) $。