[论文解读] On the condition number and perturbation of matrix functions for Hermitian matrices

Elias Jarlebring, Emanuel H. Rubensson|arXiv (Cornell University)|Jun 8, 2012

Matrix Theory and Algorithms参考文献 18被引用 4

一句话总结

本文推导了赫米特矩阵上矩阵函数 f(A) 的扰动新界，以 A 和 A+E 的特征值表示 ||f(A+E)−f(A)||。引入了结构化的绝对条件数，并提供了适用于任意酉不变范数的结果，应用于电子结构理论中的误差分析。

ABSTRACT

Consider a matrix function f defined for Hermitian matrices. The purpose of this paper is two-fold. We derive new results for the absolute structured condition number of the matrix function and we derive new bounds for the perturbation ||f(A+E)-f(A)|| expressed in terms of eigenvalues of A and A+E. The results are general and under certain conditions hold for an arbitrary unitarily invariant matrix norm ||\cdot||. We illustrate the use of the formulas with an application to the error analysis of calculations in electronic structure theory.

研究动机与目标

• 推导赫米特矩阵上矩阵函数的绝对结构化条件数的新结果。
• 建立以 A 和 A+E 的特征值表示的扰动 ||f(A+E)−f(A)|| 的新界。
• 确保结果适用于任意酉不变矩阵范数。
• 将推导出的公式应用于电子结构理论中的误差分析。

提出的方法

• 推导定义在赫米特矩阵上的矩阵函数 f 的绝对结构化条件数。
• 利用赫米特矩阵的谱性质，以特征值差表示扰动。
• 采用酉不变范数，以保持在不同矩阵范数下的普遍性。
• 应用矩阵扰动理论，将 f(A+E)−f(A) 与特征值变化联系起来。
• 利用赫米特矩阵的函数演算定义 f(A) 和 f(A+E)。
• 建立显式依赖于 A 和 A+E 特征值的界，确保适用于不同类型的范数。

实验结果

研究问题

• RQ1 赫米特矩阵上矩阵函数 f 的绝对结构化条件数应如何表征？
• RQ2 以 A 和 A+E 的特征值表示的 ||f(A+E)−f(A)|| 的紧界是什么？
• RQ3 酉不变范数如何影响矩阵函数扰动界的性质？
• RQ4 这些界如何用于改进电子结构计算中的误差分析？
• RQ5 在何种条件下，所推导的界能统一适用于不同矩阵范数？

主要发现

• 本文建立了以 A 和 A+E 的特征值显式依赖的 ||f(A+E)−f(A)|| 扰动新界。
• 所推导的绝对结构化条件数适用于任意酉不变矩阵范数。
• 结果具有一般性，在矩阵函数 f 和扰动 E 的温和假设下均成立。
• 这些界在电子结构理论背景下被证明是有效的，尤其适用于量子化学计算中的误差估计。
• 该框架允许对赫米特矩阵环境下矩阵函数敏感性的定量分析。