많은 k‑점 직선 구성 가능하지만 k+1 점은 불가

초록

k>3인 경우, 평면에 k+1개의 점이 한 직선에 놓이지 않으면서도 k개의 점이 한 직선에 놓이는 튜플을 거의 n² 개에 가깝게 만들 수 있음을 보인다. 저자들은 고차원 격자점과 구의 부피 근사를 이용해 n^{2‑c/√log n}개의 k‑튜플을 구성하고, 이를 일반적인 투영으로 평면에 옮겨 기존 하한을 크게 개선한다.

상세 분석

이 논문은 에르되시가 제기한 “많은 k‑점 직선 튜플을 만들면서 k+1 점 직선은 없게 할 수 있는가”라는 질문에 대한 최신 답을 제공한다. 기존에는 k>3에 대해 t_k(n)≥c_k n log n, 혹은 t_k(n)≥c_k n^{1+1/(k‑2)} 정도의 하한만 알려져 있었으며, k가 커질수록 지수는 1에 수렴했다. 저자들은 고차원 정수 격자 Z^d의 구 B_d(r)와 구면 S_d(r) 위의 점 개수를 부피 V(B_d(r))와 V(S_d(r))으로 근사하는 고전적인 가우스 부피 논법을 활용한다. Lemma 3·4는 N(B_d(r))와 N(S_d(r)) 사이의 상한·하한을 제공하고, 특히 구면 위의 점 수가 O(log r·log log r·V(B_{d‑2}(r)))임을 보인다.

구성 단계는 두 부분으로 나뉜다. (1) 짝수 k인 경우, 구 S_d(r) 위에서 같은 거리 ℓ을 갖는 점 쌍을 충분히 많이 찾는다. 이때 pigeonhole 원리를 두 번 적용해 “같은 거리 ℓ을 갖는 쌍”이 적어도 V(B_d(r_0‑√d/2)) / (8 r_0^6) 개 존재함을 보인다. 그런 쌍 (p₁,q₁)을 기준으로 등간격 ℓ을 갖는 k/2개의 점을 양쪽으로 연장해 총 k개의 정수 격자점을 만든다. (2) 홀수 k인 경우, 구 S_d(r)와 확대된 구 S_d(2r) 위의 점을 이용해 중점이 정수 격자에 놓이도록 설계하고, 중점을 포함한 k‑1개의 등간격 점을 추가한다. 두 경우 모두 점들은 서로 다른 구 S_d(r_i) (i≤k/2 혹은 (k‑1)/2) 위에 놓이므로, 한 직선에 k+1개가 동시에 포함될 수 없다는 구조적 보장이 있다.

전체 점 집합 P의 크기 n은 각 구의 격자점 수 합으로, 부피 근사를 통해 n≈2^{d(2‑d)}·poly(d)·log d 수준이다. 반면 k‑점 직선 튜플의 개수 t_k(P)는 위에서 확보한 동일 거리 쌍의 수와 직접 연결되며, 최종적으로 t_k(P)≥n^{2‑c/√log n}을 얻는다. 여기서 상수 c=2 log(4k+9)이며, d를 충분히 크게 잡으면 모든 충분히 큰 n에 대해 위 부등식이 성립한다. 마지막 단계는 고차원 점 집합을 일반적인 방향의 선형 사영으로 평면에 옮기는 것으로, 사영이 일대일이며 비공선성을 보존하도록 선택한다. 이렇게 하면 평면에서도 동일한 t_k와 무( k+1 ) 직선 금지 조건을 유지한다.

핵심 통찰은 “고차원 격자 구의 풍부한 등거리 쌍”을 이용해 k‑점 직선을 많이 만들고, 구의 반지름을 조절해 점들을 서로 다른 구에 배치함으로써 k+1‑점 직선을 차단한다는 점이다. 이 방법은 기존의 1차원적인 구성(예: 격자 행·열)보다 훨씬 높은 밀도로 k‑튜플을 생성할 수 있게 해, 상한 O(n²)와 거의 일치하는 하한을 제공한다.