[논문 리뷰] Bounds of numerical radius of bounded linear operator using $t$-Aluthge transform

Santanu Bag, Pintu Bhunia외 1명|arXiv (Cornell University)|2019. 04. 27.

Matrix Theory and Algorithms참고 문헌 9인용 수 10

한 줄 요약

이 논문은 복소 힐버트 공간 위의 유계 선형 연산자에 대한 수치적 반지름에 대해 $t$-Aluthge 변환을 사용하여 더 날카운 상한과 하한을 수립한다. 연산자 부등식과 $t$-Aluthge 변환의 성질을 활용하여 기존의 상한, 특히 Kittaneh와 Abu-Omar-Kittaneh의 결과보다 향상된 새로운 부등식을 도출하였으며, 분석적 증명과 수치 예제를 통해 그 우수성을 입증한다.

ABSTRACT

We develop a number of inequalities to obtain bounds for the numerical radius of a bounded linear operator defined on a complex Hilbert space using the properties of $t$-Aluthge transform. We show that the bounds obtained are sharper than the existing bounds.

연구 동기 및 목표

• 유계 선형 연산자에 대한 수치적 반지름에 대해 $t$-Aluthge 변환을 사용하여 더 날카운 상한을 도출하기.
• 특히 Kittaneh와 Abu-Omar-Kittaneh의 결과에 기반한 기존의 수치적 반지름 부등식을 향상시키기.
• Kittaneh의 결과 [7, Th. 1]보다 날카운 $w^4(T)$에 대한 새로운 부등식 수립하기.
• 반례를 통한 수치적 반지름 상한의 상호비교 불가능성을 입증하기.
• 일부 연산자 클래스에 대해서는 제안된 상한이 이전 결과보다 엄밀히 우수함을 보여주기.

제안 방법

• $t \in [0,1]$에 대해 $\widetilde{T}_t = |T|^t U |T|^{1-t}$인 $t$-Aluthge 변환을 사용하여 연산자 행동 분석하기.
• Heinz 부등식을 적용하여 $\|T^2\|$와 $\|T\|$에 대한 $\widetilde{T}_t$의 노름을 상한으로 제시하기.
• 카르테시안 분해 $T = \text{Re}(T) + i\,\text{Im}(T)$와 항등식 $w(T) = \sup_{\theta \in \mathbb{R}} \|\text{Re}(e^{i\theta}T)\|$를 활용하기.
• 수치적 반지름을 상한하기 위해 $m(\text{Re}(T^2)^2)$, $\|T^*T + TT^*\|^2$, $w^4(T)$를 포함하는 네 항 부등식 유도하기.
• 연산자 노름과 스펙트럼 반지름 성질을 활용하여 신규 상한과 고전적 부등식 간 비교 수행하기.
• 특정 행렬을 이용한 수치 예제를 통해 상한의 상호비교성과 우수성을 시각화하기.

실험 결과

연구 질문

• RQ1 $t$-Aluthge 변환을 사용하여 기존 부등식보다 더 날카운 수치적 반지름 상한을 도출할 수 있는가?
• RQ2 제안된 $w^4(T)$의 상한이 [7, Th. 1]에서 Kittaneh의 결과와 어떻게 비교되는가?
• RQ3 Abu-Omar와 Kittaneh의 결과 [1, Th. 3.2]보다 제안된 상한이 엄밀히 날카로운가?
• RQ4 어떤 조건에서 신규 상한이 (1.1)과 (1.2)와 같은 고전적 상한을 초월하는가?
• RQ5 명시적인 예제를 통해 수치적 반지름 상한 간의 상호비교 불가능성을 입증할 수 있는가?

주요 결과

• 저자들은 $w^4(T)$에 대해 새로운 하한을 수립한다: $\frac{1}{4}m(\text{Re}(T^2)^2) + \frac{1}{16}\|T^*T + TT^*\|^2 \leq w^4(T)$, 이는 [7, Th. 1]에서 Kittaneh의 결과보다 날카롭다.
• 상한 $w^4(T) \leq \frac{1}{2}w^2(T^2) + \frac{1}{8}\|T^*T + TT^*\|^2$는 Kittaneh의 결과 $w^2(T) \leq \frac{1}{2}\|T^*T + TT^*\|$보다 날카롭다는 것이 증명되었다.
• 제안된 상한 $\left(\frac{1}{2}w^2(T^2) + \frac{1}{8}\|T^*T + TT^*\|^2\right)^{1/4}$는 일부 연산자에 대해 $\frac{1}{2}(\|T\| + \min_{t\in[0,1]} w(\widetilde{T}_t))$보다 우월하다는 것이 입증되었다.
• 수치 예제를 통해 새로운 상한이 기존 상한과 비교 불가능하며, 일부 경우에서 엄밀히 더 우수하다는 것이 확인되었다.
• 핵심 기술적 결과로 $T^2 = 0 \Leftrightarrow \widetilde{T}_t = 0$ for all $t \in [0,1]$의 동치관계가 확립되었다.
• 논문은 $t$-Aluthge 변환이 고전적 Aluthge 변환 또는 직접적인 노름 기반 상한보다 수치적 반지름 추정에 더 정교한 도구임을 확인하였다.