[論文レビュー] Hyperbolic polynomials and the Marcus-Spielman-Srivastava theorem

Petter Brändén|arXiv (Cornell University)|Nov 30, 2014

Mathematical functions and polynomials参考文献 15被引用数 6

ひとこと要約

この論文は、正定値行列の文脈におけるMarcus-Spielman-Srivastavaの定理を、双曲多項式の設定に拡張し、元の結果を双曲多項式の理論に自然に統合する一貫した枠組みを提供する。主な貢献は、混合特性多項式の最大固有値に対する鋭い上限を示すことであり、これにより、強いRayleigh測度を用いた弱半平面性質をもつマトロイドが $k$ 個の互いに素な基底を含むための新しい十分条件が得られる。

ABSTRACT

Recently Marcus, Spielman and Srivastava gave a spectacular proof of a theorem which implies a positive solution to the Kadison-Singer problem. We extend (and slightly sharpen) this theorem to the realm of hyperbolic polynomials. A benefit of the extension is that the proof becomes coherent in its general form, and fits naturally in the theory of hyperbolic polynomials. We also study the sharpness of the bound in the theorem, and in the final section we describe how the hyperbolic Marcus-Spielman-Srivastava theorem may be interpreted in terms of strong Rayleigh measures. We use this to derive sufficient conditions for a weak half-plane property matroid to have k disjoint bases. This work is based on notes from a graduate course focused on hyperbolic polynomials and the recent papers of Marcus, Spielman and Srivastava, given by the author at the Royal Institute of Technology (Stockholm) in the fall of 2013.

研究の動機と目的

• 正定値行列の文脈から双曲多項式へMarcus-Spielman-Srivastavaの定理を一般化すること。
• 双曲多項式の理論において、定理を概念的で自然な形で再定式化し、概念的明瞭性を高めること。
• 一般化された定理における境界の鋭さを調査すること、特に最適境界に関する予想ととの関係を明らかにすること。
• 拡張された定理を用いて、ランク関数に基づくEdmondsの特徴付けとは独立して、弱半平面性質をもつマトロイドが $k$ 個の互いに素な基底をもつための新しい十分条件を導出すること。

提案手法

• 論文は混合双曲多項式を導入し、双曲多項式 $h$ と方向 $\mathbf{e}$ に関連する一般化固有値写像 $\lambda_j(\mathbf{x})$ を用いてその固有値を特徴付ける。
• 元のMarcus-Spielman-Srivastavaの定理における演算子ノルムの境界 $\left\| \sum_{i \in S_j} \mathbf{v}_i \mathbf{v}_i^* \right\| \leq \frac{(1 + \sqrt{k\epsilon})^2}{k}$ を出発点として用いる。
• 実根性、斉次性、線形結合における固有値の交互性といった性質を用いて、証明技法を双曲多項式に適応する。
• 強いRayleigh測度と双曲多項式の間の関係を確立する。具体的には、定和測度 $\mu$ が強いRayleighであるための必要十分条件として、その生成多項式 $P_\mu(\mathbf{x})$ が $\mathbf{1}$ に関して双曲的であり、$\mathbb{R}_+^n \subseteq \Lambda_+(\mathbf{1})$ を満たすことであることを示す。
• 双曲多項式設定におけるベクトル $\mathbf{e}_i$ のトレースを用いて、$\mathbb{P}[S:i \in S]$ を包含確率のマージナル確率に結びつける。
• この手法は、Edmondsの基底パッケージング定理の連続的アナログに到達する。境界 $\| \mathbf{e}_{S_j} \| \leq \frac{1}{k} \delta(k\epsilon, n)$ を用いて、弱半平面性質をもつマトロイドにおける $k$ 個の互いに素な基底が存在するための十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 Marcus-Spielman-Srivastavaの定理は、双曲多項式のより広いクラスへ、その概念的・技術的整合性を保ったまま一般化可能か？
• RQ2 双曲多項式の文脈において、境界 $\frac{(1 + \sqrt{k\epsilon})^2}{k}$ の鋭さは何か？ これは最適か？
• RQ3 一般化された定理は、強いRayleigh測度とそれらに付随する双曲多項式の観点からどのように解釈できるか？
• RQ4 拡張された定理により、ランク関数とは独立して、弱半平面性質をもつマトロイドが $k$ 個の互いに素な基底を含むための新しい十分条件が得られるか？
• RQ5 マトロイドの基底パッケージング定理の連続的で双曲多項式に基づくアナログは存在するか？

主な発見

• 双曲多項式における一般化されたMarcus-Spielman-Srivastavaの定理は、双曲多項式の理論において一貫的かつ自然であることが示され、元の結果を意味的に拡張している。
• 境界 $\frac{(1 + \sqrt{k\epsilon})^2}{k}$ は双曲設定においてほぼ最適であり、Proposition 7.1 がジャコビ多項式の零点の挙動を用いてその漸近的鋭さを確認している。
• 定和測度 $\mu$ が強いRayleighであるための必要十分条件は、その生成多項式 $P_\mu(\mathbf{x})$ が $\mathbf{1}$ に関して双曲的であり、$\mathbb{R}_+^n \subseteq \Lambda_+(\mathbf{1})$ を満たすことである。これにより、確率的構造と代数的構造との深い関係が確立される。
• 定理8.1は、弱半平面性質をもつマトロイドが $k$ 個の互いに素な基底をもつための新しい十分条件を提供する：すべての $i$ に対して $\mathbb{P}[S:i \in S] \leq \left( \frac{1}{\sqrt{k-1}} - \frac{1}{\sqrt{k}} \right)^2$ が成り立つならば、$k$ 個の互いに素な基底が存在する。
• 定理8.2の証明では、$\lambda_{\max}$ の凸性と境界 $\lambda_{\min}(\mathbf{v}_j) \geq 1 - \frac{k-1}{k} \delta(k\epsilon, n)$ を用いて、$\mathbf{v}_j$ がフルランクであることを示し、これにより $S_j$ が基底を含むことが導かれる。
• 論文は、双曲多項式の枠組みが、Edmondsの特徴付けとは対照的に、ランク関数に依存しない、異なる十分条件を弱半平面性質をもつマトロイドにおける $k$ 個の基底パッケージングに与えることを示している。