[논문 리뷰] Incidences between points on a variety and planes in R^3

Micha Sharir, Noam Solomon|arXiv (Cornell University)|2016. 03. 15.

Computational Geometry and Mesh Generation참고 문헌 9인용 수 6

한 줄 요약

이 논문은 ℝ³ 내의 일정 도수의 기약 대수적 곡면 V ⊂ ℝ³ 상의 m개 점과 ℝ³ 내의 n개 평면 사이의 상호작용 수를 기하적 분해와 최근의 대수적 곡선 절단 결과를 활용하여 향상된 경계로 설정한다. 주요 결과는 O(m²/³n²/³ + m⁶/¹¹n⁹/¹¹ logᵝ(m³/n) + m + n)의 경계이며, 점들이 비선형 다양체 위에 있을 경우 이전의 일반 경계보다 향상된다. 이는 교차비 문제와 모비우스 변환에의 응용을 포함한다.

ABSTRACT

In this paper we establish an improved bound for the number of incidences between a set $P$ of $m$ points and a set $H$ of $n$ planes in $\mathbb R^3$, provided that the points lie on a two-dimensional nonlinear irreducible algebraic variety $V$ of constant degree. Specifically, the bound is $$ O\left( m^{2/3}n^{2/3} + m^{6/11}n^{9/11}\log^β(m^3/n) + m + n + \sum_\ell |P_\ell|\cdot |H_\ell| ight) , $$ where the constant of proportionality and the constant exponent $β$ depend on the degree of $V$, and where the sum ranges over all lines $\ell$ that are fully contained in $V$ and contain at least one point of $P$, so that, for each such $\ell$, $P_\ell = P\cap\ell$ and $H_\ell$ is the set of the planes of H that contain $\ell$. In addition, $\sum_\ell |P_\ell| = O(m)$ and $\sum_\ell |H_\ell| = O(n)$. This improves, for this special case, the earlier more general bound of Apfelbaum and Sharir (see also Brass and Knauer as well as Elekes and Tóth). This is a generalization of the incidence bound for points and circles in the plane (cf. Aronov et al., Aronov and Sharir, Marcus and Tardos), and is based on a recent result of Sharir and Zahl on the number of cuts that turn a collection of algebraic curves into pseudo-segments. The case where $V$ is a quadric is simpler to analyze, does not require the result of Sharir and Zahl, and yields the same bound as above, with $β=2/11$. We present an interesting application of our results to a problem, studied by Rudnev, on obtaining a lower bound on the number of distinct cross-ratios determined by $n$ real points, where our bound leads to a slight improvement in Rudnev's bound.

연구 동기 및 목표

• ℝ³ 내의 두 차원 비선형 기약 대수적 다양체 V ⊂ ℝ³ 상의 점들과 ℝ³ 내의 평면 사이의 상호작용 수를 개선하는 것.
• 상호작용 그래프를 다양체 V에 완전히 포함된 직선과 잔여 상호작용으로 분해하여 상호작용을 분석하는 것.
• 이 경계를 이산 기하학 분야의 기존 결과를 강화하는 데 적용하여, 특히 서로 다른 교차비와 모비우스 변환에 중점을 두는 것.
• 쌍곡 포물면 위에서 점-평면 상호작용 기하학을 활용하여 k-rich 모비우스 변환의 분석을 정교화하는 것.
• 향상된 상호작용 경계가 n개의 실수 점에 의해 결정되는 서로 다른 교차비의 수에 대해 더 날카로운 하한을 이끌어내는 것을 보여주는 것.

제안 방법

• 상호작용 그래프 G(P,H)를 각 Pᵢ = P ∩ ℓᵢ이고 Hᵢ가 직선 ℓᵢ ⊂ V를 포함하는 평면들로 구성된 완전 이분 그래프 Pᵢ × Hᵢ의 합집합으로 분해한다.
• Sharir와 Zahl의 대수적 곡선을 의사-세그먼트로 잘라내는 결과를 새로운 방식으로 적용하여 잔여 상호작용 I₀(P,H)를 경계한다.
• 모비우스 변환은 z = xy인 쌍곡 포물면 Π와의 교차에서 평면으로 모델링하며, 점 (a,b,ab)는 변환 쌍을 나타낸다.
• 정리 1.1을 적용하여 Π 상의 m = n²개 점과 k-rich 변환에 대응하는 N개 평면 사이의 상호작용을 경계한다.
• 상호작용 경계와 하한 kN ≥ k를 비교하여 k-rich 변환의 수 N≥k에 대한 상한을 유도한다.
• 유도된 경계 N≥k = O(n⁴/k³ + n⁶/k¹¹/² log k + n²/k)를 활용하여 Rudnev의 교차비 분석을 향상시킨다.

실험 결과

연구 질문

• RQ1 ℝ³ 내의 일정 도수의 대수적 곡면 상의 점들과 ℝ³ 내의 평면 사이의 상호작용 수를 일반적인 O(m³/⁴n³/⁴ + m + n) 경계를 초월해 향상시킬 수 있는가?
• RQ2 다양체 V에 완전히 포함된 직선에서 기인하는 상호작용이 총 상호작용 수에 어떤 영향을 미치는가?
• RQ3 집합 A ⊂ ℝ로 자신을 사상하는 k-rich 모비우스 변환의 수에 대한 가장 날카로운 가능한 경계는 무엇인가?
• RQ4 향상된 상호작용 경계가 n개의 실수 점에 의해 결정되는 서로 다른 교차비의 수에 대한 하한을 얼마나 향상시킬 수 있는가?
• RQ5 평면과 곡면 Π 사이에 직선처럼 보이는 교차가 없을 경우, 상호작용 기하학과 그에 따른 경계에 어떤 영향을 미치는가?

주요 결과

• 상호작용 경계는 O(m²/³n²/³ + m⁶/¹¹n⁹/¹¹ logᵝ(m³/n) + m + n)이며, 여기서 β는 다양체 V의 차수에 따라 달라지며, 이는 점들이 다양체 위에 있을 경우 이전의 일반 Apfelbaum–Sharir 경계를 초월한다.
• V가 쌍곡면인 경우 β = 2/11로 경계가 성립하며, 이 경우 Sharir–Zahl의 곡선 절단 결과를 피하는 분석이 가능하다.
• k-rich 모비우스 변환의 수는 N≥k = O(n⁴/k³ + n⁶/k¹¹/² log k + n²/k)로 경계되며, 이는 이전의 O(n⁶/k⁵) 경계를 향상시킨다.
• 이 향상된 경계는 집합 A ⊂ ℝ 내의 합동 오각형의 수에 대한 더 날카로운 상한 Q = O(n⁶)을 이끌어내며, 이는 이전의 O(n⁶ log n)에 비해 향상된다.
• 결과적으로, n개의 실수 점에 의해 결정되는 서로 다른 교차비의 수에 대한 하한은 Ω(n²⁴/¹¹ / log⁶/¹¹ n)에서 Ω(n²⁴/¹¹)으로 향상된다.
• 분석은 상호작용 경계의 두 번째 항인 logᵝ 항이 급수 합산에서 수렴성을 해치지 않으며, 유도된 경계의 타당성을 유지함을 확인한다.