[論文レビュー] Approximately Counting Independent Sets of a Given Size in Bounded-Degree Graphs

Ewan Davies, Will Perkins|arXiv (Cornell University)|Jan 1, 2021

Markov Chains and Monte Carlo Methods被引用数 2

ひとこと要約

本稿は、有界次数のグラフにおける指定されたサイズの独立集合の近似的な数え上げとサンプリングの計算的閾値を確立する。これは、∆-正則木におけるハードコアモデルの一意性閾値に関連する臨界密度 αc(∆) を特定し、αc(∆) より小さい密度では多項式時間近似スキーム（FPRAS）が存在することを示す一方、それより大きい密度では、NP = RP でない限り困難であることを示している。

ABSTRACT

We determine the computational complexity of approximately counting and sampling independent sets of a given size in bounded-degree graphs. That is, we identify a critical density α_c(Δ) and provide (i) for α < α_c(Δ) randomized polynomial-time algorithms for approximately sampling and counting independent sets of given size at most α n in n-vertex graphs of maximum degree Δ; and (ii) a proof that unless NP=RP, no such algorithms exist for α > α_c(Δ). The critical density is the occupancy fraction of hard core model on the clique K_{Δ+1} at the uniqueness threshold on the infinite Δ-regular tree, giving α_c(Δ) ~ e/(1+e)1/(Δ) as Δ → ∞.

研究の動機と目的

• 有界次数のグラフにおける指定されたサイズの独立集合の近似的な数え上げとサンプリングの計算複雑性を特定すること。
• この問題の取り扱いやすい（tractable）と取り扱いにくい（intractable）の境界を分ける鋭い閾値 αc(∆) を同定すること。
• ハードコアモデルの分配関数 ZG(λ) に関しては知られていた計算的相転移のパラダイムを、固定サイズの独立集合の数え上げ問題へと拡張すること。
• エンsemblesの等価性と占有率の分析を通じて、アルゴリズム的複雑性と極値組合せ論との関係を確立すること。
• 反強磁性2スピン系、特にイジング模型を含むフレームワークを一般化し、同様の計算的閾値が存在することを示すこと。

提案手法

• 統計物理学におけるグランドカノニカルおよびカノニカル系の等価性を活用し、ハードコアモデルからのサンプリングを固定サイズの独立集合への一様サンプリングに結びつける。
• fugacity λ < λc(∆) のとき、最大次数 ∆ のグラフにおけるGlauberダイナミクスの急速な混合性を用い、ハードコア分布からの効率的サンプリングを実現する。
• PetersとRegtsによる独立集合多項式 ZG(λ) のゼロフリー領域を応用し、近似プロセスにおける集中と特異点の回避を保証する。
• MichelenとSahasrabudheによる、ハードコアモデルにおける占有頂点数の中心極限定理を用い、所望のサイズの独立集合が得られる確率を制御する。
• ∆-正則かつ三角形を含まないグラフ K を用いたハードネス還元を構築し、λ > λc(∆) のときのハードコア分配関数 ZG(λ) の近似問題を、固定サイズの独立集合数え上げ問題に還元する。
• イジング模型の場合、同様の技術を用いる：Glauberダイナミクスの急速な混合性、複素平面におけるゼロフリー領域、および局所中心極限定理を用い、+スピンの数とターゲットサイズとの関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 有界次数のグラフにおける指定されたサイズ k の独立集合の数え上げの計算的閾値は、ハードコアモデルの分配関数の既知の閾値と同様に存在するか？
• RQ2 n 頂点の最大次数 ∆ のグラフにおけるサイズ k ≤ αn の独立集合の数え上げについて、取り扱いやすいと取り扱いにくいの境界を分ける正確な臨界密度 αc(∆) は何か？
• RQ3 統計力学におけるグランドカノニカル系とカノニカル系の等価性は、固定サイズの独立集合数え上げのための効率的アルゴリズムの設計に利用可能か？
• RQ4 固定サイズの独立集合数え上げの計算的閾値は、無限大の ∆-正則木におけるハードコアモデルの一意性閾値と一致するか？
• RQ5 このフレームワークは、イジング模型を含む他の反強磁性2スピン系へと拡張可能か？ その場合、同様の計算的閾値が存在するか？

主な発見

• 臨界密度 αc(∆) は、無限大の ∆-正則木における一意性閾値で、完全グラフ K∆+1 におけるハードコアモデルの占有率として与えられ、∆ → ∞ のとき αc(∆) ∼ e/(1+e) となる。
• α < αc(∆) のとき、n 頂点の最大次数 ∆ のグラフにおけるサイズ k ≤ αn の独立集合の数え上げに対して、完全多項式時間確率的近似スキーム（FPRAS）が存在する。
• α > αc(∆) のとき、NP = RP でない限り、このようなグラフにおけるサイズ k ≤ αn の独立集合の数え上げを近似する多項式時間アルゴリズムは存在しない。
• ハードネス結果は、λ > λc(∆) のときのハードコア分配関数 ZG(λ) の近似問題への還元によって確立されており、同じ仮定のもとで不正則であることが知られている。
• この手法は反強磁性2スピン系、特にイジング模型にも適用可能であり、+スピンの数が固定された状態の数え上げの取り扱いやすさを制御する同様の閾値 αinf(B, λc, ∆) が存在する。
• 極値組合せ論とエンsemblesの等価性の議論に基づき、臨界閾値 αc(∆) は完全グラフ K∆+1 で達成されると予想されている。