目的
統計学や機械学習において特異値分解というものに遭遇することがある。これについて正方行列の時には関数解析の方面で「コンパクト作用素の canonical form」と呼ばれているものと実質同じものになっているので、これを少し見てみたい。
特異値分解
A∈Mat(m,n;C) に対して、適当なユニタリ行列 U∈U(m) と V∈U(n) および、非負の数を対角成分に持つ対角行列 Σ∈Mat(m,n;R)がとれて
A=UΣV∗(1)
が成立するというものである。ここで V∗ は V の共役行列である。
これについて、簡単のため、m=n=2 の場合を見てみたい。
ざっくり説明
説明については、手持ちの本に手頃なものがないので文献 [RS1] に従う。
A∗A はエルミート行列になるので、スペクトル分解より適当な非負の数 s12 と s22 とそれぞれの固有空間への射影行列 P1 と P2 を用いて
A∗A=s12P1+s22P2
と書ける。ここで、簡単のため、s12=s22>0 の場合のみを考える。
この場合、一般論よりそれぞれの固有空間は直交するので、単位ベクトル ψ1∈P1C2 と ψ2∈P2C2 をとるとこれらは直交する。よって V=(ψ1ψ2)∈Mat(2,2;C) とおくと、これはユニタリ行列になる。
次に、ϕi=si1Aψi, i=1,2 と置いて、U=(ϕ1ϕ2)∈Mat(2,2;C) と置くと、直接計算により U もユニタリ行列になることがわかる。
ここまでで準備した U と V を使って以下の計算をすると、
U(s100s2)V∗=(s11Aψ1s21Aψ2)(s1ψˉ1Ts2ψˉ2T)=A
となる。最後の等号はそれほど自明ではないが、任意の ψ∈C2 をとる時、
(s11Aψ1s21Aψ2)(s1ψˉ1Ts2ψˉ2T)ψ=A((ψˉ1Tψ)ψ1+(ψˉ2Tψ)ψ2)=Aψ(2)
と計算されることから分かる。ここで、ψ=(ψˉ1Tψ)ψ1+(ψˉ2Tψ)ψ2 という ψ の正規直交基底による展開を用いた。
最後に、Σ=(s100s2) と置くことで、(1) を得る。
これを文献 [RS1] で言う “コンパクト作用素の canonical form” の形で書くと
Aψ=s1⟨ψ1,ψ⟩ϕ1+s2⟨ψ2,ψ⟩ϕ2
というちょっと格好いい級数展開の形式になる。ここで、⟨⋅,⋅⟩ は C2 のエルミート内積である。この canonical form の右辺は (2) の左辺を ϕi の定義を思い出しつつ変形すれば得られる。
具体例
できるだけ簡単な計算で眺めたいので、2 乗して単位行列になるような Pauli 行列を改造してサンプルを作る。
A=(02i−3i0)
を考える。直接計算して A∗A=A=(1/4001/9) を得る。この時、上記で言うような ψ1,ψ2 はそれぞれ (−10),(0−1) にとれる。後は、ϕ1 と ϕ2 をそれぞれ計算すると、以下が A の特異値分解であることが分かる。
A=(0−ii0)(210031)(−100−1)
NumPy で検証してみる
以下のような実装で、理論上の計算と同じ結果が得られていることが分かる。
まとめ
特異値分解は普段はライブラリで計算してしまうので、それほど気に留める存在でもないかもしれない。ところが、関数解析の目線で見てあげると意外とイケメンな素顔もあるので、そこに焦点を当ててみようかと思ってざっと記事を書いてみた。
余談
Wikipedia の Singular value を紐解くと
In mathematics, in particular functional analysis, the singular values, or s-numbers of a compact operator T : X → Y acting between Hilbert spaces X and Y, are the square roots of non-negative eigenvalues of the self-adjoint operator T*T (where T* denotes the adjoint of T).
といったように、特異値は分野によっては s-number
と呼ばれる。手元に適当な本がないのでうろ覚えだが、Schatten クラスと呼ばれるコンパクト作用素のイデアルがこの s-number を用いて定義され、ルベーグ積分における Lp クラスのような位置付けになっていたような記憶がある。
文献
[RS1] M. Reed and B. Simon. Methods of Modern Mathematical Physics, I. Functional Analysis, pp.203-204, Academic Press, New York, 1981
Discussion