[논문 리뷰] On the Erdos distinct distance problem in the plane

Larry Guth, Nets Hawk Katz|arXiv (Cornell University)|2010. 11. 17.

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

한 줄 요약

이 논문은 이르두시의 오랜 추측을 해결하여 평면상의 $N$개 점이 최소 $cN/\log N$개의 서로 다른 거리를 결정한다는 것을 증명한다. 다항법, 다항 다듬개 토론 정리에 의한 셀 분해, 그리고 굴곡면 이론—특히 플렉노드 다항식을 활용하여—고스와 케츠는 3차원 공간에서 날카운 인cidences 추정을 확립하고, 궁극적으로 서로 다른 거리 문제에 대한 최적의 하한을 도출한다.

ABSTRACT

In this paper, we prove that a set of $N$ points in ${\bf R}^2$ has at least $c{N \over \log N}$ distinct distances, thus obtaining the sharp exponent in a problem of Erdös. We follow the set-up of Elekes and Sharir which, in the spirit of the Erlangen program, allows us to study the problem in the group of rigid motions of the plane. This converts the problem to one of point-line incidences in space. We introduce two new ideas in our proof. In order to control points where many lines are incident, we create a cell decompostion using the polynomial ham sandwich theorem. This creates a dichotomy: either most of the points are in the interiors of the cells, in which case we immediately get sharp results, or alternatively the points lie on the walls of the cells, in which case they are in the zero set of a polynomial of suprisingly low degree, and we may apply the algebraic method. In order to control points where only two lines are incident, we use the flecnode polynomial of the Rev. George Salmon to conclude that most of the lines lie on a ruled surface. Then we use the geometry of ruled surfaces to complete the proof.

연구 동기 및 목표

• 평면상의 $N$개 점 집합이 최소 $\gtrsim N/\sqrt{\log N}$개의 서로 다른 거리를 결정한다는 이르두시의 추측을 해결하기.
• 기존의 $\gtrsim N^{0.8641}$ 등의 추정치를 향상시켜 $\gtrsim N/\log N$의 날카운 하한을 증명하기.
• 제약된 평면 및 루글러스 집중 조건 하에서 $\mathbb{R}^3$에서의 직선 인cidences에 대한 일반적인 인cidences 정리를 수립하여, 서로 다른 거리 결과를 이끌어내기.
• 셀 분해에 다항 다듬개 토론 정리를 적용하고 굴곡면 분석을 활용한 새로운 기법들을 개발·적용하여 3차원에서의 점-직선 인cidences를 제어하기.

제안 방법

• 서로 다른 거리 문제를 3차원 공간에서의 점-직선 인cidences 문제로 변환하기 위해 엘레케스-샤리어 프레임워크를 적용하기.
• 다항 다듬개 토론 정리를 사용하여 셀 분해를 생성하여 공간을 셀로 나누어 고인cidences 점을 제어하기.
• 셀 벽면 위에 있는 점들은 낮은 차수의 다항식의 영집합에 포함됨을 보여, 대수기하학 기법을 적용할 수 있도록 하기.
• 인cidences 수 $k=2$의 경우 살라몬의 플렉노드 다항식을 적용하여 굴곡면 위에 있는 직선들이 단일 굴곡면에 포함되어야 함을 보이기.
• 특히 비단일 굴곡면이 서로 다른 방향의 세 직선을 포함하고 무한히 많은 횡단선을 가질 수 있다는 기하학적 성질을 활용하여 교차수를 제한하기.
• 인cidences 추정치와 오일러 피 함수를 활용한 조합론적 추론을 결합하여 $k$-rich 점의 수에 대한 최종 추정치를 도출하기.

실험 결과

연구 질문

• RQ1 평면상의 $N$개 점이 결정하는 서로 다른 거리의 최적 하한은 무엇인가?
• RQ2 제약된 평면 및 루글러스 집중 조건 하에서 $\mathbb{R}^3$의 직선 인cidences 기하학을 어떻게 제어할 수 있으며, 날카운 추정치를 이끌어낼 수 있는가?
• RQ3 표준적인 임계점 또는 평탄성 논증이 실패하는 $k=2$ 인cidences 케이스를 다항법으로 어떻게 확장할 수 있는가?
• RQ4 굴곡면 이론을 얼마나 활용하여 낮은 다중성 인cidences를 가진 직선 구성 요소를 제어할 수 있는가?
• RQ5 서로 다른 거리에 대한 추정치 $\gtrsim N/\log N$는 날카로운가, 그리고 명시적 구성에 의해 달성될 수 있는가?

주요 결과

• 논문은 평면상의 $N$개 점이 결정하는 서로 다른 거리의 날카운 하한 $\gtrsim N/\log N$을 확립한다.
• $\mathbb{R}^3$에서의 인cidences 정리—즉, 어떤 평면이나 루글러스에 $\lesssim N$개의 직선이 있을 때, 최소 $k$개의 직선이 만나는 점의 수가 $\lesssim N^3 k^{-2}$ 이하라는 것—가 주요 결과를 암시한다.
• $\sim S^4$개의 직선과 $\sim S^6 k^{-2}$개의 점(최소 $k$개의 직선이 만남)을 포함하는 직선 집합 $\mathfrak{L}_0$의 구성은 인cidences 추정치가 상수 배수 범위 내에서 날카로움을 보여준다.
• 다항 다듬개 토론 정리를 사용한 셀 분해는 고인cidences 점을 내부와 벽면 케이스로 효과적으로 분리하여 별도의 분석이 가능하게 한다.
• $k=2$의 경우 플렉노드 다항식과 굴곡면 이론의 적용은 문제를 제어 가능한 직선을 포함하는 표면으로 환원하여 정확한 인cidences 수 계산이 가능하게 한다.
• $\mathfrak{L}_0$의 예시는 $B \sim L^{1/2}$일 때 인cidences 정리가 최적임을 보여주며, 주어진 조건 하에서 추정치의 날카로움을 입증한다.