tecktom.com

この章のまとめ

2026年10月17日9分で読めますAI生成教科書『虎の巻』第4部 第1章 なぜ状態ベクトルでは足りないか

AI 生成・木下が未勉強

量子力学の様々な構成方法 第4部 第1章 §4.1.7 ★★★ 状態ベクトルの公理で書けない場面(不完全な情報・部分系・熱平衡・結果を読まない測定)は、期待値が Tr⁡(ρ^A^)\operatorname{Tr}(\hat\rho\hat A) の形にまとまることから、状態を密度演算子に取り替えた要請 (D1)〜(D5) で書ける

第1部の基準の公理は、孤立した系をその状態を完全に知る人が見る場合を書いていた。準備の情報が不完全なとき、もつれた系の一部分を見るとき、熱平衡にあるとき、測定の結果を読まないとき、系の統計はどの状態ベクトルでも再現できない。量子ビットでは、Pauli 行列の期待値のベクトルの長さが1より小さくなることで判定できる。どの場面でも期待値は Tr⁡(ρ^A^)\operatorname{Tr}(\hat\rho\hat A) の形にまとまり、ρ^\hat\rho はエルミート・半正定値・トレース1を満たす。予言に要るのは ρ^\hat\rho だけで、どのアンサンブルから作ったかは使われない。

第4部ではこれを出発点に置き、状態=密度演算子、確率=Tr⁡(ρ^P^a)\operatorname{Tr}(\hat\rho\hat P_a)、時間発展=U^ρ^U^†\hat U\hat\rho\hat U^\dagger(von Neumann 方程式 iℏ ∂tρ^=[H^, ρ^]\mathrm{i}\hbar\,\partial_t\hat\rho=\left[\hat H,\,\hat\rho\right])、測定後=P^aρ^P^a\hat P_a\hat\rho\hat P_a、部分系=部分トレースという5つの要請を立てた。状態の集合は凸集合で、純粋状態はその端点であり、純粋度 Tr⁡ρ^2\operatorname{Tr}\hat\rho^2 が1かどうかで判定できる。量子ビットでは ρ^=12(1+r⋅σ)\hat\rho=\tfrac12(\mathbf 1+\bm{r}\cdot\bm{\sigma})、∣r∣≤1\lvert \bm{r}\rvert \le1 と書け、von Neumann 方程式は r\bm{r} の回転 r˙=h×r\dot{\bm{r}}=\bm{h}\times\bm{r} になって、共通例題②の Rabi 振動 Pe=(Ω/Ω′)2sin⁡2(Ω′t/2)P_e=(\Omega/\Omega')^2\sin^2(\Omega't/2) が出る。離調のばらついた集団では、1個1個は純粋のまま集団の ∣rˉ∣\lvert \bar{\bm{r}}\rvert が縮む。

橋の節では、ρ^=∣ψ⟩⟨ψ∣\hat\rho=| \psi \rangle \langle \psi | と置くと要請が基準の公理に戻ることを表で確かめ、逆向きの証明(浄化と Schmidt 分解)を第4部第2章へ渡した。同じ ρ^\hat\rho を与えるアンサンブルの任意性は第4部第3章、熱平衡は第4部第4章、環境による純粋度の低下は第4部第5章で扱う。

総合問題 2準位原子が混合状態になる4つの道筋 ★★★

