手帳と試行

学んだことをアウトプットしていきます。 日々、ノートあるのみ。

量子ビット系の時間発展

量子ビット系の時間発展を導入する。

ユニタリ発展

量子ビット系では、次のような時間発展が許される。

状態 ∣ψ⟩∈C2| \psi \rangle \in \mathbb C^2 を初期の量子状態、状態 ∣ψ⟩′∈C2| \psi \rang' \in \mathbb C^2 を終期の量子状態とするとき、ユニタリ行列 U∈C2×2 (UU†=I2)\bm U \in \mathbb C^{2 \times 2} ~(\bm U \bm U^\dag = \bm I_2) が存在して、次式を満たす。

∣ψ⟩′≔∣Uψ⟩=U∣ψ⟩\begin{aligned} | \psi \rang' \coloneqq{}& | \bm U \psi \rang \\ ={}& \bm U | \psi \rang \end{aligned}

この ∣ψ⟩↦∣Uψ⟩| \psi \rangle \mapsto | \bm U \psi \rangle という時間発展をユニタリ発展 (unitary evolution) と呼ぶ。

特に ∣ψ⟩∈C2|\psi\rang \in \mathbb C^2 が単位ベクトルである、すなわち ∥ψ∥22=1\|\psi\|_2^2 = 1 であるならば、次のように ∥ψ′∥22=1\| \psi' \|_2^2 = 1 となる。

∥ψ∥22=⟨ψ′∣ψ′⟩=⟨Uψ∣Uψ⟩=⟨ψ∣U†U∣ψ⟩=⟨ψ∣I2∣ψ⟩=⟨ψ∣ψ⟩=∥ψ∥22=1\begin{aligned} \|\psi\|_2^2 ={}& \lang\psi' | \psi'\rang \\ ={}& \lang\bm U\psi | \bm U \psi\rang \\ ={}& \lang\psi| \bm U^\dag \bm U |\psi\rang \\ ={}& \lang\psi|\bm I_2|\psi\rang \\ ={}& \lang\psi|\psi\rang \\ ={}& \|\psi\|_2^2 \\ ={}& 1 \end{aligned}

射影測定による発展

量子状態を測定すると、ユニタリ発展とはまったく異なる、確率的な変化が生じる。

もっとも典型的なものは射影測定による発展で、次のような状態の変化が生じる。

量子状態 ∣ψ⟩|\psi\rang にある量子ビット系に対して基底 {∣ϕ0⟩,∣ϕ1⟩}\{|\phi_0\rang, |\phi_1\rang\} による観測を行なって測定値 i∈{0,1}i \in \{0, 1\} を得たとする。このとき、測定前の状態がいかなる状態であったとしても、測定後の状態は ∣ϕi⟩|\phi_i\rang に変化する。

∣ψ⟩↦∣ϕi⟩|\psi\rang \mapsto |\phi_i\rang
よく、「測定が量子状態を変化させるという現象は、温度計が対象の温度を変化させてしまうだとか、浸透圧測定機器が浸透圧を変化させてしまうとか、そういった測定機器の性能に由来するものと同じようなもの」という説明がなされることがあるが、この言い方には語弊がある。「測定」という操作を行なうからには、測定機器と対象が必ず何らかの形で相互作用する。逆に言えば、もしも測定機器と対象が相互作用しないならば、それはもはや測定ではない。そして、この相互作用がどのようなものであれ、それは量子状態を変化させてしまう。つまり測定による量子状態の変化は、理論上根本的に避けられないのである。

よく使われるユニタリ行列

よく使われる有用なユニタリ行列をいくつか列挙する。

