[论文解读] Generalized Friedland-Tverberg inequality: applications and extensions

Shmuel Friedland, Leonid Gurvits|ArXiv.org|Mar 16, 2006

Markov Chains and Monte Carlo Methods参考文献 26被引用 10

一句话总结

本文将Friedland-Tverberg不等式推广至正双曲多项式，建立了双随机矩阵的$m$阶子式（部分永久值）的新下界，并将其应用于推导$r$-正则二分图中$m$-匹配数的渐近最优下界。文中引入了类似Ryser的匹配公式，并设计了确定性多项式时间算法，以乘法因子$2n^n/n!$近似这些和，改进了单体-二聚体熵和匹配计数的先前界限。

ABSTRACT

We derive here the Friedland-Tverberg inequality for positive hyperbolic polynomials. This inequality is applied to give lower bounds for the number of matchings in $r$-regular bipartite graphs. It is shown that some of these bounds are asymptotically sharp. We improve the known lower bound for the three dimensional monomer-dimer entropy. We present Ryser-like formulas for computations of matchings in bipartite and general graphs. Additional algorithmic applications are given.

研究动机与目标

• 将Friedland-Tverberg不等式推广至正齐次双曲多项式，推广双随机矩阵部分永久值的界限。
• 推导$r$-正则二分图中$m$-匹配数的渐近最优下界。
• 为计算二分图及一般图中的匹配数，开发类似Ryser的公式。
• 设计确定性多项式时间预言机算法，以乘法因子$2n^n/n!$近似非负矩阵的$m$-子式之和。
• 研究hafnian的计算复杂性，并将其与正双曲生成多项式的结构联系起来。

提出的方法

• 将Friedland-Tverberg不等式推广至度数为$n$的正齐次双曲多项式，利用双曲性及方向导数的实根性性质。
• 利用双曲多项式理论与容量（Cap）概念，通过多线性形式与对称多项式界定$m$-子式之和。
• 定义生成多项式$q(\mathbf{x})$，使得$D_m(q) = \sum_{1 \leq i_1 < \cdots < i_m \leq n} \partial^{m}q / \partial x_{i_1} \cdots \partial x_{i_m}(\mathbf{0})$表示$m$-子式之和。
• 构建一个强多项式时间预言机算法，用于测试$q$的牛顿多面体中的成员资格，利用双曲性与系数非负性。
• 应用Sinkhorn缩放与容量理论，对非负矩阵的$m$-子式之和以乘法因子$e^m$进行近似。
• 引入量$\gamma(n,m)$作为正双曲多项式上的下确界与上确界之比，用于分析近似紧致性，并猜想$\gamma(n,m) = n^m / m!$。

实验结果

研究问题

• RQ1 Friedland-Tverberg不等式能否从双随机矩阵推广至正双曲多项式？
• RQ2 $n \to \infty$时，$r$-正则二分图中$m$-匹配数的最紧可能下界是什么？
• RQ3 类似Ryser的公式能否扩展至一般图的匹配计算，而不仅限于二分图？
• RQ4 是否存在确定性多项式时间算法，能以因子$e^m$近似非负矩阵的$m$-子式之和？
• RQ5 猜想值$\gamma(n,m) = n^m / m!$是否成立，其对hafnian与永久值近似意味着什么？

主要发现

• 推广的Friedland-Tverberg不等式为任意正双曲多项式的$m$-子式之和提供了下界，推广了双随机矩阵的经典结果。
• 对于$r$-正则二分图，当$m=n$时，$m$-匹配数的下界为$\left(\frac{r}{e}\right)^n$，本文进一步推导出一般$m$下的更紧渐近最优下界。
• 论文证明了对$d$维环面网格$T_{2l,d}$，有$f(p, \{T_{2l,d}\}) = F(p, \{T_{2l,d}\})$，表明单体-二聚体铺砌的指数增长速率是良定义且可计算的。
• 设计了一种确定性多项式时间预言机算法，计算值$F_m(q)$满足$1 \leq F_m(q)/D_m(q) \leq 2\gamma(n,m) \leq 2n^n/n!$，从而对$m$-子式之和提供乘法近似。
• 对任意非负$n \times n$矩阵$A$，多项式时间算法可计算$P_m(A)$，满足$1 \leq P_m(A)/\mathrm{perm}_m A \leq 2n^n/n!$，改进了先前的界限。
• 猜想$\gamma(n,m) = n^m / m!$得到理论证据支持，且意味着永久值的近似因子可能紧至$e^m$，提示了hafnian高效近似的一条潜在路径。