일관된 경로 시스템의 메트릭 근사와 Δ값의 급격한 성장

초록

본 논문은 그래프의 일관된 경로 시스템에 대해 메트릭 근사 개념을 도입하고, Δ(P)라는 최소 근사 비율을 정의한다. 그룹 불변 경로 시스템을 이용해 n점 그래프에서 Δ(P)≥n^{1/2‑o(1)}인 시스템을 구성함과 동시에, Δ(P)를 다항 시간에 정확히 계산할 수 있음을 보인다. 또한 Δ(P)가 대수적이면서 경우에 따라 무리수일 수 있음을 증명한다.

상세 분석

논문은 먼저 “일관된 경로 시스템”(consistent path system)의 정의를 명확히 한다. 이는 그래프 G=(V,E)에서 모든 정점 쌍 (u,v)마다 유일한 경로 P_{u,v}가 존재하고, 경로가 부분경로를 포함하는 폐쇄성을 만족하는 집합이다. 이러한 시스템에 메트릭 ρ가 존재하면 각 경로의 길이 Σ_{i=1}^{k}ρ(x_{i-1},x_i)가 실제 거리 ρ(x_0,x_k)와 정확히 일치한다. 저자들은 이를 완화하여 α‑metric 개념을 도입한다. 즉, 어떤 메트릭 ρ에 대해 모든 경로에 대해 Σρ ≤ α·ρ(x_0,x_k) 를 만족하면 시스템은 α‑metric이다. 여기서 Δ(P)=inf{α≥1 | P는 α‑metric} 로 정의한다.

기본적인 상한은 Δ(P)≤n (정점 수)이며, 하한을 크게 만들기 위해 그룹 불변 경로 시스템을 설계한다. Cayley 그래프 Γ(G,S) 위에 G‑invariant한 경로 시스템을 정의하고, 각 정점 x에 대해 단어 w_x를 선택해 경로를 구성한다. Proposition 2.4와 2.5는 이러한 단어 집합이 일관성을 보장하고, 메트릭을 G‑invariant하게 만들 수 있음을 증명한다.

핵심은 Lemma 3.2이다. 여기서는 유한군 G와 대칭 집합 X⊂G를 선택하고, 정수 m, d를 조절해 다음 세 조건을 만족하도록 한다: (1) X의 모든 원소의 차수가 2m보다 크다, (2) X 내에서 작은 지수 i,j (|i|,|j|≤m) 로 g^i = h^j 가 되려면 i=j=0이어야 한다, (3) X의 각 원소 g에 대해 g^m을 X의 원소 최대 d개 곱으로 표현 가능하다. 이러한 조건을 만족하면 S = X ∪ (G {g^i | g∈X, |i|≤m}) 로 정의된 Cayley 그래프에 G‑invariant 일관 경로 시스템 P가 존재하고, Δ(P) ≥ m·d·|X| 가 된다.

다음으로, 순환군 Z_n (n은 소수) 에 대해 적절한 X를 무작위로 선택하면 Lemma 3.3이 성립한다. 여기서는 |X|=O(log n), m≈√n·log n, d=O(log n) 를 얻어 Δ(P) ≥ n^{1/2−o(1)} 를 달성한다. 즉, 정점 수 n에 대해 Δ(P)의 하한이 거의 √n 수준까지 성장한다는 강력한 결과를 얻는다.

알고리즘적 측면에서는 Δ(P)의 정확한 값을 다항 시간에 계산할 수 있음을 보인다. Observation 4.4는 Δ(P)≤t 와 t≥Δ(P) 사이의 구분을 선형 부등식 시스템 (4) 로 표현한다. 이 시스템의 실현 가능성을 LP로 검사하고, 이분 탐색을 통해 α=Δ(P)의 근사값을 얻는다. Theorem 4.3(알고리즘ic number theory) 을 이용하면 충분히 정밀한 유리 근사로부터 α가 대수적임을 확인하고, 최소 다항식을 복원해 정확히 구한다. 따라서 Δ(P)는 언제나 대수수이며, 경우에 따라 무리수일 수도 있음을 Theorem 4.2 가 보여준다.

전체적으로 이 논문은 (1) 메트릭 근사라는 새로운 정량적 프레임을 제시하고, (2) 그룹 대칭을 활용해 Δ(P)의 하한을 거의 √n 수준까지 끌어올리며, (3) Δ(P)를 효율적으로 계산하는 알고리즘을 제공함으로써 이론과 실용 양면에서 의미 있는 기여를 한다.