[논문 리뷰] On a decomposition lemma for positive semi-definite block-matrices

Jean-Christophe Bourin, Eun‐Young Lee외 1명|arXiv (Cornell University)|2012. 02. 02.

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

한 줄 요약

이 논문은 양의 준정부호 블록 행렬에 대한 분해 보조정리(lemma)를 제시하며, 임의의 그러한 행렬이 블록 대각 행렬의 유니터리 코남화(unitary conjugation)의 합으로 표현될 수 있음을 보여준다. 주요 기여는 대칭 노름(symmetry norm)에 대한 날카로운 부등식과 주어진 다수의 결과를 가능하게 하는 새로운 구조적 통찰을 제공하는 것이다. 이는 최근의 주어진 다수의 부등식에 대한 간단한 증명과 Rotfel’d 및 Minkowski 유형의 고전적 부등식의 확장도 포함한다.

ABSTRACT

This short note, in part of expository nature, points out several new or recent consequences of a quite nice decomposition for positive semi-definite matrices.

연구 동기 및 목표

• 양의 준정부호 블록 행렬에 대한 분해 보조정리를 확립하여 기존의 연산자 이론 결과를 확장한다.
• 분해 보조정리를 활용하여 대칭(유니터리 불변) 노름에 대한 새로운 부등식을 유도한다.
• 분해 프레임워크를 사용하여 [5]에서 제시된 최근의 주어진 다수의 결과에 대한 단순한 증명을 제공한다.
• 이종 블록이 노름 추정에서 실수부 또는 허수부로 대체될 수 있는 조건을 탐색한다.
• 더 약한 조건, 예를 들어 이종 블록이 정규(normal)일 경우에 주어진 다수의 결과가 성립하는지 조사하고, 추측을 제시한다.

제안 방법

• 행렬 $ J = \frac{1}{\sqrt{2}} \begin{bmatrix} I & -I \\ I & I \end{bmatrix} $ 를 통한 유니터리 변환을 이용하여, 양의 준정부호 블록 행렬을 $ \frac{A+B}{2} \pm \mathrm{Re}X $ 와 $ \frac{A+B}{2} \pm \mathrm{Im}X $ 로 재표현한다.
• 분해 보조정리: $ \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} = U \begin{bmatrix} A & 0 \\ 0 & 0 \end{bmatrix} U^* + V \begin{bmatrix} 0 & 0 \\ 0 & B \end{bmatrix} V^* $ 를 유니터리 $ U, V $ 를 사용하여, 노름 추정을 유도한다.
• 함수 불등식 $ f(S+T) \leq U f(S) U^* + V f(T) V^* $ 를 $ f(t) = t^p $, $ 0 < p < 1 $ 인 경우에 적용하고, $ p \geq 1 $ 인 경우 볼록성 성질을 활용하여 대칭 노름에서 행렬의 $ p $-승을 유계화한다.
• 삼각 부등식과 대칭 노름의 성질을 사용하여, 행렬의 고유값 합을 $ \| (A+B)^\downarrow + (\mathrm{Re}X)^\downarrow \| $ 로 유계화한다.
• 유니터리 동치를 적용하여 문제를 $ X $ 가 $ |z|=1 $ 인 $ zX $ 로 대체된 경우로 단순화하고, 수치 범위와 수치 반지름을 통해 유계화를 가능하게 한다.
• 대칭 노름이 유니터리 코남화에 대해 불변임과 $ \| Z \oplus Z \| \leq 2 \| A \oplus B \| $ 를 활용하여 슈하텐 노름 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 분해 보조정리는 양의 준정부호 블록 행렬에 대한 새로운 대칭 노름 부등식을 도출하는 데 사용될 수 있는가?
• RQ2 주어진 다수의 부등식 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\| \leq \| A + B \| $ 가 성립하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 이종 블록이 헤르미트가 아니고 정규일 경우에도 주어진 다수의 결과가 확장되는가?
• RQ4 이종 블록 $ X $ 의 실수부와 허수부는 전체 블록 행렬의 노름 추정에 어떻게 영향을 미치는가?
• RQ5 분해 보조정리는 무한 차원 힐버트 공간 위의 컴 pact 연산자로 확장될 수 있는가?

주요 결과

• 분해 보조정리는 임의의 양의 준정부호 블록 행렬을 블록 대각 행렬의 유니터리 코남화의 합으로 표현할 수 있게 하여, 노름 부등식의 구조적 기초를 제공한다.
• 모든 대칭 노름과 $ p > 0 $ 에 대해 부등식 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix}^p \right\| \leq 2^{|p-1|} \left( \| (A+B)^p \| + \| |X - X^*|^p \| \right) $ 가 성립하며, $ p \geq 1 $ 이고 $ X = 0 $ 인 경우 등호가 성립함을 규명하였다.
• 이종 블록 $ X $ 가 헤르미트일 경우, 모든 대칭 노름에 대해 주어진 다수의 부등식 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\| \leq \| A + B \| $ 가 성립하며, 고전적 부등식 $ \left\| \begin{bmatrix} A & 0 \\ 0 & B \end{bmatrix} \right\| \leq \| A + B \| $ 를 복원한다.
• 연산자 노름의 경우, bound $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\|_\infty \leq \| A + B \|_\infty + 2w(X) $ 가 성립하며, $ A = \begin{bmatrix} 1 & 0 \\ 0 & 0 \end{bmatrix} $, $ B = \begin{bmatrix} 0 & 0 \\ 0 & 1 \end{bmatrix} $, $ X = \begin{bmatrix} 0 & 1 \\ 0 & 0 \end{bmatrix} $ 인 예제에서 등호가 성립한다.
• 조건 $ 0 \notin W_{\text{int}}(X) $ 를 만족할 경우, 부등식 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\| \leq \| A + B \| + \| X \| $ 가 성립하며, 수치 반지름을 통해 $ \| \cdot \|_\infty \leq \| A + B \|_\infty + w(X) $ 로 확장된다.
• 추측으로서, 코로나리 2.10의 주어진 다수의 결과가 이종 블록이 헤르미트일 필요 없이 정규일 경우에도 유지된다는 것을 제안하며, 이는 이론의 잠재적 확장 가능성을 시사한다.