[論文レビュー] Hodge-Riemann relations for Potts model partition functions

Petter Brändén, June Huh|arXiv (Cornell University)|Nov 5, 2018

Advanced Combinatorial Mathematics参考文献 13被引用数 13

ひとこと要約

本稿では、任意のマトロイドの多重変数 Tutte 多項式（または q 状態 Potts モデルの分配関数）のヘッセ行列が、0 < q ≤ 1 のとき正の単体において正確に1つの正の固有値を持つことを確立する。著者らは、多項式の導関数に関する新規な帰納的議論と、厳密に対数的凹型の列の性質を用いて、ホッジ＝リーマン型の関係を証明する。この関係は、独立集合の個数の対数的凹型に関するメイソンの最も強い予想を示し、この範囲で Potts モデルの負の依存性の性質を確認する。

ABSTRACT

We prove that the Hessians of nonzero partial derivatives of the (homogenous) multivariate Tutte polynomial of any matroid have exactly one positive eigenvalue on the positive orthant when $0

研究の動機と目的

• マトロイドにおける独立集合の個数の対数的凹型に関するメイソンの最も強い予想を解決すること。
• 0 < q ≤ 1 のとき、q 状態 Potts モデルの分配関数の負の依存性の性質を確立すること。
• 組合せ的ホッジ理論に依存せずに、多重変数 Tutte 多項式に対するホッジ＝リーマン型関係の自己完結的証明を提供すること。
• 0 < q ≤ 1 のとき、同次多重変数 Tutte 多項式の任意の非ゼロ部分導関数のヘッセ行列が正の単体上で正確に1つの正の固有値を持つことを示すこと。
• 新しい解析的枠組みを通じて、マトロイド理論における対数的凹型および単調性に関する以前の結果を統合・拡張すること。

提案手法

• 同次多重変数 Tutte 多項式 Z_M のヘッセ行列が、すべての w ∈ ℝ^{n+1}_{>0} および 0 < q ≤ 1 に対して正確に1つの正の固有値を持つことを証明する。
• Z_M,c と呼ばれる、厳密に対数的凹型の係数を持つ多重変数 Tutte 多項式の重み付き版の導関数の次数に関する帰納法を用いる。
• 2次形式の不等式による、正確に1つの正の固有値を持つ対称行列の特徴付け（補題3）を適用する。
• 連続性と厳密に対数的凹型の列による近似を活用して、Z_M,c の導関数の正則性および1つの正の固有値の性質を確立する。
• 同次関数のオイラーの公式を用いて、ヘッセ行列の2次形式と Z_M の偏導関数を関連付ける。
• q → 0 の極限をとることと連続性の議論を適用することで、独立集合の生成関数に関する重要な不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 0 < q ≤ 1 のとき、マトロイドの多重変数 Tutte 多項式のヘッセ行列は正の単体上で正確に1つの正の固有値を持つだろうか？
• RQ2 Potts モデルの分配関数の解析的性質を用いて、メイソンの独立集合の個数に関する最も強い予想を証明できるだろうか？
• RQ3 0 < q ≤ 1 のとき、q 状態 Potts モデルの分配関数は負の依存性を示すだろうか？
• RQ4 組合せ的ホッジ理論の完全な道具立てに依存せずに、多重変数 Tutte 多項式に対するホッジ＝リーマン型関係を確立できるだろうか？
• RQ5 ヘッセ行列と独立集合の系列の超対数的凹型との間には、正確な関係があるだろうか？

主な発見

• すべての w ∈ ℝ^{n+1}_{>0} および 0 < q ≤ 1 に対して、同次多重変数 Tutte 多項式 Z_M のヘッセ行列は正確に1つの正の固有値を持つ。
• 係数が厳密に対数的凹型である Z_M,c の任意の非ゼロ部分導関数のヘッセ行列は、同じ条件下で正則であり、正確に1つの正の固有値を持つ。
• 0 < q ≤ 1 のとき、多重変数 Tutte 多項式の対数は ℝ^{n+1}_{≥0} 上で凹関数である。
• メイソンの予想の最も強い形が成立する：すべての k および n 要素マトロイド M に対して、I_k(M)^2 ≥ (k+1)/k * (n−k+1)/(n−k) * I_{k−1}(M)I_{k+1}(M) が成り立つ。
• m 要素独立集合の生成関数 f^m_M(w) は、すべての w ∈ ℝ^n_{≥0} に対して f^m_M(w)^2 / (n 选 m)^2 ≥ f^{m+1}_M(w)/(n 选 m+1) * f^{m−1}_M(w)/(n 选 m−1) を満たす。
• M の簡約化に適用した場合、不等式は強化され、f^m_M(w)^2 / (f^{m+1}_M(w)f^{m−1}_M(w)) ≥ (ℓ 选 m)^2 / ((ℓ 选 m+1)(ℓ 选 m−1)) が成り立つ。ここで ℓ はランク1のフラットの数である。