名古屋大学 情報学研究科 数理情報学専攻 2019年8月実施 問題6 量子力学
Author
Miyake
Description
題意の要約。出典:名古屋大学公表問題。
実ベクトル v=(x,y,z) は x2+y2+z2=1 を満たす。σ=(X,Y,Z) とし、次の行列を用いる。
I=(1001),X=(0110),Y=(0i−i0),Z=(100−1),i2=−1.
- v⋅σ=xX+yY+zZ が観測量であることを示せ。
- 任意の非負整数 n について、(v⋅σ)2n=I、(v⋅σ)2n+1=v⋅σ を示せ。
- 実数 t に対し、eitv⋅σ=costI+isintv⋅σ を導け。
- Ut=eitv⋅σ がユニタリーであることを示せ。
- Z の固有値 +1 に対応する正規化状態を ∣ψ⟩ とする。∣ψt⟩=Ut∣ψ⟩ における分散 σ(Z,t)2=⟨ψt∣Z2∣ψt⟩−⟨ψt∣Z∣ψt⟩2 を z,t の式で求めよ。
题目描述
令
v=(x,y,z),x2+y2+z2=1,
并以 Pauli 矩阵向量 σ=(X,Y,Z) 定义
v⋅σ=(zx+iyx−iy−z),Ut=eitv⋅σ.
- 证明 v⋅σ 是 Hermitian 矩阵,可表示可观测量。
- 证明 (v⋅σ)2=I,并求其任意偶数次幂与奇数次幂。
- 展开矩阵指数,证明
Ut=(cost)I+(isint)v⋅σ.
- 对任意实数 t,证明 Ut 是酉矩阵。
- 初态为
∣ψ⟩=(10),
演化后 ∣ψt⟩=Ut∣ψ⟩。求 ∣ψt⟩,并求可观测量 Z 在该态下的期望及方差 σ(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
を得る。