[논문 리뷰] On the number of ordinary circles

Hossein Nassajian Mojarrad, Frank de Zeeuw|arXiv (Cornell University)|2014. 12. 29.

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

한 줄 요약

이 논문은 원의 역행렬과 Green-Tao의 일반 직선 정리에 기반하여, 모든 점이 한 직선이나 원 위에 있지 않은 평면 상의 $n$개 점 집합에 대해 $rac{1}{4}n^2 - O(n)$개의 일반 원(정확히 세 점을 지나는 원)이 반드시 존재함을 증명한다. 이 하한은 짝수 $n$에 대해 최적이며, 구성에 의해 홀수 $n$에 대해 $rac{3}{8}n^2 - O(n)$가 현재까지 알려진 최고의 상한임을 보여주며, 홀수 $n$에 대한 정확한 계수는 여전히 열린 문제로 남아 있다.

ABSTRACT

We prove that any $n$ points in $\mathbb{R}^2$, not all on a line or circle, determine at least $\frac{1}{4}n^2-O(n)$ ordinary circles (circles containing exactly three of the $n$ points). The main term of this bound is best possible for even $n$. Our proof relies on a recent result of Green and Tao on ordinary lines.

연구 동기 및 목표

• 비공선성 및 비원주성 조건을 만족하는 $ olimits\mathbb{R}^2$ 상의 $n$개 점이 반드시 결정하는 일반 원(정확히 세 점을 지나는 원)의 최소 수를 규명하는 것.
• 선에 대한 Sylvester-Gallai 정리의 논리를 원으로 확장하여, 선에 대한 Dirac-Motzkin 추측과 유사한 맥락을 설정하는 것.
• Elliott($\frac{2}{63}n^2$), Bálintová와 Bálint($\frac{11}{247}n^2$), Zhang($\frac{1}{18}n^2$)의 이전 하한보다 향상된 하한을 확보하는 것.
• 짝수 $n$에 대해 $rac{1}{4}n^2$ 주항목의 최적성은 명시적 구성에 의해 입증하는 것.
• 홀수 $n$에 대한 계수에 대한 현재 이해의 격차를 규명하여, 최고의 알려진 상한이 $rac{3}{8}n^2$임을 밝히는 것.

제안 방법

• 일반 직선에 대한 Green-Tao 정리를 일반 원에 대한 하한을 유도하는 기초 도구로 활용한다.
• 원의 역행렬을 적용하여 점 집합을 변환하고 구성 분석을 수행하며, 일반 원과 직선을 유지하거나 변형한다.
• 역행렬에 의한 점 집합의 이미지 유형에 기반한 케이스 분석을 수행: Theorem 3.4에서 분류한 (d), (e), 또는 (f) 유형에 속하는지 여부에 따라.
• 동일한 곡선 위에 있지 않은 점들에 대해 역행렬을 적용하여, 변환된 구성에서의 일반 직선 수를 통해 일반 원 수에 대한 하한을 도출한다.
• 동심원 기반 구성(Construction 1.2)과 그 변형(Construction 1.3)을 활용하여, 짝수 $n$에 대해 하한의 날카로움을 보이며, 홀수 $n$에 대해서는 이를 확장한다.
• 사영적 동치성과 대수곡선의 차수 제약(최대 차수 8)을 이용하여 특정 구성이 제거되며, 많은 일반 원의 존재를 강제한다.

실험 결과

연구 질문

• RQ1 모든 점이 한 직선이나 원 위에 있지 않은 $ olimits\mathbb{R}^2$ 상의 $n$개 점이 결정하는 일반 원의 수에 대해 최선의 가능한 하한은 무엇인가?
• RQ2 짝수 $n$에 대해 $n^2$ 항의 계수 $rac{1}{4}$는 최적이며, 홀수 $n$에 대해 이를 향상시킬 수 있는가?
• RQ3 일반 직선에 대한 Green-Tao 정리는 원의 역행렬을 통해 일반 원에 대한 날카운 하한을 도출하는 데 적응 가능한가?
• RQ4 어떤 구성이 일반 원의 최극값을 달성하며, 이러한 구성은 역행렬에 대해 어떻게 행동하는가?
• RQ5 하한에 포함된 선형 항이 Green-Tao 정리에서의 임계값 $N_{GT}$에 의존하는 이유는 무엇이며, 더 나은 하한을 얻기 위해 이를 향상시킬 수 있는가?

주요 결과

• 논문은 모든 $n$개의 점이 $ olimits\mathbb{R}^2$ 상에 있으며, 모두 한 직선이나 원 위에 있지 않은 경우, 최소 $rac{1}{4}n^2 - O(n)$개의 일반 원을 결정함을 증명한다.
• 짝수 $n$에 대해 $rac{1}{4}n^2$ 항은 최적이며, 각각 $n/2$개 점을 가진 두 개의 동심 정다각형을 사용한 구성에 의해 입증된다.
• 홀수 $n$에 대해 주항목에 대한 현재까지 알려진 최고의 상한은 $rac{3}{8}n^2$이며, 이는 짝수 케이스 구성에서 한 점을 제거함으로써 달성된다.
• 하한 $rac{1}{4}n^2 - O(n)$은 짝수 $n$에 대해 날카롭며, 구성에 의해 점점 더 적은 수의 일반 원을 가진 구성이 점점 더 없음을 암시한다.
• 증명은 원의 역행렬과 역행렬된 점 집합의 구조에 기반한 케이스 분석에 의존하며, Green-Tao 정리에서 유도된 최극값 구성의 분류를 활용한다.
• 논문은 [3]의 문제 7.2.6을 해결하고, Elliott이 제안한 $rac{1}{6}n^2 - O(n)$ 하한을 반증한다.