[논문 리뷰] On the number of classes of triangles determined by $N$ points in $\R^2$

Misha Rudnev|arXiv (Cornell University)|2012. 05. 22.

Computational Geometry and Mesh Generation참고 문헌 12인용 수 7

한 줄 요약

이 논문은 평면상의 $N$개의 점이 주어졌을 때, 그 점들 중 어떤 직선도 양의 비율로 점을 포함하지 않는 조건 하에 형성되는 삼각형의 서로 다른 합동 및 닮음 클래스의 수에 하한을 설정한다. 특히, $ℚ^3$에서의 점-선 인cidenc 정리(합동 삼각형에 대해)와 $ℂ^2$에서의 점-선 인cidenc 정리(닮음 삼각형에 대해)를 활용하여, $P$는 $Ω(N^2)$개의 합동 클래스와 $Ω(N^2 / \log N)$개의 닮음 클래스를 가진다.

ABSTRACT

Let $P$ be a set of $N$ points in the Euclidean plane, where a positive proportion of points lies off a single straight line. This note points out two facts concerning the number of equivalence classes of triangles that $P$ determines, namely that (i) $P$ determines $Ω(N^2)$ different equivalence classes of congruent triangles, and (ii) $P$ determines $Ω(\frac{N^2}{\log N})$ different equivalence classes of similar triangles. The first fact follows from the recent theorem by Guth-Katz on point-line incidences in $\R^3$. The second one, perhaps not so well known, is due to Solymosi and Tardos.

연구 동기 및 목표

• 평면상의 $N$개의 점이 주어졌을 때, 어떤 직선도 양의 비율로 점을 포함하지 않는 조건 하에 형성되는 삼각형의 서로 다른 합동 및 닮음 클래스의 최소 수를 결정하는 것.
• 등장변환(등장)과 닮음 변환(동심변환)에 대한 등급 집합의 수에 대해 날카로운 하한을 설정하는 것.
• 고차원 공간에서의 인cidenc 정리를 사용하여 평면 기하학의 조합적 경계를 도출할 수 있음을 보여주는 것.
• 합동 삼각형과 닮음 삼각형의 분석을 군 작용을 통해 비교하고 대조하는 것: 합동에 대해서는 정지운동, 닮음에 대해서는 복소선형 변환을 사용하는 것.
• Guth-Katz 및 Solymosi-Tardos 인cidenc 정리가 이러한 기하 조합 문제를 해결하는 데 어떻게 기여하는지 부각하는 것.

제안 방법

• 합동 삼각형에 대해, 각 점 쌍을 정지운동을 나타내는 $ℝ^3$ 상의 직선으로 매핑함으로써 삼각형 등급 집합 문제를 $ℝ^3$ 상의 인cidenc 문제로 옮기는 것.
• Guth-Katz 인cidenc 정리를 $ℝ^3$에 적용하여, 정지운동을 매개변수화하는 직선들의 삼중 교점 수를 유계화함으로써, 합동 삼각형 쌍의 수를 유도하는 것.
• 코시-슈바르츠 부등식을 적용하여, 합동 삼각형 쌍 총수로부터 서로 다른 합동 클래스의 수에 대한 하한을 유도하는 것.
• 닮음 삼각형에 대해, 방향을 유지하는 유사변환의 군을 복소선형 변환 $ψ(z) = az + b$로 모델링하고, 각 점 쌍을 $ℂ^2$ 상의 직선으로 매핑하는 것.
• Solymosi-Tardos를 통한 복소수 슈메레디-트로터 정리를 적용하여, $ℂ^2$ 상의 삼중 교점 수를 유계화함으로써, 닮음 삼각형 쌍의 수를 유도하는 것.
• 교점 다중도에 대한 이진합을 사용하고 코시-슈바르츠 부등식을 적용하여, 닮음 클래스에 대해 $Ω(N^2 / \log N)$ 하한을 도출하는 것.

실험 결과

연구 질문

• RQ1 평면상의 $N$개의 점이 주어졌을 때, 어떤 직선도 양의 비율로 점을 포함하지 않는 조건 하에 형성되는 삼각형의 서로 다른 합동 클래스의 최소 수는 얼마인가?
• RQ2 이러한 점 집합으로부터 형성되는 삼각형의 서로 다른 닮음 클래스의 최소 수는 얼마인가?
• RQ3 고차원 공간에서의 인cidenc 정리를 사용하여 평면 기하 구조의 조합적 경계를 도출할 수 있는가?
• RQ4 등급 변환과 복소선형 변환의 군 작용이 삼각형 등급 집합 수를 세는 데 미치는 영향은 어떻게 다를 수 있는가?
• RQ5 닮음 클래스 경계에 나타나는 $\log N$ 요소는 본질적인 기하 제약인지, 현재 방법의 산물일 뿐인가?

주요 결과

• 어떤 직선도 양의 비율로 점을 포함하지 않는 조건 하에, $ℝ^2$ 상의 $N$개의 점이 결정하는 서로 다른 합동 삼각형 클래스의 수는 $Ω(N^2)$이며, 이 하한은 정사각형 격자 예시를 통해 날카로운 것으로 확인된다.
• 이러한 점 집합으로부터 형성되는 서로 다른 닮음 삼각형 클래스의 수는 $Ω(N^2 / \log N)$이며, 이는 Solymosi-Tardos 인cidenc 결과와 코시-슈바르츠 부등식을 통해 도출된다.
• 합동 삼각형에 대한 증명은 $ℝ^3$ 상의 Guth-Katz 인cidenc 정리를 기반으로 하며, 이는 정지운동을 매개변수화하는 직선들의 삼중 교점 수를 유계화하는 데 사용된다.
• 닮음 삼각형에 대한 증명은 문제의 복소화를 통해 점 쌍을 $ℂ^2$ 상의 직선으로 매핑하고, 복소수 슈메레디-트로터 정리를 적용하여 삼중 교점을 유계화하는 방식을 취한다.
• 닮음 경계에서의 $\log N$ 요소는 현재 방법의 산물일 뿐이며, 날카로운 하한이 아니라고 추측되나, 아직 반례는 알려져 있지 않다.
• 분석은 합동(등급군)과 닮음(모비우스 또는 복소선형군) 문제 사이의 이중성을 보여주며, 각각에 대해 별개의 인cidenc 이론적 기법이 필요하다.