[논문 리뷰] Quantum Speedup for Sampling Random Spanning Trees

Vishesh Jain, Huy Tuan Pham외 1명|arXiv (Cornell University)|2021. 05. 03.

Quantum chaos and dynamical systems참고 문헌 23인용 수 11

한 줄 요약

이 논문은 스펙트럴 독립성과 새로운 분산 수축 기법을 결합하여 q-spin 시스템의 Glauber 역동성에 대한 스펙트럼 갭의 새로운 하한을 확립함으로써, 샘플링과 분할 함수 근사에 더 빠른 혼합 시간을 가능하게 한다. 이로 인해 균일한 랜덤 스패닝 트리 샘플링, 삼각형이 없는 그래프에서의 적절한 색칠, 하드코어 모델의 분할 함수 근사에 대해 향상된 런타임 하한을 달성하였으며, 이는 핵심 영역에서 이전 방법보다 현저히 뛰어난 성능을 발휘한다.

ABSTRACT

We present a new lower bound on the spectral gap of the Glauber dynamics for the Gibbs distribution of a spectrally independent $q$-spin system on a graph $G = (V,E)$ with maximum degree $Δ$. Notably, for several interesting examples, our bound covers the entire regime of $Δ$ excluded by arguments based on coupling with the stationary distribution. As concrete applications, by combining our new lower bound with known spectral independence computations and known coupling arguments: (1) We show that for a triangle-free graph $G = (V,E)$ with maximum degree $Δ\geq 3$, the Glauber dynamics for the uniform distribution on proper $k$-colorings with $k \geq (1.763\dots + δ)Δ$ colors has spectral gap $ ildeΩ_δ(|V|^{-1})$. Previously, such a result was known either if the girth of $G$ is at least $5$ [Dyer et.~al, FOCS 2004], or under restrictions on $Δ$ [Chen et.~al, STOC 2021; Hayes-Vigoda, FOCS 2003]. (2) We show that for a regular graph $G = (V,E)$ with degree $Δ\geq 3$ and girth at least $6$, and for any $\varepsilon, δ> 0$, the partition function of the hardcore model with fugacity $λ\leq (1-δ)λ_{c}(Δ)$ may be approximated within a $(1+\varepsilon)$-multiplicative factor in time $ ilde{O}_δ(n^{2}\varepsilon^{-2})$. Previously, such a result was known if the girth is at least $7$ [Efthymiou et.~al, SICOMP 2019]. (3) We show for the binomial random graph $G(n,d/n)$ with $d = O(1)$, with high probability, an approximately uniformly random matching may be sampled in time $O_{d}(n^{2+o(1)})$. This improves the corresponding running time of $ ilde{O}_{d}(n^{3})$ due to [Jerrum-Sinclair, SICOMP 1989; Jerrum, 2003].

연구 동기 및 목표

• 기존의 커플링 기반 방법이 실패하는 q-spin 시스템에서 Glauber 역동성의 혼합 시간 분석에 있어 중요한 간극을 메우기 위해.
• 정적 분포 커플링 기법의 한계를 초월하는 새로운 스펙트럼 갭 하한을 도출하기 위해.
• 핵심 통계역학 모델에 대한 근사 샘플링과 분할 함수 근사의 런타임을 향상시키기 위해.
• 희박한 랜덤 그래프에서 균일한 랜덤 매칭과 삼각형이 없는 그래프에서의 적절한 색칠에 대한 더 빠른 알고리즘을 얻기 위해.
• 마코프 체인 분석에서 고차원 확산기반의 스펙트럴 독립성과 분산 수축 기법을 통합하고 확장하기 위해.

제안 방법

