[论文解读] 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 德布鲁因-斯普林格猜想是否对所有凸函数成立，即 $f(\mu_j)$ 的平均值是否受 $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))$。