エルミート行列の固有値から固有ベクトルの二乗ノルムを求めるやつ
ちょっと前に話題になってた、テレンス・タオ達による短論文を読みました。
内容は短い原論文を読めば十分なのですが、筆慣らしがてら軽く紹介したいと思います。
をのエルミート行列とする。を固有値、を正規直交固有ベクトル(エルミートなので取れる)とする。から行列を除いた小行列をと置き、その固有値をとする。
定理 の成分をとすると、次が成り立つ。
(証明)固有値でないを取り、の随伴行列(adjugate matrix)(余因子を成分とする行列の転置)をと表す。定義から
である。ここで
より、
が成り立つ。達で表示してやれば、
を得る。に近づけるとの項が消えて
を得る。定理の左辺は、上の右辺の対角成分の番目になる。つまり上の左辺の対角成分の番目でもあり、それはの余因子、になる。すなわち定理の右辺に一致する。
所感
紹介時の内容は割とミスリーディングで、固有ベクトルそのものが求められるというものでしたが、流石にそんなことはありませんでした。それに既に知られていた結果だったようです。まあ、自分も含めてこの話題で知ってる人が増えたんで良かったんじゃないでしょうか。
というか今見たらv2になってて内容が盛りだくさんになってた……。紹介されている証明が2つから大幅に増えているので、方向性は変わったけど良い論文になった気がします。