평면 점 집합에서 빈 구멍과 의사삼각형의 존재성

초록

**
본 논문은 평면에 일반 위치(세 점이 일직선상에 있지 않음)로 놓인 점들의 집합에서, 일정 수 이상의 점이 주어지면 반드시 $k$개의 꼭짓점을 갖는 빈 볼록다각형(홀) 또는 $\ell$개의 꼭짓점을 갖는 빈 의사삼각형이 존재한다는 최소점수 $E(k,\ell)$와, 빈 조건을 없앨 경우의 최소점수 $F(k,\ell)$에 대한 정확한 값과 경계들을 제시한다. 특히 $E(k,5)$와 $E(5,\ell)$의 정확한 값을 구하고, $E(k,6)$·$E(6,\ell)$에 대한 상·하한을 제시한다. 또한 $F(k,5)$·$F(k,6)$의 정확한 값을 구하고, $F(k,7)$에 대한 비자명한 상한을 제공한다. 주요 방법은 삼각형 형태의 볼록 껍질을 갖는 점집합에 대한 새로운 빈 의사삼각형 존재 결과와, 기존의 Erdős–Szekeres‑Valtr 이론을 정교히 확장·조합한 것이다.

**

상세 분석

**
이 논문은 평면 점 집합에서 “빈(Empty)”이라는 조건을 붙였을 때와 붙이지 않았을 때의 두 종류의 최소점수 함수를 정의함으로써, 전통적인 Erdős–Szekeres 문제를 의사삼각형(pseudo‑triangle)이라는 비볼록 구조로 일반화한다.

먼저 $E(k,\ell)$는 “빈 볼록 $k$‑각형” 혹은 “빈 의사삼각형 $\ell$‑각형” 중 하나가 반드시 존재하도록 보장하는 최소 점수이다. Valtr(2007)는 $k,\ell\ge 3$에 대해 $E(k,\ell)$가 유한함을 증명했지만, 구체적인 값은 알려지지 않았다. 저자들은 이 존재성을 바탕으로, 특히 $\ell=5$와 $k=5$인 경우에 대해 정확한 값을 도출한다. 핵심 아이디어는 삼각형 볼록 껍질(convex hull)이 삼각형인 경우에 초점을 맞추어, 내부에 존재할 수 있는 점들의 배치를 정밀히 분석하는 것이다.

1. 빈 의사삼각형의 구조적 특성

   • 의사삼각형은 세 개의 ‘귀’(reflex) 각을 갖는 단순 다각형이며, 각 귀는 볼록 껍질의 한 변과 연결된 내부 점들에 의해 형성된다.
   • 저자들은 “귀가 서로 겹치지 않으며, 각 귀가 최소 두 개의 내부 점을 포함한다면 빈 의사삼각형이 존재한다”는 레마를 증명한다. 이는 기존의 빈 삼각형(홀) 존재 증명에서 사용되는 ‘양끝점’ 개념을 의사삼각형에 맞게 변형한 것이다.

2. $E(k,5)$와 $E(5,\ell)$의 정확한 값

   • $E(k,5)=2k-1$ (모든 $k\ge 3$)임을 보인다. 증명은 두 단계로 이루어진다. 첫 단계에서는 점집합이 $2k-2$개 이하일 때 빈 $5$‑의사삼각형이 없을 수 있음을 구성 예시(‘그리드‑형’ 배치)로 보여준다. 두 번째 단계에서는 $2k-1$개라면 반드시 $k$‑점 빈 볼록 다각형 혹은 빈 $5$‑의사삼각형이 존재함을, 기존의 Valtr‑정리와 새로운 귀‑배치 레마를 결합해 증명한다.
   • 대칭적으로 $E(5,\ell)=2\ell-1$ (모든 $\ell\ge 3$)도 동일한 논법으로 얻어진다. 여기서는 $\ell$‑점 의사삼각형이 빈 볼록 $5$‑각형을 대체할 수 있는 경우를 고려한다.

3. $E(k,6)$와 $E(6,\ell)$에 대한 경계

   • 정확한 값은 아직 미정이지만, 저자들은 $2k\le E(k,6)\le 3k-2$와 $2\ell\le E(6,\ell)\le 3\ell-2$라는 상·하한을 제시한다. 하한은 “점들을 삼각형 껍질 내부에 균등하게 배치하면 빈 $6$‑의사삼각형을 만들 수 없으며, 동시에 $k$‑점 빈 볼록 다각형도 형성되지 않는다”는 구성으로, 상한은 “점이 $3k-2$ 이상이면 반드시 하나의 구조가 나타난다”는 복합적인 색칠 및 피셔-양자화 기법을 이용한다.

4. 빈 조건을 없앤 $F(k,\ell)$

   • $F(k,\ell)$는 “빈” 제약을 제거한 버전으로, 볼록 $k$‑각형 혹은 의사삼각형 $\ell$‑각형이 존재하면 충분하다. Bisztriczky와 Tóth(2003)의 결과를 확장해 $F(k,5)=k+2$와 $F(k,6)=k+3$을 정확히 구한다. 여기서는 “볼록 껍질이 삼각형이 아닌 경우에도, 충분히 많은 점이 있으면 의사삼각형을 강제로 만들 수 있다”는 점을 이용한다.
   • $F(k,7)$에 대해서는 $F(k,7)\le k+5$라는 비자명한 상한을 얻는다. 증명은 “의사삼각형의 귀가 3개 이상일 때, 귀 사이에 최소 하나의 점이 존재함을 보이는” 레마와, “점들을 적절히 색칠해 귀마다 최소 두 점을 확보”하는 색칠-피셔 기법을 결합한다.

5. 방법론적 기여

   • 기존의 “빈 삼각형” 연구는 주로 볼록 껍질이 사각형 이상인 경우에 초점을 맞췄으나, 이 논문은 볼록 껍질이 삼각형인 경우를 체계적으로 분석한다. 이는 의사삼각형이 자연스럽게 등장할 수 있는 최소 구조이기 때문에, 더 일반적인 $E(k,\ell)$·$F(k,\ell)$ 문제에 대한 귀중한 베이스 케이스를 제공한다.
   • 또한, “귀(Reflex) 각”을 중심으로 한 새로운 combinatorial invariant를 도입해, 빈 의사삼각형 존재 여부를 판단하는 기준을 정량화했다. 이 기법은 향후 $E(k,\ell)$의 정확한 값이나 상한을 구하는 데 재사용 가능하다.

결과적으로, 논문은 빈 구조와 비빈 구조 모두에서 $k$와 $\ell$이 작을 때(특히 $5,6,7$) 정확한 최소점수를 제공함으로써, Erdős–Szekeres‑Valtr 이론을 의사삼각형으로 확장하는 중요한 첫 걸음을 내디뎠다. 또한 제시된 경계와 레마들은 향후 $k,\ell$이 더 커지는 경우에 대한 연구에 직접적인 출발점을 제공한다.

**