[논문 리뷰] On the convexity and circularity of the numerical range of nilpotent quaternionic matrices

Luís Carvalho, Cristina Diogo외 1명|arXiv (Cornell University)|2019. 07. 31.

Matrix Theory and Algorithms인용 수 4

한 줄 요약

이 논문은 영행렬인 허밀토니안 행렬의 수치적 영역이 원형 또는 볼록임을 위한 필요 및 충분 조건을 확립한다. 3×3 영행렬에 대해, 수치적 영역이 원형임은 행렬이 사이클을 포함하지 않을 때이고, 볼록임은 행렬의 곱 $ a_{13}^*a_{12}a_{23} $ 가 실수일 때이다. 이러한 결과는 사이클의 구조에 관한 그래프 이론적 조건을 통해 일반적인 영행렬로 확장되며, 베르지의 최대정리(최대값 정리)를 적용하여 대각 성분이 실수이고, 영행렬 부분이 트리 구조를 가진 행렬에 대해 볼록성을 도출한다.

ABSTRACT

We provide a sufficient condition for the numerical range of a nilpotent matrix N to be circular in terms of the existence of cycles in an undirected graph associated with N. We prove that if we add to this matrix N a diagonal real matrix D, the matrix D + N has convex numerical range. For 3 x 3 nilpotent matrices, we strength further our results and obtain necessary and sufficient conditions for circularity and convexity of the numerical range.

연구 동기 및 목표

• 영행렬 허밀토니안 행렬의 수치적 영역이 원형 또는 볼록임을 판단할 조건을 규명하는 것.
• 토플리츠-하우스도르프 정리가 성립하지 않는 허밀토니안 설정에서 수치적 영역의 형태를 특성화하는 것.
• 복소수 경우에서의 결과를 허밀토니안 수학으로 확장하여, 특히 영행렬에 대해 적용하는 것.
• 3×3 행렬에서 원형성에 대한 그래프 이론적 조건(사이클 없음)과 볼록성에 대한 실수 곱 조건을 제공하는 것.
• 실수 대각 행렬을 영행렬에 더했을 때 수치적 영역이 볼록이 되는 것을 증명하는 것.

제안 방법

• 허밀토니안 공간 $ \mathbb{H}^n $ 내에서 수치적 영역 $ W(A) $ 를 $ \{ \mathbf{x}^* A \mathbf{x} \mid \|\mathbf{x}\| = 1 \} $ 로 정의하며, 허밀토니안 내적을 사용한다.
• 행렬과 관련된 무방향 그래프를 이용해 사이클을 탐지하며, 사이클이 없는 그래프는 원형 수치적 영역을 의미한다.
• Berge의 최대정리를 적용하여 $ \mathbf{x}^* A \mathbf{x} $ 의 실수부의 최고값을 분석함으로써 볼록성 증명을 가능하게 한다.
• 행렬의 $ a_{13}^*a_{12}a_{23} \in \mathbb{R} $ 인 경우, 유니터리 동치를 통해 행렬을 실수 형태로 변환하고, 실수 행렬에 대한 알려진 볼록성 결과를 활용한다.
• 매개변수화된 벡터 $ \mathbf{y} \in \mathbb{S}_{\mathbb{H}^3} $ 를 이용한 모순 증명 기법을 통해 실수 곱 조건의 필수성을 증명한다.
• 항등식 $ \pi_{\mathbb{R}}(ab) = \pi_{\mathbb{R}}(ba) $ 를 사용하여 허밀토니안을 포함하는 표현의 실수성 분석을 수행한다.

실험 결과

연구 질문

• RQ1 영행렬 허밀토니안 행렬의 수치적 영역이 원형이 되는 조건은 무엇인가?
• RQ2 3×3 영행렬 허밀토니안 행렬의 수치적 영역이 볼록이 되는 필수 및 충분 조건은 무엇인가?
• RQ3 영행렬의 관련 그래프에 사이클이 존재할 경우, 그 수치적 영역의 형태에 어떤 영향을 미치는가?
• RQ4 대각 성분이 실수이고 영행렬 부분이 있는 행렬 $ D + N $ 의 수치적 영역이 항상 볼록함을 보장할 수 있는가?
• RQ5 3×3 영행렬에서 곱 $ a_{13}^*a_{12}a_{23} $ 와 수치적 영역의 볼록성 사이의 관계는 무엇인가?

주요 결과

• 3×3 영행렬 $ A $ 에 대해, 수치적 영역 $ W(A) $ 는 $ A $ 가 사이클을 포함하지 않을 때에만 원형이다.
• 3×3 영행렬의 수치적 영역 $ W(A) $ 는 $ a_{13}^*a_{12}a_{23} \in \mathbb{R} $ 일 때에만 볼록이다.
• 만약 $ a_{13}^*a_{12}a_{23} \in \mathbb{R} $ 이면, $ A $ 는 실수 행렬과 유니터리 동치이며, 따라서 $ W(A) $ 는 볼록하다.
• 행렬의 영행렬 부분이 트리 구조를 가지며 대각 성분이 실수이면, 수치적 영역은 원판들의 합집합이 되며, 따라서 볼록하다.
• 논문은 수치적 영역의 원판 합집합이 타원을 이룰 수 있음을 보여주는 예를 제시하여, 볼록성이 원형을 의미하지는 않음을 보여준다.
• 일반적인 영행렬에 대해 원형성을 보장하는 충분조건은 관련 그래프가 트리일 때이지만, 이 조건은 필수는 아니다.