[논문 리뷰] On the Araki-Lieb-Thirring inequality

Koenraad M. R. Audenaert|arXiv (Cornell University)|2007. 01. 04.

Mathematical Inequalities and Applications참고 문헌 7인용 수 23

한 줄 요약

이 논문은 양의 행렬에 대해 Araki-Lieb-Thirring (ALT) 부등식의 보완 하한을 수립하며, $\tr[(ABA)^{rq}]$에 대한 새로운 상한을 $\tr[(A^r B^r A^r)^q]$와 $A$, $B$의 연산자 노름을 통해 기술한다. 이는 $0 \leq r \leq 1$, $q \geq 0$일 때 유효하며, 일반 행렬에 대해 단위 불변 노름과 샤텐 $p$-노름을 사용하여 ALT 부등식을 일반화함으로써, 양의 에르미트 행렬을 초월한 적용 가능성을 넓힌다.

ABSTRACT

We prove an inequality that complements the famous Araki-Lieb-Thirring (ALT) inequality for positive matrices $A$ and $B$, by giving a lower bound on the quantity $ race[A^r B^r A^r]^q$ in terms of $ race[ABA]^{rq}$ for $0\le r\le 1$ and $q\ge0$, whereas the ALT inequality gives an upper bound. The bound contains certain norms of $A$ and $B$ as additional ingredients and is therefore of a different nature than the Kantorovich type inequality obtained by Bourin ( extit{Math. Inequal. Appl.} extbf{8}(2005) pp. 373--378) and others. Secondly, we also prove a generalisation of the ALT inequality to general matrices.

연구 동기 및 목표

• 양의 행렬에 대해 $\tr[(ABA)^{rq}]$에 대한 상한을 $\tr[(A^r B^r A^r)^q]$와 $A$, $B$의 노름을 통해 제시함으로써 Araki-Lieb-Thirring 부등식의 보완 부등식을 유도함.
• 양의 에르미트 행렬을 초월하여 일반 행렬 및 에르미트 연산자로 ALT 부등식을 확장함.
• ‘물’ 부등식(약한)과 ‘와인’ 부등식(강한) 사이를 보간하는 상한의 가족을 제공하며, $t = 1 - r$에서 가장 날카로운 상한을 얻음.
• 일반 행렬에 대해 단위 불변 노름과 샤텐 $p$-노름을 사용하여 ALT 부등식의 일반화를 수립함.
• 원래 부등식의 비대칭성을 제거하기 위해 노름에 의존하는 수정 항을 도입함으로써, 모든 양의 행렬에 대해 보편적으로 적용 가능한 상한을 확보함.

제안 방법

• 연산자 단조성 $x \mapsto x^p$ ($0 \leq p \leq 1$)을 활용하여, 연산자 노름을 사용한 약한 상한(‘물’ 부등식)을 유도함: $\tr[(ABA)^{rq}] \leq \|A\|^{2rq} \tr[B^{rq}]$ ($q \geq 0$, $r \geq 0$).
• ‘물’ 부등식과 ‘와인’(ALT) 부등식 사이를 보간하여 $t \in [1 - r, 1]$로 매개변수화된 개선된 상한의 가족을 구성함으로써, $t = 1 - r$에서 최적의 상한을 도출함.
• 정밀한 보완 부등식을 증명함: $\tr[(ABA)^{rq}] \leq \left(\|A\|^{2rq} \tr[B^{rq}]\right)^{1-r} \left(\tr[(A^r B^r A^r)^q]\right)^r$ ($0 \leq r \leq 1$, $q \geq 0$), 보간 및 노름 성질을 활용함.
• 일반 행렬로의 확장을 위해 $A = U|A|$의 극분해를 적용하여 문제를 $|A|$의 양의 경우로 환원함.
• 에르미트 행렬 $B$에 대해 $B = B^+ - B^-$의 조르당 분해를 사용하고, 단위 불변 노름 부등식을 적용하여 $||| |ABA^*|^q |||$를 $||| |A|^q |B|^q |A|^q |||$로 bound함.
• 행렬을 블록 행렬에 통합하고 $p$-노름 삼각부등식 및 $|X|$와 $|X^*|$의 대칭성을 적용하여 임의의 행렬로의 결과를 일반화함.

실험 결과

연구 질문

• RQ1 Araki-Lieb-Thirring 부등식을 보완하기 위해 $\tr[(ABA)^{rq}]$에 대한 비자명한 상한을 $\tr[(A^r B^r A^r)^q]$와 $A$, $B$의 노름을 통해 유도할 수 있는가?
• RQ2 ‘물’ 부등식과 원래 ALT 부등식 사이의 최적의 보간은 무엇이며, 이를 통해 날카로운 보편 상한을 도출할 수 있는가?
• RQ3 Araki-Lieb-Thirring 부등식은 양의 에르미트 행렬을 초월하여 일반 행렬 및 에르미트 연산자로 어떻게 확장할 수 있는가?
• RQ4 단위 불변 노름과 샤텐 $p$-노름은 비양의 연산자로의 부등식 일반화에 어떤 역할을 하는가?
• RQ5 블록 행렬 통합과 노름 대칭성을 사용하여 $B$가 양의 에르미트가 아닐 경우에도 부등식을 확장할 수 있는가?

주요 결과

• 논문은 정밀한 보완 부등식을 수립함: $\tr[(ABA)^{rq}] \leq \left(\|A\|^{2rq} \tr[B^{rq}]\right)^{1-r} \left(\tr[(A^r B^r A^r)^q]\right)^r$ ($0 \leq r \leq 1$, $q \geq 0$)이며, 이는 $A$와 $B$가 스칼라 행렬일 때 등호가 성립함으로써 포화됨.
• '물' 부등식 $\tr[(ABA)^{rq}] \leq \|A\|^{2rq} \tr[B^{rq}]$는 약한 상한으로 밝혀지지만, 더 날카로운 보간 상한을 구성하는 기초로 기능함.
• 일반 행렬 $A$와 $B \geq 0$에 대해, 임의의 단위 불변 노름과 $q \geq 1$에 대해 $|||(ABA^*)^q||| \leq ||| |A|^q B^q |A|^q |||$가 성립함으로써, ALT 부등식이 확장됨.
• 에르미트 $B$에 대해, 조르당 분해와 노름의 하향합성 성질을 사용하여 $||| |ABA^*|^q ||| \leq ||| |A|^q |B|^q |A|^q |||$가 증명됨.
• 임의의 행렬 $A$와 $B$에 대해, 블록 행렬 통합과 노름 성질을 활용하여 일반화된 부등식 $||| |ABA^*|^q ||_p \leq ||| |A|^q \frac{|B|^q + |B^*|^q}{2} |A|^q ||_p$ ($p, q \geq 1$)가 성립함.
• 유도된 상한이 날카로움이 증명되었으며, 등호가 스칼라 경우에서 성립함으로써 보간 접근법의 날카로움이 확인됨.