[論文レビュー] Two theorems on point-flat incidences

Ben Lund|arXiv (Cornell University)|Jul 31, 2017

Computational Geometry and Mesh Generation参考文献 15被引用数 5

ひとこと要約

本稿は、d次元実空間内のn個の点からなる集合がα非退化性条件を満たす場合、r-豊富なk次元平坦部分集合の数に対する改善された上界を確立する。ElekesとTóthのインシデント定理およびBeckの定理を一般化・強化し、このようなk次元平坦部分集合の数がOα,k(n^{k+1}r^{-k-2} + n^k r^{-k})で抑えられることを示し、点集合が生成するk次元平坦部分集合の数に対するBeckの下界を改善。点集合が1つのk次元平坦部分集合に多数の点を含むか、それともΩk(n^{k+1})個のk次元平坦部分集合を生成するかのいずれかであることを示した。

ABSTRACT

We improve the theorem of Beck giving a lower bound on the number of $k$-flats spanned by a set of points in real space, and improve the bound of Elekes and Tóth on the number of incidences between points and $k$-flats in real space.

研究の動機と目的

• d次元実空間内のn個の点からなる集合が生成するr-豊富なk次元平坦部分集合の数に対する上界の改善。
• ElekesとTóthの平面に関するインシデント定理を、次元に依存しない一様な上界を備えた高次元k次元平坦部分集合へ一般化すること。
• Beckの定理における点集合が生成するk次元平坦部分集合の数を、1つのk次元平坦部分集合に含まれる部分集合のサイズの閾値を改善することで強化すること。
• ElekesとTóthの元の結果における制限を解消すること。具体的には、k > 2の場合に非退化パラメータβkが次元に依存するのを排除すること。

提案手法

• α非退化k次元平坦部分集合の概念を導入。ここで、k次元平坦部分集合内の任意の(k−1)次元平坦部分集合が、その上に存在する点の割合がα未満であることを意味する。
• 部分空間の次元に関する帰納法を用い、r-豊富かつα非退化k次元平坦部分集合に含まれるアフィン独立な点の組の数を評価する。
• 点の組と平坦部分集合の間の二重数え上げを用いて、k次元平坦部分集合へのSzemerédi-Trotterインシデント評価の変種を適用する。
• 平坦部分集合の集合を次元ごとにグループに分割する分解法を用い、幾何的制約を適用してその和集合が張る空間の次元を制限する。
• 特殊な場合を扱うために「本質的にα非退化」となる平坦部分集合の概念を導入し、残りの「特殊」な平坦部分集合に対して別個の評価を適用する。
• 平坦部分集合の構造的解析を用い、点集合が1つのk次元平坦部分集合に多数の点を含むか、またはkが奇数の場合はk本の直線の和集合に多数の点を含むか、あるいは点集合がΩk(n^{k+1})個のk次元平坦部分集合を生成するかのいずれかであることを示す。

実験結果

リサーチクエスチョン

• RQ1 α非退化性を仮定したとき、d次元実空間内のn個の点からなる集合が生成するr-豊富なk次元平坦部分集合の数に対する最適な上界は何か？
• RQ2 ElekesとTóthの平面に関するインシデント評価を、非退化パラメータに次元依存性のない高次元k次元平坦部分集合へ拡張できるか？
• RQ3 Beckの定理における点集合が生成するk次元平坦部分集合の数に関する最良の定数c_kは何か？
• RQ4 点集合が、1つのk次元平坦部分集合に線形割合の点を集約するか、または超線形個のk次元平坦部分集合を生成するような条件は何か？

主な発見

• すべてのk ≥ 1に対して、α非退化かつr-豊富なk次元平坦部分集合の数はOα,k(n^{k+1}r^{-k-2} + n^k r^{-k})で抑えられ、定理1（Szemerédi-Trotter）、定理2（Elekes-Tóth）、定理3を一般化する。
• k > 2の場合、この評価は非退化パラメータβkの次元依存性を排除しており、ElekesとTóthの元の結果における制限を解消した。
• この評価は、既知の極値的構成と一致するため、タイトである。また、古典的なSzemerédi-Trotter定理を高次元平坦部分集合へ一般化したと見なせる。
• Beckの定理が改善された：点集合は以下のいずれかを満たす。(1) (1−o(1))n個の点が1つのk次元平坦部分集合に含まれる、(2) (1−o(1))n個の点が1つの(k−1)次元平坦部分集合に含まれる、(3) kが奇数で、(1−o(1))n個の点がk本の直線の和集合に含まれる、(4) PはΩk(n^{k+1})個のk次元平坦部分集合を生成する。
• 改善された評価により、Beckの定数c_kをすべてのkに対して1/2にとれることが示され、kが奇数の場合は1まで高められ、従来の指数的または逆多項式的評価を著しく改善する。
• アフィン独立性に関する帰納法と点の組の二重数え上げを用いた証明手法は、高余次元におけるインシデント問題に耐性のある強固なフレームワークを提供する。