[论文解读] The Scaled Relative Graph of a Linear Operator

Richard Pates|arXiv (Cornell University)|Jun 10, 2021

Matrix Theory and Algorithms参考文献 8被引用 4

一句话总结

本文建立了线性算子的缩放相对图（SRG）与相关算子的数值域之间的直接联系，使得能够运用数值域理论来分析SRG的性质。关键贡献在于一个表征结果，表明SRG的Beltrami-Klein映射是凸的，并满足Hildebrant定理的类比形式，该结果在实与复希尔伯特空间中对矩阵和微分算子的SRG边界绘制具有应用价值。

ABSTRACT

The scaled relative graph (SRG) of an operator is a subset of the complex plane. It captures several salient features of an operator, such as contractiveness, and can be used to reveal the geometric nature of many of the inequality based arguments used in the convergence analyses of fixed point iterations. In this paper we show that the SRG of a linear operator can be determined from the numerical range of a closely related linear operator. Furthermore we demonstrate that the SRG of a linear operator has a range of spectral and convexity properties, and satisfies an analogue of Hildebrant's theorem.

研究动机与目标

• 开发一种基于缩放相对图（SRG）的几何框架，用于分析线性算子，特别是在固定点迭代的收敛性分析背景下。
• 解决确定一般线性算子SRG的挑战，特别是在有限维与无限维希尔伯特空间中。
• 通过利用复化和复算子理论中的已知结果，将现有的SRG理论扩展至实希尔伯特空间。
• 提供一种计算方法，通过数值域计算中的算法来绘制SRG的边界。
• 建立SRG的凸性与谱性质，包括Hildebrant定理的类比形式。

提出的方法

• 通过Möbius变换，特别是Beltrami-Klein映射，将SRG与变换后算子的数值域联系起来。
• 在复希尔伯特空间中，SRG被表征为从原算子T导出的两个自伴算子的联合数值域的像。
• 利用实希尔伯特空间的复化，将复算子理论的结果应用于实空间，实现从复到实设定的结果转移。
• 通过已知的联合数值域结果（特别是两个厄米特型的联合数值域）建立SRG的凸性。
• 将SRG的边界绘制算法从数值域计算技术中改编而来，应用于变换后的算子。
• 通过分析Beltrami-Klein映射下SRG的谱性质，推导出Hildebrant定理的类比形式。

实验结果

研究问题

• RQ1 能否通过相关算子的数值域完全表征线性算子的SRG？
• RQ2 SRG的凸性性质是什么？其与数值域的凸性性质有何不同？
• RQ3 对于实希尔伯特空间上的算子，如何计算SRG，因为标准数值域工具仅适用于复空间？
• RQ4 SRG是否满足类似于Hildebrant定理的性质？
• RQ5 现有的数值域算法能否被改编以计算矩阵和微分算子的SRG边界？

主要发现

• 在复希尔伯特空间中，线性算子的SRG等于从算子T导出的两个自伴算子的联合数值域在Möbius变换下的像。
• SRG的Beltrami-Klein映射是凸的，其凸性在所有维度下成立，除可能在二维情况下，但此时由于联合范围的椭圆性质，凸性依然成立。
• SRG满足Hildebrant定理的类比形式，将其谱性质与近似点谱而非谱联系起来。
• 对于实希尔伯特空间，SRG可通过复化计算，其Beltrami-Klein像为凸集，除非空间维度为二维。
• 矩阵和线性微分算子的SRG边界可借助适配的数值域算法绘制，该方法依赖于变换后算子的联合数值域关系。
• 当维度大于2时，矩阵的SRG是凸的；在二维情况下，SRG为椭圆、圆、直线或点，其边界均为凸的。