[論文レビュー] Counting hypergraph matchings up to uniqueness threshold

Renjie Song, Yitong Yin+1 more|arXiv (Cornell University)|Mar 19, 2015

Markov Chains and Monte Carlo Methods参考文献 32被引用数 4

ひとこと要約

この論文は、活動パラメータ $\lambda$ を用いた、有界次数・有界ハイパーエッジサイズのハイパーグラフにおけるハイパーグラフマッチングの近似的なカウントの計算的閾値を確立する。$\lambda < \lambda_c$ のときには FPTAS が存在し、$\lambda = \lambda_c$ のときには対数分配関数に対して PTAS が存在し、$\lambda > 2\lambda_c$ のときには PRAS が存在しない（NP = RP でない限り）という難易度が示され、強力な空間混合と無限ハイパーツリーへの局所収束を通じて、相転移と計算複雑性を結びつける。

ABSTRACT

We study the problem of approximately counting matchings in hypergraphs of bounded maximum degree and maximum size of hyperedges. With an activity parameter $λ$, each matching $M$ is assigned a weight $λ^{|M|}$. The counting problem is formulated as computing a partition function that gives the sum of the weights of all matchings in a hypergraph. This problem unifies two extensively studied statistical physics models in approximate counting: the hardcore model (graph independent sets) and the monomer-dimer model (graph matchings). For this model, the critical activity $λ_c= \frac{d^d}{k (d-1)^{d+1}}$ is the threshold for the uniqueness of Gibbs measures on the infinite $(d+1)$-uniform $(k+1)$-regular hypertree. Consider hypergraphs of maximum degree at most $k+1$ and maximum size of hyperedges at most $d+1$. We show that when $λ&lt; λ_c$, there is an FPTAS for computing the partition function; and when $λ= λ_c$, there is a PTAS for computing the log-partition function. These algorithms are based on the decay of correlation (strong spatial mixing) property of Gibbs distributions. When $λ&gt; 2λ_c$, there is no PRAS for the partition function or the log-partition function unless NP$=$RP. Towards obtaining a sharp transition of computational complexity of approximate counting, we study the local convergence from a sequence of finite hypergraphs to the infinite lattice with specified symmetry. We show a surprising connection between the local convergence and the reversibility of a natural random walk. This leads us to a barrier for the hardness result: The non-uniqueness of infinite Gibbs measure is not realizable by any finite gadgets.

研究の動機と目的

• 有界最大次数およびハイパーエッジサイズをもつハイパーグラフにおけるハイパーグラフマッチングの近似的なカウントの計算複雑性閾値を特定すること。
• ハードコアモデルおよびモノマー・ダイマー・モデルにおける相転移フレームワークを、統一されたハイパーグラフマッチングモデルへと拡張すること。
• ギブス測度の一意性および相関減衰が、近似的なカウントの tractability を決定づける役割を同定すること。
• 活動パラメータ $\lambda$ に基づいた、 tractable と intractable な領域の鋭い閾値を確立すること。
• 有限ハイパーグラフが無限ハイパーツリーに局所収束することと、頂点およびハイパーエッジタイプ上の自然なランダムウォークの可逆性との間の驚くべき関係を明らかにすること。

提案手法

• 著者らは活動パラメータ $\lambda$ を持つハイパーグラフマッチングモデルを定義し、各マッチング $M$ に重み $\lambda^{|M|}$ を割り当て、分配関数 $Z_{\lambda}(\mathcal{H}) = \sum_M \lambda^{|M|}$ を考察する。
• 無限の $(d+1)$-一様 $(k+1)$-正則ハイパーツリー $\mathbb{T}_{k,d}^\mathbb{G}$ 上でのギブス測度の一意性の臨界活動 $\lambda_c = \frac{d^d}{k(d-1)^{d+1}}$ を分析する。
• アルゴリズムは、有限ハイパーグラフが無限ハイパーツリー $\mathbb{T}_{k,d}^\mathbb{G}$ に局所収束することにより示される、強力な空間混合（相関の減衰）に基づく。
• 頂点およびハイパーエッジタイプ上のマルコフ連鎖を構築し、遷移行列 $\bm{D}$ および $\bm{K}$ を用い、その時間可逆性が局所収束の必要十分条件であることを示す。
• 有限ハイパーグラフ $\mathcal{H}_n$ の構築には、$p_i d_{ij} = q_j k_{ji}$ を満たす有理 Perron 固有ベクトル $\vec{p}$ および $\vec{q}$ を用い、タイプ間のバランスの取れたインシデントを保証する。
• ガルトン＝ウォーソンの分枝過程の議論により、局所極限の存在を証明し、$n \to \infty$ のとき $r$-近傍がほとんど確実にハイパーツリーになることを示す。

実験結果

リサーチクエスチョン

• RQ1 有界次数・有界エッジサイズのハイパーグラフにおけるハイパーグラフマッチングの近的カウントの計算的閾値は何か？
• RQ2 無限ハイパーツリーにおけるギブス測度の一意性は、近的カウントの tractability とどのように関係するか？
• RQ3 相関減衰における相転移は、近的カウントの難易度と結びつけられるか？
• RQ4 有限ハイパーグラフが無限ハイパーツリーに局所収束する際に、可逆性が果たす役割は何か？
• RQ5 難易度証明における、無限ギブス測度の非一意性は、有限ギャジェット構成によって実現可能か？

主な発見

• 強力な空間混合に基づき、$\lambda < \lambda_c = \frac{d^d}{k(d-1)^{d+1}}$ のときには分配関数の計算に FPTAS が存在する。
• $\lambda = \lambda_c$ のときには対数分配関数の計算に PTAS が存在し、計算複雑性における鋭い閾値を示している。
• $\lambda > 2\lambda_c$ のときには、分配関数または対数分配関数の PRAS は存在しない（NP = RP でない限り）、計算の難易度の壁を確立している。
• 有限ハイパーグラフが無限の $(d+1)$-一様 $(k+1)$-正則ハイパーツリーに局所収束することは、頂点およびハイパーエッジタイプ上の自然なマルコフ連鎖の時間可逆性と同値である。
• 無限ギブス測度の非一意性は、いかなる有限ギャジェット構成でも実現できないため、難易度証明における根本的な障壁を示している。
• 局所収束を達成する有限ハイパーグラフの構築は、インシデント行列 $\bm{D}$ および $\bm{K}$ の有理 Perron 固有ベクトルに依存しており、タイプ分布およびインシデント数のバランスを保証している。