[논문 리뷰] Orthogonality and Numerical radius inequalities of operator matrices

‎Arpita Mal, Kallol Paul외 1명|arXiv (Cornell University)|2019. 03. 16.

Matrix Theory and Algorithms참고 문헌 21인용 수 8

한 줄 요약

이 논문은 복소 힐버트 공간에서 유계선형작용소 공간에서 수치적 반지름 노름에 대한 Birkhoff-James 수직성의 완전한 특성화를 수립한다. 이 특성화를 바탕으로, 특히 상삼각행렬과 블록 구조에 대해 기존 결과보다 향상된 일반화된 하한을 도출하며, 수치적 예시를 통해 이전 결과보다 더 날카로운 추정치를 제시한다.

ABSTRACT

We completely characterize Birkhoff-James orthogonality with respect to numerical radius norm in the space of bounded linear operators on a complex Hilbert space. As applications of the results obtained, we estimate lower bounds of numerical radius for $n imes n$ operator matrices, which improve on and generalize existing lower bounds. We also obtain a better lower bound of numerical radius for an upper triangular operator matrix.

연구 동기 및 목표

• 복소 힐버트 공간에서 $\mathbb{B}(\mathbb{H})$ 에서 수치적 반지름 노름에 대한 Birkhoff-James 수직성의 완전한 특성화를 도출한다.
• $n\times n$ 작용소행렬의 수치적 반지름에 대해 더 날카로운 하한을 도출하여 기존 알려진 하한을 향상시킨다.
• 수직성 성질을 활용하여 상삼각작용소행렬에 대한 하한을 일반화하고 정밀화한다.
• 예시를 통해 제안된 하한이 이전 연구들, 예를 들어 [10, Th. 3.7], [7, Cor. 3.3], 및 [8]의 결과보다 더 날카로운지를 보여준다.

제안 방법

• 수치적 반지름 수직성 $T \perp_w A$ 를 조건 $w(T + \lambda A) \geq w(T)$ for all $\lambda \in \mathbb{C}$ (실수 경우 $\mathbb{R}$) 를 통해 도입하고 정의한다.
• T \perp_w A 를 위한 등가 조건을 수립하며, $T^* \perp_w A^*$ 와 스칼라 불변성 $\alpha T \perp_w \beta A$ 를 포함한다.
• 자기수반인 $T$ 에 대해 $T \perp_w A$ 이면 $T \perp_B A$ (Birkhoff-James 수직성) 를 유도하고, $T^2 = 0$ 인 니르포텐트인 $T$ 에 대해 $T \perp_B A$ 이면 $T \perp_w A$ 를 유도한다.
• 수직성 특성화를 적용하여, 특히 비대각선 블록의 구조를 활용하여 블록행렬의 수치적 반지름 하한을 도출한다.
• 행렬 $T = \begin{bmatrix} A & B \\ 0 & D \end{bmatrix}$ 에 대해 부등식 $w(T) \geq \max\{w(A), w(D), \|B\|/2\}$ 를 사용하여 [10, Th. 3.7] 에서의 결과를 일반화하고 향상시킨다.
• 정리 3.5 를 스칼라 행렬에 적용하여 $w(A) \geq \max_i w(T_i)$ 를 보이며, 여기서 $T_i$ 는 $A$ 에서 $i$-번째 행과 열을 제거한 행렬이다.

실험 결과

연구 질문

• RQ1 복소 힐버트 공간에서 $\mathbb{B}(\mathbb{H})$ 에서 수치적 반지름 노름에 대한 Birkhoff-James 수직성은 어떻게 완전히 특성화할 수 있는가?
• RQ2 이 특성화는 $n \times n$ 작용소행렬의 수치적 반지름 하한 추정에 어떤 영향을 미치는가?
• RQ3 새로운 하한은 상삼각행렬이나 블록 구조를 가진 행렬에 대해 기존 하한을 향상시킬 수 있는가?
• RQ4 어떤 경우에 새로운 하한이 [10, Th. 3.7] 또는 [7, Cor. 3.3] 의 기존 추정치를 엄밀히 초월하는가?

주요 결과

• 논문은 자기수반인 $T$ 에 대해 $T \perp_w A$ 이면 $T \perp_B A$ 이며, $T^2 = 0$ 인 니르포텐트인 $T$ 에 대해 $T \perp_B A$ 이면 $T \perp_w A$ 를 유도함으로써 두 수직성 개념 간의 연결 고리를 밝혀낸다.
• 상삼각작용소행렬 $T = \begin{bmatrix} A & B \\ 0 & D \end{bmatrix}$ 에 대해 $w(T) \geq \max\{w(A), w(D), \|B\|/2\}$ 를 증명하였으며, 이는 [10, Th. 3.7] 에서의 $w(T) \geq \max\{w(A), w(D), \frac{1}{2}w(B)\}$ 보다 더 날카로운 하한을 제공한다.
• 정리 3.5 는 스칼라 행렬에 대해 새로운 하한 $w(A) \geq \max_i w(T_i)$ 를 제공하며, 여기서 $T_i$ 는 $A$ 에서 $i$-번째 행과 열을 제거한 행렬이다. 이는 $B$ 가 0일 경우 [8] 의 $w(T) \geq w(B)$ 보다 더 우수한 성능을 보인다.
• 예제 3.5.1 에서 제안된 하한은 특정한 $3 \times 3$ 행렬에 대해 $w(T) \geq 4.55$ 를 도출하며, 이는 이전 추정치의 범위(2.236에서 3.654 사이)를 모두 초월하여 상당한 향상을 보여준다.
• 정리 3.4 의 하한은 $m(A_j) = m(A_j^*) = 0$ 인 경우 [7, Cor. 3.3] 보다 엄밀히 우수하며, 이 최소 모듈러스가 비영일 경우에도 경쟁력을 유지한다.