지‑스테판코비치 과정의 급속 혼합 불가능성에 대한 반례

초록

본 논문은 최근 제시된 그래프 다항식과 그에 기반한 마코프 체인(Ge‑Stefankovic Process, GS Process)이 이분 그래프에서 독립 집합을 샘플링하기 위해 급속히 섞이지 않을 수 있음을, 특정 무한 그래프 계열을 이용한 반례를 통해 증명한다.

상세 분석

논문은 먼저 #BIS(이분 그래프의 독립 집합 개수) 문제의 복잡도와 이를 근사하기 위한 FPRAS의 존재 여부가 아직 미해결임을 상기한다. 기존에 제안된 정점 기반 마코프 체인은 완전 이분 그래프에서 공백 독립 집합을 통과해야 하는 ‘병목’ 때문에 지수적 혼합 시간을 갖는다. 이를 극복하고자 Ge와 Stefankovic은 두 변수 그래프 다항식 R′₂(G;λ,µ)를 정의하고, (λ,µ)=(½,1)에서 독립 집합 수와 직접 연결시켰다. 이 다항식에 기반한 새로운 마코프 체인, 즉 GS Process는 상태공간을 그래프의 간선 부분집합 Ω=2ᴱ 로 두고, 일종의 ‘single‑bond flip’ 전이 규칙을 사용한다. 중요한 점은 이 체인이 1‑cautious, 즉 한 번에 변형되는 간선 수가 상수(1)라는 점이다.

저자들은 이러한 체인이 급속히 섞이지 않을 수 있음을 보이기 위해, n과 m을 만족하는 (3/2)m ≤ 2ⁿ⁻¹ < (3/2)m+1 관계를 갖는 정수쌍을 선택하고, |U′|=n, |V|=|U′′|=m 인 정점 집합을 이용해 그래프 Gₙ을 구성한다. E는 U′와 V 사이의 완전 이분 연결과 V와 U′′ 사이의 완전 매칭 M으로 이루어진다. 이 구조는 Σ=2ᵁ (U의 부분집합)와 Ω=2ᴱ 사이에 일관성 관계 χ(I,A)를 정의하게 하며, π_Σ와 π_Ω는 각각 독립 집합의 주변 분포와 간선 집합의 주변 분포가 된다.

Σ는 Σ₀={I∈Σ | I∩U′=∅}와 Σ₁=Σ\Σ₀ 로 거의 균등하게 나뉘고, Ω는 w(A)=|A∩M| 를 기준으로 Ω₀={A|w(A)≤5/12 m}, Ω₁=Ω\Ω₀ 로 분할한다. 저자들은 Σ₀→Σ₁ 혹은 Ω₀→Ω₁ 전이가 반드시 ‘장벽’ 집합 C={A|9/24 m ≤ w(A) ≤ 11/24 m} 를 통과해야 함을 보인다.

조건부 확률 분석과 Chernoff 경계에 의해, Σ₀에서 샘플링된 I에 대해 A를 무작위로 선택하면 w(A)의 기대값은 1/3 m이며, Σ₁에서 샘플링된 I에 대해 선택하면 기대값은 1/2 m이다. 두 경우 모두 w(A)가 C에 속할 확률은 exp(−Θ(m)) 수준으로 지수적으로 작다. 따라서 π_Ω(C)도 지수적으로 작으며, Lemma 1(전이 차단에 의한 전도도 하한)을 적용하면 혼합 시간 τ ≥ π_Ω(Ω₀)/(8 π_Ω(C)) = exp(Ω(m)) 가 된다.

특히, d‑cautious 체인(한 번에 ≤d개의 간선을 바꾸는 체인)에서 d ≤ m/12 라면 Ω₀\C 에서 Ω₁\C 로 직접 전이할 수 없으므로 위 결과가 그대로 적용된다. GS Process는 1‑cautious이므로, 그 혼합 시간은 그래프 크기 n(≈m) 에 대해 지수적으로 증가한다.

또한 저자들은 Swendsen‑Wang‑형식의 두 단계 체인(Σ↔Ω)도 동일한 장벽을 공유함을 보이며, 이 체인 역시 지수적 혼합 시간을 가진다.

결론적으로, Ge‑Stefankovic가 제안한 GS Process는 일반 이분 그래프에 대해 급속 혼합을 보장하지 않으며, 따라서 #BIS 문제에 대한 일반적인 FPRAS를 제공하지 못한다. 다만 트리와 같은 제한된 그래프 클래스에서는 여전히 효율적일 가능성이 남아 있다.