Geometry of Polynomials, Operator-Valued Maps, Polar and Non-Commutative Convex Analysis

多项式的（豪斯多夫）几何理论充满了美丽的结果和模式，并拥有丰富的猜想。值得注意的有Sendov猜想（1962）、small mean-value猜想（1981）、Borcea方差猜想（1998）、Rerh猜想（2012）。Sendov猜想和small猜想在一些特殊情况下得到了证明，但两者之间没有联系。有这样的程序：对于平面上给定的单连通定义域，描述其中所有有零点和临界点的多项式。最近，我们引入了复多项式轨迹的概念。它是平面上的最小闭集，它的任意一个极多项式的值为零。我们建立了基因座的一般性质，并展示了它与其他经典定理的联系：拉盖尔定理，罗尔定理，格雷斯-塞戈-沃尔什定理。轨迹提供了这些定理的极值版本。我们使用轨迹得到了复数多项式的罗尔定理，这比以前所有已知的结果都要强。我的长期目标是研究基因座的许多有趣的性质，分离基因座的子类：最小的面积，光滑的边界，或具有对称性；并为轨迹的（近似）计算开发了有效的算法。轨迹和极导数之间的联系，引出了极凸性的概念。极凸性是一般凸性的推广，非常适合于描述多项式的零点和临界点之间的关系。我们用它来加强拉盖尔定理。我的目标是获得经典结果的更强版本。人们可以给出高斯-卢卡斯定理的一个新的改进，一个补充最近由Dimitrov（1998）或Curgus & Mascioni（2004）提出的定理。高维空间的极凸性也很有趣。我对光谱（SpF）和各向同性（IF）函数的理论很感兴趣。它们在复杂分析、优化、非光滑和矩阵分析、弹性和量子物理等领域具有重要的应用价值。最近，我们通过引入一组称为k-各向同性函数的算子值映射，建立了SpF和IF之间的直接联系。当k=1时降为SpF，当k=n时降为IF。k-各向同性函数解释了SpF和IF在性能上的差异。当性质是可微性和算子单调性时，我们这样做。接下来的步骤是看看算子的凸性和许多其他性质。算子单调IF是近年来矩阵（非交换）凸性理论中的一个重要例子。事实上，它们正是r上的单值矩阵凸函数。其基础是Effros & Winkler（1995）对Wittstock（1984）定义的扩展。它在量子力学、信息论、非交换多项式、光谱面体等领域都有应用。我的目标是将经典的凸分析扩展到这种非交换的情况。

The theory of (Hausdorff) Geometry of Polynomials is full of beautiful results, patterns, and possesses a wealth of conjectures. Notable are Sendov conjecture (1962), Smale mean-value conjecture (1981), Borcea variance conjectures (1998), Rerh conjecture (2012). The Sendov and Smale conjectures are proven in particular cases, but no connection between the two is known. There are programs such as: for a given simply connected domain in the plane, characterize all polynomials having zeros and critical points in it. Recently, we introduced the notion of a locus of a complex polynomial. It is a minimal closed set in the plane that contains a zero of any of its apolar polynomials. We established general properties of the loci and showed its connections with other classical theorems: Laguerre's, Rolle's, Grace-Szego-Walsh' Coincidence theorems. The loci provide extremal versions of each of these theorems. We used the loci to obtain a Rolle's theorem for complex polynomials, that is stronger than all previously known such results. My long-term goal is to investigate the numerous intriguing properties of loci, isolate subclasses of loci: smallest area, smooth boundary, or with symmetries; and develop efficient algorithms for the (approximate) computation of a locus. Connections between loci and polar derivatives, lead us to the notion of polar convexity. Polar convexity, generalizes the usual convexity and is well-suited for describing relationships between zeros and critical points of polynomials. We used it to strengthen Laguerre's theorem. My goal is to obtain stronger versions of classical results. One can give a new refinement of the Gauss-Lucas theorem, one complementing recent ones by Dimitrov (1998) or Curgus & Mascioni (2004). Polar convexity in higher dimensions is of interest too. I am interested in the theory of spectral (SpF) and isotropic (IF) functions. They are of significant interest and find applications in areas such as complex analysis, optimization, non-smooth and matrix analysis, elasticity, and quantum physics. Recently, we formulated a direct connection between SpF and IF by introducing a family of operator-valued maps, called k-isotropic functions. The case k=1 reduces to the SpF and the case k=n to the IF. The k-isotropic functions explain the differences in properties of the SpF and the IF. We did so when the properties are differentiability and operator monotonicity. The next steps are to look at operator convexity and numerous other properties. The operator monotone IF are an important example in the recent theory of matrix (non-commutative) convexity. In fact, they are exactly the single-valued matrix convex functions on R. The foundations were laid down by Effros & Winkler (1995) extending a definition of Wittstock (1984). It finds applications in quantum mechanics, information theory, non-commutative polynomials, spectrahedra. My goal is to extend the classical convex analysis to this non-commutative setting.