[논문 리뷰] Improvements of some operator inequalities involving positive linear maps via the Kantorovich constant

Leila Nasiri, Mojtaba Bakherad|arXiv (Cornell University)|2018. 01. 06.

Mathematical Inequalities and Applications참고 문헌 10인용 수 4

한 줄 요약

이 논문은 캔토로비치 상수를 사용하여 양의 선형 사상과 관련된 연산자 부등식을 개선한다. 스펙트럼 유계 조건 하에서 가중치 산술 평균과 기하 평균의 더 날카운 반대 부등식을 수립하여, 이전 결과를 $ p \geq 2 $로 일반화하고 캔토로비치 상수 및 그 변종을 통해 더 날카운 유계를 제공한다.

ABSTRACT

We present some operator inequalities for positive linear maps that generalize and improve the derived results in some recent years. For instant, if $A$ and $B$ are positive operators and $m,m^{'},M,M^{'}$ are positive real numbers satisfying either one of the condition $ 0

연구 동기 및 목표

• 양의 선형 사상 하에서 최근의 반대 부등식을 정밀화하고 일반화하는 것.
• 캔토로비치 유형 부등식의 유효 범위를 이전의 $ p \leq 2 $에서 $ p \geq 2 $로 확장하여 기존의 유계를 향상시키는 것.
• 스펙트럼 유계를 포함한 캔토로비치 상수를 사용하여 안도의 부등식의 새로운 반대 부등식을 제시하는 것.
• 스펙트럼 제약 조건과 캔토로비치 상수를 통해 이전의 연산자 평균 및 양의 선형 사상에 관한 결과들을 통합하고 강화하는 것.

제안 방법

• 스펙트럼 유계 $ 0 < m \leq B \leq m' < M' \leq A \leq M $ 하에서 캔토로비치 상수 $ K(h) = \frac{(1+h)^2}{4h} $, $ h = \frac{M}{m} $를 사용하여 $ \Phi^p(A \nabla_\nu B + 2rMm(A^{-1} \nabla B^{-1} - A^{-1} \sharp B^{-1})) $에 대한 새로운 부등식을 유도한다.
• 상한을 강화하기 위해 $ \left( \frac{K(h)}{4^{\frac{2}{p}-1} K^{r_1}(\sqrt{h'})} \right)^p $ 형태의 개선된 상수 $ r_1 = \min\{2r, 1-2r\} $를 도입하여 $ \Phi^p(A \sharp_\nu B) $의 상한을 개선한다.
• 양의 단위 선형 사상 하에서 연산자 평균과 그 변환 간의 관계를 유도하기 위해 라워너-헤이츠 정리와 스펙트럼 맵핑을 적용한다.
• 스펙트럼에 대해 $ \nu t^{1-\nu} + (1-\nu)\lambda_0 t^{-\nu} \leq \mu_0 $ 형태의 부등식을 $ C = A^{-1/2} B A^{-1/2} $의 스펙트럼에 적용하며, $ \mu_0, \lambda_0 $는 스펙트럼 유계로부터 유도된다.
• 개선된 산술-기하 평균 부등식과 캔토로비치 상수를 조합하여 안도의 부등식의 반대 부등식을 도출한다.
• 서오의 작업에서 유래한 상수 $ K(m,M,\nu) $를 사용하고, 이를 $ K(h)^{-r} $과 조합하여 $ \Phi(A) \sharp_\nu \Phi(B) \leq K(m,M,\nu)^{-1} K(h)^{-r} \Phi(A \sharp_\nu B) $의 반대 유계를 향상시킨다.

실험 결과

연구 질문

• RQ1 반대 부등식 $ \Phi^p\left(\frac{A+B}{2}\right) \leq K^p(h) \Phi^p(A \sharp B) $는 $ p \geq 2 $로 확장되어 더 나은 상수를 갖는가?
• RQ2 스펙트럼 제약 조건 하에서 캔토로비치 상수를 어떻게 사용하여 $ A \nabla_\nu B $와 $ A \sharp_\nu B $를 포함한 부등식을 개선할 수 있는가?
• RQ3 스펙트럼 비율 $ h $와 매개변수 $ r = \min\{\nu, 1-\nu\} $를 동시에 포함함으로써 안도의 부등식의 반대 부등식을 향상시킬 수 있는가?
• RQ4 $ p \geq 2 $일 때 $ \Phi^p(A \nabla_\nu B + 2rMm(A^{-1} \nabla B^{-1} - A^{-1} \sharp B^{-1})) $의 상한을 $ \Phi^p(A \sharp_\nu B) $에 대해 최적의 상수로 유계화할 수 있는가?
• RQ5 만약 $ A $와 $ B $가 스펙트럼에서 분리되어 있으면, 즉 $ M_1 < m_2 $ 또는 $ M_2 < m_1 $일 경우 안도의 부등식의 반대 부등식을 강화할 수 있는가?

주요 결과

• 스펙트럼 유계 $ 0 < m \leq B \leq m' < M' \leq A \leq M $ 하에서, $ p \geq 2 $에 대해 다음 부등식이 성립한다: $ \Phi^p\left(A \nabla_\nu B + 2rMm(A^{-1} \nabla B^{-1} - A^{-1} \sharp B^{-1})\right) \leq \left( \frac{K(h)}{4^{\frac{2}{p}-1} K^{r_1}(\sqrt{h'})} \right)^p \Phi^p(A \sharp_\nu B) $, 여기서 $ r_1 = \min\{2r, 1-2r\} $, $ h = \frac{M}{m} $, $ h' = \frac{M'}{m'} $, $ K(h) = \frac{(1+h)^2}{4h} $.
• 동일한 상한은 $ (\Phi(A) \sharp_\nu \Phi(B))^p $에도 적용되며, 이는 이미지와 그 이미지의 평균에 대해 부등식이 균일하게 성립함을 보여준다.
• 안도의 부등식의 반대 부등식은 $ \Phi(A) \sharp_\nu \Phi(B) \leq K(m,M,\nu)^{-1} K(h)^{-r} \Phi(A \sharp_\nu B) $로 개선되었으며, 조건 $ M_1 < m_2 $ 하에서 $ h = \frac{m_2^2}{M_1^2} $이며, $ K(h) $는 $ (1, \infty) $에서 증가한다.
• 상수 $ \left( \frac{K(h)}{4^{\frac{2}{p}-1} K^{r_1}(\sqrt{h'})} \right)^p $는 이전 상수보다 $ p \geq 2 $일 때 더 날카롭게, 특히 $ h' > 1 $일 경우 $ K^{r_1}(\sqrt{h'}) $의 감소 성향으로 인해 더욱 날카롭다.
• 만약 $ \nu = \frac{1}{2} $이면 결과는 서오의 부등식의 개선된 형태로 줄어들며, 상수 $ K(h)^{-1/2} $는 이미지의 기하 평균에 대한 유계를 향상시킨다.
• 특히 $ h' > 1 $일 경우 개선이 두드러지며, $ K^{r_1}(\sqrt{h'}) $가 $ h' $에 따라 증가함에 따라 전체 상수가 감소하고 반대 부등식이 강화된다.