유클리드와 일반 노름 공간에서의 존 다이어그램 존재와 유일성

본 논문은 “존 다이어그램”(zone diagram)이라는 개념을 심도 있게 탐구한다. 존 다이어그램은 전통적인 보로노이 다이어그램을 일반화한 것으로, n개의 사이트가 서로 경쟁하여 차지하는 영역이 서로의 지배 관계에 의해 정의되는 고정점 구조를 가진다. 구체적으로, 각 영역 R_i는 “점 x가 사이트 P_i에 대해 다른 모든 영역 R_j (j≠i)보다 가깝다”는 조건을 만족하는 점들의 집합으로 정의된다. 이 정의는 암묵적이며, 존재와 유일성이 자동으로 보장되지 않는다. 기존 연구에서는 Asano·Matoušek·Tokuyama가 2차원 유클리드 평면에서 점 사이트에 대해 존재와 유일성을 증명했으며, 그 증명은 복잡한 경우 분석에 의존했다. Reem·Reich는 보다 일반적인 메트릭 공간에서 두 사이트에 대해 존재만을 보였지만, 유일성은 보장되지 않았다. 저자들은 이러한 제한을 넘어, 차원 d≥1의 유클리드 공간 ℝ^d에서 서로 거리 >0인 n개의 비공집합(폐집합) 사이트에 대해 존 다이어그램이 정확히 하나 존재한다는 Theorem 1.1을 제시한다. 증명의 핵심은 “지배 연산자”(Dom)라는 함수를 정의하고, 이 연산자가 단조(monotone)함을 이용해 불변점(fixed point) 존재를 보이는 것이다. Theorem 2.1에 따르면, 임의의 사이트 집합에 대해 두 튜플 R, S가 존재해 R=Dom S, S=Dom R이며, 모든 다른 후보 해에 대해 R⊆R′, S′⊆S가 성립한다. 여기서 R은 가능한 최소 영역, S는 가능한 최대 영역을 의미한다. 유클리드 경우에는 Lemma 3.1(콘 레마)에서, 한 점 a∈R_i와 그에 가장 가까운 사이트 p∈P_i를 잡고, 반지름 ε/4인 구 B(p,ε/4)를 고려한다. a와 B(p,ε/4) 사이의 볼록 결합 K=conv{a}∪B(p,ε/4)가 전체적으로 R_i에 포함됨을 보인다. 이는 유클리드 거리에서 지배 영역이 반평면들의 교집합, 즉 볼록 집합이 되는 성질을 이용한다. 그 다음, “차이 감소” 전략을 도입한다. 가정에 모순이 있으면 R⊂S라 가정하고, S∖R에 속하는 점 b₀를 잡는다. b₀에 대해 거리 s(b₀)=dist(b₀,P)와 δ(b₀)=dist(b₀,a(b₀))를 정의하고, Lemma 3.2를 통해 새로운 점 b′∈S∖R를 찾아 s(b′)와 δ(b′)가 두 경우(A) s′≤s−α 혹은 (B) s′≤s−δ, δ′≥δ 중 하나를 만족하도록 만든다. 여기서 α>0는 ε와 초기 s₀에만 의존한다. 이 과정을 반복하면 s(b_t)는 무한히 감소하거나, 경우(B)가 무한히 반복되어 s(b_t)→0이 된다. 그러나 Observation 2.2에 의해 s(b_t)는 ε/4 이하로는 내려갈 수 없으므로 모순이 발생한다. 따라서 처음 가정인 R≠S가 틀렸음이 증명되고, R=S가 되어 유일한 존 다이어그램이 존재한다. 다음으로, 일반 노름 공간으로 확장한다. 매끄럽고 로툰한 노름은 단위 구가 부드럽고 엄격히 볼록하다는 의미이며, 이는 유클리드 경우와 동일하게 지배 영역이 볼록함을 보장한다. Lemma 4.1에서 유클리드 콘 레마의 증명을 노름의 미분가능성(매끄러움)과 엄격한 볼록성(로툰성)을 이용해 일반화한다. 따라서 Theorem 1.2가 성립한다: 매끄럽고 로툰한 노름을 갖는 ℝ^d에서 서로 거리 >0인 n개의 비공집합 사이트에 대해 존 다이어그램이 정확히 하나 존재한다. 반대로 매끄럽지 않은 로툰 노름(예: ℓ₁)에서는 유일성이 깨진다. 논문은 ℝ²에 ℓ₁ 노름을 적용하고 두 점 (0,0), (0,3)을 사이트로 잡아 두 개의 서로 다른 존 다이어그램을 그림으로 제시한다. 이는 단위 구가 날카로운 코너를 가지며, 지배 영역이 비볼록해지는 것이 원인이다. 마지막으로, 매끄러움만 있으면(로툰성은 필요 없고) 평면에서 두 점 사이트에 대해 존재와 유일성을 확보한다(Theorem 1.3). 이는 매끄러운 노름에서도 지배 영역이 충분히 “곡선” 형태를 유지해 위의 반복 논증이 그대로 적용될 수 있음을 보인다. 전체적으로 논문은 기존 복잡한 사례 분석을 대체하는 보다 직관적인 불변점 접근법을 제시하고, 매끄러움·로툰성이라는 기하학적 조건이 존 다이어그램의 구조적 특성을 어떻게 좌우하는지를 명확히 밝힌다. 또한, 존재와 유일성에 대한 충분조건과 필요조건을 구분해 제시함으로써, 향후 비유클리드 메트릭, 고차원 데이터 분석, 로봇 경로 계획 등 다양한 응용 분야에서 존 다이어그램을 활용할 이론적 토대를 제공한다.