[논문 리뷰] Reverses of the Young inequality for matrices and operators

Mojtaba Bakherad, Mario Krnić외 1명|arXiv (Cornell University)|2014. 10. 08.

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

한 줄 요약

이 논문은 행렬 및 연산자 이론에서 양의 연산자에 대해 양의 연산자에 대한 Young 연산자 부등식의 역부등식을 수립하며, 유니타리로 불변하는 노름, 트레이스, 행렬식, 그리고 특이값을 사용하여 더 날카운 경계를 제공한다. 주요 결과로는 힐버트-스미스드 노름에 대한 역 Young 부등식과 연산자 평균을 포함하는 새로운 역부등식이 있다: $ A\nabla_{-r}B + 2r(A\nabla B - A\sharp B) \leq A\sharp_{-r}B $, 등호는 $ A = B $일 때에만 성립하며, 특정 조건 하에서 알려진 부등식을 더 정밀하게 개선한다.

ABSTRACT

We present some reverse Young-type inequalities for the Hilbert-Schmidt norm as well as any unitarily invariant norm. Furthermore, we give some inequalities dealing with operator means. More precisely, we show that if $A, B\in {\mathfrak B}(\mathcal{H})$ are positive operators and $r\geq 0$, $A abla_{-r}B+2r(A abla B-A\sharp B)\leq A\sharp_{-r}B$ and prove that equality holds if and only if $A=B$. We also establish several reverse Young-type inequalities involving trace, determinant and singular values. In particular, we show that if $A, B$ are positive definite matrices and $r\geq 0$, then $\label{reverse_trace} \mathrm{tr}((1+r)A-rB)\leq \mathrm{tr}|A^{1+r}B^{-r} |-r(\sqrt{\mathrm{tr} A} - \sqrt{\mathrm{tr} B})^{2}$.

연구 동기 및 목표

• 양의 연산자 및 행렬의 맥락에서 고전적 Young 부등식에 대한 역부등식을 수립하기 위해.
• 유니타리로 불변하는 노름, 트레이스, 행렬식, 특이값을 통합하여 기존의 Young 유형 부등식을 정밀화하기 위해.
• 특히 가중 평균의 음수 매개변수에 대해 연산자 평균을 포함하는 새로운 역부등식을 유도하기 위해.
• 히르자라할-키타네 및 코사키의 알려진 부등식을 개선하기 위해 수치적 및 스펙트럼 기법을 사용하여 더 날카운 경계를 도입하기 위해.

제안 방법

• 특이값의 성질과 로그-주도화 기법을 사용하여 역 Young 부등식을 유도하기 위해.
• 바이네트-코시 정리와 행렬식 항등식을 적용하여 행렬 표현식을 고유값과 특이값으로 연결하기 위해.
• 극좌표 분해와 스펙트럼 이론을 사용하여 양의 연산자가 함수 해석학 하에서 어떻게 행동하는지 분석하기 위해.
• 기하 평균을 일반화하고 역부등식을 도출하기 위해 $ r $-매개변수 가중 평균의 가족인 $ A\sharp_{-r}B $ 를 활용하기 위해.
• 특이값의 로그-주도화를 분석하기 위해 $ k $-번째 복합행렬 $ C_k(X) $ 를 사용하기 위해.
• 특히 힐버트-스미스드 노름과 유니타리로 불변하는 노름에 대해 수치 부등식과 행렬 노름 성질에 기반한 증명 기법을 사용하기 위해.

실험 결과

연구 질문

• RQ1 양의 연산자에 특정 조건이 부여될 경우, 행렬에 대한 고전적 Young 부등식을 어떻게 뒤집을 수 있는가?
• RQ2 힐버트-스미스드 노름과 기타 유니타리로 불변하는 노름에 대해 가장 날카운 역부등식은 무엇인가?
• RQ3 가중 평균의 음수 매개변수로 연산자 평균을 어떻게 확장하여 새로운 역부등식을 도출할 수 있는가?
• RQ4 매개변수화된 평균을 사용하여 트레이스, 행렬식, 특이값 부등식을 얼마나 정밀하게 개선할 수 있는가?
• RQ5 로그-주도화가 행렬 곱에 대한 역부등식 유도에 어떤 역할을 하는가?

주요 결과

• 모든 $ r \geq 0 $ 에 대해 부등식 $ A\nabla_{-r}B + 2r(A\nabla B - A\sharp B) \leq A\sharp_{-r}B $ 가 성립하며, 등호는 $ A = B $일 때에만 성립한다.
• 트레이스에 대한 역 Young 부등식이 확립되었다: $ \mathrm{tr}((1+r)A - rB) \leq \mathrm{tr}\left|A^{1+r}B^{-r}\right| - r\left(\sqrt{\mathrm{tr}A} - \sqrt{\mathrm{tr}B}\right)^2 $.
• 양의 정부호 행렬 $ A, B $ 에 대해 행렬식이 다음을 만족한다: $ \mathrm{det}\left((1+r)B^{-1/2}AB^{-1/2} - rI_n\right) + r^n\mathrm{det}\left((B^{-1/2}AB^{-1/2})^{1/2} - I_n\right)^2 \leq \mathrm{det}(A)^{1+r}\mathrm{det}(B)^{-r} $.
• 특이값은 $ s(A^{1+r}XB^{1+r}) \succ_{\log} s^{1+r}(AXB)s^{-r}(X) $ 를 만족하며, 이는 로그-주도화 구조를 나타낸다.
• 부등식 $ \|A^\nu XB^{1-\nu}\|_2^2 + r_0^2\|AX - XB\|_2^2 \leq \|\nu AX + (1-\nu)XB\|_2^2 $ 는 $ r_0 = \min\{\nu, 1-\nu\} $ 를 포함하는 역항을 통해 개선되었다.
• 논문은 $ s_j(A^{1+r}B^{-r}) \geq (1+r)s_j(B^{-1/2}AB^{-1/2}) - r + r(s_j^{1/2}(B^{-1/2}AB^{-1/2}) - 1)^2 $ 를 증명하여 특이값에 대한 하한을 제공한다.