약한 이플실론 넷의 하한과 계단볼록성

초록

저자들은 고정 차원 d≥2에서 ε=1/r인 약한 ε‑넷의 크기에 대한 새로운 하한을 제시한다. 빠르게 성장하는 d개의 수열을 곱한 “늘어진 격자(stretched grid)”를 구성하고, 이 격자에서의 볼록성을 “계단볼록성(stair‑convexity)”이라는 새로운 개념으로 분석한다. 그 결과, 모든 약한 (1/r)‑넷은 최소 Ω(r·log^{d‑1} r)개의 점을 필요로 함을 보이며, 이는 고정 차원에서 처음으로 초선형 하한을 제공한다. 또한 d≥3인 경우 대각선 점집합에 대해 역아커만 함수와 관련된 약간의 초선형 하한을 얻고, 평면에서 두 번째 선택 정리(second selection lemma)의 상한을 로그 요인만큼 개선한다.

상세 분석

논문은 약한 ε‑넷 문제의 핵심 난이도를 고정 차원 d에서 새롭게 조명한다. 기존에는 ε가 충분히 작을 때만 선형 하한이 알려졌으며, 초선형 하한은 차원이 증가함에 따라만 알려졌다. 저자들은 “늘어진 격자”라는 구조를 도입함으로써, 각 좌표축에 대해 급격히 증가하는 수열을 선택하고 이를 데카르트 곱으로 만든다. 이 격자는 일반적인 유클리드 볼록성보다 더 강한 제약을 갖는 “계단볼록성”을 정의할 수 있게 해준다. 계단볼록성은 점들의 좌표 순서를 보존하면서 각 축에 대해 비내림차순인 경로를 따라 만든 다각형(다면체)으로, 전통적인 볼록 다각형과는 달리 격자 내부의 “계단” 형태를 띤다. 이러한 정의를 통해, 격자 내의 임의의 큰 집합이 특정 계단볼록 집합에 포함될 경우, 그 집합의 투영이 각 축에서 일정한 구간을 차지한다는 강력한 구조적 성질을 얻는다.

이 구조적 성질을 이용해 저자들은 다음과 같은 논증을 전개한다. 먼저, ε=1/r인 경우, 격자 내에 r개의 “층(layer)”을 정의하고 각 층마다 서로 다른 좌표 구간을 배정한다. 각 층은 서로 겹치지 않으며, 한 층에 속한 점들의 수는 Θ(log^{d‑1} r) 정도가 된다. 이제 약한 (1/r)‑넷 N이 존재한다고 가정하면, N은 각 층의 모든 “큰” 계단볼록 집합을 반드시 가로질러야 한다. 그러나 계단볼록 집합의 정의에 따라, 하나의 넷 점이 동시에 여러 층을 커버할 수 있는 경우는 제한적이다. 구체적으로, 한 점이 커버할 수 있는 층의 수는 O(1)이며, 따라서 전체 넷의 크기는 최소 Ω(r·log^{d‑1} r)이어야 함을 보인다. 이는 기존에 알려진 O(r·log^{d‑1} r) 상한과 일치하는 차수이지만, 하한 측면에서는 처음으로 초선형을 확립한 것이다.

또한 d≥3인 경우, 격자의 대각선 점집합을 고려한다. 이 집합은 본질적으로 1차원 구조를 가지지만, 격자 전체의 고차원적 배치 때문에 약한 ε‑넷의 크기가 여전히 크게 요구된다. 저자들은 역아커만 함수 α(·)를 이용해 하한을 Ω(r·α(r)) 형태로 제시한다. 이는 이전에 알려진 O(r·α(r)) 상한과 거의 일치한다는 점에서, 최악의 경우에도 기존 알고리즘이 거의 최적임을 시사한다.

마지막으로, 평면에서의 두 번째 선택 정리(second selection lemma)에 대한 응용을 제시한다. 기존 상한은 O(t²/n³)였으나, 늘어진 격자를 이용해 삼각형 집합 T를 구성하면, 각 점이 포함되는 삼각형 수를 O(t²/(n³·log(n³/t)))로 감소시킬 수 있다. 이는 로그 요인만큼 개선된 결과로, 선택 정리의 상한을 한 단계 끌어올린 것이다. 전체적으로 논문은 계단볼록성이라는 새로운 기하학적 도구를 통해 약한 ε‑넷 문제와 선택 정리의 복잡도에 새로운 관점을 제공한다.