[論文レビュー] Log-Concave Polynomials III: Mason's Ultra-Log-Concavity Conjecture for Independent Sets of Matroids

Nima Anari, Kuikui Liu+2 more|arXiv (Cornell University)|Nov 5, 2018

Advanced Combinatorial Mathematics被引用数 5

ひとこと要約

この論文は、『完全に対数凸』な多項式を導入・分析することで、マトロイドにおける独立集合の数の超対数凸性に関するメイソンの予想の最も強い形を証明している。著者らは、任意のマトロイドにおける独立集合の生成関数を同次化したもの（homogenized generating polynomial）が完全に対数凸であることを示し、これにより、$I_k$（サイズ$k$の独立集合の数）の超対数凸性が導かれる。これは組合せ論およびマトロイド理論における長年の予想を解決するものである。

ABSTRACT

We give a Õ(n) time almost uniform sampler for independent sets of a matroid, whose ground set has n elements and is given by an independence oracle. As a consequence, one can sample connected spanning subgraphs of a given graph G = (V,E) in Õ(|E|) time, whereas the previous best algorithm takes O(|E||V|) time. This improvement, in turn, leads to a faster running time on estimating all-terminal network reliability. Furthermore, we generalise this near-linear time sampler to the random cluster model with q ≤ 1.

研究の動機と目的

• マトロイドにおけるサイズ$k$の独立集合の数$I_k$の超対数凸性に関する、メイソンの予想の最も強い形を解決すること。
• 組合せ論における対数凸性の性質を証明するための道具として、『完全に対数凸』な多項式の理論を導入・発展させること。
• 任意のマトロイドにおける独立集合の同次化生成多項式が完全に対数凸であることを確立し、これにより超対数凸性が導かれるようにすること。
• Hodge理論や代数幾何学に依存しない自己完結的な証明を提供すること。これまでは部分的な結果にとどまっていた。
• スペクトル的負の依存性（$\log f$ のヘッセ行列の固有値が非正）が、強い対数凸性を意味することを示し、マトロイドにおける負の依存性の新しい視点を提供すること。

提案手法

• 完全に対数凸な多項式の概念を導入する：多項式$f$が完全に対数凸であるとは、任意の方向微分$D_{v_1} \cdots D_{v_k} f$が$\mathbb{R}_{\geq 0}^n$上で非負かつ対数凸であることを意味する。
• マトロイド$M$の独立集合に対して、$g_M(y, z_1, \dots, z_n) = \sum_{I \in \mathcal{I}} y^{n-|I|} \prod_{i \in I} z_i$として定義される同次化生成多項式を導入し、これが完全に対数凸であることを証明する。
• 帰納法とマトロイドの縮約構造を用いて、$\partial^k_y \partial^\alpha g_M$ が特定の条件下で分解不能かつ対数凸であることを示す。
• Gurvits（2009）の基準を適用し、2変数多項式の完全な対数凸性と係数列の超対数凸性を結びつける。
• 方向微分作用素$D_v = \sum v_i \partial_i$を用いて、変数の線形変換下での対数凸性を分析する。
• 多項式の対数のヘッセ行列とその固有値を用いて、スペクトル的負の依存性を検証し、正の象限上での対数凸性を保証する。

実験結果

リサーチクエスチョン

• RQ1 任意のマトロイドにおけるサイズ$k$の独立集合の数$I_k$は、超対数凸を満たすか、すなわち$1 < k < n$に対して$\left(\frac{I_k}{\binom{n}{k}}\right)^2 \geq \frac{I_{k-1}}{\binom{n}{k-1}} \cdot \frac{I_{k+1}}{\binom{n}{k+1}}$を満たすか？
• RQ2 Hodge理論や代数幾何学に依存せずに、『完全に対数凸』な多項式という新しいクラスを用いて、$I_k$ の超対数凸性を確立できるか？
• RQ3 マトロイドの独立集合の同次化生成多項式は常に完全に対数凸か？
• RQ4 スペクトル的負の依存性（$\log f$ のヘッセ行列の固有値が非正）は、マトロイド生成多項式の係数列の強い対数凸性を意味するか？
• RQ5 2変数制限$f_M(y,z) = \sum_k I_k y^{n-k} z^k$が完全に対数凸であることを示せれば、その予想が導かれるか？

主な発見

• 任意のマトロイド$M$の独立集合の同次化生成多項式$g_M(y, z_1, \dots, z_n)$は完全に対数凸である。
• 2変数制限$f_M(y,z) = \sum_k I_k y^{n-k} z^k$は完全に対数凸である。これは$g_M$を$z_i = z$に線形制限したものであるため。
• 列$I_k$は超対数凸である：すべての$1 < k < n$に対して$\left(\frac{I_k}{\binom{n}{k}}\right)^2 \geq \frac{I_{k-1}}{\binom{n}{k-1}} \cdot \frac{I_{k+1}}{\binom{n}{k+1}}$を満たし、これによりメイソンの予想の最も強い形が証明された。
• 証明は自己完結的であり、Hodge理論や代数幾何学に依存しない。これまでは部分的な結果にとどまっていた。
• 著者らは、すべての1ベクトルにおける$\log f$ のヘッセ行列の固有値が非正であるというスペクトル的負の依存性が、係数の超対数凸性を意味することを確立した。
• 結果はすべてのマトロイドに成立し、以前は$n \leq 11$または$k \leq 5$でのみ検証されていた予想を解決した。