경로폭이 제한된 그래프의 최단경로 거리와 무작위 트리 임베딩

본 논문은 두 가지 주요 목표를 가지고 전개된다. 첫 번째 목표는 경로폭이 k인 그래프 G의 모든 최단경로 메트릭을, 왜곡이 상수 c(k) 이하인 무작위 트리들의 분포에 임베딩할 수 있음을 보이는 정리이다. 두 번째 목표는 이 임베딩 결과를 활용해, 마이너 폐쇄 그래프 패밀리 F가 모든 트리를 포함하지 않을 경우, 다중상품 흐름‑절단(max‑flow/min‑cut) 갭이 상수 c(F) 이하임을 증명함으로써 Gupta‑Newman‑Rabinovich‑Sinclair의 유명한 추측을 해당 경우에 대해 해결하는 것이다. 1. **경로폭과 경로분해** 경로폭은 그래프를 연속적인 “bag”들의 시퀀스로 나누는 경로분해(path decomposition)의 최대 bag 크에서 1을 뺀 값으로 정의된다. 경로폭 k인 그래프는 각 단계에서 동시에 활성화되는 정점 수가 k+1개 이하임을 의미한다. 이 구조적 제한은 그래프가 일종의 “좁은” 선형 형태를 갖는다는 직관을 제공한다. 2. **무작위 트리 임베딩 설계** 저자들은 경로분해를 기반으로 계층적 파티셔닝을 수행한다. 구체적으로, 각 bag에 대해 일정 확률 p(k)로 두 정점을 같은 클러스터에 배치하고, 클러스터 간 연결은 가중치가 부여된 트리 엣지로 표현한다. 이 과정을 최상위 bag부터 하위 bag까지 재귀적으로 진행하면, 최종적으로 트리 형태의 메트릭 T가 생성된다. 중요한 점은 각 단계에서 선택되는 확률과 가중치가 경로폭 k에만 의존하도록 설계되어, 전체 임베딩의 왜곡이 그래프 크기에 무관하게 제한된다는 것이다. 3. **왜곡 분석** 논문은 두 가지 부등식을 증명한다. 첫째, 임베딩된 트리 T의 기대 거리가 원 그래프 G의 거리보다 크게 늘어나지 않음(E