エルミート行列とユニタリ行列は兄弟みたいなもの (II)

さて、エルミート行列HH はそれを虚数倍したものの指数関数を考えることができるということが分かりました。


expiH\exp iH 


これはどんな行列でしょうか。

まず、H=HH^\dagger = H より、(expiH)=exp(iH)(\exp iH)^\dagger = \exp (-iH) であることが分かります。

したがって(expiH)(expiH)=exp(iH+iH)=exp0=I(\exp iH)^\dagger (\exp iH) = \exp (-iH + iH) = \exp 0 = I より、ユニタリ行列であることが分かります。


特にH=diag(θ1,θ2,θ3,,θn)H = {\rm diag} (\theta_1, \theta_2, \theta_3, \cdots, \theta_n) の場合は自明に


expiH=diag(expiθ1,expiθ2,expiθ3,,expiθn)\exp iH = {\rm diag} (\exp i \theta_1, \exp i\theta_2, \exp i \theta_3, \cdots, \exp i \theta_n)


であり、純虚数の指数関数との対応付けることができます。


expiθexpiθ=1\exp i\theta \exp -i \theta = 1


結局、この指数関数を求めることはエルミート行列をユニタリ行列に変換するということになります。

逆は可能でしょうか。ユニタリ行列があれば、実数の場合のようにθを求めることは可能でしょうか。

実は可能です


これを行ってみましょう。

まず、どんなユニタリ行列UU も正規行列なので、あるユニタリ行列で対角化ができます((I)の伏線回収)。

ユニタリ行列はベクトルの「長さ」を変えないので、固有値の絶対値は1です。したがってexpiθ\exp i\thetaの形で書けます。θi\theta_i はもちろん実数です。


U=Vdiag(expiθ1,expiθ2,expiθ3,expi,expiθn)VU= V^\dagger {\rm diag} (\exp i \theta_1, \exp i \theta_2, \exp i \theta_3, \exp i \cdots, \exp i \theta_n) V


ここまでくれば、エルミート行列との対応関係が見えてくるでしょう。


diag(expiθ1,expiθ2,expiθ3,expi,expiθn)diag(θ1,θ2,θ3,,θn){\rm diag} (\exp i \theta_1, \exp i \theta_2, \exp i \theta_3, \exp i \cdots, \exp i \theta_n) \rightarrow {\rm diag} ( \theta_1, \theta_2, \theta_3, \cdots, \theta_n)


のような写像を考え、VV で挟んでやるということを考えればよいわけです。


Vdiag(θ1,θ2,θ3,,θn)VV^\dagger {\rm diag} ( \theta_1, \theta_2, \theta_3, \cdots, \theta_n) V


これは自明にエルミート行列ですね(ヒント: (AB)=BA(AB)^\dagger = B^\dagger A^\dagger)。

これらを組み合わせると以下のことが言えます。


  • どんなユニタリ行列UU にも、あるエルミート行列HH が存在してU=expiHU=\exp i H と書ける。
  • 任意のエルミート行列対して虚数倍した行列iHiH の指数関数expiH\exp iH は、ユニタリ行列である。
  • 従って、エルミート行列とユニタリ行列は対応がつく。しかし、一対一対応ではない。なぜならば、各θi\theta_i には2mπ2m\pi (mは整数)mは整数) だけの任意性があるから。


こうみると、エルミート行列とユニタリ行列はかなり似ていることが分かります。エルミート行列についてはユニタリ行列の場合のように、積について群構造を持たないため、群構造を入れるために指数関数を考えるのかもしれません。今回は一対一対応ではないので、「兄弟のような関係」としてみました。


Nakata Maho
RIKEN
Comments
Nakata Maho
RIKEN
Related posts

blueqat Inc.

Shibuya Scramble Square 39F 2-24-12, Shibuya, Shibuya-ku, Tokyo
Contact: info@blueqat.com