[논문 리뷰] Operator inequalities and gyrolines of the weighted geometric means

Sejong Kim|arXiv (Cornell University)|2020. 09. 22.

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

한 줄 요약

이 논문은 양의 정부호 연산자에 대한 두 가지 유형의 가중 기하 평균, 표준 기하 평균 $A\#_t B$와 스펙트럼 기하 평균 $A\natural_t B$를 조사한다. 이들 사이에 성분별 일대일 대응 관계를 설정하고, 새로운 준거리 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ 하에서 스펙트럼 기하 평균이 거리 중점으로 작용하며, $2\times2$ 행렬과 밀도 행렬에 대해 명시적인 공식을 유도한다. 주요 기여는 연산자 부등식과 기하적 성질을 통해 이 두 평균을 고르기구조와 쌍곡기하학과 연결하는 데 있다.

ABSTRACT

We consider in this paper two different types of the weighted geometric means of positive definite operators. We show the component-wise bijection of these geometric means and give a geometric property of the spectral geometric mean as a metric midpoint. Moreover, several interesting inequalities related with the geometric means of positive definite operators will be shown. We also see the meaning of weighted geometric means in the gyrogroup structure with finite dimension and find the formulas of weighted geometric means of 2-by-2 positive definite matrices and density matrices.

연구 동기 및 목표

• 양의 정부호 연산자에 대한 표준 기하 평균 $A\#_t B$와 스펙트럼 기하 평균 $A\natural_t B$ 사이의 성분별 일대일 대응 관계를 수립하는 것.
• 새로운 준거리 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ 하에서 스펙트럼 기하 평균이 거리 중점으로 특성화되는 것.
• 유한차원 고르기구 구조 내에서 가중 기하 평균의 역할과 쌍곡기하학에서의 기하적 해석을 조사하는 것.
• $2\times2$ 양의 정부호 행렬과 가역 밀도 행렬에 대한 가중 기하 평균의 명시적 닫힌 형태 표현을 유도하는 것.
• 새로운 준거리 $d$와 리만 트레이스 거리 $\delta$를 비교하고, 연산자 부등식을 수립하며, 안도-히라이 부등식에 대한 충분 조건을 제시하는 것.

제안 방법

• 트레이스 거리 하에서 리만 기하학적 지오데식선인 표준 가중 기하 평균을 $A\#_t B = A^{1/2}(A^{-1/2}BA^{-1/2})^t A^{1/2}$로 정의하는 것.
• 고유값 기반 구성으로 기하 평균을 일반화한 스펙트럼 기하 평균 $A\natural_t B = (A^{-1}\#B)^t A (A^{-1}\#B)^t$를 도입하는 것.
• 스펙트럼 분해와 연산자 단조성의 성질을 이용해 $A\#_t B$와 $A\natural_t B$ 사이의 성분별 일대일 대응 관계를 설정하는 것.
• 새로운 준거리 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$를 정의하고, $A\natural_{1/2}B$가 이 거리 하에서 유일한 중점임을 증명하는 것.
• 고르기구 이론을 적용하여 양의 정부호 행렬과 가역 밀도 행렬의 콘을 고르벡터 공간으로 모델링하고, 기하 평균을 고르라인 및 공고르라인 곡선과 연결하는 것.
• 고유값 분해와 추적 항등식을 활용하여 $2\times2$ 양의 정부호 행렬과 밀도 행렬에 대한 명시적 선형 조합 공식을 유도하는 것.

실험 결과

연구 질문

• RQ1 표준 기하 평균 $A\#_t B$와 스펙트럼 기하 평균 $A\natural_t B$는 성분별 일대일 대응 관계로 어떻게 연결되어 있는가?
• RQ2 스펙트럼 기하 평균 $A\natural B$는 새로운 준거리 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ 하에서 거리 중점으로 특성화될 수 있는가?
• RQ3 가중 기하 평균은 양의 정부호 연산자와 밀도 행렬의 고르기구 구조 내에서 기하학적·대수학적으로 어떤 역할을 하는가?
• RQ4 $2\times2$ 양의 정부호 행렬과 가역 밀도 행렬에 대한 가중 기하 평균의 명시적 닫힌 형태 표현은 무엇인가?
• RQ5 새로운 준거리 $d$와 리만 트레이스 거리 $\delta$는 어떻게 비교되며, 이들 사이에 어떤 연산자 부등식이 성립하는가?

주요 결과

• 스펙트럼 기하 평균 $A\natural B$는 준거리 $d(A,B) = 2\|\log(A^{-1}\#B)\|_2$ 하에서 $A$와 $B$의 유일한 거리 중점이다.
• 표준 기하 평균 $A\#_t B$는 리만 트레이스 거리 $\delta(A,B) = \|\log(A^{-1/2}BA^{-1/2})\|_2$ 하에서 유일한 리만 기하학적 지오데식 중점이다.
• 모든 $A,B \in \mathbb{P}_n$에 대해 부등식 $d(A,B) \leq \delta(A,B)$가 성립하며, 등호가 성립하는 것은 $A$와 $B$가 서로 가환할 때에 한한다.
• 스펙트럼 분해와 로그 함수 및 거듭제곱 함수의 연산자 단조성의 성질을 이용해 $A\#_t B$와 $A\natural_t B$ 사이의 성분별 일대일 대응 관계가 수립된다.
• $2\times2$ 양의 정부호 행렬과 가역 밀도 행렬에 대해 $A\#_t B$와 $A\natural_t B$의 명시적 공식이 항등원과 추적을 가진 무자코 행렬의 선형 조합 형태로 유도된다.
• 안도-히라이 부등식이 스펙트럼 기하 평균을 포함하는 충분 조건을 통해 확장되며, 이는 로그-주얼리제이션과 유니터리로 불변 노름과 연결된다.