オリジナル2準位原子(∣e⟩=∣↑⟩| e \rangle =| \uparrow \rangle、∣g⟩=∣↓⟩| g \rangle =| \downarrow \rangle)について、次の2つの準備を比べる。準備 M:確率 14\tfrac14 で ∣e⟩| e \rangle、確率 34\tfrac34 で ∣g⟩| g \rangle を作る(どちらかは記録しない)。準備 P:純粋状態 ∣χ⟩=12∣e⟩+32∣g⟩| \chi \rangle =\tfrac12| e \rangle +\tfrac{\sqrt3}{2}| g \rangle を作る。

  1. (1) 準備 M・P の密度行列 ρ^M\hat\rho_{\mathrm M}、ρ^P\hat\rho_{\mathrm P}、Bloch ベクトル、純粋度を求めよ。σz\sigma_z の測定だけで M と P を区別できるか。(使う道具:この章の第4.1.2節・第4.1.4節)
  2. (2) どちらの準備の後でも、共鳴(Δ=0\Delta=0)のハミルトニアン H^=−ℏΩ2σx\hat H=-\tfrac{\hbar\Omega}{2}\sigma_x で時間 tt だけ駆動する。Pe(t)P_e(t) を両者について求め、この駆動と σz\sigma_z の測定の組み合わせでは M と P を区別できないことを示せ。区別に使える物理量を1つ挙げよ。(使う道具:第4.1.3節の von Neumann 方程式・第4.1.4節の Bloch 方程式/第2部第3章 の Heisenberg 方程式)
  3. (3) 原子が光の1つのモード(光子数 00 か 11)ともつれて ∣Φ⟩=12∣e⟩∣0⟩+32∣g⟩∣1⟩| \Phi \rangle =\tfrac12| e \rangle | 0 \rangle +\tfrac{\sqrt3}{2}| g \rangle | 1 \rangle になった。原子の縮約密度行列を求め、原子だけの測定ではこれと準備 M が区別できないことを示せ。(使う道具:第4.1.5節の部分トレース)
  4. (4) 原子の遷移周波数を ω0/2π=5 GHz\omega_0/2\pi=5\ \mathrm{GHz} とし、H^0=ℏω02σz\hat H_0=\tfrac{\hbar\omega_0}{2}\sigma_z の熱平衡 e−βH^0/Z\mathrm{e}^{-\beta\hat H_0}/Z が ρ^M\hat\rho_{\mathrm M} に一致する温度を求めよ。(使う道具:第4.1.6節の熱平衡の量子ビット/第4部第4章)
  5. (5) 準備 P の原子に σx\sigma_x の測定をして、結果を読まずにおく。測定後の Bloch ベクトルと純粋度を求めよ。同じ操作を準備 M に当てるとどうなるか。(使う道具:第4.1.3節の要請 (D4))
解答

(1) ρ^M=14∣e⟩⟨e∣+34∣g⟩⟨g∣=diag(14,34)\hat\rho_{\mathrm M}=\tfrac14| e \rangle \langle e |+\tfrac34| g \rangle \langle g |=\mathrm{diag}(\tfrac14,\tfrac34)。ρ^P=∣χ⟩⟨χ∣=(14343434)\hat\rho_{\mathrm P}=| \chi \rangle \langle \chi |=\begin{pmatrix}\tfrac14&\tfrac{\sqrt3}{4}\\[2pt]\tfrac{\sqrt3}{4}&\tfrac34\end{pmatrix}。Bloch ベクトルは (4.1.8) の rj=Tr⁡(ρ^σj)r_j=\operatorname{Tr}(\hat\rho\sigma_j) から

rM=(0,0,−12),rP=(32,0,−12)(rx=2Re⁡ρeg=32).\bm{r}_{\mathrm M}=\big(0,0,-\tfrac12\big),\qquad \bm{r}_{\mathrm P}=\big(\tfrac{\sqrt3}{2},0,-\tfrac12\big)\quad(r_x=2\operatorname{Re}\rho_{eg}=\tfrac{\sqrt3}{2}).

(4.1.9) から純粋度は M が 12(1+14)=58\tfrac12(1+\tfrac14)=\tfrac58、P が 11。σz\sigma_z の統計は Pe=12(1+rz)=14P_e=\tfrac12(1+r_z)=\tfrac14 で両者同じなので、σz\sigma_z の測定だけでは区別できない。

(2) h=(−Ω,0,0)\bm{h}=(-\Omega,0,0) なので Bloch ベクトルは xx 軸のまわりに回り、rxr_x は変わらない。(ry,rz)(r_y,r_z) はr˙y=Ωrz\dot r_y=\Omega r_z、r˙z=−Ωry\dot r_z=-\Omega r_y(h×r=(0,Ωrz,−Ωry)\bm{h}\times\bm{r}=(0,\Omega r_z,-\Omega r_y))に従い、ry(0)=0r_y(0)=0、rz(0)=−12r_z(0)=-\tfrac12 からrz(t)=−12cos⁡Ωtr_z(t)=-\tfrac12\cos\Omega t。これは M と P で同じなので、

