[論文レビュー] Combinatorics hidden in hyperbolic polynomials and related topics

Leonid Gurvits|ArXiv.org|Feb 5, 2004

Advanced Combinatorial Mathematics参考文献 25被引用数 12

ひとこと要約

この論文は、マトロイドのランク交差に関するエドモンドス＝ラドの定理を超曲多項式へ一般化し、混合超曲多項式形式を用いてスペクトル不等式および凸性の性質を確立する。超曲多項式の対数がその正錐上で凹関数であることを証明し、k-超曲多項式性およびハーヴィッツ行列式を用いてアレクサンドロフ＝フェンヒェルの不等式を導出し、ボルチェアとシャピロの結果を拡張し、行列式表現に関する未解決の問題を解決する。

ABSTRACT

The main topic of this paper is various "hyperbolic" generalizations of the Edmonds-Rado theorem on the rank of intersection of two matroids. We prove several results in this direction and pose a few questions. We also give generalizations of the Obreschkoff theorem and recent results of J. Borcea and B. Shapiro.

研究の動機と目的

• マトロイドのランク交差に関するエドモールド＝ラドの定理を、超曲多項式の設定へ拡張すること。
• 混合形式および極化恒等式を用いて、超曲多項式のスペクトル不等式および凸性の性質を調査すること。
• e-非負ベクトルの錐 $ N_e $ が半正定値表現をもつかどうかを特定すること、特に3変数の場合に注目すること。
• オブレシュコフの定理およびボルチェアとシャピロの最近の結果を、混合形式および根の実性条件を用いて一般超曲多項式の設定へ拡張すること。
• k-超曲多項式性およびハーヴィッツ行列式を用いて、混合超曲多項式形式に対するヴァン・ダール・ワルデン予想が証明可能かどうかを検討すること。

提案手法

• 極化恒等式を用いて、$ p(\sum \alpha_i x_i) $ のn階混合微分から導かれる多重線形形式として、p-混合値 $ M_p(x_1, ..., x_n) $ を定義する。
• 命題1.2を適用して、任意の2つのベクトルの根の挙動を実対称行列の固有値を用いて表現し、スペクトル行列不等式を一般超曲多項式へ移行可能にする。
• k-超曲多項式性を、$ \phi_k(t) = M_p(x+tp, ..., x+tp, x_{k+1}, ..., x_n) $ の根が実数であることで定義し、アレクサンドロフ＝フェンヒェルの不等式を導出する。
• 行列式 $ \phi_k $ および $ \phi_k' $ のハーヴィッツ行列式を用いて、2-超曲多項式性よりも強い不等式の階層を生成する。
• アレクサンドロフ＝フェンヒェルの不等式を活用して、$ M(i) \geq M(0)^{i/n} M(n)^{(n-i)/n} $ を示すことにより、$ \ln p(x) $ が $ C_e $ 上で凹関数であることを証明する。
• 超曲多項式 $ p $ が方向 $ e $ に関して超曲多項的であれば、任意の方向 $ d \in C_e $ に対しても $ p $ は超曲多項的であることが示され、一貫したスペクトル的挙動が保証される。

実験結果

リサーチクエスチョン

• RQ1 マトロイド交差に関するエドモールド＝ラドの定理は、超曲多項式の設定へ一般化可能か？
• RQ2 e-非負ベクトルの錐 $ N_e $ は、特に3変数の場合に半正定値表現をもつのか？
• RQ3 混合形式および根の実性条件を用いて、オブレシュコフの定理およびボルチェア＝シャピロの結果を一般超曲多項式へ拡張可能か？
• RQ4 k-超曲多項式性およびハーヴィッツ行列式を用いて、混合超曲多項式形式に対するヴァン・ダール・ワルデン予想は証明可能か？
• RQ5 4変数の超曲多項式が行列式表現をもつための条件は何か？

主な発見

• 超曲多項式の対数は、e-正ベクトルの開錐 $ C_e $ 上で凹関数であることが示され、$ 0 < a < 1 $ に対して不等式 $ \ln p(ax + (1-a)y) \geq a \ln p(x) + (1-a) \ln p(y) $ が成り立つ。
• 混合超曲多項式形式 $ M_p(x_1, ..., x_n) $ は、$ 1 \leq i \leq n-1 $ に対して $ M(i) \geq \sqrt{M(i-1)M(i+1)} $ を満たし、これがアレクサンドロフ＝フェンヒェルの不等式を意味する。
• 任意の $ x, y \in C_e $ に対して、列 $ M(i) $ は対数凹関数であり、不等式 $ M_p(ax + (1-a)y, ..., ax + (1-a)y) \geq (a M(0)^{1/n} + (1-a) M(n)^{1/n})^n $ が成り立つ。
• 錐 $ N_e $ は閉かつ凸であり、$ p $ はすべての方向 $ d \in C_e $ に対して超曲多項的であるため、一貫したスペクトル的挙動が保証される。
• 3変数の場合の $ N_e $ が半正定値表現をもつことは、[1]および[24]の結果に基づき肯定的に解決された。
• $ p(x,y,z,t) = \det(xC_q + yC_r + zC_p - tI) $ という4変数の超曲多項式は存在不可能であることが示され、非実数の根を持つ線形結合を構成することで、超曲多項的性の違反が示された。