일반 위치 부분집합 선택 문제의 새로운 하한

초록

본 논문은 평면상의 점 집합에서 한 직선에 최대 ℓ 개의 점만 존재하도록 제한했을 때, 세 점이 일직선상에 놓이지 않는 최대 부분집합의 크기 f(n,ℓ) 에 대한 새로운 하한을 제시한다. ℓ이 √n 이하일 경우 f(n,ℓ) ≥ c·√(n/ln ℓ) 을, ℓ이 n^{(1−ε)/2} 이하일 경우 f(n,ℓ) ≥ c·√(n·log_ℓ n) 을 증명한다. 또한, 한 직선에 최대 k 개의 점만 허용하는 일반화된 문제에 대해서도 유사한 결과를 얻는다.

상세 분석

논문은 먼저 일반 위치 부분집합 선택 문제(general position subset selection problem)를 명확히 정의한다. n개의 점이 주어지고, 어떤 직선에도 ℓ개를 초과하는 점이 없다고 가정하면, 그 중에서 세 점이 일직선상에 놓이지 않는(즉, 일반 위치에 있는) 최대 크기의 부분집합 크기를 f(n,ℓ)라 두었다. 기존 연구에서는 ℓ가 상수일 때 f(n,ℓ)의 하한이 Ω(√n) 수준으로 알려져 있었으며, ℓ가 n에 비례해 커질수록 하한이 급격히 약해지는 문제가 있었다. 저자들은 이 격차를 메우기 위해 두 가지 주요 경우에 대해 새로운 하한을 도출한다. 첫 번째는 ℓ ≤ O(√n)인 경우로, 여기서는 확률적 선택과 마르코프 부등식을 활용해 무작위로 점을 선택했을 때 기대값이 충분히 크다는 것을 보인다. 특히, 각 점을 독립적으로 선택하되 선택 확률을 적절히 조정함으로써, 선택된 집합에 ℓ개의 점이 한 직선에 몰리는 사건의 확률을 로그 항으로 억제한다. 결과적으로 f(n,ℓ) ≥ c·√(n/ln ℓ)라는 하한을 얻는다. 두 번째 경우는 ℓ ≤ O(n^{(1−ε)/2})이다. 여기서는 의존적 무작위 선택(dependent random choice) 기법을 도입한다. 먼저, 적당히 큰 부분집합 S를 무작위로 선택하고, S에 포함된 각 점이 다른 점들과 형성하는 쌍을 조사한다. 그런 다음, S 내에서 ℓ개의 점이 같은 직선에 놓이는 구조를 제거하기 위해 반복적인 정제 과정을 거치며, 최종적으로 남는 점들의 수가 √(n·log_ℓ n) 수준임을 보인다. 이 과정에서 사용된 핵심 아이디어는 “공통 이웃” 개념을 활용해, 한 직선에 많은 점이 몰려 있는 경우를 확률적으로 억제하고, 남은 점들은 서로 일반 위치를 이룬다는 점이다. 또한, 저자들은 k-일반 위치(k points collinear at most)라는 일반화된 설정을 고려한다. 여기서는 ℓ와 k 사이의 관계를 조정해 비슷한 확률적 분석을 수행하고, f_k(n,ℓ) ≥ Ω(√(n·log_ℓ n))와 같은 하한을 도출한다. 전체적으로 논문은 기존 하한보다 로그 항을 포함한 더 정밀한 추정치를 제공함으로써, ℓ가 고정되지 않은 경우에도 강력한 하한을 확보한다는 점에서 의미가 크다.