[논문 리뷰] Extension of Euclidean operator radius inequalities

Mohammad Sal Moslehian, Mostafa Sattari외 1명|arXiv (Cornell University)|2015. 01. 31.

Mathematical Inequalities and Applications참고 문헌 7인용 수 8

한 줄 요약

이 논문은 힐버트 공간에서 유계 선형 연산자의 $ n $-튜플에 대해 일반화된 $ w_p $-노름을 도입하여 유클리드 연산자 반지름을 $ L^p $-유형 노름으로 확장한다. $ w_p $에 대한 날카운 상한과 하한을 정확히 유도하며, 특히 $ f(t)g(t) = t $를 만족하는 연산자 함수 $ f $와 $ g $를 포함한 핵심 부등식을 제시한다. 이는 고전적인 수치 반지름 부등식을 $ p $-노름과 $ n $-튜플의 연산자로 일반화한다.

ABSTRACT

To extend the Euclidean operator radius, we define $w_p$ for an $n$-tuples of operators $(T_1,\ldots, T_n)$ in $\mathbb{B}(\mathscr{H})$ by $w_p(T_1,\ldots,T_n):= \sup_{\| x \| =1} \left(\sum_{i=1}^{n}| \langle T_i x, x angle |^p ight)^{\frac1p}$ for $p\geq1$. We generalize some inequalities including Euclidean operator radius of two operators to those involving $w_p$. Further we obtain some lower and upper bounds for $w_p$. Our main result states that if $f$ and $g$ are nonnegative continuous functions on $\left[ 0,\infty ight) $ satisfying $f\left( t ight) g\left(t ight) =t$ for all $t\in \left[ 0,\infty ight) $, then \begin{equation*} w_{p}^{rp}\left( A_{1}^{\ast }T_{1}B_{1},\ldots ,A_{n}^{\ast }T_{n}B_{n} ight) \leq \frac{1}{2}\left\Vert \underset{i=1}{\overset{n}{\sum }}\Big( \left[ B_{i}^{\ast }f^{2}\left( \left\vert T_{i} ight\vert ight) B_{i} ight] ^{rp}+\left[ A_{i}^{\ast }g^{2}\left( \left\vert T_{i}^{\ast } ight\vert ight) A_{i} ight] ^{rp}\Big) ight\Vert \end{equation*} for all $p\geq 1$, $r\geq 1$ and operators in $ \mathbb{B}(\mathscr{H})$.

연구 동기 및 목표

• 유계 선형 연산자 $ n $-튜플에 대해 유클리드 연산자 반지름을 새로운 $ L^p $-유형 노름 $ w_p $로 일반화하는 것.
• 기존의 수치 반지름 및 유클리드 연산자 반지름에 대한 부등식을 새로운 $ w_p $-노름 프레임워크로 확장하는 것.
• 특히 $ f(t)g(t) = t $를 만족하는 연산자 함수를 포함한 $ w_p $에 대한 날카운 상한과 하한을 유도하는 것.
• 모든 $ p \geq 1 $에 대해 기존의 수치 반지름 및 카르테시안 분해 결과를 통합하고 일반화하는 것.

제안 방법

• 모든 $ p \geq 1 $에 대해 $ w_p(T_1, \ldots, T_n) = \sup_{\|x\|=1} \left( \sum_{i=1}^n |\langle T_i x, x \rangle|^p \right)^{1/p} $로 정의하여 유클리드 반지름($ p=2 $)을 일반화한다.
• 민코프스키 부등식을 사용하여 $ w_p $가 $ \mathbb{B}(\mathscr{H})^n $ 위의 노름임을 증명한다.
• 고전적 부등식을 적용: 점성 부등식, 코시-슈바르츠 유사 추정, 연산자 평균에 대한 매카시 부등식.
• 함수 해석학을 활용하여 $ f, g $를 $ [0, \infty) $에서 비음수 연속 함수로 가정하고 $ f(t)g(t) = t $를 만족시킨다.
• 표현식 $ f^2(|T_i|) $ 및 $ g^2(|T_i^*|) $의 연산자 노름 추정을 통해 $ w_p^{rp} $에 대한 노름 부등식을 도출한다.
• 내적을 연산자 함수로 제어하기 위해 $ |\langle T_i x, x \rangle| \leq \| f(|T_i|)x \| \| g(|T_i^*|)x \| $의 항등식을 활용한다.

실험 결과

연구 질문

• RQ1 유클리드 연산자 반지름은 어떻게 $ n $-튜플의 연산자에 대해 $ L^p $-유형 노름으로 일반화될 수 있는가?
• RQ2 연산자 함수에 기반한 $ w_p $-노름의 날카운 상한과 하한은 무엇인가?
• RQ3 고전적인 수치 반지름 부등식은 $ p \geq 1 $ 및 $ n \geq 2 $에 대해 $ w_p $로 어떻게 확장될 수 있는가?
• RQ4 $ f(t)g(t) = t $를 만족하는 연산자 함수 $ f $와 $ g $가 $ w_p^{rp} $를 유 bounds하는 데 어떤 역할을 하는가?
• RQ5 $ A_i^* T_i B_i $와 같은 변환 하에서 $ w_p $의 부등식은 어떻게 행동하는가?

주요 결과

• 주요 결과로 $ p \geq 1 $, $ r \geq 1 $에 대해 $ w_p^{rp}(A_1^* T_1 B_1, \ldots, A_n^* T_n B_n) \leq \frac{1}{2} \left\| \sum_{i=1}^n \left( [B_i^* f^2(|T_i|) B_i]^{rp} + [A_i^* g^2(|T_i^*|) A_i]^{rp} \right) \right\| $가 성립한다.
• $ \alpha = \frac{1}{2} $일 때, 부등식은 $ w_p^p(T_1, \ldots, T_n) \leq \frac{1}{2} \left\| \sum_{i=1}^n (|T_i|^p + |T_i^*|^p) \right\| $로 단순화된다.
• 두 개의 연산자 $ B, C $에 대해 $ w_p^p(B, C) \leq \left\| \alpha |B|^p + (1-\alpha)|B^*|^p + \alpha |C|^p + (1-\alpha)|C^*|^p \right\| $이며, 등호는 $ \alpha = \frac{1}{2} $에서 성립한다.
• 두 번째 부등식은 $ r \geq 1 $, $ p \geq 1 $에 대해 $ w_p(T_1, \ldots, T_n) \leq \left( \sum_{i=1}^n \| \alpha |T_i|^{2r} + (1-\alpha) |T_i^*|^{2r} \|^{p/(2r)} \right)^{1/p} $로 표현된다.
• $ \alpha = \frac{1}{2} $일 때, $ w_p(B, C) \leq \frac{1}{2^{1/(2r)}} \left( \| |B|^{2r} + |B^*|^{2r} \|^{p/(2r)} + \| |C|^{2r} + |C^*|^{2r} \|^{p/(2r)} \right)^{1/p} $를 유도할 수 있다.
• 결과는 알려진 수치 반지름 및 유클리드 반지름 부등식을 일반화하며, 모든 $ p \geq 1 $에 대해 기존 결과들을 하나의 $ w_p $-프레임워크로 통합한다.