ハウスホルダー変換

出典: フリー百科事典『ウィキペディア(Wikipedia)』
ナビゲーションに移動 検索に移動

線型代数学におけるハウスホルダー変換(ハウスホルダーへんかん、: Householder transformation)、ハウスホルダー鏡映 (Householder reflection) あるいは基本鏡映子 (elementary reflector) は、原点を含む平面または超平面に関する鏡映を記述する線型変換である。ハウスホルダー変換は A. S. Householder (1958) が導入した。一般の内積空間上にも対応するハウスホルダー作用素英語版がある。

定義[編集]

変換として[編集]

鏡映を定める超平面は、それに直交する単位ベクトル(長さ 1 のベクトル)v によって定義することができる。この超平面に関する点 x の鏡像は線型変換

で与えられる。この変換 xx′ハウスホルダー変換と呼ぶ。ただし、v は単位列ベクトルで、v* はそのエルミート転置である。

行列として[編集]

ハウスホルダー変換の表現行列はハウスホルダー行列と呼ばれ、ベクトルの直積を用いて

と書ける(I単位行列)。

性質[編集]

ハウスホルダー行列 P は以下のような性質を満たす:

  • Pエルミート: ,
  • Pユニタリ: ,
  • P対合的英語版: .
  • ハウスホルダー行列の固有値は ±1 である。これを見るために、u が鏡映を定めるベクトル v に直交するならば Pu = u であることに注意する。すなわち、1重複度 n − 1 の固有値である(v に直交する線型独立なベクトルは n − 1 本ある)。同様に、Pv = −v であり、したがって −1 は重複度 1 の固有ベクトルとなる。
  • ハウスホルダー鏡映の行列式−1 である。これは行列式が固有値の総乗に等しいことに注意すれば、前条より出る(1n−1⋅(−1)1 = −1

応用[編集]

幾何光学[編集]

幾何光学において、鏡面反射はハウスホルダー行列を用いて表せる。

数値線形代数[編集]

ハウスホルダー変換はQR法の第一段階であり、QR分解を行うために、数値線形代数において広く用いられる。 同様に、対称行列の三重対角化や非対称行列のヘッセンベルク化英語版にも広くもちられる。

QR 分解[編集]

ハウスホルダー鏡映はQR分解の計算に用いることができる: 「与えられた行列の第一列ベクトルを鏡映により標準基底ベクトルのスカラー倍へ写し、その変換行列を計算し、それをもとの行列に掛ける」という操作をさらにその行列の積の (i, i)-小行列に対して再帰的に繰り返す。

三重対角化[編集]

他のユニタリ変換との関係[編集]

既に述べた通り、ハウスホルダー変換は、単位法ベクトル v を持つ超平面に関する鏡映である。N × N ユニタリ変換 UUU* = I を満たす。左辺の行列式(これは固有値の幾何平均の N-乗である)とトレース(これは固有値の算術平均に比例する)をとることにより、U の固有値 λi絶対値 1 であることが確認できる。すなわち、

となるが、算術平均と幾何平均が等しいのは平均をとったすべての値が相等しいときに限るから、すべての絶対値が 1 とわかる。

成分が実数であるときのユニタリ行列は直交行列 (UU = I) となる。容易に分かることとして、任意の直交行列はギヴンス回転と呼ばれる 2 × 2 回転行列とハウスホルダー鏡映たちの積に分解することができる。ベクトルに直交行列を掛けることはベクトルの長さを保つこと、およびベクトルの長さを保つ幾何学的操作全体の成す集合は回転と鏡映によって尽くされることから、このような分解があることは直観的にも不思議はない。

ハウスホルダー変換はユニタリ行列の成す群の標準的な剰余類分解との一対一の関係性を持ち、非常に効果的な仕方でユニタリ作用素を媒介表示するものとしてハウスホルダー変換を用いることができる[1]

個々のギヴンス変換と異なり、単独のハウスホルダー変換は行列の任意の列に作用することができることに注意する。そのことは、QR分解や三重対角化の計算コストの低さにも表れてくる。もちろん、このような「計算量的最適性」("computational optimality") のツケは、ハウスホルダー変換を深く効果的に媒介付けることができないこととして表れてくる。ハウスホルダー変換は直列処理機械 (sequential machine) 上の密行列に適しており、一方でギヴンス変換は並列処理機械 (parallel machine) や疎行列に適している。

[編集]

[ヘルプ]

注釈[編集]

出典[編集]

  1. ^ Renan Cabrera; Traci Strohecker; Herschel Rabitz (2010年). “The canonical coset decomposition of unitary matrices through Householder transformations”. Journal of Mathematical Physics 51 (8). arXiv:1008.2477. Bibcode 2010JMP....51h2101C. doi:10.1063/1.3466798. 

参考文献[編集]

外部リンク[編集]

Template:Numerical linear algebra