[论文解读] Maximal and inextensible polynomials and the geometry of the spectra of normal operators

Julius Borcea|ArXiv.org|Sep 15, 2003

Advanced Differential Equations and Dynamical Systems参考文献 18被引用 6

一句话总结

本文在塞恩多夫猜想的背景下，研究了极大与不可伸缩多项式，采用二阶变分法驳斥了近期关于证明的宣称。研究发现，0-极大多项式——即最大化导数临界点到原点距离的多项式——不一定是塞恩多夫猜想的局部极大值，从而否定了基于一阶方法的先前证明，并建立了一个新颖的算子理论框架，将多项式临界点与正规算子及其主子矩阵的谱联系起来。

ABSTRACT

We consider the set S(n,0) of monic complex polynomials of degree $n\ge 2$ having all their zeros in the closed unit disk and vanishing at 0. For $p\in S(n,0)$ we let $|p|_{0}$ denote the distance from the origin to the zero set of $p'$. We determine all 0-maximal polynomials of degree $n$, that is, all polynomials $p\in S(n,0)$ such that $|p|_{0}\ge |q|_{0}$ for any $q\in S(n,0)$. Using a second order variational method we then show that although some of these polynomials are inextensible, they are not necessarily locally maximal for Sendov's conjecture. This invalidates the recently claimed proofs of the conjectures of Sendov and Smale and shows that the method used in these proofs can only lead to (already known) partial results. In the second part of the paper we obtain a characterization of the critical points of a complex polynomial by means of multivariate majorization relations. We also propose an operator theoretical approach to Sendov's conjecture, which we formulate in terms of the spectral variation of a normal operator and its compression to the orthogonal complement of a trace vector. Using a theorem of Gauss-Lucas type for normal operators, we relate the problem of locating the critical points of complex polynomials to the more general problem of describing the relationships between the spectra of normal matrices and the spectra of their principal submatrices.

研究动机与目标

• 分析并驳斥近期关于证明塞恩多夫猜想与斯梅尔平均值猜想的宣称，特别是那些依赖于一阶变分法的证明。
• 刻画所有零点位于闭单位圆盘内且在原点处为零的n次首一复系数多项式中0-极大多项式的性质。
• 建立多项式零点与临界点几何结构和正规算子及其主子矩阵谱之间的联系。
• 通过谱变分与控制关系，提出一种研究塞恩多夫猜想的新算子理论框架。

提出的方法

• 采用二阶变分法分析多项式零点的扰动及其对临界点的影响，特别关注临界点到原点的距离。
• 利用多变量控制关系刻画复系数多项式的临界点与其零点集之间的关系。
• 将塞恩多夫猜想表述为正规算子及其在迹向量正交补空间上压缩的谱变分问题。
• 应用正规算子的高斯-卢卡斯型定理，将正规矩阵的谱与其中心子矩阵的谱联系起来。
• 通过行列式恒等式与复系数下的特征值交错关系，推导出具有指定特征值和主子矩阵谱的正规矩阵存在的必要条件。
• 通过子矩阵特征值的复交错条件，推广柯西-皮卡特定理至正规矩阵。

实验结果

研究问题

• RQ1 0-极大多项式——即最大化临界点到原点距离的多项式——是否在塞恩多夫猜想下为局部极大？
• RQ2 仅靠一阶变分法是否足以证明塞恩多夫猜想或斯梅尔平均值猜想？
• RQ3 正规矩阵的谱与其(n−1)阶主子矩阵的谱之间存在何种关系？
• RQ4 多变量控制关系如何用于刻画复系数多项式临界点的性质？
• RQ5 是否存在塞恩多夫猜想在正规矩阵上的谱类比？若存在，特征值集合之间的有向豪斯多夫距离存在何种界限？

主要发现

• n次0-极大多项式被显式确定，且它们不一定是塞恩多夫猜想的局部极大值，从而否定了近期所谓证明版本中的相关宣称。
• 一阶变分法无法成功证明塞恩多夫猜想，这通过在所引用的八个版本证明中均存在反例得到证实。
• 本文构造了一个反例，表明正规矩阵的谱到其主子矩阵谱的有向豪斯多夫距离可达到全谱凸包直径，表明在此设定下塞恩多夫猜想不存在直接类比。
• 通过特征值差积之比的复交错条件，建立了具有给定特征值和主子矩阵特征值的正规矩阵存在的充要条件。
• 复系数多项式的临界点满足正规算子的广义高斯-卢卡斯性质，即正规算子压缩的谱位于原算子谱的凸包内。
• 本文建立了塞恩多夫猜想的新算子理论表述，将临界点位置与正规算子及其在迹向量正交补空间上压缩的谱变分联系起来。