[論文レビュー] Bounds of numerical radius of bounded linear operator using $t$-Aluthge transform

Santanu Bag, Pintu Bhunia+1 more|arXiv (Cornell University)|Apr 27, 2019

Matrix Theory and Algorithms参考文献 9被引用数 10

ひとこと要約

本稿では、複素ヒルバート空間上の有界線形作用素の数値半径に対する、より鋭い上界と下界を、$t$-アリュースゲ変換を用いて確立する。作用素の不等式と$t$-アリュースゲ変換の性質を活用することで、キッタネおよびアブー・オマル＝キッタネの結果を改善する新たな不等式を導出し、解析的証明と数値例を通じてその優位性を示している。

ABSTRACT

We develop a number of inequalities to obtain bounds for the numerical radius of a bounded linear operator defined on a complex Hilbert space using the properties of $t$-Aluthge transform. We show that the bounds obtained are sharper than the existing bounds.

研究の動機と目的

• 有界線形作用素の数値半径に対するより鋭い境界を、$t$-アリュースゲ変換を用いて導出すること。
• 特にキッタネおよびアブー・オマル＝キッタネの結果に優る、既存の数値半径不等式を改善すること。
• 文献[7, Th. 1]におけるキッタネの境界よりも鋭い、$w^4(T)$ に対する新たな不等式を確立すること。
• 反例を用いて、数値半径のさまざまな上界の非比較可能性を示すこと。
• 特定の作用素クラスにおいて、提案された境界が従来のものよりも厳密に優れていることを示すこと。

提案手法

• 作用素の挙動を分析するために、$t \in [0,1]$ に対して $\widetilde{T}_t = |T|^t U |T|^{1-t}$ を用いた $t$-アリュースゲ変換を用いる。
• ヘインツの不等式を適用して、$\|T^2\|$ と $\|T\|$ で $\widetilde{T}_t$ のノルムを評価する。
• カーテシアン分解 $T = \text{Re}(T) + i\,\text{Im}(T)$ と恒等式 $w(T) = \sup_{\theta \in \mathbb{R}} \|\text{Re}(e^{i\theta}T)\|$ を用いる。
• $m(\text{Re}(T^2)^2)$、$\|T^*T + TT^*\|^2$、および $w^4(T)$ を含む四項不等式を導出し、数値半径を評価する。
• 作用素ノルムおよびスペクトル半径の性質を用いて、新しい境界と古典的不等式を比較する。
• 特定の行列を用いた数値例を通じて、境界の非比較性と優位性を図示する。

実験結果

リサーチクエスチョン

• RQ1 $t$-アリュースゲ変換を用いることで、既存の不等式よりも鋭い数値半径の境界を導出できるか？
• RQ2 提案された $w^4(T)$ の境界は、文献[7, Th. 1]におけるキッタネの境界とどのように比較できるか？
• RQ3 提案された境界は、文献[1, Th. 3.2]におけるアブー・オマルおよびキッタネの境界よりも厳密に鋭いか？
• RQ4 どのような条件下で、新しい境界が (1.1) および (1.2) などの古典的境界を上回るか？
• RQ5 明示的な例を用いて、数値半径の異なる上界の非比較性を示せるか？

主な発見

• 著者らは、$w^4(T)$ に対する新たな下界を確立した：$\frac{1}{4}m(\text{Re}(T^2)^2) + \frac{1}{16}\|T^*T + TT^*\|^2 \leq w^4(T)$ であり、これは文献[7, Th. 1]におけるキッタネの境界よりも鋭い。
• 上界 $w^4(T) \leq \frac{1}{2}w^2(T^2) + \frac{1}{8}\|T^*T + TT^*\|^2$ が、キッタネの境界 $w^2(T) \leq \frac{1}{2}\|T^*T + TT^*\|$ よりも鋭いことが証明された。
• 提案された境界 $\left(\frac{1}{2}w^2(T^2) + \frac{1}{8}\|T^*T + TT^*\|^2\right)^{1/4}$ が、特定の作用素に対して $\frac{1}{2}(\|T\| + \min_{t\in[0,1]} w(\widetilde{T}_t))$ よりも優れていることが示された。
• 数値例により、新しい境界が既存のものと比較不能であり、場合によっては厳密に優れていることが確認された。
• 重要な技術的結果として、$T^2 = 0 \Leftrightarrow \widetilde{T}_t = 0$ for all $t \in [0,1]$ の同値性が確立された。
• 本稿は、古典的アリュースゲ変換や直接的なノルムに基づく境界よりも、$t$-アリュースゲ変換が数値半径推定においてより洗練された道具であると確認した。