볼록 다각형의 Minkowski 합에서 볼록 독립 부분집합의 최적 크기

초록

연구진은 두 개의 볼록 n각형을 구성해 그 Minkowski 합 안에 존재하는 가장 큰 볼록 다각형의 꼭짓점 수가 Θ(n log n)임을 보였다. 이는 기존에 알려진 상한과 일치한다.

상세 분석

논문은 먼저 평면상의 점 집합 X에서 볼록 독립 부분집합 ci(X)의 최대 크기를 정의하고, 전통적인 Happy Ending 정리와 그 변형을 언급한다. 이어서 X가 두 점 집합 P와 Q의 Minkowski 합 P+Q 형태일 때 ci(P+Q)의 상한이 기존 연구에서 O(n^{4/3})까지 알려졌으며, 특히 P와 Q가 임의의 점 집합일 때는 이 정도가 최적이라는 사실을 상기한다. 여기서 핵심 질문은 P와 Q가 모두 볼록 다각형일 경우 ci(P+Q)의 가능한 최대값을 묻는 것이다. Tiwary는 이 경우 O((n+m) log(n+m))라는 상한을 증명했지만, 하한이 존재하는지는 미해결이었다.

저자들은 “남동쪽 사슬(south‑east chain)”이라는 특수한 점열을 도입한다. 남동쪽 사슬은 좌표가 모두 증가하고 인접 점 사이의 기울기가 엄격히 증가하는 순서열이다. 이러한 사슬은 자동으로 볼록 독립임을 보이며, 이를 이용해 복잡한 구조를 단계적으로 구축한다. 핵심 아이디어는 사슬을 선형 변환 L_ε으로 얇게 만든 뒤 60도 회전 R을 적용하고, 다시 두 사슬의 중점들을 취해 새로운 사슬을 만든다. 이 과정을 반복하면 사슬의 길이가 기하급수적으로 늘어나면서도 모든 점이 여전히 남동쪽 사슬의 조건을 만족한다.

구체적으로, 길이 n인 두 사슬 A와 B를 준비하고, C가 (A+B)/2에 포함되도록 설계한다. ε를 충분히 작게 잡아 A와 B를 얇게 만든 뒤 회전시켜 A′, B′를 얻고, A와 B′, B와 A′를 적절히 평행 이동시켜 새로운 사슬 Ã와 B̃를 만든다. 이때 (Ã+B̃)/2 안에는 원래 C보다 약 2배 길이의 사슬이 포함된다. 이 과정을 k번 반복하면 최종적으로 |P_k|=|Q_k|=2^k 인 두 볼록 다각형이 생성되고, 그 Minkowski 합 안에 존재하는 최대 볼록 다각형의 꼭짓점 수는 (k+2)·2^k−1 로, n=2^k에 대해 Θ(n log n)임을 얻는다.

또한 저자들은 이 구성을 그래프 이론적 관점에서 해석한다. 두 사슬을 정점 집합 U와 V라 하고, 중점 조건을 만족하는 쌍을 간선으로 보는 이분 그래프는 |E|≈n log n개의 간선을 갖는다. 이는 강한 볼록 임베딩 개념과 대비해 선형이 아닌 로그 팩터가 나타나는 흥미로운 사례이다. 마지막으로 단위 거리 문제와의 연관성을 논의하면서, 현재 구성만으로는 기존 O(n log n) 상한을 개선할 수 없음을 인정한다.

전체적으로 논문은 기하학적 변환과 사슬 구조를 정교히 결합해, 볼록 다각형의 Minkowski 합에서 볼록 독립 부분집합의 최적 크기가 Θ(n log n)임을 증명함으로써 Tiwary의 상한이 최적임을 확정한다.