[논문 리뷰] An inequality for the trace of matrix products, using absolute values

Bernhard Baumgartner|arXiv (Cornell University)|2011. 06. 30.

Spectral Theory in Mathematical Physics참고 문헌 2인용 수 8

한 줄 요약

이 논문은 행렬 절대값을 사용하여 행렬 곱의 새로운 추적 부등식을 제안하며, |Tr(A*B)| ≤ (Tr|A||B|)^{1/2} (Tr|A*||B*|)^{1/2} 를 증명한다. 이 부등식은 행렬 헬더 부등식에 대해 간결하고 자가 포함된 증명을 제공하며, 힐버트-스미스드 연산자와 중간 행렬 또는 다양한 지수를 가진 일반화된 형태로 확장된다.

ABSTRACT

The absolute value of matrices is used in order to give inequalities for the trace of products. An application gives a very short proof of the tracial matrix Hoelder inequality

연구 동기 및 목표

• 복소수 행렬을 대상으로 연산자의 절대값을 사용하여 날카운 추적 부등식을 수립하기 위해.
• 이 추적 부등식을 이용해 행렬 헬더 부등식에 대해 짧고 자가 포함된 증명을 제공하기 위해.
• 이 부등식을 중간 행렬, 다른 지수, 무한차원 힐버트-스미스드 연산자로 일반화하기 위해.
• |A|와 |A*|가 추적 부등식에서 수행하는 역할을 명확히 하기 위해, 특히 A가 정규 행렬이 아닐 경우에 대해.
• 기존의 특이값 기반 및 유니타리로 불변 노름 기반 추정치와 새로운 부등식을 비교하기 위해.

제안 방법

• 행렬 A의 절대값을 |A| = (A*A)^{1/2} 과 |A*| = (AA*)^{1/2} 로 정의한다.
• A*A와 AA*의 정규직교 고유벡터 기저를 사용하여 추적 Tr(A*B)를 행렬 원소에 대한 합으로 분해한다.
• 합에 코시-슈바르츠 부등식을 적용하여 |A||B|와 |A*||B*|를 포함하는 항들을 분리한다.
• |A|, |A*|, |B|, |B*|의 스펙트럼 분해를 활용하여 추적을 특이값과 내적의 형태로 표현한다.
• 유한계수 연산자로 근사하고 극한을 취하는 방식으로 부등식을 힐버트-스미스드 연산자로 확장한다.
• 중간 행렬 M과 N을 삽입하거나 절대값에 다른 지수 α와 β를 도입하여 부등식을 일반화한다.

실험 결과

연구 질문

• RQ1 A*B에 대한 추적 부등식을 |A|, |A*|, |B|, |B*|의 절대값만을 사용하여 유도할 수 있는가?
• RQ2 기존 접근 방식과 비교해 볼 때, 이 부등식이 행렬 헬더 부등식에 대한 더 단순한 증명을 제공하는가?
• RQ3 제안된 추적 부등식에서 등호가 성립하는 조건은 무엇인가?
• RQ4 A와 B가 비정규 행렬일 경우 부등식은 어떻게 행동하는가?
• RQ5 이 부등식은 무한차원 힐버트-스미스드 연산자로 확장될 수 있는가?

주요 결과

• 모든 복소수 m×n 행렬 A와 B에 대해 부등식 |Tr(A*B)| ≤ (Tr|A||B|)^{1/2} (Tr|A*||B*|)^{1/2} 가 성립한다.
• 등호는 A와 B가 랭크-1 행렬일 경우에 성립하며, 2×2 예제로 확인되었다.
• 이 부등식은 p,q ≥ 1 이고 1/p + 1/q = 1 인 경우에 대해 행렬 헬더 부등식에 대한 새로운 간결한 증명을 제공한다.
• 중간 행렬 M과 N을 포함하여 일반화할 경우 부등식은 여전히 날카롭게 유지되며, |Tr(MA*NB)| ≤ (TrM|A|M*|B|)^{1/2} (TrN*|A*|N|B*|)^{1/2} 를 얻는다.
• 힐버트-스미스드 연산자에 대해서는 유한계수 연산자로의 근사와 극한을 통해 부등식이 무한차원으로 확장된다.
• 기존 추정치 |Tr(A*B)| ≤ Tr|A*B| 와 비교해 볼 때, 이 새로운 추정치는 엄밀히 더 날카롭게 작용한다. 예를 들어, 새로운 추정치는 1을, 기존 추정치는 √2를 산출하는 반례가 존재한다.