평면 그래프의 다중 흐름 절단 격차를 2까지 끌어올린 새로운 하한

**1. 서론 및 배경** 다중‑상품 흐름‑절단 문제는 그래프 이론과 최적화에서 핵심적인 위치를 차지한다. 단일 상품 경우에는 Max‑Flow/Min‑Cut 정리가 정확히 일치하지만, 다중 상품에서는 일반적으로 \(Φ^* = O(\log k)·λ^*\) 와 같은 로그‑인자 상한만 알려져 있다. 이때 \(c₁(G)\) 는 그래프 \(G\) 의 모든 최단‑경로 메트릭을 L₁에 임베딩할 때 필요한 최소 왜곡을 의미한다. 이전 연구는 \(c₁(K_{2,n})\) 가 \(3/2\) 에 수렴한다는 사실만을 제공했으며, 평면 그래프 전체에 대한 비(>1) 하한은 없었다. **2. 주요 결과** - **정리 1**: 시리즈‑패럴렐(따라서 평면) 그래프 집합 \(\{G_n\}\) 에 대해 \(\lim_{n\to\infty} c₁(G_n)=2\) 임을 보인다. 이는 다중‑상품 흐름‑절단 격차가 최악의 경우 정확히 2가 됨을 의미한다. - **정리 2**: 기존 상한 \(2\) (Chakrabarti 등, 2022)과 일치함을 확인, 따라서 격차는 정확히 2이다. - **정리 3**: \(K_{2,n}^{\⊘k}\) (재귀적 ⊘ 연산을 적용한 그래프) 에 대해, 충분히 큰 \(k,n\) 일 때 임베딩이 거의 전부 monotone cut으로 구성된다는 사실을 보인다. **3. 그래프 구성 및 ⊘ 연산** \(K_{2,n}\) 는 두 개의 소스‑시크와 \(n\) 개의 싱크를 갖는 완전 이분 그래프이며, 자연스럽게 s‑t 그래프 형태를 가진다. ⊘ 연산은 한 그래프 \(H\) 의 각 간선을 다른 그래프 \(G\) 의 복제본으로 교체한다. 재귀적으로 정의된 \(G^{\⊘k}\) 는 \(G^{\⊘(k-1)}\) 의 모든 간선을 \(G\) 로 교체한 결과이며, 이때 \(K_{2,n}^{\⊘k}\) 는 “다이아몬드” 구조를 다층으로 쌓은 형태가 된다. 이 그래프는 여전히 series‑parallel이며, 따라서 평면성을 유지한다. **4. Monotone Cut과 L₁ 임베딩** 임베딩 \(f:V\to L₁\) 은 절단들의 가중합으로 표현될 수 있다(절단 측정 \(\mu\) 와의 일대일 대응). 특정 s‑t 쌍에 대해 모든 s‑t 최단 경로가 절단을 한 번만 가로지르는 경우를 monotone cut이라 한다. 만약 임베딩이 대부분 monotone cut만을 사용한다면, 각 경로의 L₁ 거리와 그래프 거리 사이의 비율이 최소 2 에 가깝게 된다. 이는 K₂,ₙ의 기본 구조에서 바로 관찰할 수 있다. **5. Coarse Differentiation 기법** Eskin‑Fisher‑Whyte의 coarse differentiation은 비선형 매핑이 큰 스케일에서 거의 선형적으로 행동한다는 점을 이용한다. 논문은 다음과 같은 정의를 도입한다. - **ε‑efficient sequence**: 경로 상의 점들이 전체 거리 대비 거의 최단 거리와 일치. - **(ε,δ)‑inefficient at level k**: 레벨 k 의 구간 중 δ 비율 이상이 ε‑efficient하지 않음. 주요 정리(정리 3.3)는 비확장성(non‑expansive) 매핑 \(f: