[논문 리뷰] On the higher rank numerical range of the shift operator

Haykel Gaaya|arXiv (Cornell University)|2010. 04. 21.

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 $에 대해 $ T^n = 0 $이면, $ r = \dim \mathcal{D}_T $일 때 $ I_r \otimes S_n^* $의 압축으로 포함되는 확장 정리( dilation theorem )를 활용한다.
• 스펙트럼 특성화를 통해 $ \Lambda_k(T) $를 $ e^{i\theta}T + e^{-i\theta}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 $ 인 경우에 해당하는 Haagerup와 de la Harpe의 고전적 결과를 더욱 정밀하게 다듬는다.
• 증명은 $ S_n $ 를 확장하여 더 큰 시스템에 포함시키고, 확장된 연산자의 스펙트럼 성질을 분석하는 데 기반한다.
• 원판의 반지름은 $ r $ (결함 공간 차원) 과 $ k $ (질서) 에 따라 결정되는 유효 질서 $ \rho(k,r) $ 에 의해 결정된다.
• 이 특성화는 $ \Lambda_k(S_n) $ 가 볼록하고 원점에 대해 대칭임을 확인하며, 높은 질서 수치적 범위 이론의 일반적 성질과 일치한다.