[论文解读] 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

一句话总结

该论文通过活动参数 $λ$ 确定了在有界最大度和有界超边大小的超图中近似计数超图匹配的计算阈值。当 $λ < λ_c$ 时，证明了存在一个FPTAS；在 $λ = λ_c$ 时，对对数配分函数存在一个PTAS；当 $λ > 2λ_c$ 时，显示了困难性（除非NP=RP，否则不存在PRAS），并通过强空间混合与对无限超树的局部收敛，将相变与计算复杂性联系起来。

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.

研究动机与目标

• 确定在最大度和超边大小有界的超图中，近似计数超图匹配的计算复杂性阈值。
• 将 hardcore 模型与单体-二聚体模型中的相变框架扩展到统一的超图匹配模型。
• 刻画吉布斯测度唯一性与关联衰减在近似计数可解性中的作用。
• 基于活动参数 $λ$ 建立可解与不可解区域之间的精确阈值。
• 揭示有限超图对无限超树的局部收敛性与顶点和超边类型上自然随机游走可逆性之间的意外联系。

提出的方法

• 作者定义了一个带有活动参数 $λ$ 的超图匹配模型，为每个匹配 $M$ 赋予权重 $λ^{|M|}$，并研究配分函数 $Z_{λ}(\mathcal{H}) = \sum_M \u03bb^{|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}$，以确保类型间平衡的关联。
• 通过Galton-Watson分支过程论证证明了局部极限的存在性，表明当 $n \to \infty$ 时，$r$-邻域几乎必然成为超树。

实验结果

研究问题

• RQ1 在有界最大度和有界超边大小的超图中，近似计数超图匹配的计算阈值是什么？
• RQ2 在无限超树上吉布斯测度的唯一性如何与近似计数的可解性相关？
• RQ3 关联衰减的相变是否可与近似计数的困难性相联系？
• RQ4 可逆性在有限超图对无限超树的局部收敛中起什么作用？
• RQ5 在困难性证明中，无限吉布斯测度的非唯一性是否可通过任何有限装置构造实现？

主要发现

• 当 $\lambda < \lambda_c = \frac{d^d}{k(d-1)^{d+1}}$ 时，基于强空间混合，存在一个FPTAS来计算配分函数。
• 在 $\lambda = \lambda_c$ 时，对数配分函数存在一个PTAS，表明计算复杂性存在一个尖锐的阈值。
• 当 $\lambda > 2\lambda_c$ 时，除非NP=RP，否则配分函数或对数配分函数均不存在PRAS，确立了一个困难性屏障。
• 有限超图对无限 $(d+1)$-均匀 $(k+1)$-正则超树的局部收敛性，等价于顶点和超边类型上自然马尔可夫链的时间可逆性。
• 无限吉布斯测度的非唯一性无法通过任何有限装置构造实现，确立了困难性证明中的根本障碍。
• 实现局部收敛的有限超图构造依赖于关联矩阵 $\bm{D}$ 和 $\bm{K}$ 的有理Perron特征向量，以确保类型分布与关联计数的平衡。