[논문 리뷰] Some new inequalities involving Heinz operator means

A. G. Ghazanfari, Somayeh Malekinejad외 1명|arXiv (Cornell University)|2017. 03. 07.

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

한 줄 요약

이 논문은 스칼라, 연산자, 행렬의 힐버트-슈미트 노름에 대한 헤이츠와 영의 부등식에 대한 새로운 개선을 제시하며, 명시적인 상수를 가진 개선된 역부등식을 도입한다. 기존의 Kittaneh-Mansarah 및 Kai의 결과를 통합하고 단순화하여 연산자 및 행렬 부등식을 수립하고, 스펙트럼 이론과 노름 부등식을 활용하여 양의 정부호 행렬 및 힐버트-슈미트 노름에 대해 날카운 경계를 도출한다.

ABSTRACT

We give some new refinements of Heinz inequality and an improvement of the reverse Young's inequality for scalars and we use them to establish new inequalities for operators and the Hilbert-Schmidt norm of matrices. We give a uniformly and abbreviated form of the inequalities presented by Kittaneh and Mansarah, and the inequalities presented by Kai and we obtain some of their operator and matrix versions.

연구 동기 및 목표

• 명시적인 상수를 가진 헤이츠 및 역영의 부등식에 대한 새로운 스칼라 개선을 도출하기 위해.
• 이러한 스칼라 부등식을 양의 정부호 행렬에 대한 연산자 부등식으로 확장하기 위해.
• Kittaneh-Mansarah 및 Kai의 부등식을 통합적이고 압축된 형태로 표현하여 행렬 부등식을 수립하기 위해.
• 헤이츠 평균과 연산자 볼록 조합을 포함하는 행렬 표현의 힐버트-슈미트 노름을 분석하기 위해.
• 스펙트럼 분해와 노름 부등식을 활용하여 $ A^{\nu} X B^{1-\nu} + A^{1-\nu} X B^{\nu} $의 노름에 대해 날카운 경계를 제공하기 위해.

제안 방법

• 새로운 역영 유형 부등식 유도: $ (1-\nu^2+\nu^3)a + (1-\nu^2)b \leq \nu^{\nu-2}a^\nu b^{1-\nu} + (\sqrt{a}-\sqrt{b})^2 $, 제곱 완성 및 제곱 항의 음이 아닌 성질을 통해 증명.
• 양의 정부호 행렬 $ A $ 및 $ B $를 대각화하기 위해 스펙트럼 정리를 적용하여 연산자 부등식을 고유값에 대한 스칼라 부등식으로 환원.
• 힐버트-슈미트 노름 $ \|\cdot\|_2 $을 사용하여 행렬 원소에 대한 합산을 통해 스칼라 부등식을 행렬 노름 부등식으로 변환.
• 수정 항을 포함하는 보정 항을 갖는 보다 정교한 행렬 헤이츠 부등식을 위해 $ \alpha = \min\{\|A\|^{-1}, \|B\|^{-1}\} $ 를 도입.
• 삼각 부등식과 노름의 가역성 덧셈성을 활용하여 행렬 항의 선형 조합의 노름을 근사화, 특히 $ \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + \cdots\|_2 \leq \|AX + XB\|_2 $ 를 유도.
• 행렬 노름을 고유값과 행렬 원소로 표현하기 위해 항등식 $ \|Y\|_2^2 = \sum_{i,j} |y_{ij}|^2 $ 를 사용하여 항별 비교를 가능하게 함.

실험 결과

연구 질문

• RQ1 명시적인 상수를 가진 스칼라 개선을 통해 헤이츠 및 영의 평균에 대한 더 날카운 역부등식을 수립할 수 있는가?
• RQ2 헤이츠 및 역영의 스칼라 부등식의 개선을 연산자 및 행렬 설정으로 확장할 수 있는가?
• RQ3 Kittaneh-Mansarah 및 Kai의 기존 부등식을 하나의 간결한 형태로 통합하고 단순화할 수 있는가?
• RQ4 힐버트-슈미트 노름이 헤이츠 유형 행렬 표현의 날카운 경계를 도출하는 데 어떤 역할을 하는가?
• RQ5 스펙트럼 분해와 노름 부등식이 어떻게 상호작용하여 새로운 행렬 노름 부등식을 도출하는가?

주요 결과

• 새로운 역영 유형 부등식이 증명됨: $ (1-\nu^2+\nu^3)a + (1-\nu^2)b \leq \nu^{\nu-2}a^\nu b^{1-\nu} + (\sqrt{a}-\sqrt{b})^2 $, 등호는 $ a = b $ 일 때 성립.
• 양의 정부호 행렬에 대해 행렬 부등식 $ \|\nu^{\nu-2}(A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu) + (A^{1/2} X B^{1/2})\|_2 \geq \|\nu^2(\nu-2)(AX + XB)\|_2 $ 가 성립.
• 정교화된 행렬 헤이츠 부등식이 수립됨: $ \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + \nu(1-\nu)\alpha(A^2X + XB^2 - 2AXB)\|_2 \leq \|AX + XB\|_2 $, 여기서 $ \alpha = \min\{\|A\|^{-1}, \|B\|^{-1}\} $.
• 부등식 $ \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu\|_2 \leq \|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + \nu(1-\nu)\alpha(A^2X + XB^2 - 2AXB)\|_2 \leq \|AX + XB\|_2 $ 가 증명되어 보정 항이 경계를 향상시킴을 보여줌.
• Kittaneh-Mansarah 및 Kai의 결과를 통합한 형태를 달성하여, 그들의 결과를 단순화하고 일반화한 하나의 간결한 프레임워크를 확립함.
• $ r = \min\{\nu, 1-\nu\} $ 일 때, 부등식 $ r^{2r}\|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + (2r-1)(AX + XB)\|_2 \leq 2r^2\|A^{1/2} X B^{1/2}\|_2 \leq R^{2R}\|A^\nu X B^{1-\nu} + A^{1-\nu} X B^\nu + (2R-1)(AX + XB)\|_2 $ 가 성립하며, $ R = \max\{\nu, 1-\nu\} $.