行列の対角化-小さな行列要素の省略


8

対角化の前に行列から小さな行列要素を省略することによって導入されるエラーに上限を設定できる定理があるかどうか疑問に思っていました。

我々はその行列の要素から及ぶ大行列、持っていると仮定しましょう11015。行列を対角化する前に、より小さいすべての行列要素10100に設定すると、固有値と固有ベクトルの誤差はどのくらいになりますか?

この実装は依存していますか?


行列が対角化できない行列のイプシロン内にある場合
k20

回答:


6

AX=XΛ.

元の行列の固有値がすべて異なる状況では、次のドキュメントに非常に明確な導出と結果があります。

マイク・ジャイルズ。「順方向および逆方向モードのアルゴリズム微分のための行列微分結果の拡張コレクション」。https://people.maths.ox.ac.uk/gilesm/files/NA-08-01.pdf

固有値が異なる場合は、さらに注意が必要です。次のプレゼンテーション論文を参照してください。

A=UΛUTAA+dA

dΛ=diag(UTdAU),
dU=UC(dA),
Cとして定義されます
C={uiTdAujλjλi,i=j0,i=j

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


10

これは、マトリックスで実行される数学的演算であるという意味で、実装に依存しません。ただし、これは非常に行列に依存します。

A=XDX1EX

X1(A+E)X=D+X1EX.
D
Eκ(X),
Eκ(X) 固有ベクトルの行列の条件数です。

行列が 通常の場合(つまり、 )、はユニタリでなので、これで問題ありません。AAAt=AtAXκ(X)=1

行列が正常でない場合は、セットとして定義されている、スペクトルの概念が必要です。 計算が簡単な同等の定義は、 TrefethenによるPseudospectra of Matricesには、疑似 スペクトルとその特性に関する優れた調査があります (疑似スペクトルがスペクトルよりもはるかに大きいマトリックスのギャラリーが含まれています。疑似スペクトルは小さなコレクションであると考えるかもしれません)

Λϵ(A)={zz is an eigenvalue of A+E with Eϵ}.
Λϵ(A)={z(zIA)1ϵ1}.
ϵ固有値の周りのサイズのディスクですが、それは実際にはまったく正しくありません)。一般に、疑似スペクトルが適切に動作し、摂動が無視できると仮定することはできません。ただし、を計算して、結果のエラーを推定することはできます。疑似スペクトルを直接計算することもできます。κ(X)

ある意味では、小さなマトリックス要素を削除しても問題ありません。それらが重要ではなく、新しい結果が元の結果と同じくらい正確であるか、または重要であり、元の結果が新しい結果と同じくらい不正確です。


回答ありがとうございます。問題のマトリックスは正常です、それは良いです:)。「行列Xはほとんど変化しないと仮定して」という文についてもう少し詳しく説明していただけますか?通常の行列でこれを保証する方法はありますか?
ftiaronsem 14

@ftiaronsem Nick Algerの回答のリンクをたどって、導関数を計算し、その大きさを見積もることによっての変化を判断できると思います。私の答えの要点は、マトリックスが正常であることが知られていない場合(質問が言っていなかった場合)、実際、これは思っているほど簡単ではないということです。XdX
Kirill、2014
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.