量子情報入門 第3章 §3.4 ★★ 三定式化を具体的なチャネルへ橋渡しする節。以降の代表例が本稿の応用の核
トレースと部分トレース
★ 定理 3.1 の使用例としての確認。トレース・部分トレースが量子操作であること
最も基本的な測定関連の操作はトレース 写像 ρ → tr ( ρ ) \rho\to\operatorname{tr}(\rho) ρ → tr ( ρ ) である。d d d 次元入力空間に対し1次元出力空間 ∣ 0 ⟩ \left|0\right\rangle ∣ 0 ⟩ をとり、E ( ρ ) ≡ ∑ i = 1 d ∣ 0 ⟩ ⟨ i ∣ ρ ∣ i ⟩ ⟨ 0 ∣ = tr ( ρ ) ∣ 0 ⟩ ⟨ 0 ∣ \mathcal{E}(\rho)\equiv\sum_{i=1}^d\left|0\right\rangle\!\left\langle i\right|\rho\left|i\right\rangle\!\left\langle 0\right|=\operatorname{tr}(\rho)\left|0\right\rangle\!\left\langle 0\right| E ( ρ ) ≡ ∑ i = 1 d ∣ 0 ⟩ ⟨ i ∣ ρ ∣ i ⟩ ⟨ 0 ∣ = tr ( ρ ) ∣ 0 ⟩ ⟨ 0 ∣ と定めれば、定理 3.1 よりこれは量子操作で、∣ 0 ⟩ ⟨ 0 ∣ \left|0\right\rangle\!\left\langle 0\right| ∣ 0 ⟩ ⟨ 0 ∣ 倍を除けばトレースに等しい。
部分トレース も量子操作である。合成系 Q R QR QR で R R R をトレースアウトする場合、E i ( ∑ j λ j ∣ q j ⟩ ∣ j ⟩ ) ≡ λ i ∣ q i ⟩ E_i\bigl(\sum_j\lambda_j\left|q_j\right\rangle \left|j\right\rangle \bigr)\equiv\lambda_i\left|q_i\right\rangle E i ( ∑ j λ j ∣ q j ⟩ ∣ j ⟩ ) ≡ λ i ∣ q i ⟩ で操作要素を定め、E ( ρ ) ≡ ∑ i E i ρ E i † \mathcal{E}(\rho)\equiv\sum_i E_i\rho E_i^{\dagger} E ( ρ ) ≡ ∑ i E i ρ E i † とすると E ( ρ ⊗ ∣ j ⟩ ⟨ j ′ ∣ ) = ρ δ j j ′ = tr R ( ρ ⊗ ∣ j ⟩ ⟨ j ′ ∣ ) \mathcal{E}(\rho\otimes\left|j\right\rangle\!\left\langle j'\right|)=\rho\,\delta_{jj'}=\operatorname{tr}_R(\rho\otimes\left|j\right\rangle\!\left\langle j'\right|) E ( ρ ⊗ ∣ j ⟩ ⟨ j ′ ∣ ) = ρ δ j j ′ = tr R ( ρ ⊗ ∣ j ⟩ ⟨ j ′ ∣ ) となり、線形性から E = tr R \mathcal{E}=\operatorname{tr}_R E = tr R 。
単一量子ビット量子操作の幾何学的描像
★★★ Bloch ベクトルのアフィン写像。以降の全チャネルの共通言語
単一量子ビットの状態は Bloch 表示 ρ = ( 1 + r ⃗ ⋅ σ ⃗ ) / 2 \rho=(\mathbf{1}+\vec r\cdot\vec\sigma)/2 ρ = ( 1 + r ⋅ σ ) /2 で表せる。任意のトレース保存 量子操作は、Bloch ベクトルに対するアフィン写像
r ⃗ → E r ⃗ ′ = M r ⃗ + c ⃗ (3.21) \vec r \ \xrightarrow{\ \mathcal{E}\ }\ \vec r' = M\vec r+\vec c\tag{3.21} r E r ′ = M r + c ( 3.21 )
に等価である(M M M は 3 × 3 3\times3 3 × 3 実行列、c ⃗ \vec c c は定ベクトル)。操作要素をE i = α i 1 + ∑ k a i k σ k E_i=\alpha_i\mathbf{1}+\sum_k a_{ik}\sigma_k E i = α i 1 + ∑ k a ik σ k と展開すれば、M , c ⃗ M,\vec c M , c の成分は
M j k = ∑ l [ a l j a l k ∗ + a l j ∗ a l k + ( ∣ α l ∣ 2 − ∑ p a l p a l p ∗ ) δ j k = ∑ l [ + i ∑ p ϵ j k p ( α l a l p ∗ − α l ∗ a l p ) ] , c k = 2 i ∑ l ∑ j p ϵ j p k a l j a l p ∗ , \begin{align*}M_{jk}&=\sum_l\Bigl[a_{lj}a_{lk}^*+a_{lj}^*a_{lk}
+\bigl(|\alpha_l|^2-\textstyle\sum_p a_{lp}a_{lp}^*\bigr)\delta_{jk}\\&\hphantom{=\sum_l\Bigl[}
+i\sum_p \epsilon_{jkp}(\alpha_l a_{lp}^*-\alpha_l^* a_{lp})\Bigr],\\c_k&=2i\sum_l\sum_{jp}\epsilon_{jpk}\,a_{lj}a_{lp}^*,\end{align*} M j k c k = l ∑ [ a l j a l k ∗ + a l j ∗ a l k + ( ∣ α l ∣ 2 − ∑ p a l p a l p ∗ ) δ j k = l ∑ [ + i p ∑ ϵ j k p ( α l a l p ∗ − α l ∗ a l p ) ] , = 2 i l ∑ j p ∑ ϵ j p k a l j a l p ∗ ,
で与えられる(完全性関係を用いて整理)。極分解 M = O S M=O S M = O S (O O O は固有回転、S S S は実対称行列)により、(3.21) は「S S S による主軸方向の変形 → \to → O O O による回転 → \to → c ⃗ \vec c c による平行移動」と読める。この描像は単一量子ビットのノイズの直観を与える強力な道具である。
ビット反転・位相反転・ビット位相反転チャネル
★★ Pauli 型の標準的なノイズチャネル3種。位相反転は§4.6の位相減衰と同一物
ビット反転 :E 0 = p 1 , E 1 = 1 − p X E_0=\sqrt p\,\mathbf{1},\quad E_1=\sqrt{1-p}\,X E 0 = p 1 , E 1 = 1 − p X 。Bloch 球で x ^ \hat x x ^ 軸は不変、y ^ \hat y y ^ –z ^ \hat z z ^ 面が因子 ∣ 1 − 2 p ∣ |1-2p| ∣1 − 2 p ∣ で一様収縮(点ごとの写像としては 2 p − 1 2p-1 2 p − 1 倍。p < 1 / 2 p<1/2 p < 1/2 では向きの反転を伴うが、球の像 は対称なので収縮率だけが見える)。
位相反転 :E 0 = p 1 , E 1 = 1 − p Z E_0=\sqrt p\,\mathbf{1},\quad E_1=\sqrt{1-p}\,Z E 0 = p 1 , E 1 = 1 − p Z 。z ^ \hat z z ^ 軸が不変、x ^ \hat x x ^ –y ^ \hat y y ^ 面が ∣ 1 − 2 p ∣ |1-2p| ∣1 − 2 p ∣ で収縮(図 3.2 左)。
ビット位相反転 :E 0 = p 1 , E 1 = 1 − p Y E_0=\sqrt p\,\mathbf{1},\quad E_1=\sqrt{1-p}\,Y E 0 = p 1 , E 1 = 1 − p Y (Y = i X Z Y=iXZ Y = i X Z )。y ^ \hat y y ^ 軸が不変。
位相反転で p = 1 / 2 p=1/2 p = 1/2 ととると、自由度を使って E ( ρ ) = P 0 ρ P 0 + P 1 ρ P 1 \mathcal{E}(\rho)=P_0\rho P_0+P_1\rho P_1 E ( ρ ) = P 0 ρ P 0 + P 1 ρ P 1 と書け、{ ∣ 0 ⟩ , ∣ 1 ⟩ } \{\left|0\right\rangle ,\left|1\right\rangle \} { ∣ 0 ⟩ , ∣ 1 ⟩ } 基底での結果未知の測定に対応する。Bloch 球上では( r x , r y , r z ) → ( 0 , 0 , r z ) (r_x,r_y,r_z)\to(0,0,r_z) ( r x , r y , r z ) → ( 0 , 0 , r z ) (z z z 軸への射影)。
脱分極チャネル
★★★ 最も基本的なノイズチャネル。1 / 2 \mathbf{1}/2 1 /2 への一様な混合。Bloch 球が一様収縮する標準例
確率 p p p で完全混合状態 1 / 2 \mathbf{1}/2 1 /2 に置換され、確率 1 − p 1-p 1 − p で不変、という過程:
E ( ρ ) = p 2 1 + ( 1 − p ) ρ . \mathcal{E}(\rho)=\frac{p}{2}\mathbf{1}+(1-p)\rho. E ( ρ ) = 2 p 1 + ( 1 − p ) ρ .
恒等式 1 / 2 = ( ρ + X ρ X + Y ρ Y + Z ρ Z ) / 4 \mathbf{1}/2=(\rho+X\rho X+Y\rho Y+Z\rho Z)/4 1 /2 = ( ρ + X ρX + Y ρ Y + Z ρZ ) /4 を代入すると演算子和表現
E ( ρ ) = ( 1 − 3 p 4 ) ρ + p 4 ( X ρ X + Y ρ Y + Z ρ Z ) \mathcal{E}(\rho)=\Bigl(1-\tfrac{3p}{4}\Bigr)\rho+\frac{p}{4}\bigl(X\rho X+Y\rho Y+Z\rho Z\bigr) E ( ρ ) = ( 1 − 4 3 p ) ρ + 4 p ( X ρX + Y ρ Y + Z ρZ )
が得られ、操作要素は { 1 − 3 p / 4 1 , p 2 X , p 2 Y , p 2 Z } \{\sqrt{1-3p/4}\,\mathbf{1},\ \tfrac{\sqrt p}{2}X,\ \tfrac{\sqrt p}{2}Y,\ \tfrac{\sqrt p}{2}Z\} { 1 − 3 p /4 1 , 2 p X , 2 p Y , 2 p Z } 。別パラメータ化 E ( ρ ) = ( 1 − p ) ρ + p 3 ( X ρ X + Y ρ Y + Z ρ Z ) \mathcal{E}(\rho)=(1-p)\rho+\tfrac{p}{3}(X\rho X+Y\rho Y+Z\rho Z) E ( ρ ) = ( 1 − p ) ρ + 3 p ( X ρX + Y ρ Y + Z ρZ ) では、確率 p / 3 p/3 p /3 ずつで X , Y , Z X,Y,Z X , Y , Z が作用すると解釈できる。Bloch 球は一様に 収縮する。d d d 次元への一般化は E ( ρ ) = p 1 / d + ( 1 − p ) ρ \mathcal{E}(\rho)=p\,\mathbf{1}/d+(1-p)\rho E ( ρ ) = p 1 / d + ( 1 − p ) ρ 。
振幅減衰
★★★ T 1 T_1 T 1 緩和の量子操作。北極 ∣ 0 ⟩ \left|0\right\rangle ∣ 0 ⟩ へ流れる非ユニタルな標準チャネル
エネルギー散逸(自然放出、スピン緩和、光子の散乱・減衰)を記述する重要なチャネル。単一光学モード a ∣ 0 ⟩ + b ∣ 1 ⟩ a\left|0\right\rangle +b\left|1\right\rangle a ∣ 0 ⟩ + b ∣ 1 ⟩ にビームスプリッタ B = exp [ θ ( a † b − a b † ) ] B=\exp[\theta(a^{\dagger} b-ab^{\dagger})] B = exp [ θ ( a † b − a b † )] を挿入して環境(真空)と結合させ、環境をトレースアウトすると
E A D ( ρ ) = E 0 ρ E 0 † + E 1 ρ E 1 † , E 0 = ( 1 0 0 1 − γ ) , E 1 = ( 0 γ 0 0 ) , \mathcal{E}_{\mathrm{AD}}(\rho)=E_0\rho E_0^{\dagger}+E_1\rho E_1^{\dagger},\qquad
E_0=\begin{pmatrix}1&0\\0&\sqrt{1-\gamma}\end{pmatrix},\
E_1=\begin{pmatrix}0&\sqrt\gamma\\0&0\end{pmatrix}, E AD ( ρ ) = E 0 ρ E 0 † + E 1 ρ E 1 † , E 0 = ( 1 0 0 1 − γ ) , E 1 = ( 0 0 γ 0 ) ,
ここで γ = sin 2 θ \gamma=\sin^2\theta γ = sin 2 θ は光子を失う確率。E 1 E_1 E 1 は ∣ 1 ⟩ → ∣ 0 ⟩ \left|1\right\rangle \to\left|0\right\rangle ∣ 1 ⟩ → ∣ 0 ⟩ の遷移(エネルギー喪失)を表し、E 0 E_0 E 0 は ∣ 0 ⟩ \left|0\right\rangle ∣ 0 ⟩ を保ちつつ ∣ 1 ⟩ \left|1\right\rangle ∣ 1 ⟩ の振幅を減らす(環境に光子が漏れなかったという情報が、系が ∣ 0 ⟩ \left|0\right\rangle ∣ 0 ⟩ である確率を上げる)。E 0 , E 1 E_0,E_1 E 0 , E 1 の線形結合で恒等演算子に比例するものは作れない点に注意。
一般の状態 ρ = ( a b b ∗ c ) \rho=\left(\begin{smallmatrix}a&b\\b^*&c\end{smallmatrix}\right) ρ = ( a b ∗ b c ) に対しては
E A D ( ρ ) = ( 1 − ( 1 − γ ) ( 1 − a ) b 1 − γ b ∗ 1 − γ c ( 1 − γ ) ) . \mathcal{E}_{\mathrm{AD}}(\rho)=
\begin{pmatrix}1-(1-\gamma)(1-a) & b\sqrt{1-\gamma}\\ b^*\sqrt{1-\gamma} & c(1-\gamma)\end{pmatrix}. E AD ( ρ ) = ( 1 − ( 1 − γ ) ( 1 − a ) b ∗ 1 − γ b 1 − γ c ( 1 − γ ) ) .
Bloch ベクトル変換は
( r x , r y , r z ) → ( r x 1 − γ , r y 1 − γ , γ + r z ( 1 − γ ) ) , (r_x,r_y,r_z)\to\bigl(r_x\sqrt{1-\gamma},\ r_y\sqrt{1-\gamma},\ \gamma+r_z(1-\gamma)\bigr), ( r x , r y , r z ) → ( r x 1 − γ , r y 1 − γ , γ + r z ( 1 − γ ) ) ,
であり、γ = 1 − e − t / T 1 \gamma=1-e^{-t/T_1} γ = 1 − e − t / T 1 とおけば、全ての点を北極 ∣ 0 ⟩ \left|0\right\rangle ∣ 0 ⟩ へ流すフローとなる(T 1 T_1 T 1 緩和)。
有限温度への一般化(GAD)
★ 有限温度浴への拡張。NMR で重要だが本稿の主筋からは発展 零温度の真空ではなく有限温度の浴に結合する場合は一般化振幅減衰 となり、操作要素はE 0 = p ( 1 0 0 1 − γ ) E_0=\sqrt p\left(\begin{smallmatrix}1&0\\0&\sqrt{1-\gamma}\end{smallmatrix}\right) E 0 = p ( 1 0 0 1 − γ ) ,
E 1 = p ( 0 γ 0 0 ) E_1=\sqrt p\left(\begin{smallmatrix}0&\sqrt\gamma\\0&0\end{smallmatrix}\right) E 1 = p ( 0 0 γ 0 ) ,
E 2 = 1 − p ( 1 − γ 0 0 1 ) E_2=\sqrt{1-p}\left(\begin{smallmatrix}\sqrt{1-\gamma}&0\\0&1\end{smallmatrix}\right) E 2 = 1 − p ( 1 − γ 0 0 1 ) ,
E 3 = 1 − p ( 0 0 γ 0 ) E_3=\sqrt{1-p}\left(\begin{smallmatrix}0&0\\\sqrt\gamma&0\end{smallmatrix}\right) E 3 = 1 − p ( 0 γ 0 0 ) で、定常状態 ρ ∞ = d i a g ( p , 1 − p ) \rho_\infty=\mathrm{diag}(p,1-p) ρ ∞ = diag ( p , 1 − p ) をもつ。これはスピン–格子(T 1 T_1 T 1 )緩和に対応し、NMR 量子計算で重要である。
位相減衰:純粋に量子的なノイズ
★★★ T 2 T_2 T 2 緩和の量子操作。エネルギーを保ちコヒーレンスだけを壊す、純粋に量子的なノイズの標準例
位相減衰 は、エネルギーを失わずに量子情報(位相情報)を失う、純粋に量子力学的な過程である。ランダムな位相回転 R z ( θ ) R_z(\theta) R z ( θ ) (平均 0 0 0 ・分散 2 λ 2\lambda 2 λ の Gauss 分布)の平均をとると、
ρ = 1 4 π λ ∫ − ∞ ∞ R z ( θ ) ∣ ψ ⟩ ⟨ ψ ∣ R z † ( θ ) e − θ 2 / 4 λ d θ = ( ∣ a ∣ 2 a b ∗ e − λ a ∗ b e − λ ∣ b ∣ 2 ) , \rho=\frac{1}{\sqrt{4\pi\lambda}}\int_{-\infty}^{\infty}R_z(\theta)\left|\psi\right\rangle\!\left\langle \psi\right| R_z^{\dagger}(\theta)\,
e^{-\theta^2/4\lambda}\,d\theta
=\begin{pmatrix}|a|^2 & ab^* e^{-\lambda}\\ a^*b\,e^{-\lambda} & |b|^2\end{pmatrix}, ρ = 4 π λ 1 ∫ − ∞ ∞ R z ( θ ) ∣ ψ ⟩ ⟨ ψ ∣ R z † ( θ ) e − θ 2 /4 λ d θ = ( ∣ a ∣ 2 a ∗ b e − λ a b ∗ e − λ ∣ b ∣ 2 ) ,
すなわち非対角成分(コヒーレンス)が指数的に減衰する。調和振動子間相互作用H = χ a † a ( b + b † ) H=\chi a^{\dagger} a(b+b^{\dagger}) H = χ a † a ( b + b † ) から導くと、操作要素は
E 0 = ( 1 0 0 1 − λ ) , E 1 = ( 0 0 0 λ ) . E_0=\begin{pmatrix}1&0\\0&\sqrt{1-\lambda}\end{pmatrix},\qquad
E_1=\begin{pmatrix}0&0\\0&\sqrt\lambda\end{pmatrix}. E 0 = ( 1 0 0 1 − λ ) , E 1 = ( 0 0 0 λ ) .
ここでユニタリ自由度(定理 3.2 )を用いて再結合すると、
E ~ 0 = α 1 , E ~ 1 = 1 − α Z , α = 1 + 1 − λ 2 , \tilde E_0=\sqrt\alpha\,\mathbf{1},\qquad
\tilde E_1=\sqrt{1-\alpha}\,Z,\qquad \alpha=\frac{1+\sqrt{1-\lambda}}{2}, E ~ 0 = α 1 , E ~ 1 = 1 − α Z , α = 2 1 + 1 − λ ,
となり、位相減衰は位相反転チャネルと厳密に同一 であることがわかる。Bloch 変換は( r x , r y , r z ) → ( r x 1 − λ , r y 1 − λ , r z ) (r_x,r_y,r_z)\to(r_x\sqrt{1-\lambda},\,r_y\sqrt{1-\lambda},\,r_z) ( r x , r y , r z ) → ( r x 1 − λ , r y 1 − λ , r z ) で、T 2 T_2 T 2 (スピン–スピン)緩和に対応(e − t / 2 T 2 = 1 − λ e^{-t/2T_2}=\sqrt{1-\lambda} e − t /2 T 2 = 1 − λ ;ただし T 1 , T 2 T_1,T_2 T 1 , T 2 の定義は文献間で因子 2 2 2 の違いがあるので注意。規約の整理と緩和率の定量的な関係は §3.5.2 で行う)。
注意
歴史的に位相減衰は連続的なランダム位相蹴りとして捉えられ、離散過程として記述できないと考えられていた。位相反転チャネルとの同一性が見いだされて初めて量子誤り訂正が可能になった。微視的過程が連続的でも、十分長い離散時間区間でみれば「何もしない(確率 α \alpha α )か Z Z Z が作用する(確率 1 − α 1-\alpha 1 − α )」と区別がつかない。位相減衰は、なぜ巨視的世界が古典的に見えるか(重ね合わせ状態の不在)という問題、すなわち Schrödinger の猫の問題とも深く関わる。
T 1 T_1 T 1 と T 2 T_2 T 2 を結ぶ不等式(演習 8.30)
振幅減衰は対角成分(占有数)だけでなく非対角成分(コヒーレンス)も減衰させ、その減衰率 は占有数側のちょうど半分になる。位相減衰が加わると、エネルギーは保たれたままコヒーレンスの減衰だけがさらに速くなる。したがって規約に依らない言明は「Γ 2 = Γ 1 / 2 + Γ ϕ , Γ ϕ ≥ 0 \Gamma_2=\Gamma_1/2+\Gamma_\phi,\ \Gamma_\phi\ge0 Γ 2 = Γ 1 /2 + Γ ϕ , Γ ϕ ≥ 0 」(Γ \Gamma Γ は減衰率)であり、時間の規約(コヒーレンス ∝ e − t / T 2 \propto e^{-t/T_2} ∝ e − t / T 2 )では T 2 ≤ 2 T 1 T_2\le 2T_1 T 2 ≤ 2 T 1 と読める。Nielsen–Chuang 演習 8.30 の表題「T 2 ≤ T 1 / 2 T_2\le T_1/2 T 2 ≤ T 1 /2 」は、そこで T 1 , T 2 T_1,T_2 T 1 , T 2 が減衰率 (原文 “relaxation rate”)を指しているための表現で、率で書いたΓ 2 ≥ Γ 1 / 2 \Gamma_2\ge\Gamma_1/2 Γ 2 ≥ Γ 1 /2 と同値である。定量的な導出は §3.5.2 で行う。
ユニタリティ(演習 8.29)
★ ユニタルの定義。既出チャネルの分類語 量子過程 E \mathcal{E} E が E ( 1 ) = 1 \mathcal{E}(\mathbf{1})=\mathbf{1} E ( 1 ) = 1 を満たすときユニタル という。脱分極・位相減衰はユニタルだが、振幅減衰はユニタルでない(北極へ流れるため)。
AI(Claude)が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。 連絡先:support@tecktom.com