QR分解(キューアールぶんかい、英: QR decomposition, QR factorization)とは、m × n 実行列 Aを、 m 次直交行列 Q と m × n 上三角行列 R との積への分解により表すこと、またはそう表した表現をいう。このような分解は常に存在する。
QR分解は線型最小二乗問題を解くために使用される。また、固有値問題の数値解法の1つであるQR法の基礎となっている。
すべての実正方行列 Aは直交行列Qと上三角行列(別名右三角行列)Rを用いて
![{\displaystyle A=QR}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7d3eb7a53055abd0e9112408dbb2423035dfc72)
と分解できる。もしAが正則ならば、Rの対角成分が正になるような因数分解は一意に定まる。
もしAが複素正方行列ならば、Qがユニタリ行列 (つまり
)となるような分解A = QRが存在する。
もしAがn個の線形独立な列を持つなら、Qの最初のn列はAの列空間の正規直交基底をなす。より一般的に、1 ≤ k ≤ nの任意のkについて、Qの最初のk列はAの最初のk列の線型包をなす[3]。Aの任意の列kがQの最初のk列にのみ依存するということは、Rが三角行列であることから明らかである[3]。
より一般的に、m ≥ nである複素m×n行列Aを、m×mユニタリ行列Qとm×n上三角行列Rに分解することができる。m×n上三角行列の下から(m−n)行はすべてゼロであるため、Rや、RとQ両方の分割を簡単に行うことができる。
![{\displaystyle A=QR=Q{\begin{bmatrix}R_{1}\\0\end{bmatrix}}={\begin{bmatrix}Q_{1},Q_{2}\end{bmatrix}}{\begin{bmatrix}R_{1}\\0\end{bmatrix}}=Q_{1}R_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c0b230fafe6238364935f834b41e759c2e14e41)
ここで、R1はn×n上三角行列、0は(m − n)×n零行列、Q1はm×n行列、Q2はm×(m − n)行列で、Q1とQ2は両方直交する列を持つ。
Q1R1をGolub & Van Loan (1996, §5.2)はAの薄い(thin)QR分解と呼び、 Trefethen & Bauは軽減(reduced)QR分解と呼んでいる[3]。もしAが最大階数nであり、R1の対角成分を正にするならば、R1とQ1は一意に定まる。しかし一般的にQ2はそうではない。R1はA* A (Aが実行列の場合ATAに等しい)のコレスキー分解の上三角部分に等しい。
同様に、Lを下(lower)三角行列として、QL、RQ、LQ分解を定義することができる。
QR分解を計算する手法として、グラム・シュミット分解、ハウスホルダー変換、ギブンス回転などがある。それぞれ利点と欠点がある。
グラム・シュミットの正規直交化法を最大階数行列の列
に適用することを考える。内積
(複素ベクトルの場合
)とする。
射影の定義より、
![{\displaystyle \operatorname {proj} _{\boldsymbol {u}}{\boldsymbol {a}}={\frac {\left\langle {\boldsymbol {u}},{\boldsymbol {a}}\right\rangle }{\left\langle {\boldsymbol {u}},{\boldsymbol {u}}\right\rangle }}{\boldsymbol {u}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/314dfd6a2c4f45260bb6e748b63279dff86a3938)
したがって、
![{\displaystyle {\begin{aligned}{\boldsymbol {u}}_{1}&={\boldsymbol {a}}_{1},&{\boldsymbol {e}}_{1}&={{\boldsymbol {u}}_{1} \over \|{\boldsymbol {u}}_{1}\|}\\{\boldsymbol {u}}_{2}&={\boldsymbol {a}}_{2}-\operatorname {proj} _{{\boldsymbol {u}}_{1}}\,{\boldsymbol {a}}_{2},&{\boldsymbol {e}}_{2}&={{\boldsymbol {u}}_{2} \over \|{\boldsymbol {u}}_{2}\|}\\{\boldsymbol {u}}_{3}&={\boldsymbol {a}}_{3}-\operatorname {proj} _{{\boldsymbol {u}}_{1}}\,{\boldsymbol {a}}_{3}-\operatorname {proj} _{{\boldsymbol {u}}_{2}}\,{\boldsymbol {a}}_{3},&{\boldsymbol {e}}_{3}&={{\boldsymbol {u}}_{3} \over \|{\boldsymbol {u}}_{3}\|}\\&\vdots &&\vdots \\{\boldsymbol {u}}_{k}&={\boldsymbol {a}}_{k}-\sum _{j=1}^{k-1}\operatorname {proj} _{{\boldsymbol {u}}_{j}}\,{\boldsymbol {a}}_{k},&{\boldsymbol {e}}_{k}&={{\boldsymbol {u}}_{k} \over \|{\boldsymbol {u}}_{k}\|}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e192ba2e56cd8fe62f9841f49c2974b08d6c4ec)
ここで
を新しく計算された正規直交基底上に表すことができ、
であるから、
![{\displaystyle {\begin{aligned}{\boldsymbol {a}}_{1}&=\langle {\boldsymbol {e}}_{1},{\boldsymbol {a}}_{1}\rangle {\boldsymbol {e}}_{1}\\{\boldsymbol {a}}_{2}&=\langle {\boldsymbol {e}}_{1},{\boldsymbol {a}}_{2}\rangle {\boldsymbol {e}}_{1}+\langle {\boldsymbol {e}}_{2},{\boldsymbol {a}}_{2}\rangle {\boldsymbol {e}}_{2}\\{\boldsymbol {a}}_{3}&=\langle {\boldsymbol {e}}_{1},{\boldsymbol {a}}_{3}\rangle {\boldsymbol {e}}_{1}+\langle {\boldsymbol {e}}_{2},{\boldsymbol {a}}_{3}\rangle {\boldsymbol {e}}_{2}+\langle {\boldsymbol {e}}_{3},{\boldsymbol {a}}_{3}\rangle {\boldsymbol {e}}_{3}\\&\vdots \\{\boldsymbol {a}}_{k}&=\sum _{j=1}^{k}\langle {\boldsymbol {e}}_{j},{\boldsymbol {a}}_{k}\rangle {\boldsymbol {e}}_{j}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df9c7b92a978f541982f38f8313f51b285a6d9be)
これは行列の形に書くことができ、
![{\displaystyle A=QR}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a7d3eb7a53055abd0e9112408dbb2423035dfc72)
ただし、
![{\displaystyle Q=\left[{\boldsymbol {e}}_{1},\ldots ,{\boldsymbol {e}}_{n}\right],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bfbf3418a1369ace401bfba2c6bf52eba4c535a6)
![{\displaystyle R={\begin{bmatrix}\langle {\boldsymbol {e}}_{1},{\boldsymbol {a}}_{1}\rangle &\langle {\boldsymbol {e}}_{1},{\boldsymbol {a}}_{2}\rangle &\langle {\boldsymbol {e}}_{1},{\boldsymbol {a}}_{3}\rangle &\ldots \\0&\langle {\boldsymbol {e}}_{2},{\boldsymbol {a}}_{2}\rangle &\langle {\boldsymbol {e}}_{2},{\boldsymbol {a}}_{3}\rangle &\ldots \\0&0&\langle {\boldsymbol {e}}_{3},{\boldsymbol {a}}_{3}\rangle &\ldots \\\vdots &\vdots &\vdots &\ddots \end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2552a6990a9fea424f5c1266c684d8ed3f2d0b23)
![{\displaystyle A={\begin{bmatrix}12&-51&4\\6&167&-68\\-4&24&-41\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa8d7175bbe8b07fa60919c7b6e865e711c3d0bf)
の分解を考える。
正規直交行列
に対して、
![{\displaystyle Q^{\textsf {T}}\,Q=I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d08b1d2ce1c797b7438265ed8dcfca617b220a6)
が常に成り立つから、グラム・シュミット法により以下の手順で
を計算できる。
![{\displaystyle {\begin{aligned}U={\begin{bmatrix}{\boldsymbol {u}}_{1}&{\boldsymbol {u}}_{2}&{\boldsymbol {u}}_{3}\end{bmatrix}}&={\begin{bmatrix}12&-69&-58/5\\6&158&6/5\\-4&30&-33\end{bmatrix}};\\Q={\begin{bmatrix}{\dfrac {{\boldsymbol {u}}_{1}}{\|{\boldsymbol {u}}_{1}\|}}&{\dfrac {{\boldsymbol {u}}_{2}}{\|{\boldsymbol {u}}_{2}\|}}&{\dfrac {{\boldsymbol {u}}_{3}}{\|{\boldsymbol {u}}_{3}\|}}\end{bmatrix}}&={\begin{bmatrix}6/7&-69/175&-58/175\\3/7&158/175&6/175\\-2/7&6/35&-33/35\end{bmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d0bce392bf2f559cc38de70f9d8430e877ee240)
したがって、
![{\displaystyle {\begin{aligned}Q^{\textsf {T}}A&=Q^{\textsf {T}}Q\,R=R;\\R&=Q^{\textsf {T}}A={\begin{bmatrix}14&21&-14\\0&175&-70\\0&0&35\end{bmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5ba3ed615c4cf53cee0782b17f448e002fc332c)
RQ分解は行列Aを上三角行列R(別名右三角)と直交行列Qに変換する。QR分解との違いはこれらの行列の順番だけである。
QR分解はグラム・シュミットの正規直交化法をAの最初の列から最後の列の順に適用する。
RQ分解はグラム・シュミットの正規直交化法をAの最後の行から最初の行の順に適用する。
グラム・シュミットの正規直交化法は本来、数値的に不安定である。射影の応用として直交化との幾何学的な類似性があるが、直交化自体は数値的な差異が生じやすい。しかしながら、実装が簡単という大きな利点があり、外部線形代数ライブラリが利用できない場合のプロトタイピングに便利なアルゴリズムである。
QR分解のためのハウスホルダー変換: 目標はベクトル
を同じ長さかつ
の共線であるベクトルに変換する線形変換を見つけることである。直交射影(グラム・シュミット法)を使うこともできるが、ベクトル
と
が直交に近い場合、数値的に不安定である。代わりに、ハウスホルダー変換により点線を通して鏡映する(点線は
と
のなす角の二等分線)。この変換による最大角は45度である。
ハウスホルダー変換 (またはハウスホルダー鏡映)はベクトルを取り、平面または超平面に関する鏡映をする変換である。この演算はm×n行列
(m ≥ n)のQR変換の計算に使うことができる。
Qは一つの座標を除いたすべての座標が未知でもベクトルを鏡映するために使用できる。
スカラαに対して
を満たすような
の任意の実m次元列ベクトル
を考える。もしこのアルゴリズムが浮動小数点演算を用いて実装されている場合、桁落ち(による誤差の拡大)を防ぐため、行列Aの最終的な上三角部分においてすべての要素が0である後のピボット座標
に対し、αを
のk番目の座標の逆符号とする。複素行列の場合には、
![{\displaystyle \alpha =-\exp(i\arg x_{k})\|{\boldsymbol {x}}\|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6ebc14144f52ec9a82c6b43cee04155c6b404db)
(Stoer & Bulirsch 2002, p. 225)として、さらに以下のQの導出において転置を共役転置に読み替えること。
ここで、
をベクトル(1 0 … 0)T、||·||をユークリッド距離、
をm×m単位行列とし、
![{\displaystyle {\begin{aligned}{\boldsymbol {u}}&={\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1},\\{\boldsymbol {v}}&={{\boldsymbol {u}} \over \|{\boldsymbol {u}}\|},\\Q&=I-2{\boldsymbol {v}}{\boldsymbol {v}}^{\textsf {T}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/856782088b1833bdaa6b2c025bab684ce1e3c2ea)
あるいは、
が複素行列ならば、
![{\displaystyle Q=I-2{\boldsymbol {v}}{\boldsymbol {v}}^{*}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7dbdd7af103e2b0b88c8781c0210a29178addcd7)
とおく。
はm×mハウスホルダー行列であり、
![{\displaystyle Q{\boldsymbol {x}}={\begin{bmatrix}\alpha &0&\cdots &0\end{bmatrix}}^{\textsf {T}}\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/04627c35d06554c87fe95c7b01e9b30d30b9f0ae)
これによりm×n行列Aを上三角の形に漸次変換できる。まず、xの最初の列を選んで得られるハウスホルダー行列Q1にAを乗算する。この結果、行列Q1Aは左の列が(最初の行を除き)ゼロになる。
![{\displaystyle Q_{1}A={\begin{bmatrix}\alpha _{1}&\star &\dots &\star \\0&&&\\\vdots &&A'&\\0&&&\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/39819d86bf38ddf93caca5b2853cc07d4414be24)
この操作をA′ (Q1Aから最初の列と最初の行を除いたもの)に繰り返すと、ハウスホルダー行列Q′2が得られる。Q′2はQ1より小さいということに注意すること。A′の代わりにQ1Aで計算したいため、A′を左上に拡張し、ひとつの1を埋める必要がある。つまり、一般的には
![{\displaystyle Q_{k}={\begin{bmatrix}I_{k-1}&0\\0&Q_{k}'\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c4eb5b2dc8e2e895ca5214cd34fa7b87817e41e4)
とする。
回このプロセスを繰り返すと、
のとき、
![{\displaystyle R=Q_{t}\cdots Q_{2}Q_{1}A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b28594312edd77ce54ecb03c10945733095362c9)
は上三角行列である。そこで、
![{\displaystyle Q=Q_{1}^{\textsf {T}}Q_{2}^{\textsf {T}}\cdots Q_{t}^{\textsf {T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/365d131827a0d62d05dedafad3f475448bdbcd47)
とすると、
は
のQR分解である。
この鏡映変換を用いた計算方法は先述のグラム・シュミット法よりも数値的安定性がある。
下表にサイズnの正方行列を仮定したときの、ハウスホルダー変換によるQR分解のk番目のステップにおける計算量を示す。
演算
|
k番目のステップにおける計算量
|
乗算
|
|
加算
|
|
除算
|
|
平方根
|
|
これらの数をn − 1ステップ(サイズnの正方行列であるため)まで合計して、このアルゴリズムの(浮動小数点演算の観点からの)複雑さは
![{\displaystyle {\frac {2}{3}}n^{3}+n^{2}+{\frac {1}{3}}n-2=O\left(n^{3}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c24cfa9351a4b519f8f3bb644818c2baf9dc4d84)
と表せる。
![{\displaystyle A={\begin{bmatrix}12&-51&4\\6&167&-68\\-4&24&-41\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa8d7175bbe8b07fa60919c7b6e865e711c3d0bf)
の分解を考える。
まず、行列Aの最初の列、ベクトル
を、
に変換する鏡映を見つける必要がある。
今、
![{\displaystyle {\begin{aligned}{\boldsymbol {u}}&={\boldsymbol {x}}-\alpha {\boldsymbol {e}}_{1},\\{\boldsymbol {v}}&={\frac {\boldsymbol {u}}{\|{\boldsymbol {u}}\|}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/034b27fb5d455006d7f3bb12ae8e1437c70a5793)
とする。
ここで、
であり、![{\displaystyle {\boldsymbol {x}}={\boldsymbol {a}}_{1}={\begin{bmatrix}12&6&-4\end{bmatrix}}^{\textsf {T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08df01d085906e5b628f0871f7e1f3587a77fcc9)
であるから、
and
であり、
![{\displaystyle {\begin{aligned}Q_{1}={}&I-{2 \over {\sqrt {14}}{\sqrt {14}}}{\begin{bmatrix}-1\\3\\-2\end{bmatrix}}{\begin{bmatrix}-1&3&-2\end{bmatrix}}\\={}&I-{1 \over 7}{\begin{bmatrix}1&-3&2\\-3&9&-6\\2&-6&4\end{bmatrix}}\\={}&{\begin{bmatrix}6/7&3/7&-2/7\\3/7&-2/7&6/7\\-2/7&6/7&3/7\\\end{bmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/358664dcd00fb14e2657ffac07d004dee9f86657)
である。
今、
![{\displaystyle Q_{1}A={\begin{bmatrix}14&21&-14\\0&-49&-14\\0&168&-77\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1c0d7c6de72bbaf0cb86139af58a4ae8f63477b)
を見てみると、すでにほぼ三角行列である。あとは(3, 2)要素を零にするだけでよい。
(1, 1)における小行列を取り、同じプロセスを
![{\displaystyle A'=M_{11}={\begin{bmatrix}-49&-14\\168&-77\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffdce35a20fdbabf5cd42f3251985197d72cadfb)
に再び適用する。
先述のメソッドと同様にして、このプロセスの次のステップが正しく動作するために、1で直和を取ることにより、ハウスホルダー変換
![{\displaystyle Q_{2}={\begin{bmatrix}1&0&0\\0&-7/25&24/25\\0&24/25&7/25\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c405ee7d14f7a106dfa252c2c44294cfab5f63d)
を得る。
今、
![{\displaystyle Q=Q_{1}^{\textsf {T}}Q_{2}^{\textsf {T}}={\begin{bmatrix}6/7&-69/175&58/175\\3/7&158/175&-6/175\\-2/7&6/35&33/35\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/775f23708cd155908b52812d1038efb0690eced3)
または、有効数字四桁で、
![{\displaystyle {\begin{aligned}Q&=Q_{1}^{\textsf {T}}Q_{2}^{\textsf {T}}={\begin{bmatrix}0.8571&-0.3943&0.3314\\0.4286&0.9029&-0.0343\\-0.2857&0.1714&0.9429\end{bmatrix}}\\R&=Q_{2}Q_{1}A=Q^{\textsf {T}}A={\begin{bmatrix}14&21&-14\\0&175&-70\\0&0&-35\end{bmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0892b0e2cb5d54373c4c83cf6812c02987bb785)
を得た。
行列Qは直交行列であり、Rは上三角行列であるため、A = QRは求めるべきQR分解である。
ハウスホルダー変換の使用は、R行列のゼロを生成するメカニズムに鏡映を利用しているため、最もシンプルでかつ数値的に安定したQR分解アルゴリズムである。しかしながら、新しい零要素を生成する毎回の鏡映変化において行列QとR両方の行列全体を書き換えるため、ハウスホルダー変換は必要とするメモリ帯域幅が多く、並列化できない。(ただし鏡映変換のブロック化に基づくブロック化ハウスホルダ変換を使えばメモリ帯域幅への要求を低減することができる)
QR分解はギブンス回転を使用しても計算できる。各回転により行列の亜対角要素がゼロになり、R行列を構成できる。すべてのギブンス回転を結合することで直交行列Qを構成できる。
実際には、行列全体を構成して乗算をするようなギブンス回転は行われない。代わりに、疎な要素を計算するような無駄な計算をしない、疎なギブンス行列乗算と同等なあるギブンス回転の手順が採られる。そのギブンス回転の手順は少しの非対角成分をゼロにするだけで済み、ハウスホルダー変換よりも容易に並列化できる。
![{\displaystyle A={\begin{bmatrix}12&-51&4\\6&167&-68\\-4&24&-41\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/aa8d7175bbe8b07fa60919c7b6e865e711c3d0bf)
の分解を考える。
まず、左下隅の要素、
をゼロにする回転行列を構成する必要がある。この行列
はギブンス回転で求めることができる。まずベクトル
を、X軸に沿って回転させる。このベクトルは角度
を持つ。直交ギブンス回転行列
を次のように作る。
![{\displaystyle {\begin{aligned}G_{1}&={\begin{bmatrix}\cos(\theta )&0&-\sin(\theta )\\0&1&0\\\sin(\theta )&0&\cos(\theta )\end{bmatrix}}\\&\approx {\begin{bmatrix}0.94868&0&-0.31622\\0&1&0\\0.31622&0&0.94868\end{bmatrix}}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6d95f2a1ae698352a911e9d336eb45a1b0af0d90)
ここで
の結果は
要素がゼロである。
![{\displaystyle G_{1}A\approx {\begin{bmatrix}12.64911&-55.97231&16.76007\\6&167&-68\\0&6.64078&-37.6311\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec3f2a45d0fb67607e029d7e6266a40b8962f317)
同様にしてそれぞれ非対角要素
・
要素がゼロであるようなギブンス行列
・
を構成し、三角行列
を構成する。直交行列
はすべてのギブンス行列の積
で表される。したがって、
であり、QR分解は
である。
ギブンス回転によるQR分解は、アルゴリズムを完全に動かすのに必要な行の順序を決定するのが簡単ではないため、実装に最も手間がかかる。しかしながら、新しいゼロ要素
がゼロになる予定の要素の行(i)とその上の行(j)にしか影響しないという特筆すべき利点がある。これにより、ギブンス回転アルゴリズムはハウスホルダー変換手法よりも帯域幅効率が良く、容易に並列化できる。
QR分解を正方行列の行列式の絶対値を求めるのに利用できる。ある行列が
と分解できるとする。このとき
![{\displaystyle \det(A)=\det(Q)\cdot \det(R)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9851140864c50d234f92ead8aa4f26888beae52)
である。
Qはユニタリであるため、
である。したがって、
をRの対角要素とすると、
![{\displaystyle \left|\det(A)\right|=\left|\det(R)\right|=\left|\prod _{i}r_{ii}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/471da4a8e3e6b1e3db00fb1b68e946db7483f8b2)
となる。
さらに、行列式は固有値の積に等しいため、
を
の固有値とすると、
![{\displaystyle \left|\prod _{i}r_{ii}\right|=\left|\prod _{i}\lambda _{i}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6de40292a6599f99e48e29b5266e03b1bf97aab)
となる。
QR分解の定義を非正方行列に導入し、固有値を特異値に置き換えることで、上記性質を非正方行列
に拡張することができる。
非正方行列AのQR分解を
![{\displaystyle A=Q{\begin{bmatrix}R\\O\end{bmatrix}},\qquad Q^{*}Q=I}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e433b32c0bd5d68d0c847554ee06faa2442748a)
とする。ただし、
は零行列、
はユニタリ行列。
特異値分解と行列式の性質から、
を
の特異値として、
![{\displaystyle \left|\prod _{i}r_{ii}\right|=\prod _{i}\sigma _{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/81c8ebe8734c8c7826063d20bdee4d72f651105a)
と
の特異値は同じであるが、複素固有値が異なる場合があることに注意すること。しかしながら、Aが正方ならば、下記は真である。
![{\displaystyle {\prod _{i}\sigma _{i}}=\left|{\prod _{i}\lambda _{i}}\right|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cc2528aaf1f17acd25db9a928aea325a2bc6429)
結論として、QR分解を使うことによって行列の固有値や特異値の積を効率よく計算することができる。
ピボットQRは列のピボット[4]の新しいステップにおいて、それぞれ初めに残りの列で最も大きいものを取るという点で、通常のグラム・シュミット法とは異なっている。したがって、置換行列Pを次のように導入する。
![{\displaystyle AP=QR\quad \iff \quad A=QRP^{\textsf {T}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/816b6758d11f883df12fc089e0366ce538a46ec5)
列のピボットはAが(ほぼ)階数落ちである、またはその疑いがある場合に便利である。また、数値的精度を向上させることもできる。通常、Rの対角成分が非増加、つまり
となるようにPを選ぶ。この手段により特異値分解よりも低い計算コストでAの(数値的な)階数を求めることができ、いわゆるRank Revealing QR分解(英語版)の基礎となっている。
行列の逆行列を直接求めるのに比べ、QR分解を利用した逆問題の解法は、条件数が減少していることからも分かるように、数値的に安定している[5]。
次元が
で階数が
であるような行列
に対して、劣決定(
)線形問題
を解くためには、まず
の転置行列のQR分解
を求める。ただし、Qは直交行列(つまり、
)であり、Rは
という特殊な形である。ここで、
は
正方右三角行列、零行列は
次元である。計算すると、この逆問題の解を次のように表すことができる。
ここで、
はガウスの消去法で計算でき、
は前方置換法(英語版)を用いることで直接計算できる。後者の手法の方が数値的精度が高く、計算量も少ないという利点がある。
ノルム
を最小にするような過決定(
)問題
の解
を求めるためには、まず
のQR分解
を求める。
を直交行列
全体のうち最初の
列を含む
行列、
を先述の通りに置くと、この問題の解は
と表せる。劣決定の場合と同様に、
の逆行列を直接計算しなくても、後方置換法(英語版)を用いることで早く正確に
を求めることができる。(
と
は数値ライブラリによっては高速な(economic)QR分解として実装されている。)
岩澤分解はQR分解を半単純リー群に一般化している。
- ^ a b c L. N. Trefethen and D. Bau, Numerical Linear Algebra (SIAM, 1997).
- ^ Strang, Gilbert (2019). Linear Algebra and Learning from Data (1 ed.). Wellesley: Wellesley Cambridge Press. p. 143. ISBN 978-0-692-19638-0
- ^ Parker, Geophysical Inverse Theory, Ch1.13.
- Golub, Gene H.; Van Loan, Charles F. (2013) (英語). Matrix computations (Fourth ed.). Johns Hopkins University Press. ISBN 978-1421407944. MR3024913. https://books.google.co.jp/books?id=X5YfsuCWpxMC
- Trefethen, Lloyd N.; Bau III, David (1997) (英語). Numerical Linear Algebra. Society for Industrial and Applied Mathematics. ISBN 9780898713619
- Horn, Roger A.; Johnson, Charles R. (1985). “Section 2.8.” (英語). Matrix Analysis. Cambridge University Press. ISBN 0-521-38632-2
- Press, William H.; Teukolsky, Saul A.; Vetterling, William T.; Flannery, Brian P. (2007). “Section 2.10. QR Decomposition” (英語). Numerical Recipes: The Art of Scientific Computing (3rd ed.). New York: Cambridge University Press. ISBN 978-0-521-88068-8
- Stoer, Josef; Bulirsch, Roland (2002) (英語). Introduction to Numerical Analysis. Texts in applied mathematics, 12 (3rd ed.). Springer. ISBN 0-387-95452-X
- Golub, Gene H.; Van Loan, Charles F. (1996), Matrix Computations (3rd ed.), Johns Hopkins, ISBN 978-0-8018-5414-9 .