です。これから, V(t) に対するシュレーディンガー方程式の左辺は
となります。共役をとる操作は共役線形なので,
i=1
-Ar-
U* = >(ea P.)* =Xe-tai P
i=1
i=1
となります。すると,
となのU*U =
i=1
ーiai Pi
e
ei0s Pj
e(a;-a) P,P, = elay-a) 5ig Pj =
こn-
三
i,j=1
i,j=1
i=1
となり,ひはユニタリー作用素だとわかります。 (証明終)
これから,H をハミルトニアンとして,
U(t) := exp
Ht
とすると,U(t) はtERをパラメータとするユニタリー作用素です。 このユニタ
リー作用素には,状態の時間をtだけ進める意味があります。 今,時刻0における
純粋アンサンブルの状態がo €eHだったとして, teRをパラメータとする状
態を
少(t):=D U(t)b)
とします。Hのスペクトル分解を
H=>E,B
j=1
とすると、
U(t) = >
-iEjt/hP;
e
j=1
なので,
le-tEjt/hp,
dt
j=1