[论文解读] 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) $ 的闭圆盘，否则为空集。该结果通过谱分解与算子扩张技术，将Haagerup与de la Harpe的经典数值域分析推广至高阶情形。

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) $。
• 将Haagerup与de la Harpe关于 $ S_n $ 的经典数值域结果推广至高阶情形。
• 以 $ k $、$ n $ 及三角函数的形式，建立 $ \Lambda_k(S_n) $ 的精确几何描述。
• 通过扩张与谱分析，探讨幂零算子 $ \Lambda_k(T) $ 的结构。

提出的方法

• 将 $ S_n $ 表示为幂零移位矩阵，并通过秩k正交投影定义高阶k数值域。
• 运用扩张定理，将任意满足 $ T^n = 0 $ 的压缩算子 $ T $ 嵌入 $ 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) $ 为空集。
• 该结果细化了Haagerup与de la Harpe关于 $ S_n $ 数值域的经典结果（对应 $ k=1 $ 的情形）。
• 证明依赖于通过扩张将 $ S_n $ 嵌入更大系统，并分析扩张算子的谱性质。
• 圆盘的半径由有效秩 $ \rho(k,r) $ 决定，其取决于亏空空间维数 $ r $ 与秩 $ k $。
• 该表征确认 $ \Lambda_k(S_n) $ 为凸集且关于零对称，与高阶数值域的一般理论一致。