[论文解读] Ordinary lines in space

Frank de Zeeuw|arXiv (Cornell University)|Mar 26, 2018

Computational Geometry and Mesh Generation参考文献 6被引用 3

一句话总结

该论文证明了在 ℝ³ 中，若任意平面上的点数不超过 αn（其中 α < 1），则有限点集至少确定 cₐn² 条普通直线，建立了二次下界。证明方法借鉴 Kelly 的思想，通过投影将三维构型映射到二维平面，同时保持共线性，并结合 Beck 在平面上的直线生成定理，表明真正三维的构型所产生的普通直线数量显著多于平面构型。

ABSTRACT

We prove that if a finite point set in real space does not have too many points on a plane, then it spans a quadratic number of ordinary lines. This answers the real case of a question of Basit, Dvir, Saraf, and Wolf. It shows that there is a significant difference in terms of ordinary lines between planar point sets, which may span a linear number of ordinary lines, and truly three-dimensional point sets. Our proof uses a projection argument of Kelly combined with a theorem of Beck on the number of spanned lines of a planar point set.

研究动机与目标

• 解决 Basit、Dvir、Saraf 和 Wolf 提出的问题在实数情形下的最小普通直线数问题。
• 在普通直线数量方面，建立平面构型与真正三维构型之间的显著数量差异。
• 证明若任一平面上的点数不超过 αn（α < 1），则普通直线数量为 Ω(n²)，优于以往的线性界。
• 探讨该下界的紧致性及其对共面性参数 α 的依赖性，并讨论点数极少非共面点的构型的含义。

提出的方法

• 从点集所张成的所有平面之外的某一点进行一般性投影，将三维构型映射到二维平面，同时保持共线性。
• 应用 Beck 在平面上的直线生成定理：若任一直线不包含超过 βn 个点，则至少生成 γn² 条直线。
• 利用投影将平面上的直线生成下界回传至三维空间，确保原点集至少生成 Ω(n²) 条直线。
• 将投影后的直线计数与单个平面上点数的分类讨论相结合，推导出普通直线的二次下界。
• 通过在两条歪斜直线上各放置 n/2 个点的构造，得出普通直线数至少为 n²/4，作为理论下界的基准。
• 对任意平面上点数不超过 n−k 的构型，采用递归论证：对平面子构型使用定理 1.2，对剩余部分使用定理 1.3。

实验结果

研究问题

• RQ1 若 ℝ³ 中的有限点集满足任意平面上的点数不超过 αn，则其最少可确定多少条普通直线？
• RQ2 在三维构型中，普通直线的数量与已知具有线性下界的平面构型相比有何不同？
• RQ3 能否为共面性受限制的三维点集建立普通直线的二次下界？最佳可能常数是多少？
• RQ4 该证明方法在多大程度上可推广至复数情形 ℂ³？其主要障碍是什么？

主要发现

• 对任意 α < 1，存在 cₐ > 0，使得任意在 ℝ³ 中的 n 点集，若任一平面上的点数不超过 αn，则至少生成 cₐn² 条普通直线。
• 该下界在 n 上为二次型，表明在普通直线数量方面，平面构型与真正三维构型存在根本性差异。
• 目前已知的最佳构造——在两条歪斜直线上各放 n/2 个点——恰好产生 n²/4 条普通直线，表明理论下界在常数因子上并非紧致。
• 当任意平面上的点数不超过 n−k 时，普通直线数至少为 (k + 1/2)(n−k) − (k 选 2)，对足够大的 n，该结果与已知构造在低阶项上一致。
• 该结果表明，即使非共面点数很少，构型仍会产生线性数量的普通直线，但常数随 k 增大而增长。
• 该证明在 ℂ³ 上失效，主要原因是 Sylvester–Gallai 定理不成立，为此提出了两个猜想，或可将结果推广至复数情形。