[論文レビュー] Inverse spectral problem for normal matrices and a generalization of the Gauss-Lucas theorem

Semyon Malamud|ArXiv.org|Apr 12, 2003

Matrix Theory and Algorithms参考文献 21被引用数 5

ひとこと要約

この論文は、正規行列に対する主要化に基づく逆スペクトル定理を確立し、コーシー＝ポワンカレの分離定理を一般化するとともに、ガウス＝ルーカスの定理を拡張する。多項式の導関数の根が、その根の固有値の凸包に含まれることを、二重確率行列表現を用いて証明し、長年のデ・ブロイーン＝スプリンガーおよびショーンバーグの予想を新しい凸関数の不等式および根の$L^2$ノルムに関する不等式を用いて解決する。

ABSTRACT

We estabish an analog of the Cauchy-Poincare separation theorem for normal matrices in terms of majorization. Moreover, we present a solution to the inverse spectral problem (Borg-type result) for a normal matrix. Using this result we essentially generalize and complement the known Gauss--Lucas theorem on the geometry of the roots of a complex polynomial and of its derivative. In turn the last result is applied to prove the old conjectures of de Bruijn-Springer and Schoenberg about these roots.

研究の動機と目的

• ベクトルの主要化を用いて、正規行列へのコーシー＝ポワンカレの分離定理の一般化を図ること。
• 自己随伴でない場合にまで拡張されたホフスタットのボルグ型一意性結果を含む、正規行列の逆スペクトル問題を解くこと。
• 多項式の導関数の根が、多項式の根の二重確率行列変換であることを示すことによって、ガウス＝ルーカスの定理を一般化すること。
• 多項式の根とその導関数の根に関する凸関数の不等式に関するデ・ブロイーン＝スプリンガーの予想を証明すること。
• ゼロ和条件の下で、多項式の根とその導関数の$L^2$ノルムに関するショーンバーグの予想を証明すること。

提案手法

• 長さが異なる$\mathbb{R}^n$内に存在するベクトル列のための、古典的主観化を一般化する新しい主要化の概念を導入すること。
• 二つの固有値列が正規行列とその主小行列から生じるための必要十分条件を導出し、$c_k = \frac{\prod_{j=1}^{n-1}(\mu_j - \lambda_k)}{\prod_{j \neq k}(\lambda_j - \lambda_k)} \geq 0$ という条件を用いること。
• 外積代数と行列論を用いて、導関数の根が元の根の固有値の二重確率行列変換であることを示すこと。
• 二重確率行列$S$が存在して$\mu = S\lambda$を満たすことを用いて、凸関数の不等式、特にデ・ブロイーン＝スプリンガーの予想を証明すること。
• 行列ノルムの恒等式$\|A_{n-1}\|_2^2 \leq \|A\|_2^2$と正規性条件を用いて、根の$L^2$ノルムに関するショーンバーグの不等式を証明すること。
• メイソン＝シャピロ微分作用素の枠組みを活用し、ガウス＝ルーカスの定理を$T_Q$の固有関数へ一般化すること。

実験結果

リサーチクエスチョン

• RQ1 主要化に基づく幾何的条件を用いて、コーシー＝ポワンカレの分離定理を正規行列へ拡張できるか？
• RQ2 自己随伴行列を超える一般化において、正規行列とその主小行列の固有値列の特徴づけは可能か？
• RQ3 多項式の導関数の根が二重確率行列変換であることを示すことで、ガウス＝ルーカスの定理を強化できるか？
• RQ4 すべての凸関数に対して、平均$\frac{1}{n-1}\sum f(\mu_j)$が平均$\frac{1}{n}\sum f(\lambda_j)$によって上から抑えられるというデ・ブロイーン＝スプリンガーの予想は成り立つか？
• RQ5 ゼロ和条件$\sum \lambda_j = 0$の下で、$n\sum |\mu_j|^2 \leq (n-2)\sum |\lambda_j|^2$が成り立ち、すべての$\lambda_j$が同一直線上にあるときに等号が成立するというショーンバーグの予想は真か？

主な発見

• 正規行列の逆スペクトル問題は、固有値の有理関数として定義される非負係数$c_k$を含む必要十分条件により解決された。
• 任意の複素多項式の導関数の根は、その多項式の根の凸包に含まれる。さらに、ある二重確率行列$S$が存在して$\mu = S\lambda$が成り立つことにより、この性質が強化された。
• デ・ブロイーン＝スプリンガーの予想は、最後の行の要素が等しい二重確率行列を構成することで証明された。これにより、すべての凸関数$f$に対して$\frac{1}{n-1}\sum f(\mu_j) \leq \frac{1}{n}\sum f(\lambda_j)$が成り立つことが保証された。
• ショーンバーグの予想は検証された：$\sum \lambda_j = 0$の下で$n\sum |\mu_j|^2 \leq (n-2)\sum |\lambda_j|^2$が成り立ち、すべての$\lambda_j$が同一直線上にあるときに等号が成立する。
• メイソン＝シャピロ作用素において、固有関数$p_m$の零点が$Q$の零点の二重確率行列変換であることが示され、凸関数の不等式$\frac{1}{m}\sum f(w_j) \leq \frac{1}{k}\sum f(z_j)$が得られた。
• 根の高次積への拡張がなされ、任意の$k$-組および凸関数$f$に対して$\frac{1}{\binom{n-1}{k}}\sum f(\prod (\mu_{i_j} - \alpha)) \leq \frac{1}{\binom{n}{k}}\sum f(\prod (\lambda_{i_j} - \alpha))$が証明された。