[논문 리뷰] Improved Inapproximability Results for Counting Independent Sets in the Hard-Core Model

Andreas Galanis, Qi Ge외 3명|arXiv (Cornell University)|2011. 05. 25.

Markov Chains and Monte Carlo Methods참고 문헌 14인용 수 17

한 줄 요약

이 논문은 최대 차수 Δ인 그래프에서 하드코어 모델의 독립집합 수를 세는 문제에 대해 향상된 비근사 가능성 결과를 확립한다. Mossel, Weitz, Wormald의 두 번째 모멘트 분석을 정교화함으로써, Δ = 3 또는 Δ ≥ 6 인 경우 λ > λ_c(𝕋_Δ) 일 때는 완전 다항 시간 무작위 근사계열(FPRAS)이 존재하지 않음을 증명한다. 이는 이 문제 유형에서 계산적 비가역성의 임계점에 대한 거의 추측을 해결한다.

ABSTRACT

We study the computational complexity of approximately counting the number of independent sets of a graph with maximum degree Delta. More generally, for an input graph G=(V,E) and an activity lambda>0, we are interested in the quantity Z_G(lambda) defined as the sum over independent sets I weighted as w(I) = lambda^|I|. In statistical physics, Z_G(lambda) is the partition function for the hard-core model, which is an idealized model of a gas where the particles have non-negibile size. Recently, an interesting phase transition was shown to occur for the complexity of approximating the partition function. Weitz showed an FPAS for the partition function for any graph of maximum degree Delta when Delta is constant and lambda< lambda_c(Tree_Delta):=(Delta-1)^(Delta-1)/(Delta-2)^Delta. The quantity lambda_c(Tree_Delta) is the critical point for the so-called uniqueness threshold on the infinite, regular tree of degree Delta. On the other side, Sly proved that there does not exist efficient (randomized) approximation algorithms for lambda_c(Tree_Delta) < lambda < lambda_c(Tree_Delta)+epsilon(Delta), unless NP=RP, for some function epsilon(Delta)>0. We remove the upper bound in the assumptions of Sly's result for Delta not equal to 4 and 5, that is, we show that there does not exist efficient randomized approximation algorithms for all lambda>lambda_c(Tree_Delta) for Delta=3 and Delta>= 6. Sly's inapproximability result uses a clever reduction, combined with a second-moment analysis of Mossel, Weitz and Wormald which prove torpid mixing of the Glauber dynamics for sampling from the associated Gibbs distribution on almost every regular graph of degree Delta for the same range of lambda as in Sly's result. We extend Sly's result by improving upon the technical work of Mossel et al., via a more detailed analysis of independent sets in random regular graphs.

연구 동기 및 목표

• 하드코어 분할 함수를 근사하는 데 있어서 계산적 비가역성의 임계점이 무한한 Δ-정규 트리에서의 유일성 임계점 λ_c(𝕋_Δ) 정확히 일치하는지 확인하기 위해.
• 이전에 λ_c(𝕋_Δ)를 초과하는 데 대해 ε(Δ)의 상한이 필요로 했던 Sly의 비근사 가능성 결과에서 간극을 메우기 위해, Δ ≠ 4,5 인 경우 이 제약 조건을 제거하기 위해.
• 랜덤 정규 그래프에서의 글로버 다이내믹스의 혼합 시간 분석을 강화하기 위해, 특히 이전 연구에서 사용된 두 번째 모멘트 방법을 개선하기 위해.
• 글로버 다이내믹스의 느린 혼합이 Δ의 지정된 범위에서 λ > λ_c(𝕋_Δ) 인 경우 분할 함수의 비근사 가능성으로 이어진다는 것을 입증하기 위해.

제안 방법