• 순서-(r,s) 전역 분산 수축을 이용한 Glauber 역동성의 스펙트럼 갭 하한을 구하는 새로운 프레임워크를 도입하기 위해.
• 국소 분산 수축과 국소 스펙트럼 확산 간의 동치성을 확립하여, 스펙트럴 독립성과 분산 감쇠를 연결하기 위해.
• 조건부 조건의 수준을 거쳐 분산 감쇠에 대한 재귀 부등식을 유도하기 위해. 이는 스펙트럴 독립성 매개변수에서 유도된 αk 기반 수축률을 사용한다.
• 세 가지 핵심 모델에 프레임워크를 적용하기 위해: 적절한 색칠, 하드코어 모델, 모노머디머 모델.
• 적응형 시뮬레이티드 앤날링과 함께 새로운 스펙트럼 갭 하한을 활용하여 분할 함수 근사에 대해 거의 선형 혼합 시간을 달성하기 위해.
• 스펙트럴 독립성이 국소 스펙트럼 확산을 암시함을 이용하고, 이를 통해 전역 분산 수축률을 제약하기 위해.

실험 결과

연구 질문

• RQ1 정적 분포 커플링의 한계를 극복할 수 있는 새로운 스펙트럼 갭 하한을 도출할 수 있는가?
• RQ2 새로운 분산 수축 프레임워크는 최대 차수 ∆가 큰 q-spin 시스템에서 더 빠른 혼합을 가능하게 하는가?
• RQ3 향상된 스펙트럼 갭 하한은 희박한 랜덤 그래프에서 랜덤 스패닝 트리 샘플링에 대해 하향 세제곱 시간 알고리즘을 가능하게 하는가?
• RQ4 이 새로운 방법은 기존의 고리 길이 또는 차수 제약 조건을 초월하여 적절한 색칠과 하드코어 모델 샘플링 결과를 얼마나 확장할 수 있는가?
• RQ5 새로운 스펙트럼 갭 하한을 사용할 경우 혼합 시간과 분할 함수 근사 런타임에서 양적 향상은 어느 정도인가?

주요 결과

• 최대 차수 ∆≥3인 삼각형이 없는 그래프에서, k≥(1.763⋯+δ)∆ 개의 색을 사용하는 적절한 k-색칠에 대해 Glauber 역동성의 스펙트럼 갭은 ˜Ωδ(|V|−1)로 향상되었으며, 이는 이전 결과에서 요구한 고리 길이 ≥5 또는 ∆ 유한성 조건을 초월한다.
• 차수 ∆≥3이고 고리 길이 ≥6인 정규 그래프에서, 카르다이너 파라미터 λ≤(1−δ)λc(∆)인 하드코어 모델의 분할 함수는 (1+ε)-근사로 ˜Oδ(n²ε⁻²) 시간 내에 근사 가능하며, 이는 이전 결과에서 요구한 고리 길이 ≥7 조건을 초월한다.
• d=O(1)인 이항 랜덤 그래프 G(n,d/n)에서, 거의 균일한 랜덤 매칭을 고확률로 Od(n²+o(1)) 시간 내에 샘플링할 수 있으며, 이는 이전의 ˜Od(n³) 상한을 향상시킨다.
• 새로운 스펙트럼 갭 하한은 전례 없는 전역 분산 수축 프레임워크를 통해 유도되었으며, 이는 (C,η)-스펙트럴 독립성이 순서-(r,s) 전역 분산 수축을 유도함을 보여주며, 수축률은 αk=1−min(η,C/(n−k−1))/(1+min(η,C/(n−k−1)))에 의존한다.
• 이 방법은 따뜻한 시작 조건에서 거의 선형 혼합 시간 ˜Oδ(n)을 달성하여, 적응형 시뮬레이티드 앤날링을 통해 런타임 ˜Oδ(n) × n × poly(log n) × ε⁻² log(ε⁻¹)로 효율적인 분할 함수 근사가 가능하다.
• 프레임워크는 스펙트럴 독립성과 분산 수축을 통합하여, 국소 분산 수축이 국소 스펙트럼 확산과 동치임을 보이며, 둘 다 스펙트럴 독립성에 의해 유도됨을 보여준다.