[論文レビュー] Generalized Friedland-Tverberg inequality: applications and extensions

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

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

ひとこと要約

この論文は、正の双曲的多項式へのフレッドランド＝トヴェルバーグの不等式の一般化を行い、双 stochastic 行列の $m$-by-$m$ minor（部分パーマネント）の和に対する新たな下界を確立し、$r$-正則な二部グラフにおける $m$-マッチングの数に対する漸近的に鋭い下界を導出する。また、マッチングのためのライザーに類似した公式を導入し、乗法的要因 $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.

研究の動機と目的

• 双 stochastic 行列の部分パーマネントに関する境界を一般化し、正の双曲的多項式へのフレッドランド＝トヴェルバーグの不等式を拡張すること。
• $r$-正則な二部グラフにおける $m$-マッチングの数に対する漸近的に鋭い下界を導出すること。
• 二部グラフおよび一般のグラフにおけるマッチングを計算するライザーに類似した公式の開発。
• 非負行列の $m$-minor の和を乗法的要因 $2n^n/n!$ 以内で近似する決定的多項式時間オракルアルゴリズムの設計。
• ハフニアンの計算複雑性を、正の双曲的生成多項式の構造と関連付けて調査すること。

提案手法

• 双曲的多項式の性質および方向微分の実根性を用いて、次数 $n$ の正の同次双曲的多項式へのフレッドランド＝トヴェルバーグの不等式の一般化。
• 双曲的多項式の理論と容量（Cap）の概念を用いて、多重線形形式および対称多項式を通じて $m$-minor の和を評価。
• 生成多項式 $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$-minor の和を表すようにする。
• 双曲的性および係数の非負性を活用して、$q$ のニュートン多面体への属性をテストする強多項式時間オラクルアルゴリズムを構築。
• シンクホルンのスケーリングおよび容量理論を適用し、非負行列に対して $m$-minor の和を乗法的要因 $e^m$ 以内で近似。
• 正の双曲的多項式の上でのインフラ・スーパーレート比として $\gamma(n,m)$ を定義し、近似の鋭さを分析。また、$\gamma(n,m) = n^m / m!$ を予想。

実験結果

リサーチクエスチョン

• RQ1 フレッドランド＝トヴェルバーグの不等式は、双 stochastic 行列から正の双曲的多項式へ一般化可能か？
• RQ2 $n \to \infty$ のとき、$r$-正則な二部グラフにおける $m$-マッチングの数に対する最も鋭い下界は何か？
• RQ3 ライザーに類似した公式は、二部グラフに限らず一般のグラフに対しても拡張可能か？
• RQ4 非負行列の $m$-minor の和を乗法的要因 $e^m$ 以内で近似する決定的多項式時間アルゴリズムは存在するか？
• RQ5 予想される値 $\gamma(n,m) = n^m / m!$ は正当か？また、ハフニアンおよびパーマネントの近似にどのような意味を持つのか？

主な発見

• 一般化されたフレッドランド＝トヴェルバーグの不等式により、任意の正の双曲的多項式の $m$-minor の和に対して下界が得られ、双 stochastic 行列に対する古典的結果が拡張される。
• $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}\})$ が成り立つことが示され、モノマー・ダイマーのタイル配置の指数的成長率が明確に定義され、計算可能であることが示される。
• 決定的多項式時間オラクルアルゴリズムにより、$1 \leq F_m(q)/D_m(q) \leq 2\gamma(n,m) \leq 2n^n/n!$ を満たす $F_m(q)$ が計算可能であり、$m$-minor の和に対する乗法的近似が得られる。
• 任意の非負 $n \times n$ 行列 $A$ に対して、$1 \leq P_m(A)/\mathrm{perm}_m A \leq 2n^n/n!$ を満たす多項式時間アルゴリズムにより $P_m(A)$ が計算可能であり、先行の境界を改善する。
• 予想 $\gamma(n,m) = n^m / m!$ は理論的証拠により支持され、パーマネントの近似において $e^m$ にまで鋭くなる可能性を示唆し、ハフニアンの効率的近似への道筋を示唆する。