이산적 관점에서 본 그로모프 면적 채우기 추측

초록

본 논문은 그로모프의 면적 채우기 추측을 그래프와 삼각분할을 이용한 이산적 모델로 재구성하고, 사이클을 등거리로 채우는 삼각분할의 정점 수에 대한 하한을 증명한다. 이를 통해 연속적인 리만 곡면에 대해 면적 하한 ≈ 1.36π 를 얻으며, 이는 임의의 등거리 채우기에 대한 최초의 정량적 하한이다.

상세 분석

논문은 먼저 “등거리 채우기”라는 개념을 정의한다. 즉, 경계가 주어진 그래프 C 에 대해, 삼각분할 K 의 경계가 C 와 동일하고, K 의 1‑스켈레톤에서 두 정점 사이의 그래프 거리 d_K(x,y) 가 C 의 거리 d_C(x,y) 와 정확히 일치하는 경우를 등거리 채우기라고 한다. 이를 일반화하여 δ‑Lipschitz 채우기를 도입한다. δ∈(0,1]에 대해 d_K(x,y)≥δ·d_C(x,y) 를 만족하면 δ‑Lipschitz 채우기이며, δ=1이면 원래 정의와 동일하다.

주요 정리인 Theorem 2.1은 C_n(정점 n개의 사이클)을 δ‑Lipschitz 채우는 모든 삼각분할 K 에 대해 정점 수 |V(K)|가
|V(K)| ≥ (δ³/8)(n−1)² + (n−1)/2
를 만족한다는 하한을 제시한다. 특히 δ=1이면 |V(K)| ≥ n²/8 로, 이는 상수 1/8 정도까지 최적에 가깝다. 증명은 두 핵심 보조정리에서 출발한다. Lemma 2.2는 K 에서 두 비인접 경계 정점 x, y 를 제거했을 때, L,R 라는 두 연결 성분을 구분하는 정점 집합 S 가 존재하면, S 가 x와 y 를 연결하는 경로의 모든 내부 정점을 포함한다는 Sperner‑type 성질을 보인다. Proposition 2.3은 사이클 C_n 에서 L,R 사이에 서로 다른 k 쌍의 정점을 잡고, 각 쌍을 잇는 최단 경로들의 거리 합이 최소 k(k+2)/2 임을 보여준다.

이 두 결과를 Menger 정리와 결합하면, x와 y 사이에 δ·⌊n/2⌋−1 개 이상의 서로 정점‑분리된 경로가 존재하고, 각 경로의 길이는 위 Proposition 2.3 에 의해 하한이 주어진다. 이를 정리하면 위 정점 수 하한이 도출된다.

다음으로 Euler 공식과 결합해 삼각형 수에 대한 하한을 얻는다. Corollary 2.4는 |T(K)| ≥ (δ³/4)(n−1)² + 1 − 2χ 를 제공한다. 여기서 χ는 K 를 닫아 만든 폐곡면의 오일러 특성이다.

연속적인 설정으로 옮기기 위해 Lemma 3.1에서 “균형 삼각분할”을 구축한다. 임의의 PL(조각선형) 곡면 M 에 대해, ε→0 로 갈 때 모든 변의 길이가 ε±o(ε) 이며, 대부분의 삼각형이 정삼각형(변 길이 ε)인 삼각분할 K(ε)를 만들 수 있음을 보인다. 이 과정은 Dirichlet‑approximation 정리를 이용해 각 변을 거의 동일한 길이의 구간으로 나누고, 2‑차원 격자(정육각형 격자)의 삼각형을 이용해 내부를 채우는 구성으로 이루어진다.

이 균형 삼각분할을 앞서 얻은 이산 하한에 적용하면, δ‑Lipschitz 등거리 채우기인 경우 면적이
Area(M) ≥ √3/16·δ³·ℓ²
를 만족한다 (Theorem 3.3). 여기서 ℓ은 원의 둘레(2π인 경우 ℓ=2π)이다. δ=1 을 대입하면 Area(M) ≥ √3/16·(2π)² ≈ 1.36π 가 된다. 마지막으로 Corollary 3.4는 동일한 결과를 Riemannian 곡면에도 확장한다.

이 결과는 기존에 알려진 “디스크가 최소” 혹은 “genus 1인 경우” 등 특수 위상에 대한 증명과 달리, 전혀 위상적 제약이 없는 일반적인 등거리 채우기에 대해 최초의 정량적 하한을 제공한다는 점에서 의미가 크다. 다만 상수 √3/16·δ³ 가 아직 최적이라고 보기는 어려우며, 1/8 상수의 개선 여부와 δ‑Lipschitz 근사 단계에서 발생하는 손실을 줄이는 것이 향후 연구 과제로 남는다.