[논문 리뷰] An improved bound on the number of point-surface incidences in three dimensions

Joshua Zahl|arXiv (Cornell University)|2011. 05. 02.

Computational Geometry and Mesh Generation참고 문헌 18인용 수 48

한 줄 요약

이 논문은 비퇴도 조건 하에서 $ m $개의 점과 $ n $개의 유계 차수를 가진 매끄러운 대수적 표면에 대한 3차원에서의 점-표면 인cidences 수에 대한 상한을 향상시킨다. 두 번의 단계에서 이산 다항식 해저드 불리토 정리를 적용하고 터란 유형 정리와 조합함으로써, $ O(m^{rac{2k}{3k-1}}n^{rac{3k-3}{3k-1}} + m + n) $의 상한을 확립한다. 이는 구의 경우 $ O((mn)^{3/4} + m + n) $로 단순화되며, 점진적으로 증가하는 함수 요소를 포함한 이전 결과를 약간 향상시킨다.

ABSTRACT

We show that $m$ points and $n$ smooth algebraic surfaces of bounded degree in $\RR^3$ satisfying suitable nondegeneracy conditions can have at most $O(m^{\frac{2k}{3k-1}}n^{\frac{3k-3}{3k-1}}+m+n)$ incidences, provided that any collection of $k$ points has at most $O(1)$ surfaces passing through all of them, for some $k\geq 3$. In the case where the surfaces are spheres and no three spheres meet in a common circle, this implies there are $O((mn)^{3/4} + m +n)$ point-sphere incidences. This is a slight improvement over the previous bound of $O((mn)^{3/4} \beta(m,n)+ m +n)$ for $\beta(m,n)$ an (explicit) very slowly growing function. We obtain this bound by using the discrete polynomial ham sandwich theorem to cut $\RR^3$ into open cells adapted to the set of points, and within each cell of the decomposition we apply a Turan-type theorem to obtain crude control on the number of sphere-point incidences. We then perform a second polynomial ham sandwich decomposition on the irreducible components of the variety defined by the first decomposition. As an application, we obtain a new bound on the maximum number of unit distances amongst $m$ points in $\RR^3$.

연구 동기 및 목표

• 세 차원 공간에서 점과 대수적 표면 간의 인cidences 수에 대한 더 엄밀한 상한을 확립하기 위해.
• 특히 단위거리 문제의 맥락에서 점진적으로 증가하는 함수 요소를 포함한 이전 상한의 한계를 해결하기 위해.
• 세 점 이상이 공통 원을 공유하지 않는 등의 비퇴도 조건 하에서 점-구 인cidences 분석을 정교화하기 위해.
• 다항식 해저드 불리토 정리와 같은 이산기하학의 고급 도구를 적용하여 개선된 인cidences 상한을 달성하기 위해.

제안 방법

• $\mathbb{R}^3$를 개구역으로 분할하기 위해 이산 다항식 해저드 불리토 정리를 적용하여 각 개구역이 제어 가능한 수의 점을 포함하도록 한다.
• 각 개구역 내에서 터란 유형 정리를 적용하여 국소적으로 점-구 인cidences 수를 제한한다.
• 첫 번째 분할에 의해 정의된 다양체의 기약 성분에 대해 두 번째 다항식 해저드 불리토 분할을 수행하여 개구역 구조를 더욱 정교화한다.
• 임의의 $ k \geq 3 $개의 점이 $ O(1) $개의 표면에 동시에 존재한다는 비퇴도 조건을 활용하여 전역 인cidences 수를 제어한다.
• 각 개구역 및 성분에서의 상한을 조합하여 개선된 지수를 가진 전역 인cidences 상한을 유도한다.
• 유도된 인cidences 상한을 응용하여 $\mathbb{R}^3$ 내 $ m $개의 점들 사이에서의 최대 단위거리 수에 대한 새로운 상한을 도출한다.

실험 결과

연구 질문

• RQ1 비퇴도 조건 하에서 $\mathbb{R}^3$ 내에서 $ m $개의 점과 $ n $개의 유계 차수를 가진 매끄러운 대수적 표면 간의 인cidences 수에 대한 최적의 상한은 무엇인가?
• RQ2 이전 상한에서 점진적으로 증가하는 함수 $ \beta(m,n) $에 대한 의존성을 기하적 분할 기법을 통해 제거하거나 개선할 수 있는가?
• RQ3 세 개 이상의 구가 공통 원을 공유하지 않는 조건 하에서 $\mathbb{R}^3$ 내에서의 구에 대한 인cidences 상한은 이전 결과와 어떻게 비교되는가?
• RQ4 다항식 해저드 불리토 정리는 얼마나 두 번의 단계에 걸쳐 적용하여 3차원 배열에서의 인cidences 상한을 정교화할 수 있는가?

주요 결과

• 비퇴도 조건(임의의 $ k \geq 3 $개의 점이 $ O(1) $개의 표면에 동시에 존재함) 하에서, $\mathbb{R}^3$ 내에서 $ m $개의 점과 $ n $개의 유계 차수를 가진 매끄러운 대수적 표면 간의 인cidences 수에 대해 새로운 상한 $ O(m^{\frac{2k}{3k-1}}n^{\frac{3k-3}{3k-1}} + m + n) $을 확립하였다.
• 공통 원을 공유하지 않는 구의 특수한 경우에 대해 이 상한은 $ O((mn)^{3/4} + m + n) $로 단순화되며, 이는 이전의 $ O((mn)^{3/4} \beta(m,n) + m + n) $ 상한을 개선한다.
• 이러한 향상은 두 번의 단계에서 이산 다항식 해저드 불리토 정리를 적용함으로써 $ \beta(m,n) $ 요소를 제거함으로써 달성된다.
• 이 방법은 공간을 개구역으로 분할하고, 기약 성분에 대해 분할을 정교화함으로써 국소 및 전역 인cidences 수를 제어하는 데 의존한다.
• 이 인cidences 상한은 $\mathbb{R}^3$ 내 $ m $개의 점들 사이에서의 최대 단위거리 수에 대한 새로운 상한을 도출하며, 이는 인cidences 기하학을 넘어서도 적용 가능함을 보여준다.
• 결과적으로 다항식 해저드 불리토 방법이 비퇴도 제약 조건이 있는 인cidences 문제에서 반복적으로 적용되어 더 엄밀한 상한을 달성할 수 있음을 보여준다.