[논문 리뷰] On sets defining few ordinary lines

Ben Green, Terence Tao|arXiv (Cornell University)|2012. 08. 23.

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

한 줄 요약

이 논문은 평면상의 $ n $개의 점이 모두 일직선에 있지 않은 경우, 충분히 큰 $ n $에 대해 최소 $ n/2 $개의 일반선(정확히 두 점을 지난다)을 결정한다는 것을 증명함으로써 딜라크-모츠킨 추측을 해결한다. 이는 일반선이 적은 점들의 집합이 거의 전부 삼차곡선에 포함되어야 한다는 구조 정리와 함께 제시되며, 이를 바탕으로 정원 식재 문제를도 해결하여 큰 $ n $에 대해 3-rich 선(정확히 세 점을 지난다)의 최대 개수는 $ \lfloor n(n-3)/6 \rfloor + 1 $임을 증명한다. 결과는 정확하며 모든 극한 구성의 분류를 제공한다.

ABSTRACT

Let P be a set of n points in the plane, not all on a line. We show that if n is large then there are at least n/2 ordinary lines, that is to say lines passing through exactly two points of P. This confirms, for large n, a conjecture of Dirac and Motzkin. In fact we describe the exact extremisers for this problem, as well as all sets having fewer than n - C ordinary lines for some absolute constant C. We also solve, for large n, the "orchard-planting problem", which asks for the maximum number of lines through exactly 3 points of P. Underlying these results is a structure theorem which states that if P has at most Kn ordinary lines then all but O(K) points of P lie on a cubic curve, if n is sufficiently large depending on K.

연구 동기 및 목표

• 평면상의 $ n $개의 공선점이 아닌 점들이 결정하는 일반선의 최소 개수에 관한 오랜 동안 미해결이었던 딜라크-모츠킨 추측을 해결하는 것.
• 어떤 절대 상수 $ C $에 대해 $ n - C $개 이하의 일반선을 갖는 $ n $개의 점 구성들을 분류하는 것.
• 큰 $ n $에 대해 3-rich 선(정확히 세 점을 지난다)의 최대 개수를 결정하여 정원 식재 문제를 해결하는 것.
• 일반선이 $ O(n) $개인 점들의 집합이 거의 전부 삼차곡선에 포함되어야 한다는 구조 정리를 수립하는 것.

제안 방법

• 멜히오르의 실릴레스터-갈라이 정리 증명에 영감을 얻어 여명의 이중성과 오일러의 공식을 사용하여 선 구성 분석.
• 만일 점 집합이 최대 $ Kn $개의 일반선을 갖는다면, 큰 $ n $에 대해 $ O(K) $개를 제외한 모든 점들이 삼차곡선 위에 존재한다는 구조 정리 적용.
• 덧셈적 조합론과 단위근 기하학의 도구를 사용하여 고정된 점을 지난 선의 수와 정다각형의 점 쌍이 있는 선의 수를 근사.
• 고리개 원리와 각도의 선형형식에 대한 삼각함수적 경계를 사용하여, 원점 이외의 점이 정규 $ n $각형의 정점들을 연결하는 선들 중에서 최대 $ O(n^{5/6}) $개의 선 위에 있을 수 없음을 보임.
• 12제곱근의 합이 0인 튜플의 분류를 활용하여 많은 동시교차를 갖는 구성 제어.
• 일반선과 3-rich 선 사이의 이중세기 항등식을 조합하여 $ N_2 $의 하한을 $ N_3 $의 상한으로 전환.

실험 결과

연구 질문

• RQ1 큰 $ n $에 대해 평면상의 공선점이 아닌 $ n $개의 점이 결정할 수 있는 일반선의 최소 개수는 얼마인가?
• RQ2 이 최소 개수를 달성하는 구성은 무엇이며, 이러한 극한 집합의 정확한 구조는 무엇인가?
• RQ3 큰 $ n $에 대해 $ n $개의 점이 가질 수 있는 3-rich 선(정확히 세 점을 지난다)의 최대 개수는 얼마인가?
• RQ4 일반선이 적은 구성은 특히 삼차곡선과 어떻게 관련되어 있는가?
• RQ5 일반선이 $ O(n) $개인 점들의 집합의 구조를 완전히 특성화할 수 있는가?

주요 결과

• 충분히 큰 $ n $에 대해, 평면상의 공선점이 아닌 $ n $개의 점은 최소 $ n/2 $개의 일반선을 결정한다. 이는 딜라크-모츠킨 추측을 확인한다.
• 만일 $ n $이 홀수이면, 일반선의 최소 개수는 $ 3\lfloor n/4 \rfloor $ 이상이며, 이는 $ n/2 $보다 엄밀히 크다.
• 짝수 $ n $에 대해 $ n/2 $개의 일반선을 갖는 극한 구성은 원 위에 $ n/2 $개의 점과 무한원 위에 $ n/2 $개의 점이 있으며, 대칭적인 구성이다.
• 어떤 절대 상수 $ C $에 대해 $ n - C $개 이하의 일반선을 갖는 모든 점 집합은 거의 전부 삼차곡선에 포함되어 있으며, $ Kn $개의 일반선을 갖는 경우 $ O(K) $개의 점을 제외한 나머지는 삼차곡선 위에 있다.
• 큰 $ n $에 대해 $ n $개의 점에서 얻을 수 있는 3-rich 선의 최대 개수는 $ \lfloor n(n-3)/6 \rfloor + 1 $이며, 이 경계는 날카롭다.
• 큰 $ n $에 대해 정원 문제에서 등호를 달성하는 유일한 극한 예는 페르마 삼차곡선이나 유리점이 있는 타원곡선과 같은 기약 삼차곡선에서 유도된 것이다.