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

$\exp iH$

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

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

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

特に $H = {\rm diag} (\theta_1, \theta_2, \theta_3, \cdots, \theta_n)$ の場合は自明に

$\exp iH = {\rm diag} (\exp i \theta_1, \exp i\theta_2, \exp i \theta_3, \cdots, \exp i \theta_n)$

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

$\exp i\theta \exp -i \theta = 1$

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

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

実は可能です

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

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

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

$U= V^\dagger {\rm diag} (\exp i \theta_1, \exp i \theta_2, \exp i \theta_3, \exp i \cdots, \exp i \theta_n) V$

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

${\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)$

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

$V^\dagger {\rm diag} ( \theta_1, \theta_2, \theta_3, \cdots, \theta_n) V$

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

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

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

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

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

Nakata Maho