[論文レビュー] Multivariate stable polynomials: theory and applications

David G. Wagner|ArXiv.org|Nov 18, 2009

Stochastic processes and statistical mechanics参考文献 7被引用数 8

ひとこと要約

本稿は、1変数の実根多項式を多次元設定に一般化する包括的な多変数安定多項式の理論を提示する。線形変換が安定性を保つことの特徴付けを確立し、行列理論、確率論、統計力学、組合せ論における画期的な進展をもたらす。これには、Pólya-Schur定理の多次元一般化と、行列安定性に関するJohnsonの予想の解決が含まれる。

ABSTRACT

Univariate polynomials with only real roots -- while special -- do occur often enough that their properties can lead to interesting conclusions in diverse areas. Due mainly to the recent work of two young mathematicians, Julius Borcea and Petter Brändén, a very successful multivariate generalization of this method has been developed. The first part of this paper surveys some of the main results of this theory of "multivariate stable" polynomials -- the most central of these results is the characterization of linear transformations preserving stability of polynomials. The second part presents various applications of this theory in complex analysis, matrix theory, probability and statistical mechanics, and combinatorics.

研究の動機と目的

• 1変数多項式の古典的理論（すべての根が実数）を多次元に一般化すること。
• 多変数多項式における安定性を保つ線形変換を特徴付けること。
• 理論を行列理論、確率論、統計力学、組合せ論の問題に応用すること。
• Hermite-Kakeya-Obreschkoffの定理およびHermite-Biehlerの定理といった古典的結果を多次元設定に拡張すること。
• 安定性を保つ操作の統一的枠組みを提供し、関連分野における新しい不等式および定理を導出すること。

提案手法

• 複素空間の開上半平面で恒等的に零でない多項式として安定多項式を定義する。
• Hurwitzの定理を用いて、安定多項式の列の一様極限においても安定性が保たれることを保証する。
• 多アフィン安定多項式を導入し、パラメータ化された二次不等式を用いてその特徴付けを行う。
• Grace-Walsh-Szegőの一致定理を適用して、多アフィン多項式から一般の安定多項式への結果の拡張を行う。
• Schur-Hadamard積と対称平均化を用いて、群作用の下でも安定性が保たれることを示す。
• Szaszの原理およびその多次元拡張を用いて、Pólya-Schur定理を多次元設定に一般化する。

実験結果

リサーチクエスチョン

• RQ1 どの線形変換が多変数多項式の安定性を保つのか？
• RQ2 古典的な1変数安定性結果をどのように多次元に一般化できるか？
• RQ3 多変数安定多項式が行列理論およびJohnsonの予想に与える影響は何か？
• RQ4 安定性の性質は、δ-マトロイドやジャンプシステムといった組合せ的構造とどのように関係するか？
• RQ5 非負の係数と安定なサポートを持つ多項式が、Rayleigh的または対数部分単調的であるための条件は何か？

主な発見

• 本稿は、多変数多項式における安定性を保つ線形変換を特徴付けるPólya-Schur定理の多次元一般化を確立した。
• 安定な多アフィン多項式の完全対称群に関する対称平均は安定であり、安定性を保つ変換をもたらすのは完全対称群に限ることを証明した。
• Lee-Yangの円定理が拡張され、1以下の成分を持つエルミート行列から得られる特定の多変数多項式がシュール安定であり、すべての根が単位円上にあることが示された。
• 任意の安定多項式のサポートはジャンプシステムを形成し、組合せ論におけるマトロイドおよびδ-マトロイド構造を一般化する。
• 非負の係数をもつ多アフィン多項式において、実安定性はRayleigh性を意味し、それによって係数の対数部分単調性およびサポートのδ-マトロイドとしての凸性が導かれる。
• BorceaとBrändénによる行列理論における未解決の予想、特に行列ペンシルの安定性および正定値性に関する予想を解決した。