対角化の前に行列から小さな行列要素を省略することによって導入されるエラーに上限を設定できる定理があるかどうか疑問に思っていました。
我々はその行列の要素から及ぶ大行列、持っていると仮定しましょうに。行列を対角化する前に、より小さいすべての行列要素をに設定すると、固有値と固有ベクトルの誤差はどのくらいになりますか?
この実装は依存していますか?
対角化の前に行列から小さな行列要素を省略することによって導入されるエラーに上限を設定できる定理があるかどうか疑問に思っていました。
我々はその行列の要素から及ぶ大行列、持っていると仮定しましょうに。行列を対角化する前に、より小さいすべての行列要素をに設定すると、固有値と固有ベクトルの誤差はどのくらいになりますか?
この実装は依存していますか?
回答:
元の行列の固有値がすべて異なる状況では、次のドキュメントに非常に明確な導出と結果があります。
マイク・ジャイルズ。「順方向および逆方向モードのアルゴリズム微分のための行列微分結果の拡張コレクション」。https://people.maths.ox.ac.uk/gilesm/files/NA-08-01.pdf
固有値が異なる場合は、さらに注意が必要です。次のプレゼンテーションと論文を参照してください。
OvertonとWomersleyによる次の論文は、2次導関数を含め、対称ケースの優れた感度分析を示しています。
Overton、Michael L.、およびRobert S. Womersley。「対称行列の固有値を最適化するための2次導関数。」SIAM Journal on Matrix Analysis and Applications 16.3(1995):697-718。http://ftp.cs.nyu.edu/cs/faculty/overton/papers/pdffiles/eighess.pdf
これは、マトリックスで実行される数学的演算であるという意味で、実装に依存しません。ただし、これは非常に行列に依存します。
行列が 通常の場合(つまり、 )、はユニタリでなので、これで問題ありません。
行列が正常でない場合は、セットとして定義されている、スペクトルの概念が必要です。 計算が簡単な同等の定義は、 TrefethenによるPseudospectra of Matricesには、疑似 スペクトルとその特性に関する優れた調査があります (疑似スペクトルがスペクトルよりもはるかに大きいマトリックスのギャラリーが含まれています。疑似スペクトルは小さなコレクションであると考えるかもしれません)
ある意味では、小さなマトリックス要素を削除しても問題ありません。それらが重要ではなく、新しい結果が元の結果と同じくらい正確であるか、または重要であり、元の結果が新しい結果と同じくらい不正確です。