[论文解读] Highly incidental patterns on a quadratic hypersurface in $\mathbb{R}^4$

Noam Solomon, Ruixiang Zhang|arXiv (Cornell University)|Jan 8, 2016

Mathematics and Applications参考文献 21被引用 5

一句话总结

本文在 $ \mathbb{R}^4 $ 中的二次超曲面上构造了 $ m $ 个点和 $ n $ 条线的配置，其关联数达到 $ \Theta(m^{2/3}n^{1/2}) $，当 $ n^{9/8} < m < n^{3/2} $ 时，超过了已知的上界 $ O^*(m^{2/5}n^{4/5} + m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + m + n) $。该构造表明，在先前定理中要求任意二次曲面上的直线数量较少的假设在此参数范围内是必要的，且通过投影可在 $ \mathbb{R}^3 $ 中得到类似的关联界，暗示该界在此处是紧致的。

ABSTRACT

In [Sharir and Solomon 2015], Sharir and Solomon showed that the number of incidences between $m$ distinct points and $n$ distinct lines in $\mathbb R^4$ is $$O^*\left(m^{2/5}n^{4/5}+ m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + m + n ight),$$ provided that no 2-flat contains more than $s$ lines, and no hyperplane or quadric contains more than $q$ lines, where the $O^*$ hides a multiplicative factor of $2^{c\sqrt {\log m}}$ for some absolute constant $c$. In this paper we prove that, for integers $m,n,$ satisfying $n^{9/8}

研究动机与目标

• 为了证明在 $ \mathbb{R}^4 $ 中，对于某些 $ m $ 和 $ n $ 的取值范围，关联定理中限制任意二次曲面上直线数量的条件是必要的。
• 在二次超曲面 $ S = \{x_1 = x_2^2 + x_3^2 - x_4^2\} \subset \mathbb{R}^4 $ 上构造显式的点-线配置，并使其具有较高的关联数。
• 通过展示一个具有 $ \Theta(m^{2/3}n^{1/2}) $ 关联数的配置，证明当忽略二次曲面约束时，Sharir 和 Solomon [23] 的关联界并非紧致。
• 通过投影将该构造推广到 $ \mathbb{R}^3 $，得到每张平面上至多 $ O(1) $ 条直线且关联数为 $ \Theta(m^{2/3}n^{1/2}) $ 的配置。
• 提出一个开放问题：当没有平面包含超过 $ O(1) $ 条直线时，$ O(m^{2/3}n^{1/2} + m + n) $ 是否是 $ \mathbb{R}^3 $ 中点-线关联数的紧致上界。

提出的方法

• 使用代数与几何参数化方法，在二次超曲面 $ S = \{x_1 = x_2^2 + x_3^2 - x_4^2\} \subset \mathbb{R}^4 $ 上构造点-线配置。
• 定义 $ m = \Theta(k^{3+3\alpha}) $，$ n = \Theta(k^{2+4\alpha}) $，并证明关联数为 $ \Theta(k^{3+4\alpha}) = \Theta(m^{2/3}n^{1/2}) $。
• 通过分析直线与二维平面的交点并利用布吕姆-杜宾型（Bézout-type）界，证明任意二维平面至多有 $ O(1) $ 条直线。
• 通过分析直线与超平面的交点并利用超曲面的结构，证明任意超平面上的直线数至多为 $ O(k^{1+3\alpha}) = O(n/m^{1/3}) $。
• 从 $ \mathbb{R}^4 $ 到 $ \mathbb{R}^4 $ 中某超平面 $ H $ 进行一般性投影，保持直线关联性，并确保像中每张平面至多有 $ O(1) $ 条直线。
• 将构造出的关联数 $ \Theta(m^{2/3}n^{1/2}) $ 与 [23] 中的上界进行比较，发现在 $ n^{9/8} < m < n^{3/2} $ 时，其渐近地超过该上界。

实验结果

研究问题

• RQ1 当忽略二次曲面约束时，$ \mathbb{R}^4 $ 中关联界 $ O^*(m^{2/5}n^{4/5} + m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + m + n) $ 是否是紧致的？
• RQ2 该构造能否推广至更广范围的 $ q $，例如 $ q = O(n/m^{1/3}) $，同时仍超过已知上界？
• RQ3 当没有平面包含超过 $ O(1) $ 条直线时，是否可能在 $ \mathbb{R}^3 $ 中实现类似的高关联配置？
• RQ4 在没有平面包含超过 $ O(1) $ 条直线的约束下，$ O(m^{2/3}n^{1/2} + m + n) $ 是否是 $ \mathbb{R}^3 $ 中点-线关联数的紧致上界？
• RQ5 此类构造在更高维度 $ d > 4 $ 中如何推广？其对 $ \mathbb{R}^d $ 中关联界有何影响？

主要发现

• 当 $ n^{9/8} < m < n^{3/2} $ 时，本文在 $ \mathbb{R}^4 $ 中的超曲面 $ S \subset \mathbb{R}^4 $ 上构造了 $ m $ 个点和 $ n $ 条线，其关联数为 $ \Theta(m^{2/3}n^{1/2}) $，该值超过了 Sharir 和 Solomon [23] 的已知上界。
• 该构造确保任意二维平面至多有 $ O(1) $ 条直线，满足了先前定理中 $ s = O(1) $ 的条件。
• 任意超平面上的直线数被限制在 $ O(n/m^{1/3}) $ 以内，对应于 $ q = O(n/m^{1/3}) $，表明上界中对 $ q $ 的依赖关系是必要的。
• 在指定参数范围内，关联数 $ \Theta(m^{2/3}n^{1/2}) $ 渐近地大于上界 $ O^*(m^{2/5}n^{4/5} + m^{1/2}n^{1/2}q^{1/4} + m^{2/3}n^{1/3}s^{1/3} + m + n) $ 的所有项。
• 从 $ \mathbb{R}^4 $ 到 $ \mathbb{R}^3 $ 的投影产生了一个包含 $ m $ 个点、$ n $ 条直线、每张平面至多 $ O(1) $ 条直线且关联数为 $ \Theta(m^{2/3}n^{1/2}) $ 的配置，暗示 $ \mathbb{R}^3 $ 中的界 $ O(m^{2/3}n^{1/2} + m + n) $ 可能是紧致的。
• 结果表明，在 $ n^{9/8} < m < n^{3/2} $ 的参数范围内，[23] 中对二次曲面上直线数量的假设是必要的，因为若忽略该假设，上界将无法捕捉真实的关联数。