名古屋大学 情報学研究科 数理情報学専攻 2019年8月実施 問題6 量子力学
Author
Miyake
Description
ベクトル v=(x,y,z)∈R3(ただし x2+y2+z2=1)とベクトル σ=(X,Y,Z)(ただし
X=(0110),Y=(0i−i0),Z=(100−1)
であり,i=−1 は虚数単位である)と置く.
(1) 演算子 v⋅σ=xX+yY+zZ が観測量(observable)であることを示せ.
(2) I が単位行列を表すとする.すべての n∈N に対して,(v⋅σ)2n=I と (v⋅σ)2n+1=v⋅σ を示せ.
(3) 上記の関係を用いて,eitv⋅σ=(cost)I+(isint)v⋅σ(t は任意の実数)を示せ.
(4) Ut=eitv⋅σ が,すべての t∈R に対して,ユニタリー行列であることを示せ.
(5) ∣ψ⟩ を +1 を固有値にもつ Z の固有状態とする.∣ψt⟩ を時間発展させた状態 Ut∣ψ⟩ とする.バリアンス(variance)
σ(Z,t)2:=⟨ψt∣Z2∣ψt⟩−⟨ψt∣Z∣ψt⟩2
を z と t を用いて表せ.
题目描述
令向量 v=(x,y,z)∈R3,其中 x2+y2+z2=1;令 σ=(X,Y,Z),其中
X=(0110),Y=(0i−i0),Z=(100−1),
i=−1 为虚数单位。
(1) 证明算符 v⋅σ=xX+yY+zZ 是可观测量。
(2) 设 I 为单位矩阵。对所有 n∈N,证明 (v⋅σ)2n=I 和 (v⋅σ)2n+1=v⋅σ。
(3) 利用上述关系,证明对于任意实数 t,有 eitv⋅σ=(cost)I+(isint)v⋅σ。
(4) 证明对所有 t∈R,Ut=eitv⋅σ 是酉矩阵。
(5) 设 ∣ψ⟩ 为 Z 对应特征值 +1 的本征态,将时间演化后的状态 Ut∣ψ⟩ 记为 ∣ψt⟩。用 z,t 表示方差
σ(Z,t)2:=⟨ψt∣Z2∣ψt⟩−⟨ψt∣Z∣ψt⟩2.
Kai
(1)
x,y,z が実数で、X,Y,Z はエルミート行列なので、(xX+yY+zZ)†=xX+yY+zZ が成り立つ。有限次元量子系ではエルミート行列が観測量を表すので、求める性質が従う。
(2)
(v⋅σ)2=(zx+iyx−iy−z)2=(x2+y2+z200x2+y2+z2)=I
であるから、すべての n∈N に対して、
(v⋅σ)2n=I, (v⋅σ)2n+1=v⋅σ
が成り立つ。
(3)
eitv⋅σ=k=0∑∞k!1(itv⋅σ)k=(1−2!1t2+4!1t4−⋯)I+i(t−3!1t3+5!1t5−⋯)v⋅σ=(cost)I+(isint)v⋅σ
(4)
(v⋅σ)†=v⋅σ であるから、
すべての t∈R に対して、
Ut†=(cost)I−(isint)v⋅σ
であり、
UtUt†={(cost)I+(isint)v⋅σ}{(cost)I−(isint)v⋅σ}=I
であるから、 Ut はユニタリー行列である。
(5)
∣ψ⟩∣ψt⟩=(10)=Ut∣ψ⟩={(cost)I+(isint)v⋅σ}∣ψ⟩=cost(10)+isint(zx+iy)=(cost+izsint(ix−y)sint)
であるから、
⟨ψt∣Z∣ψt⟩=⟨ψt∣(100−1)(cost+izsint(ix−y)sint)=(cost−izsint(−ix−y)sint)(cost+izsint(−ix+y)sint)=cos2t+z2sin2t−(x2+y2)sin2t=cos2t+(2z2−1)sin2t
である。
また、 Z2=I であるから、
⟨ψt∣Z2∣ψt⟩=⟨ψ∣Ut†Ut∣ψ⟩=⟨ψ∣ψ⟩=1
である。
よって、
σ(Z,t)2=1−{cos2t+(2z2−1)sin2t}2
を得る。
Reference