[论文解读] Incidences between points and lines on a two-dimensional variety

Micha Sharir, Noam Solomon|arXiv (Cornell University)|Jan 13, 2015

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

一句话总结

本文提出了一种关于 R^d 中二维代数曲面（d ≥ 3）上 m 个点与 n 条直线之间交点数的新、初等证明，该曲面的次数为 D，且任意 2-平面不包含超过 s ≤ D 条直线。关键结果是得到了一个改进的界：O(m^{1/2}n^{1/2}D^{1/2} + m^{2/3}min{n,D^2}^{1/3}s^{1/3} + m + n)，通过避免先前工作中常见的 O(nD) 项，显著强化了已有界，尤其在 D 较小时效果更明显。

ABSTRACT

We present a direct and fairly simple proof of the following incidence bound: Let $P$ be a set of $m$ points and $L$ a set of $n$ lines in ${\mathbb R}^d$, for $d\ge 3$, which lie in a common algebraic two-dimensional surface of degree $D$ that does not contain any 2-flat, so that no 2-flat contains more than $s \le D$ lines of $L$. Then the number of incidences between $P$ and $L$ is $$ I(P,L)=O\left(m^{1/2}n^{1/2}D^{1/2} + m^{2/3}\min\{n,D^{2}\}^{1/3}s^{1/3} + m + n ight). $$ When $d=3$, this improves the bound of Guth and Katz~\cite{GK2} for this special case, when $D$ is not too large. A supplementary feature of this work is a review, with detailed proofs, of several basic (and folklore) properties of ruled surfaces in three dimensions.

研究动机与目标

• 推导出在 R^d（d ≥ 3）中位于同一二维代数曲面的点与直线之间更紧的交点界。
• 通过利用曲面的几何结构，消除先前结果（如 Guth 与 Katz 的工作）中常见的 O(nD) 项。
• 提供一个自包含且初等的证明，避免依赖多项式分划等高级工具，转而使用直纹面的性质。
• 在每张平面最多包含 s 条直线的约束下，将交点界推广至曲面可能包含平面部分的情形。
• 通过证明在 R 与 C 上均成立的界，为高维交点问题建立基础，且该结果具有推广潜力。

提出的方法

• 利用代数几何分析不包含任何 2-平面的二维曲面 V（次数为 D）的结构。
• 通过将点与直线投影到一个一般位置的 2-平面，将交点问题简化，同时保持交点计数不变。
• 在平面情形下应用 Szemerédi–Trotter 定理作为交点界的基准情形。
• 根据直线在 V 的不可约分支中的包含关系，将直线集 L 分解为若干子集，特别关注位于直纹面上的直线。
• 通过将不完全包含于任一分量中的直线的交点计数，归因于直线与分量的交点，而这些交点总数受 nD 限制。
• 通过一种新颖的论证方式，利用 s（每张 2-平面中最多直线数）和次数 D 的有界性，替代了 O(nD) 项，从而得到更紧的 O(m^{2/3}min{n,D^2}^{1/3}s^{1/3}) 项。

实验结果

研究问题

• RQ1 能否在不依赖多项式分划的前提下，为 R^d（d ≥ 3）中位于二维代数曲面上的点与直线之间推导出更紧的交点界？
• RQ2 是否可以通过利用曲面的几何约束以及每张 2-平面中直线数有界的条件，消除交点界中的 O(nD) 项？
• RQ3 当包含曲面 V 包含平面部分，且每张 2-平面中不包含超过 s 条直线时，交点界将如何变化？
• RQ4 该界能否推广至复数域？当前技术在此情境下的局限性是什么？
• RQ5 在三维空间中，对于单直纹面，点与直线之间最紧的交点界是什么？它与现有界相比如何？

主要发现

• 本文建立了新的交点界：O(m^{1/2}n^{1/2}D^{1/2} + m^{2/3}min{n,D^2}^{1/3}s^{1/3} + m + n)，当 D ≪ n^{1/2} 时，在三维空间中优于 Guth–Katz 的界。
• 通过利用 s ≤ D 的约束和曲面的几何结构，避免了先前工作中常见的 O(nD) 项，显著改进了低次曲面情形的界。
• 对于不包含任何 2-平面的常数次曲面 V，交点数为 O(m + n)，即线性界，该结果将平面情形下的 Szemerédi–Trotter 结果推广至高维代数曲面。
• 本文还给出了包含平面部分的曲面的界的扩展，当每张 2-平面中不包含超过 s 条直线时，交点数为 O(m^{2/3}s^{2/3} + m + n)。
• 该证明整体上是初等且自包含的，避免了多项式分划的使用，转而依赖代数几何与直纹面的性质。
• 该结果在 R 与 C 上均成立，尽管最后一步使用 Guth–Katz 界的环节目前仅限于 R；作者建议，若要推广至复数域，可能需要采用不同的方法替代该步骤。