[論文レビュー] Hyperbolicity and stable polynomials in combinatorics and probability

Robin Pemantle|arXiv (Cornell University)|Oct 11, 2012

Advanced Combinatorial Mathematics参考文献 53被引用数 9

ひとこと要約

この論文は、組合せ論、確率論、解析学の分野において、多項式の双曲的性と安定性を統一し、その深い関係を示している。多変数安定多項式、特に非負係数をもつものについては、負の依存性とレイルイグ特性を示し、安定関数論を用いてBMV予想を証明している。

ABSTRACT

This was the basis of two lectures in the Current Developments in Mathematics conference in 2011. These lectures survey the theory of hyperbolic and stable polynomials, from their origins in the theory of linear PDE's to their present uses in combinatorics and probability theory.

研究の動機と目的

• 解析学、組合せ論、確率論の分野において、双曲的多項式と安定多項式の理論を統一すること。
• 多変数安定性が2値確率変数の連合分布に対して負の関連性とレイルイグ特性をもたらすことを確立すること。
• 安定性理論を用いて、行列解析における長年の予想、特にBMV予想を解決すること。
• BMV予想が、行列のべきのトレースから導かれる特定の多項式の係数ごとの非負性と同値であることを示すこと。
• BMV予想が、安定な2変数多項式の対数微分のテイラー係数に関する条件に還元されることを示すこと。

提案手法

• Gårdingの双曲的多項式と双曲的錐の理論を用い、上半平面における消失のない性質として安定性を定義する。
• 半連続性とMorse変形技術を用いて、テイラー係数およびアモーバ境界の漸近的性質を分析する。
• ラゲール–ポーヤクラスと乗数列を用いて、1変数における実根性と安定性を特徴付ける。
• 微分、畳み込み、変数置換などの操作における安定性の閉包性を用いて、安定性を保存する。
• Edreiの同値定理を適用し、安定性をポリヤ頻度列および完全単調性に関連付ける。
• BMV予想を、Tr((A + λB)^n)のすべての係数の非負性および安定な2変数多項式の対数微分のテイラー係数の符号条件に還元する。

実験結果

リサーチクエスチョン

• RQ1 双曲的多項式と安定多項式は、特に組合せ論と確率論において、どのように関係しているか？
• RQ2 多変数多項式が安定であるための必要十分条件は何か？ また、操作における安定性の閉包性は、安定性にどのように影響するか？
• RQ3 安定多項式の理論を用いてBMV予想を証明できるか？ もしそうなら、同値な再定式化は何か？
• RQ4 2値確率変数におけるレイルイグ特性と負の依存性の関係は何か？ そして、安定性がどのようにそれらを示唆するか？
• RQ5 BMV予想は、安定な2変数多項式の対数微分の係数に関する条件にどのように還元されるか？

主な発見

• 多変数多項式の安定性は、2値確率変数の連合分布に対して負の関連性とレイルイグ特性をもたらす。
• BMV予想は、すべてのn ≥ 1および正定値行列A, Bに対して、多項式Tr((A + λB)^n)のすべての係数が非負であることに同値である。
• BMV予想は、安定な2変数多項式p（非負係数をもつ）の(∂p/∂x)/pのテイラー係数a_{mn}に対して、すべてのm, nについて(−1)^{m+n}a_{mn} ≥ 0であるという条件とも同値である。
• H. Stahl（2011年）によるBMV予想の証明は、数学界で正当と認められてはいるが、まだ査読付きの形式にはなっていない。
• 安定多項式の理論は、正の測度のラプラス変換と完全単調性を理解する統一的な枠組みを提供する。
• 行列の要素がz_j + a_{ij}であるとき、ある単調性条件のもとでそのパーマネントは安定である。これは微分再帰と記号の安定性を用いて証明された。