[论文解读] On the number of classes of triangles determined by $N$ points in $\R^2$

Misha Rudnev|arXiv (Cornell University)|May 22, 2012

Computational Geometry and Mesh Generation参考文献 12被引用 7

一句话总结

该论文在无直线包含点集正比例点的条件下，建立了平面内 $N$ 个点所构成的三角形在全等与相似关系下的不同类别的下限。通过使用组合几何——具体而言，在 $\mathbb{R}^3$ 中研究全等三角形的点-线关联，在 $\mathbb{C}^2$ 中研究相似三角形的关联——证明了 $P$ 确定 $\Omega(N^2)$ 个全等类与 $\Omega(N^2 / \log N)$ 个相似类。

ABSTRACT

Let $P$ be a set of $N$ points in the Euclidean plane, where a positive proportion of points lies off a single straight line. This note points out two facts concerning the number of equivalence classes of triangles that $P$ determines, namely that (i) $P$ determines $Ω(N^2)$ different equivalence classes of congruent triangles, and (ii) $P$ determines $Ω(\frac{N^2}{\log N})$ different equivalence classes of similar triangles. The first fact follows from the recent theorem by Guth-Katz on point-line incidences in $\R^3$. The second one, perhaps not so well known, is due to Solymosi and Tardos.

研究动机与目标

• 确定在无直线包含点集正比例点的条件下，$\mathbb{R}^2$ 中 $N$ 个点所构成的三角形的最小不同全等类数量。
• 建立在等距变换（全等）与相似变换（位似）下三角形等价类数量的紧下界。
• 展示如何利用高维空间中的关联定理来推导平面几何中的组合界限。
• 比较并对比通过群作用分析全等与相似三角形的方法——全等使用刚体运动，相似使用复线性变换。
• 强调 Guth-Katz 与 Solymosi-Tardos 关联定理在解决这些几何组合问题中的作用。

提出的方法

• 通过将每对点与 $\mathbb{R}^3$ 中的一条直线关联，将全等三角形的等价类问题转化为 $\mathbb{R}^3$ 中的关联问题，该直线表示将一个点映射到另一个点的刚体运动。
• 在 $\mathbb{R}^3$ 中应用 Guth-Katz 关联定理，以限制表示刚体运动的这些直线的三重交点数量，这些交点对应于全等的三角形对。
• 应用柯西-施瓦茨不等式，从全等三角形对的总数推导出不同全等类的下界。
• 对于相似三角形，将保向相似变换群建模为复线性变换 $\psi(z) = az + b$，并将每对点映射到 $\mathbb{C}^2$ 中的一条直线。
• 应用复数 Szemerédi-Trotter 定理（通过 Solymosi-Tardos 方法），以限制 $\mathbb{C}^2$ 中的三重交点数量，这些交点对应于相似的三角形对。
• 通过对交点重数进行 dyadic 求和，并应用柯西-施瓦茨不等式，推导出相似类的 $\Omega(N^2 / \log N)$ 下界。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^2$ 中，$N$ 个点构成的三角形的最小不同全等类数量是多少，前提是无直线包含点集的正比例点？
• RQ2 此类点集中构成的三角形的最小不同相似类数量是多少？
• RQ3 高维空间中的关联定理能否用于推导平面几何构型的组合界限？
• RQ4 等距变换与复线性变换的群作用在计数三角形等价类时有何不同影响？
• RQ5 相似类界限中的 $\log N$ 因子是几何本质的约束，还是当前方法的产物？

主要发现

• 在无直线包含点集正比例点的条件下，$\mathbb{R}^2$ 中 $N$ 个点所确定的三角形的不同全等类数量为 $\Omega(N^2)$，且该下界是紧的，如正方形格点示例所示。
• 此类点集所确定的三角形的不同相似类数量为 $\Omega(N^2 / \log N)$，该结果通过 Solymosi-Tardos 关联结果与柯西-施瓦茨不等式推导得出。
• 全等三角形的证明依赖于 $\mathbb{R}^3$ 中的 Guth-Katz 关联定理，该定理限制了表示刚体运动的直线的三重交点数量。
• 相似三角形的证明采用问题的复化形式，将点对映射到 $\mathbb{C}^2$ 中的直线，并应用复数 Szemerédi-Trotter 定理以限制三重交点数量。
• 相似类界限中的 $\log N$ 因子被推测为方法的产物而非紧下界，尽管目前尚无反例。
• 该分析揭示了全等（等距群）与相似（Möbius 或复线性群）问题之间的对偶性，且两者需要不同的关联理论技术。