[论文解读] Notes on the sin2Θ theorem

Albrecht Seelmann|Oct 8, 2013

Spectral Theory in Mathematical Physics参考文献 23被引用 6

一句话总结

该论文在一般谱分离条件下，为自伴算子建立了广义的 $\mathrm{sin}^2\Theta$ 定理，将 Davis-Kahan 定理的适用范围从凸包假设中拓展出来。证明了谱子空间之间的算子角 $\theta$ 满足 $\|\sin 2\Theta\| \leq \frac{\pi}{2} \cdot 2\frac{\|V\|}{d}$，在希尔伯特空间中提供了子空间扰动的精确先验界。

ABSTRACT

An analogue of the Davis-Kahan sin2Θ theorem from [SIAM J. Numer. Anal. 7 (1970), 1--46] is proved under a general spectral separation condition. This extends the generic sin2θ estimates recently shown by Albeverio and Motovilov in [Complex Anal. Oper. Theory 7 (2013), 1389--1416]. The result is applied to the subspace perturbation problem to obtain a bound on the arcsine of the norm of the difference of the spectral projections associated with isolated components of the spectrum of the unperturbed and perturbed operators, respectively.

研究动机与目标

• 将 Davis-Kahan 的 $\sin^2\Theta$ 定理推广至不满足凸包分离假设的情形。
• 为未扰动与扰动自伴算子的谱子空间之间的算子角建立先验界。
• 在对称范数算子理想中推导估计式，推广标准范数界。
• 提供一个适用于无界算子和非谱投影的框架。
• 通过 $\|\sin 2\Theta\|$ 全面利用算子角信息，改进现有的 $\text{sin}^2\theta$ 估计。

提出的方法

• 通过涉及预解式和扰动 $V$ 的振荡积分，推导出谱投影差的表示式。
• 利用算子 $A$ 的谱投影 $\mathsf{E}_A(\sigma)$ 和 $A+V$ 的约化投影 $Q$ 来定义算子角 $\Theta$。
• 应用函数演算和酉不变性，通过一个 $L^1$-范数为 $\frac{\pi}{2d}$ 的积分核，对 $\sin 2\Theta$ 的范数进行有界。
• 利用 Ky Fan 控制性原理，将该界推广至超出算子范数的一般算子范数，适用于对称范数算子理想。
• 通过 $P - Q$ 关于 $V$ 和酉算子的表示，建立界 $\|\sin 2\Theta\| \leq \frac{\pi}{2} \cdot 2\frac{\|V\|}{d}$。
• 考虑正规算子的情形，并证明此时常数 $\frac{\pi}{2}$ 可改进为小于 2.91。

实验结果

研究问题

• RQ1 当不满足凸包条件时，Davis-Kahan 的 $\sin^2\Theta$ 定理是否仍可推广？
• RQ2 在一般谱分离 $d = \text{dist}(\sigma, \Sigma)$ 条件下，$\sin^2\Theta$ 界的最优常数是多少？
• RQ3 如何将 $\sin^2\Theta$ 估计推广至对称范数算子理想？
• RQ4 在扰动理论中，最大角 $\theta = \|\Theta\|$ 与完整算子角 $\Theta$ 之间有何关系？
• RQ5 当 $A$ 为正规算子而非自伴算子时，该界是否可进一步改进？

主要发现

• 论文在一般谱分离 $d > 0$ 条件下，证明了谱子空间之间算子角 $\Theta$ 满足 $\|\sin 2\Theta\| \leq \frac{\pi}{2} \cdot 2\frac{\|V\|}{d}$。
• 该界在 $A$ 无界且 $Q$ 不是 $A+V$ 的谱投影时依然成立，因此为先验估计。
• 该估计表明，若 $\|V\| < \frac{d}{\pi}$，则 $\|\sin 2\Theta\| < 1$，即 $\Theta$ 在 $\frac{\pi}{4}$ 附近存在谱间隙。
• 该界强于经典 $\sin 2\theta$ 估计，因为它控制的是完整算子角，而不仅其范数。
• 对于对称范数算子理想 $\mathfrak{S}$，若满足 Ky Fan 控制性条件，则结果可推广为 $\interleave \sin 2\Theta \interleave \leq \frac{\pi}{2} \cdot 2\frac{\interleave V \interleave}{d}$。
• 对于正规算子，常数 $\frac{\pi}{2}$ 可替换为小于 2.91 的通用常数，而在特殊情形（如希尔伯特-施密特算子）下甚至可取为 1。