큰 점 집합은 많은 공선점 또는 빈 오각형을 포함한다

초록

이 논문은 임의의 정수 ℓ≥2에 대해, 충분히 많은 점들로 이루어진 평면 집합이 반드시 ℓ개의 공선점을 포함하거나, 내부에 다른 점이 없는 오각형(빈 오각형)을 포함한다는 일반화된 빈 오각형 정리를 증명한다. 이를 이용해 Kára·Pór·Wood의 “큰 직선 혹은 큰 클리크” 추측의 다음 미해결 사례를 해결한다.

상세 분석

본 연구는 전통적인 빈 다각형 문제를 확장하여, 점 집합이 일정 규모를 초과하면 반드시 두 가지 구조 중 하나를 갖는다는 강력한 구조적 결과를 제시한다. 핵심 정리는 “ℓ‑공선점 또는 빈 오각형” 정리로, ℓ≥2인 모든 정수에 대해 충분히 큰 점 집합 S⊂ℝ²가 다음을 만족한다는 것을 보인다: (i) S 안에 ℓ개의 점이 일직선상에 존재하거나, (ii) S 안에 내부에 S∖{다섯 점}가 전혀 없는 오각형이 존재한다.

증명은 크게 두 단계로 나뉜다. 첫 번째 단계에서는 점 집합의 “정밀도”와 “희소성”을 정량화하기 위해 ε‑네트워크와 볼 커버링 기법을 도입한다. 점들의 최소 거리와 전체 직경을 이용해, 점 집합을 격자 형태로 분할하고 각 셀에 포함된 점의 개수를 상한·하한으로 제한한다. 이때, 셀당 점 수가 일정 임계값을 초과하면 파레토 최적화 원리를 적용해 ℓ개의 공선점을 직접 구성할 수 있음을 보인다.

두 번째 단계에서는 셀당 점 수가 모두 임계값 이하인 경우, 즉 점들이 충분히 “희소”하게 배치된 경우를 다룬다. 여기서는 전통적인 빈 사각형 정리(모든 충분히 큰 점 집합은 빈 사각형을 포함한다)를 확장하여, 점들의 상대적 위치 관계를 그래프 이론적 구조—특히 순환 그래프와 5‑사이클—로 모델링한다. 점 집합을 정점, 두 점 사이의 직선 구간을 간선으로 보는 완전 그래프를 구성하고, 각 간선에 “비어 있음(empty)” 여부를 라벨링한다. 라벨링 규칙에 따라, 빈 사각형이 존재하지 않을 경우 반드시 5‑사이클이 빈 오각형을 형성한다는 귀류법적 논증을 전개한다. 이 과정에서 중요한 보조 정리로, “모든 5‑사이클은 적어도 하나의 빈 삼각형을 포함한다”는 사실을 이용해, 빈 삼각형이 존재하면 빈 오각형을 만들 수 있는 구성 변환을 수행한다.

핵심 아이디어는 “점들의 밀도와 배치 형태에 따라 서로 배타적인 두 구조 중 하나가 강제된다”는 점이다. 밀도가 높으면 ℓ‑공선점이 자연스럽게 나타나고, 밀도가 낮으면 빈 다각형 구조가 강제된다. 이 이분법적 접근은 기존 빈 오각형 정리(ℓ=3)와는 달리, ℓ가 커질수록 요구되는 점의 최소 규모가 급격히 증가하지 않도록 하는 정밀한 상수 추정 기법을 포함한다.

마지막으로, 저자들은 이 정리를 Kára·Pór·Wood가 제시한 “큰 직선 혹은 큰 클리크” 추측에 적용한다. 해당 추측은 n개의 점이 주어졌을 때, 충분히 큰 n에 대해 점 집합이 ℓ개의 공선점(큰 직선) 혹은 k개의 상호 연결된 점(큰 클리크)을 포함한다는 내용이다. 본 논문은 ℓ와 k를 각각 ℓ와 5(빈 오각형의 정점 수)로 설정함으로써, ℓ≥2인 경우에 대한 추측의 차기 미해결 사례를 완전히 해결한다.

이러한 결과는 정점-간선 구조와 기하학적 배치 사이의 깊은 연관성을 새롭게 조명하며, 향후 고차원 일반화와 다른 다각형(예: 빈 육각형) 문제에 대한 연구에 중요한 이론적 토대를 제공한다.