[论文解读] On a decomposition lemma for positive semi-definite block-matrices

Jean-Christophe Bourin, Eun‐Young Lee+1 more|arXiv (Cornell University)|Feb 2, 2012

Mathematical Inequalities and Applications参考文献 5被引用 9

一句话总结

本文提出一个关于正半定分块矩阵的分解引理，表明任意此类矩阵均可表示为若干分块对角矩阵的酉共轭之和。核心贡献在于提供了新的结构性洞见，从而在对称范数下获得精确的范数不等式与控制关系结果，包括对近期控制不等式的简洁证明，以及对经典不等式（如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]中近期的控制结果提供简洁证明。
• 探讨在范数估计中，何时可将非对角块替换为其实部或虚部。
• 研究在较弱假设（如非对角块为正规矩阵）下控制关系结果的有效性，并提出一个猜想。

提出的方法

• 通过矩阵 $ 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 $ 被替换为 $ zX $（$ |z|=1 $）的情形，从而利用数值域与数值半径进行估计。
• 利用对称范数在酉共轭下的不变性，以及 $ \| Z \oplus Z \| \leq 2 \| A \oplus B \| $ 的性质，推导出Schatten范数不等式。

实验结果

研究问题

• RQ1 分解引理能否用于推导正半定分块矩阵的新对称范数不等式？
• RQ2 对所有对称范数，不等式 $ \left\| \begin{bmatrix} A & X \\ X^* & B \end{bmatrix} \right\| \leq \| A + B \| $ 成立的充要条件是什么？
• RQ3 当非对角块为正规而非厄米特时，该控制关系结果是否仍成立？
• RQ4 非对角块 $ X $ 的实部与虚部如何影响整个分块矩阵的范数估计？
• RQ5 分解引理能否推广至无穷维希尔伯特空间上的紧算子？

主要发现

• 分解引理允许将任意正半定分块矩阵表示为若干分块对角矩阵的酉共轭之和，为范数不等式提供了结构性基础。
• 对所有对称范数及 $ 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 \| $。
• 对于算子范数，有界 $ \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中的控制关系结果依然成立，暗示该理论可能得到进一步推广。