arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2102.02708cs.DSmath.COmath.PR
收藏

分数对数凹与扇区稳定多项式:计数平面匹配及更多问题

Fractionally Log-Concave and Sector-Stable Polynomials: Counting Planar Matchings and More

Yeganeh Alimohammadi, Nima Anari, Kirankumar Shiragur, Thuy-Duong Vuong

AI总结:

针对平面图非完美匹配计数问题,提出了基于多位点Glauber动力学的FPRAS,并引入扇区稳定性和分数对数凹性概念分析其混合性质,为谱独立性提供了基于多项式几何的新工具。

摘要:

我们展示了用于计数给定大小匹配,或更一般地在平面(不一定二分)图中采样/计数单体-二聚体系统的全多项式时间随机近似方案(FPRAS)。虽然平面图上的完美匹配可以在多项式时间内精确计数,但计数非完美匹配被[Jer87]证明是#P-难的,其同时提出了是否存在高效近似计数的问题。我们对此给出了肯定回答,证明了单体-二聚体系统中单体集合上的多位点Glauber动力学总是快速混合的,并且该动力学可以在计数完美匹配易于处理的向下封闭图族上高效实现。作为结果的进一步应用,我们展示了如何使用多位点Glauber动力学从分区约束的强Rayleigh分布和非对称行列式点过程中高效采样。为了分析多位点Glauber动力学的混合性质,我们为离散集值分布的生成多项式建立了两个概念:扇区稳定性和分数对数凹性。这些概念推广了如实稳定性和对数凹性等被充分研究的性质,但与它们不同的是,在应用于分布的实用变换下能稳健地退化。我们将这些概念与底层分布中的成对相关性以及[ALO20]引入的谱独立性概念联系起来,提供了一种基于多项式几何性质建立谱独立性的新工具。作为技术的副产品,我们证明了避开复平面某扇区根的多项式必定满足我们所说的分数对数凹性;这扩展了[Gar59]建立的一个经典结果,其证明了在半平面内无根的齐次多项式必定在正象限上是对数凹的。

英文摘要:

We show fully polynomial time randomized approximation schemes (FPRAS) for counting matchings of a given size, or more generally sampling/counting monomer-dimer systems in planar, not-necessarily-bipartite, graphs. While perfect matchings on planar graphs can be counted exactly in polynomial time, counting non-perfect matchings was shown by [Jer87] to be #P-hard, who also raised the question of whether efficient approximate counting is possible. We answer this affirmatively by showing that the multi-site Glauber dynamics on the set of monomers in a monomer-dimer system always mixes rapidly, and that this dynamics can be implemented efficiently on downward-closed families of graphs where counting perfect matchings is tractable. As further applications of our results, we show how to sample efficiently using multi-site Glauber dynamics from partition-constrained strongly Rayleigh distributions, and nonsymmetric determinantal point processes. In order to analyze mixing properties of the multi-site Glauber dynamics, we establish two notions for generating polynomials of discrete set-valued distributions: sector-stability and fractional log-concavity. These notions generalize well-studied properties like real-stability and log-concavity, but unlike them robustly degrade under useful transformations applied to the distribution. We relate these notions to pairwise correlations in the underlying distribution and the notion of spectral independence introduced by [ALO20], providing a new tool for establishing spectral independence based on geometry of polynomials. As a byproduct of our techniques, we show that polynomials avoiding roots in a sector of the complex plane must satisfy what we call fractional log-concavity; this extends a classic result established by [Gar59] who showed homogeneous polynomials that have no roots in a half-plane must be log-concave over the positive orthant.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