Pe(t)=12(1−12cos⁡Ωt)(M・P とも).P_e(t)=\frac12\Big(1-\frac12\cos\Omega t\Big)\qquad(\text{M・P とも}).

2つの準備の違いは rxr_x だけにあり、xx 軸まわりの回転は rxr_x を ryr_y・rzr_z に混ぜないので、この駆動の後の σz\sigma_z の測定では区別できない。Heisenberg 描像で言えば、σx\sigma_x は H^\hat H と交換するので σx,H(t)=σx\sigma_{x,\mathrm H}(t)=\sigma_x で、σz\sigma_z の Heisenberg 演算子は σy,σz\sigma_y,\sigma_z の組み合わせにしかならない。区別には σx\sigma_x そのものを測ればよい(⟨σx⟩\langle \sigma_x \rangle が M で 00、P で 32\tfrac{\sqrt3}{2})。

(3) ∣Φ⟩⟨Φ∣| \Phi \rangle \langle \Phi | の光の部分をトレースすると、交差項は ∣0⟩⟨1∣| 0 \rangle \langle 1 |・∣1⟩⟨0∣| 1 \rangle \langle 0 | を含むので消え、Tr⁡光∣Φ⟩⟨Φ∣=14∣e⟩⟨e∣+34∣g⟩⟨g∣=ρ^M\operatorname{Tr}_{\mathrm{光}}| \Phi \rangle \langle \Phi |=\tfrac14| e \rangle \langle e |+\tfrac34| g \rangle \langle g |=\hat\rho_{\mathrm M}。命題 4.1.6 により原子の物理量の統計は縮約密度行列だけで決まるので、原子だけの測定では準備 M と区別できない。準備 M は「情報が足りない」混合、(3) は「全体は純粋だが一部分を見ている」混合で、成り立ちは違うが原子の側から見た状態は同じである。

(4) 熱平衡では Pe/Pg=e−βℏω0P_e/P_g=\mathrm{e}^{-\beta\hbar\omega_0} で、これが 14/34=13\tfrac14/\tfrac34=\tfrac13 になればよい。βℏω0=ln⁡3\beta\hbar\omega_0=\ln3、

T=ℏω0kBln⁡3=0.240 K1.099=0.218 K≈218 mK.T=\frac{\hbar\omega_0}{ k_{\mathrm B}\ln3}=\frac{0.240\ \mathrm K}{1.099}=0.218\ \mathrm K\approx218\ \mathrm{mK}.

(ℏω0/kB=0.240 K\hbar\omega_0/ k_{\mathrm B}=0.240\ \mathrm K は例題 4.1.6 の値。)この温度の熱平衡も原子の状態としては ρ^M\hat\rho_{\mathrm M} そのもので、(1)・(3) の混合と区別できない。

(5) P^±=∣±⟩⟨±∣\hat P_\pm=| \pm \rangle \langle \pm | で ρ^↦P^+ρ^P^++P^−ρ^P^−\hat\rho\mapsto\hat P_+\hat\rho\hat P_++\hat P_-\hat\rho\hat P_-。この写像は σx\sigma_x の固有基底で非対角成分を消すので、Bloch ベクトルの xx 成分だけを残し、ry,rzr_y,r_z を 00 にする。準備 P では r=(32,0,0)\bm{r}=(\tfrac{\sqrt3}{2},0,0)、純粋度 12(1+34)=78\tfrac12(1+\tfrac34)=\tfrac78。測定前の純粋度1から下がった。準備 M では r=0\bm{r}=0、ρ^=121\hat\rho=\tfrac12\mathbf 1、純粋度 12\tfrac12。σx\sigma_x の値の確率は Pr⁡(+1)=12(1+rx)\Pr(+1)=\tfrac12(1+r_x) で、P では 0.9330.933、M では 0.50.5 と、ここで初めて両者の違いが測定値に現れる。

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com

← AI生成教科書『虎の巻』の記事一覧へ