[논문 리뷰] Distinct distances between points and lines

Micha Sharir, Shakhar Smorodinsky외 2명|arXiv (Cornell University)|2015. 12. 28.

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

한 줄 요약

이 논문은 평면과 3차원 공간에서 m개의 점과 n개의 직선 사이의 서로 다른 거리의 수에 대한 새로운 하한을 설정한다. 이는 고급 인cidenc기하학과 직선, 원, 구 사이의 접촉 조건을 활용한다. ℝ²에서는 m¹/² ≤ n ≤ m²일 때 서로 다른 점-직선 거리의 수가 Ω(m¹/⁵n³/⁵)임을 증명하며, ℝ³에서는 특정 기하 조건 하에 임의의 ε > 0에 대해 Ω(min{m¹/⁴n¹/⁴⁻ᴱ, n})의 하한을 확보한다.

ABSTRACT

We show that for $m$ points and $n$ lines in the real plane, the number of distinct distances between the points and the lines is $Ω(m^{1/5}n^{3/5})$, as long as $m^{1/2}\le n\le m^2$. We also prove that for any $m$ points in the plane, not all on a line, the number of distances between these points and the lines that they span is $Ω(m^{4/3})$. The problem of bounding the number of distinct point-line distances can be reduced to the problem of bounding the number of tangent pairs among a finite set of lines and a finite set of circles in the plane, and we believe that this latter question is of independent interest. In the same vein, we show that $n$ circles in the plane determine at most $O(n^{3/2})$ points where two or more circles are tangent, improving the previously best known bound of $O(n^{3/2}\log n)$. Finally, we study three-dimensional versions of the distinct point-line distances problem, namely, distinct point-line distances and distinct point-plane distances. The problems studied in this paper are all new, and the bounds that we derive for them, albeit most likely not tight, are non-trivial to prove. We hope that our work will motivate further studies of these and related problems.

연구 동기 및 목표

• 평면에서 m개의 점과 n개의 직선 사이의 서로 다른 거리의 수에 대한 비자명한 하한을 확립하기 위해.
• 분석을 3차원 공간으로 확장하여 기하적 구성 조건 하에 하한을 유도하기 위해.
• 점-직선 거리 문제를 원과 직선 사이의 접하는 쌍을 제한하는 문제로 환원하여, 독립적인 관심사가 되는 문제로 만들기 위해.
• 평면에 있는 n개의 원 사이의 접점 수에 대한 기존 하한을 향상시켜 O(n³/²)로 개선하기 위해.

제안 방법

• 서로 다른 점-직선 거리 문제를 평면에서 직선과 원 사이의 접하는 쌍의 수로 환원한다.
• 특히 Szemerédi-Trotter 정리와 그 확장들을 활용하여 반복되는 거리를 제한하는 인cidenc기하학 도구를 적용한다.
• ℝ³에서 구와 직선을 모델링하기 위해 4차원 매개변수 공간을 사용하며, 접촉을 점-포라보이드 인cidenc으로 매핑한다.
• Fox 등(2012)의 최근 인cidenc하한을 적용하여 구와 직선 사이의 접하는 쌍의 수를 제어한다.
• 3차원 분석에서 비정상적인 경우를 피하기 위해 금지된 구성 조건(4×4 원뿔/실린더/쌍곡면 구조가 없음)을 도입한다.
• 반증과 자유도 분석을 통해 점근적 하한을 도출하며, 농도 있는 인cidenc 구조가 존재하지 않는 점을 활용한다.

실험 결과

연구 질문

• RQ1 m과 n에 대한 합리적인 제약 조건 하에 평면에서 m개의 점과 n개의 직선 사이의 서로 다른 거리의 최소 수는 얼마인가?
• RQ2 ℝ³에서 점-직선 거리의 수는 ℝ²에서의 수와 어떻게 비교되며, 의미 있는 하한을 도출하기 위해 어떤 기하 조건이 필요한가?
• RQ3 평면에 있는 n개의 원 사이의 접하는 쌍의 수는 O(n³/² log n)보다 더 좁게 제한될 수 있는가?
• RQ4 서로 다른 점-직선 거리와 3차원 공간에서의 구와 직선의 인cidenc 구조 사이의 관계는 무엇인가?
• RQ5 점-직선 거리 문제의 어느 정도가 원이나 구와 같은 기하 객체 사이의 접촉 문제로 환원될 수 있는가?

주요 결과

• m¹/² ≤ n ≤ m²일 때 ℝ²에서 m개의 점과 n개의 직선 사이의 서로 다른 점-직선 거리의 수는 Ω(m¹/⁵n³/⁵)이며, 이는 이 형태의 첫 번째 비자명한 하한이다.
• 모든 점이 한 직선 위에 있지 않은 경우, 점들이 생성한 직선들까지의 서로 다른 거리의 수는 Ω(m⁴/³)이며, 점 집합이 생성한 직선의 경우 더 강력한 하한이다.
• 평면에서 n개의 원 사이의 접하는 쌍의 수는 최대 O(n³/²)이며, 이는 이전의 O(n³/² log n) 하한보다 향상된 결과이다.
• ℝ³에서는 4×4 원뿔/실린더/쌍곡면 구성이 존재하지 않는 조건 하에, 임의의 ε > 0에 대해 서로 다른 점-직선 거리의 수는 Ω(min{m¹/⁴n¹/⁴⁻ᴱ, n})이다.
• 증명 기법은 3차원 점-직선 거리 문제를 ℝ⁴에서 점과 포라보이드 사이의 인cidenc 문제로 환원하여 현대 인cidenc정리를 적용할 수 있도록 한다.
• 결과는 점-직선 거리 문제와 접촉 및 인cidenc 구조 사이에 본질적인 연관성이 있으며, 이러한 구조는 고차원 기하학적 매핑을 통해 분석될 수 있음을 시사한다.