[論文レビュー] 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のベルトラミ＝クライン写像が凸であり、ヒルデブラントの定理の類似が成り立つことを示すもので、実および複素ヒルベルト空間における行列および微分作用素の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の凸性およびスペクトル的性質の確立、特にヒルデブラントの定理の類似の確立。

提案手法

• SRGは、ベルトラミ＝クライン写像を介して変換された作用素の数値域と関連づけられる。
• 複素ヒルベルト空間では、元の作用素Tから導かれる二つの自己共役作用素の共同数値域の像としてSRGが特徴づけられる。
• 実ヒルベルト空間の複素化を用いて、複素作用素理論の結果を実設定に適用する。
• 特に二つのヘルミート型の共同数値域に関する既知の結果を用いて、SRGの凸性を確立する。
• SRGの境界プロットアルゴリズムは、数値域計算技術を変形・適応したもので、変換された作用素に適用される。
• ベルトラミ＝クライン写像下でのSRGのスペクトル的性質を分析することで、ヒルデブラントの定理の類似が導かれる。

実験結果

リサーチクエスチョン

• RQ1 線形作用素のSRGは、関連作用素の数値域を用いて完全に特徴づけられるか？
• RQ2 SRGの凸性特性は、数値域のそれとどのように異なるか？
• RQ3 標準的な数値域ツールが複素空間に適用されるのに対し、実ヒルベルト空間上の作用素のSRGはどのように計算できるか？
• RQ4 SRGは、数値域に関するヒルデブラントの定理に類似した定理を満たすか？
• RQ5 既存の数値域アルゴリズムを変形することで、行列および線形微分作用素のSRG境界を計算できるか？

主な発見

• 複素ヒルベルト空間上での線形作用素のSRGは、元の作用素Tから導かれる二つの自己共役作用素の共同数値域の像として、モビウス変換による写像として等しい。
• SRGのベルトラミ＝クライン写像は凸であり、次元が2未満でない限りすべての次元で成り立つ。次元2では、共同範囲の楕円的性質により依然として凸である。
• ヒルデブラントの定理の類似がSRGに成立し、スペクトル的性質が「近似点スペクトル」に結びつく。
• 実ヒルベルト空間では、複素化を用いてSRGを計算でき、そのベルトラミ＝クライン像は、空間が2次元でない限り凸である。
• 行列および線形微分作用素のSRG境界は、変換された作用素の共同数値域との関連を活用して、適応された数値域アルゴリズムによりプロット可能である。
• 行列のSRGは次元が3より大きい場合に凸であり、次元2では楕円、円、直線、または点となるが、いずれも境界が凸である。