[論文レビュー] On the higher rank numerical range of the shift operator

Haykel Gaaya|arXiv (Cornell University)|Apr 21, 2010

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

ひとこと要約

この論文は、n次元シフト作用素 $ S_n $ の高ランク-k 数値範囲を決定し、$ 1 < k \leq \left\lfloor \frac{n+1}{2} \right\rfloor $ のとき、原点を中心とする半径 $ \cos\left(\frac{k\pi}{n+1}\right) $ の閉円板であることを証明している。それ以外の場合は空集合である。この結果は、スペクトル分解と作用素拡大技術を用いて、ハーガープとドゥラハープの古典的数値範囲解析を高ランク設定に拡張するものである。

ABSTRACT

For any n-by-n complex matrix T and any $1\leqslant k\leqslant n$, let $Λ_{k}(T)$ the set of all $λ\in \C$ such that $PTP=λP$ for some rank-k orthogonal projection $P$ be its higher rank-k numerical range. It is shown that if $\bbS$ is the n-dimensional shift on ${\C}^{n}$ then its rank-k numerical range is the circular disc centred in zero and with radius $\cos\dfrac{kπ}{n+1}$ if $1

研究の動機と目的

• n次元シフト作用素 $ S_n $ の高ランク-k 数値範囲 $ \Lambda_k(S_n) $ を特徴付けること。
• ハーガープとドゥラハープによる $ S_n $ の古典的数値範囲に関する結果を、高ランク設定に一般化すること。
• 高ランク-k 数値範囲 $ \Lambda_k(S_n) $ の正確な幾何的記述を、$ k $、$ n $、および三角関数を用いて確立すること。
• 拡大とスペクトル解析を用いて、冪零作用素の $ \Lambda_k(T) $ の構造を調査すること。

提案手法

• シフト行列としての $ S_n $ の表現を用い、高ランク-k 数値範囲の定義をランク-k 正規直交射影を介して適用する。
• 任意の作用素 $ T $ が $ T^n = 0 $ を満たすならば、$ I_r \otimes S_n^* $ の圧縮に埋め込めるという拡大定理を用いる。ここで $ r = \dim \mathcal{D}_T $ である。
• 作用素 $ e^{i\theta}T + e^{-i\theta}T^* $ の固有値を用いた $ \Lambda_k(T) $ のスペクトル的特徴付けを適用する。公式 $ \Lambda_k(T) = \bigcap_{\theta} \{ \mu : e^{i\theta}\mu + e^{-i\theta}\bar{\mu} \leq \lambda_k(e^{i\theta}T + e^{-i\theta}T^*) \} $ を用いる。
• 拡大系における有効ランクを決定する関数 $ \rho(k,r) = \left\lfloor \frac{k}{r} \right\rfloor + 1 $ を導入する。
• 既知の結果として、$ \rho(k,r) \leq \left\lfloor \frac{n+1}{2} \right\rfloor $ のとき、$ \Lambda_k(I_r \otimes S_n^*) $ は半径 $ \cos\left( \frac{\rho(k,r)\pi}{n+1} \right) $ の円板であることが分かっている。
• 包含関係 $ \Lambda_k(T) \subseteq \Lambda_k(I_r \otimes S_n^*) $ を適用し、$ \Lambda_k(S_n) $ の上限を得る。

実験結果

リサーチクエスチョン

• RQ1 n次元シフト作用素の高ランク-k 数値範囲 $ \Lambda_k(S_n) $ の正確な幾何的構造は何か？
• RQ2 高ランク-k 数値範囲 $ \Lambda_k(S_n) $ は $ k $ と $ n $ にどのように依存するか。特に古典的数値範囲との関係は？
• RQ3 $ \Lambda_k(S_n) $ が非空である条件は何か。その半径はどのように決定されるか？
• RQ4 冪零作用素の高ランク-k 数値範囲は、拡大技術を用いて特徴付け可能か？

主な発見

• $ 1 < k \leq \left\lfloor \frac{n+1}{2} \right\rfloor $ のとき、高ランク-k 数値範囲 $ \Lambda_k(S_n) $ は原点を中心とする半径 $ \cos\left( \frac{k\pi}{n+1} \right) $ の閉円板である。
• $ \left\lfloor \frac{n+1}{2} \right\rfloor < k \leq n $ のとき、$ \Lambda_k(S_n) $ は空集合である。
• この結果は、$ k=1 $ の場合に相当するハーガープとドゥラハープの古典的結果を精緻化するものである。
• 証明は、$ S_n $ を拡大によりより大きな系に埋め込み、拡大作用素のスペクトル的性質を解析することに依拠している。
• 円板の半径は、欠損空間次元 $ r $ とランク $ k $ に依存する有効ランク $ \rho(k,r) $ によって決定される。
• この特徴付けにより、$ \Lambda_k(S_n) $ が凸かつ原点に関して対称であることが確認され、一般理論における高ランク数値範囲の性質と整合している。