• Sly의 감소 프레임워크를 확장하여, 무작위 정규 그래프에서의 독립집합에 대한 두 번째 모멘트 분석을 향상시키고, 더 정교한 조합적 추정을 사용한다.
• 무작위 정규 그래프에서의 독립집합 수의 분산에 대한 세밀한 분석을 적용하여, 비근사 가능성 증명에서 사용된 경계를 강화한다.
• 글로버 다이내믹스의 혼합 시간을 분석하기 위해 정교한 모멘트 방법을 구현하여, Δ = 3 또는 Δ ≥ 6 인 경우 λ > λ_c(𝕋_Δ) 에서 느린 혼합이 일어남을 보였다.
• 복잡한 다항부등식이 두 번째 모멘트 분석에서 발생하는 것을 식별하기 위해 Mathematica를 활용한 기호 계산을 수행한다. 특히 λ_c(𝕋_Δ) 근처의 임계 영역에서.
• 기대값의 비율을 고려하고 코시-슈바르츠 유형의 경계를 적용함으로써, 분할 함수를 분산 분석에 적합한 형태로 변환한다.
• 글로버 다이내믹스의 빠른 혼합과 FPRAS의 존재성 간의 연결을 활용하여, 느린 혼합이 NP ≠ RP 조건 하에서 비근사 가능성으로 이어진다는 것을 보였다.

실험 결과

연구 질문

• RQ1 모든 Δ ≠ 4,5 에 대해, 하드코어 모델에서의 독립집합 수를 세는 문제의 비근사 가능성 임계점이 무한한 Δ-정규 트리에서의 유일성 임계점 λ_c(𝕋_Δ) 와 정확히 일치하는가?
• RQ2 Sly의 비근사 가능성 결과에서 요구되던 λ에 대한 상한 ε(Δ)를 Δ = 3 및 Δ ≥ 6 인 경우 제거할 수 있는가? 이를 통해 λ > λ_c(𝕋_Δ) 인 모든 경우에 비근사 가능성의 존재를 증명할 수 있는가?
• RQ3 Mossel, Weitz, Wormald의 두 번째 모멘트 분석을 개선하여, 무작위 정규 그래프에서 Δ = 3 또는 Δ ≥ 6 인 경우 λ > λ_c(𝕋_Δ) 에서 글로버 다이내믹스의 느린 혼합이 일어남을 보일 수 있는가?
• RQ4 비록 임계점 λ_c(𝕋_Δ) 가 최대 차수 Δ 인 그래프에서 하드코어 분할 함수에 대한 FPRAS가 존재하지 않는 정확한 경계인가?
• RQ5 무작위 정규 그래프에서 글로버 다이내믹스가 느리게 혼합하는 λ의 정확한 범위는 무엇이며, 이는 분할 함수 근사의 계산 복잡성과 어떻게 관련되는가?

주요 결과

• Δ = 3 이고 λ > λ_c(𝕋_3) = 4 인 경우, NP = RP 가 아니면 하드코어 분할 함수에 대한 FPRAS는 존재하지 않는다.
• Δ ≥ 6 이고 λ > λ_c(𝕋_Δ) 인 경우, 동일한 복잡도 가정 하에 FPRAS의 부재를 증명한다.
• 비근사 가능성 결과는 Δ = 4 및 Δ = 5 에 대한 특정 범위로 확장되었으며, Δ = 4 에서는 λ ∈ (1.6875, 2.01538] 및 (4, ∞) 범위, Δ = 5 에서는 여러 개의 구간이 포함된다.
• 저자들은 무작위 정규 그래프에서의 독립집합에 대한 두 번째 모멘트 분석을 개선하여 분산에 대한 더 강력한 경계를 확보함으로써, 더 탴한 비근사 가능성 결과를 도출하였다.
• 증명 과정에서 Δ = 3 또는 Δ ≥ 6 인 경우 λ > λ_c(𝕋_Δ) 에서 글로버 다이내믹스가 느리게 혼합함을 입증하였으며, 이는 FPRAS의 부재를 의미한다.
• 분석을 통해 임계점 λ_c(𝕋_Δ) 가 계산 가능성의 정확한 경계임을 확인하였으며, 이는 분야 내 거의 추측을 해결하였다.