[论文解读] 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.

研究动机与目标

• 統一分析學、組合數學與機率論中雙曲多項式與穩定多項式理論。
• 建立多變數穩定性會導致二元隨機變數的負相關性與雷利性質。
• 應用穩定性理論解決矩陣分析中長期存在的猜測，包括 BMV 猜想。
• 證明 BMV 猜想等價於由矩陣冪跡所導出的某些多項式之係數非負性。
• 顯示 BMV 猜想可簡化為穩定二元多項式之對數導數的泰勒係數之條件。

提出的方法

• 使用 Gårding 的雙曲多項式理論與雙曲性錐定義穩定性，即在上半平面內不為零。
• 應用半連續性與莫爾斯變形技術分析泰勒係數與阿莫eba邊界之漸近性質。
• 運用拉蓋爾–波亞類與乘子序列來特徵化單變數的實根性與穩定性。
• 利用微分、卷積與變數代換等運算下的封閉性質以保持穩定性。
• 應用 Edrei 的等價定理，將穩定性連結至波利亞頻率序列與完全單調性。
• 將 BMV 猜想簡化為多項式 Tr((A + λB)^n) 之係數非負性，以及穩定二元多項式之對數導數泰勒係數之符號條件。

实验结果

研究问题

• RQ1 雙曲多項式與穩定多項式在不同數學領域（特別是組合數學與機率論）中如何相互關聯？
• RQ2 多變數多項式穩定的必要與充分條件為何？運算下的封閉性質如何影響穩定性？
• RQ3 穩定多項式理論能否用來證明 BMV 猜想？若可，其等價重述為何？
• RQ4 雷利性質與二元隨機變數之負相關性之間的關聯為何？穩定性如何導出此性質？
• RQ5 BMV 猜想如何簡化為穩定二元多項式之對數導數係數之條件？

主要发现

• 多變數多項式之穩定性，會導致二元隨機變數聯合分佈之負關聯性與雷利性質。
• BMV 猜想等價於對所有 n ≥ 1 及所有半正定矩陣 A、B，多項式 Tr((A + λB)^n) 的所有係數非負。
• BMV 猜想亦等價於：對於穩定二元多項式 p（係數非負），其 (∂p/∂x)/p 之泰勒係數 a_{mn} 滿足 (−1)^{m+n}a_{mn} ≥ 0 對所有 m, n 成立。
• 數學界已確認 H. Stahl（2011）對 BMV 猜想的證明正確，但尚未經同行評審。
• 穩定多項式理論提供了一個統一框架，用以理解正測度之拉普拉斯變換與完全單調性。
• 在特定單調性條件下，矩陣 (z_j + a_{ij}) 的永久式具有穩定性，其證明基於微分遞推與符號穩定性。