[논문 리뷰] Eigenvalues inequalities for convex and logconvex functions

Jaspal Singh Aujla Jean-Christophe Bourin|ArXiv.org|2006. 01. 31.

Mathematical Inequalities and Applications참고 문헌 12인용 수 5

한 줄 요약

이 논문은 볼록 및 로그-볼록 함수에 대한 고전적 고유값 부등식의 행렬 버전을 수립하며, 양의 준정적 행렬과 단조 감소하는 볼록 함수 $ f $에 대해, 어떤 유니터리 행렬 $ U, V $에 대해 $ f(A+B) \leq Uf(A)U^* + Vf(B)V^* $임을 증명한다. 주요 기여는 고유값에 대한 새로운 산산술-기하 평균 부등식으로, 모든 $ k \leq n $에 대해 $ \prod_{j=1}^k \lambda_j^\uparrow(\sqrt{|AB|}) \leq \prod_{j=1}^k \lambda_j^\uparrow\left(\frac{A+B}{2}\right) $가 성립하며, 이는 행렬의 행렬식의 로그-볼록성 성질을 일반화한다.

ABSTRACT

Eigenvalues inequalities involving (log) convex/concav functions and Hermitian matrices, positive unital maps are considered. Simple proofs of Bhatia-Kittaneh inequality and Naimark dilation theorem are given.

연구 동기 및 목표

• 스칼라 고유값 부등식을 단조 감소하는 볼록 및 볼록 함수에 대해 유니터리 동치를 사용하여 행렬 환경으로 확장하는 것.
• 유니터리 공액을 허용함으로써, 연산자 볼록 함수에 대한 Choi의 부등식을 단조 볼록 함수로 일반화하는 것.
• 특히 행렬의 곱과 산산술-기하 평균을 포함한 양의 행렬에서의 로그-볼록 함수에 대한 새로운 고유값 부등식 유도.
• 유니터리 동치와 노름 주도성에 기반한 간단한 증명을 통해 Bhatia-Kittaneh의 산산술-기하 평균 부등식을 재구성하는 것.
• Bhatia-Kittaneh 결과의 역 변환을 통해 고유값에 대한 새로운 조화-기하 평균 부등식을 수립하는 것.

제안 방법

• 유니터리 동치를 사용하여 고유값 주도성을 유지하면서, Choi의 부등식을 단조 볼록 함수로 확장하는 것.
• 로트펠트의 회전 원리와 트레이스 부등식을 적용하여 $ f(A+B) $의 노름 및 트레이스 상한을 유도하는 것.
• 헤이담 곱이 크로네커 tích의 압축임을 이용하여, $ A \circ B = (A \otimes B)_{\mathcal{E}} $라는 사실을 활용하여 헤이담 곱과 고유값 부등식을 연결하는 것.
• 최소최대 원리와 연산자 노름 추정을 사용하여 단위 벡터 $ h $에 대해 $ \|Ah\|\|Bh\| $를 통해 $ \lambda_k^\downarrow(|AB|) $를 추정하는 것.
• 웨일의 고유값 곱 정리를 적용하여 $ \prod \lambda_j^\downarrow(|A_1 \cdots A_m|^{1/m}) $를 개별 고유값의 대칭 평균과 비교하는 것.
• Bhatia-Kittaneh 결과의 유니터리 공액 및 역 변환을 통해 주요 부등식 $ \prod_{j=1}^k \lambda_j^\uparrow(\sqrt{|AB|}) \leq \prod_{j=1}^k \lambda_j^\uparrow\left(\frac{A+B}{2}\right) $를 도출하는 것.

실험 결과

연구 질문

• RQ1 양의 감소 함수에 대해 고전적 스칼라 부등식 $ f(a+b) \leq f(a) + f(b) $이 유니터리 변환을 사용하여 행렬으로 일반화될 수 있는가?
• RQ2 유니터리 공액이 허용될 경우, 연산자 볼록 함수에 대한 Choi의 부등식은 단조 볼록 함수에 대해서도 유지되는가?
• RQ3 로그-볼록 함수에 대해 행렬 환경에서 어떤 고유값 부등식이 도출되는가, 특히 $ \sqrt{|AB|} $와 $ \frac{A+B}{2} $를 포함하여?
• RQ4 결정식의 로그-볼록성 성질을 일반화하는 새로운 행렬 산산술-기하 평균 부등식을 도출할 수 있는가?
• RQ5 행렬 $ A_i $의 추적의 산산술 평균으로 $ |A_1 \cdots A_m|^{1/m} $의 추적을 상한으로 제시하는 트레이스 부등식이 존재하는가?

주요 결과

• 모든 $ A,B \in \mathcal{S}_n $에 대해, $ [0,\infty) $에서 단조 감소하는 볼록 함수 $ f $이면서 $ f(0) \geq 0 $를 만족하는 경우, 어떤 유니터리 행렬 $ U,V $가 존재하여 $ f(A+B) \leq Uf(A)U^* + Vf(B)V^* $임을 보였다.
• 모든 $ k = 1,\dots,n $에 대해 부등식 $ \prod_{j=1}^k \lambda_j^\uparrow(\sqrt{|AB|}) \leq \prod_{j=1}^k \lambda_j^\uparrow\left(\frac{A+B}{2}\right) $가 성립하며, 이는 행렬식의 로그-볼록성 성질을 일반화한다.
• 조화-기하 평균 부등식이 도출되었다: 모든 $ k \leq n $에 대해 $ \prod_{j=1}^k \lambda_j^\downarrow(\sqrt{|AB|}) \geq \prod_{j=1}^k \lambda_j^\downarrow\left(\frac{2}{A^{-1}+B^{-1}}\right) $.
• Bhatia-Kittaneh의 산산술-기하 평균 부등식은 유니터리 기반의 짧은 추론을 통해 연산자 노름과 최소최대 원리를 사용하여 재증명되었다.
• $ m $개의 양의 정부호 행렬 $ \{A_i\} $에 대해, 추적 부등식 $ \text{tr}(|A_1\cdots A_m|^{1/m}) \leq \text{tr}\left(\frac{A_1+\cdots+A_m}{m}\right) $가 성립하며, $ m $-승에 대해서도 유사한 상한이 존재한다.
• 논문은 $ \|f(A+B)\| \leq \|f(A)+f(B)\| $가 모든 음이 아닌 감소 함수 $ f $에 대해 성립한다고 추측하며, 이는 Kosem의 최근 결과를 연산자 노름 경우로 확장하는 것이다.