[논문 리뷰] Hermitian operators and convex functions

Jean-Christophe Bourin|ArXiv.org|2006. 01. 13.

Mathematical Inequalities and Applications참고 문헌 2인용 수 6

한 줄 요약

이 논문은 허미트 연산자에 대한 볼록 함수에 대해 재미있는 행렬 형태의 젠센 부등식을 수립한다. 모든 볼록 함수 $f$에 대해, $f\left(\frac{A+B}{2}\right)$의 값은 $f(A)$와 $f(B)$의 평균에 유니터리에 의한 지배를 받는다. 즉, 어떤 유니터리 $U,V$에 대해 $f\left(\frac{A+B}{2}\right) \leq \frac{Uf(A)U^* + Vf(B)V^*}{2}$가 성립한다. 이는 고유값의 지배와 압축 기법을 통해 일반적인 볼록성에서 연산자 이론으로의 확장을 가능하게 한다.

ABSTRACT

Several inequalities for eigenvalues involving convex combinations and compressions are given. These inequalities are matrix version of the basic convexity inequality f((a+b)/2) < (f(a)+f(b))/2.

연구 동기 및 목표

• 일반적인 볼록 함수에 대해 스칼라 볼록성 부등식을 행렬 설정으로 확장하기.
• 허미트 행렬에 대한 젠센 부등식을 일반화하는 연산자 부등식을 수립하기.
• 기존 결과의 격차를 메우기 위해, 단지 단조 또는 짝수 함수가 아닌 모든 볼록 함수에 대해 유효한 유니터리 기반의 지배 프레임워크를 제공하기.
• 압축 기법과 유니터리 코남화를 통해 고유값의 교차 성질을 도출하기.
• 브라운-코사키, 한센-페더슨 등의 기존 추적 부등식을 하나의 유니터리 지배 프레임워크 아래 통합하고 확장하기.

제안 방법

• 허미트 연산자 $A$, 부분공간 ${\cal E}$, 볼록 함수 $f$에 대해, $f(A_{\cal E}) \leq \frac{1}{2}(Uf(A)_{\cal E}U^* + Vf(A)_{\cal E}V^*)$ 를 만족하는 유니터리 $U,V$ 가 존재하는 새로운 압축 부등식을 도입하기.
• 스펙트럼 분해를 사용하여 부분공간 ${\cal E}$ 를 $f$ 가 단조인 두 부분으로 나누어 최소-최대 원리를 적용할 수 있도록 하기.
• 최소-최대 원리를 적용하여 $f(A_{\cal E})$ 의 고유값을 $f(A)_{\cal E}$ 의 고유값으로 바ounds함으로써, 유니터리 동치와 지배를 도출하기.
• 스펙트럼 부분공간 위에서 블록 대각화를 통해 유니터리 $U$와 $V$ 를 구성하여 지배 부등식을 만족시키기.
• 등장하는 열의 등장성과 부분 등장사상자를 사용하여 정리 2.1과 2.2를 도출함으로써, 압축 결과를 가중 평균과 볼록 조합으로 일반화하기.
• 압축 결과(정리 1.1)와 볼록 조합 결과(정리 2.1–2.2) 사이의 동치성을 수립하여, 이 프레임워크의 일반성을 입증하기.

실험 결과

연구 질문

• RQ1 모든 볼록 함수에 대해, 단지 단조 또는 짝수 함수가 아닌 젠센 부등식의 행렬 형태를 수립할 수 있는가?
• RQ2 함수가 단조가 아닐 때도 $f\left(\frac{A+B}{2}\right)$ 를 $f(A)$ 와 $f(B)$ 의 평균에 대해 유니터리로 지배할 수 있는가?
• RQ3 행렬 설정에서 이러한 유니터리 지배에 의해 도출되는 고유값의 교차 관계는 무엇인가?
• RQ4 압축 부등식 $f(A_{\cal E}) \leq \frac{1}{2}(Uf(A)_{\cal E}U^* + Vf(A)_{\cal E}V^*)$ 는 어떻게 추적 부등식을 도출하는 데 사용될 수 있는가?
• RQ5 유니터리 지배 프레임워크는 브라운-코사키와 한센-페더슨 등의 기존 추적 부등식을 통합할 수 있는가?

주요 결과

• 모든 볼록 함수 $f$, 허미트 행렬 $A,B$ 및 $X = f\left(\frac{A+B}{2}\right)$, $Y = \frac{f(A)+f(B)}{2}$ 에 대해, $X \leq \frac{1}{2}(U Y U^* + V Y V^*)$ 를 만족하는 유니터리 $U,V$ 가 존재한다.
• 이는 고유값 지배를 의미한다: 모든 $j \geq 1$ 에 대해 $\lambda_{2j-1}(X) \leq \lambda_j(Y)$ 이며, 고유값은 감소하는 순서로 정렬된다.
• 이 결과는 폰 뉴만의 추적 부등식을 일반화하고, 기존의 단조 볼록 함수에 대한 결과를 모든 볼록 함수로 확장한다.
• 모든 부분공간 ${\cal E}$ 와 볼록 함수 $f$ 에 대해, $f(A_{\cal E}) \leq \frac{1}{2}(Uf(A)_{\cal E}U^* + Vf(A)_{\cal E}V^*)$ 의 압축 부등식이 성립하며, 이때 $U,V$ 는 ${\cal E}$ 위의 유니터리이다.
• 이 프레임워크는 브라운-코사키와 한센-페더슨의 추적 부등식을 하나의 유니터리 공액 부등식을 통해 통합하고 확장한다.
• 무한차원 연산자에 대해서는 주요 부등식이 임의로 작은 양의 편향 $rI$ 에 대해 유지되며, 고유값 순서는 그대로 유지된다.