パウリ行列
σx≔[0110],σy≔[0−ii0],σz≔[100−1]\begin{aligned} \bm\sigma_x \coloneqq{}& \left[\begin{darray}{cc} 0 & 1 \\ 1 & 0 \end{darray}\right], \\ \bm\sigma_y \coloneqq{}& \left[\begin{darray}{cc} 0 & -i \\ i & 0 \end{darray}\right], \\ \bm\sigma_z \coloneqq{}& \left[\begin{darray}{cc} 1 & 0 \\ 0 & -1 \end{darray}\right] \\ \end{aligned}
アダマール行列
H≔12[111−1]\begin{aligned} \bm H \coloneqq \frac{1}{\sqrt 2} \left[\begin{darray}{cc} 1 & 1 \\ 1 & -1 \end{darray}\right] \end{aligned}
ブロッホ球上の回転
Rx(θ)≔cos⁡(θ2)I−isin⁡(θ2)σx=[cos⁡(θ2)−isin⁡(θ2)−isin⁡(θ2)cos⁡(θ2)],Ry(θ)≔cos⁡(θ2)I−isin⁡(θ2)σy=[cos⁡(θ2)−sin⁡(θ2)sin⁡(θ2)cos⁡(θ2)],Rz(θ)≔cos⁡(θ2)I−isin⁡(θ2)σz=[exp⁡(−iθ2)00exp⁡(iθ2)]\begin{alignedat}{3} \bm R_x(\theta) \coloneqq{}& \cos\left(\frac\theta2\right) \bm I - i\sin\left(\frac\theta2\right) \bm \sigma_x ={}&& \left[\begin{darray}{cc} \cos\left(\frac\theta2\right) & -i\sin\left(\frac\theta2\right) \\ -i\sin\left(\frac\theta2\right) & \cos\left(\frac\theta2\right) \end{darray}\right], \\ \bm R_y(\theta) \coloneqq{}& \cos\left(\frac\theta2\right) \bm I - i\sin\left(\frac\theta2\right) \bm \sigma_y ={}&& \left[\begin{darray}{cc} \cos\left(\frac\theta2\right) & -\sin\left(\frac\theta2\right) \\ \sin\left(\frac\theta2\right) & \cos\left(\frac\theta2\right) \end{darray}\right], \\ \bm R_z(\theta) \coloneqq{}& \cos\left(\frac\theta2\right) \bm I - i\sin\left(\frac\theta2\right) \bm \sigma_z ={}&& \left[\begin{darray}{cc} \exp\left(-i\frac\theta2\right) & 0 \\ 0 & \exp\left(i\frac\theta2\right) \end{darray}\right] \\ \end{alignedat}

ブロッホ球上の回転は、その名の通りブロッホベクトルの回転を司る。たとえば初期状態 ∣ψ⟩=∣0⟩|\psi\rang = |0\rang に対して Ry(π2)\bm R_y \left(\dfrac\pi2\right)を作用させたものを終期状態 ∣ψ⟩′|\psi\rang' とすると、 

∣ψ⟩′=Ry(π2)∣ψ⟩=(cos⁡(π4)I−isin⁡(π4)σy)∣0⟩=12(∣0⟩−iσy∣0⟩)=12(∣0⟩+∣1⟩)\begin{aligned} |\psi\rang' ={}& \bm R_y \left(\frac\pi2\right) |\psi\rang \\ ={}& \left( \cos\left(\frac\pi4\right) \bm I - i\sin\left(\frac\pi4\right) \bm \sigma_y \right) |0\rang \\ ={}& \sqrt\frac12 \left( |0\rang-i\bm\sigma_y|0\rangle \right) \\ ={}& \sqrt\frac12 \left( |0\rang+ |1\rang \right) \end{aligned}

となる。この時間発展は、

ψ=[sin⁡θcos⁡ϕsin⁡θsin⁡ϕcos⁡θ]↔∣ψ⟩=cos⁡(θ2)∣0⟩+eiϕsin⁡(θ2)∣1⟩\begin{gathered} \bm \psi = \left[\begin{darray}{} \sin \theta \cos \phi \\ \sin \theta \sin \phi \\ \cos \theta \\ \end{darray}\right] &\leftrightarrow& | \psi \rangle = \cos \left( \frac{\theta}{2} \right) | 0 \rangle + e^{i\phi} \sin\left( \frac{\theta}{2} \right) | 1 \rangle \end{gathered}

を参照すれば

∣ψ⟩:(θ,ϕ)=(0,0),∣ψ⟩′:(θ,ϕ)=(π2,0)\begin{aligned} &|\psi\rang: & (\theta, \phi) &= (0,0), \\ &|\psi\rang': & (\theta, \phi) &= \left( \frac\pi2,0 \right) \end{aligned}

すなわち

ψ=[001]↦ψ′=[100]\begin{gathered} \bm \psi = \left[\begin{darray}{cc} 0\\0\\1 \end{darray}\right] &\mapsto& \bm \psi' = \left[\begin{darray}{cc} 1\\0\\0 \end{darray}\right] \end{gathered}

と発展している。確かに、ブロッホベクトルが yy 軸を中心に π2\dfrac\pi2 だけ回転していることが確認できる。