[論文レビュー] 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 $ という二次超曲面上に明示的に構築すること。
• SharirとSolomon [23] の交差上界が、二次曲面制約を除いた場合にはタイトでないことを、$ \Theta(m^{2/3}n^{1/2}) $ の交差数を持つ配置を示すことによって証明すること。
• $ \mathbb{R}^4 $ からの一般射影を用いて、$ \mathbb{R}^3 $ への構成を拡張し、各平面に $ O(1) $ 条の直線が存在する配置とし、交差数を $ \Theta(m^{2/3}n^{1/2}) $ にすること。
• $ \mathbb{R}^3 $ における点-直線交差の上界 $ O(m^{2/3}n^{1/2} + m + n) $ が、どの平面にも $ O(1) $ 条の直線しか含まないという条件下でタイトであるかどうかという未解決の問題を提起すること。

提案手法

• 代数的・幾何的パrameterization を用いて、$ \mathbb{R}^4 $ 内の二次超曲面 $ S = \{x_1 = x_2^2 + x_3^2 - x_4^2\} $ 上に点-直線配置を構築する。
• $ m = \Theta(k^{3+3\alpha}) $、$ n = \Theta(k^{2+4\alpha}) $ を定義し、交差数が $ \Theta(k^{3+4\alpha}) = \Theta(m^{2/3}n^{1/2}) $ であることを示す。
• 直線と2次元部分空間（2-フラット）の交点を解析し、Bézout型の境界を用いることで、任意の2-フラット上に高々 $ O(1) $ 条の直線が存在することを証明する。
• 直線と超平面の交点を解析し、超曲面の構造を用いることで、任意の超平面上に高々 $ O(k^{1+3\alpha}) = O(n/m^{1/3}) $ 条の直線が存在することを示す。
• $ \mathbb{R}^4 $ から超平面 $ H \subset \mathbb{R}^4 $ への一般射影を用い、直線の交差を保存するとともに、像において各平面に高々 $ 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 = O(n/m^{1/3}) $ のようなより広い範囲の $ q $ を許容する一般化は可能か？ その場合でも、既知の上界を超えることができるか？
• RQ3 $ \mathbb{R}^3 $ において、どの平面にも高々 $ O(1) $ 条の直線しか含まない条件下で、同様の高交差数の配置を達成できるか？
• RQ4 $ \mathbb{R}^3 $ において、どの平面にも高々 $ O(1) $ 条の直線しか含まないという条件下で、上記の交差上界 $ O(m^{2/3}n^{1/2} + m + n) $ がタイトであるか？
• 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] の既知の上界を上回る。
• 構成により、任意の2-フラット上に高々 $ 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) $ がタイトである可能性が示唆される。
• 本結果により、[23] の二次曲面に沿った直線数制限の仮定が、$ n^{9/8} < m < n^{3/2} $ の範囲で必要であることが示された。なぜなら、この仮定がないと、真の交差数を捕捉できない上界が得られるからである。