tecktom.com

この章のまとめ

2026年10月15日7分で読めますAI生成教科書『虎の巻』第3部 第6章 テレポーテーションと超高密度符号

AI 生成・木下が未勉強

相対エントロピーから情報と物理を組み立てる 第3部 第6章 §3.6.7 ★★★ もつれは単独では何も送らないが、古典ビット・量子ビットと交換できる資源になる。交換の上限は Holevo 限界と信号を送れないことから決まり、超高密度符号の情報量は D(ρ^AB ∥ π^A⊗ρ^B)D(\hat\rho_{AB}\,\|\,\hat\pi_A\otimes\hat\rho_B) に等しい

比べる2つの状態は、Alice と Bob が共有した ρ^AB\hat\rho_{AB} と、Alice の側を完全に混ぜた π^A⊗ρ^B\hat\pi_A\otimes\hat\rho_B だった。2つの相対エントロピーは ln⁡dA−S(A ∣ B)\ln d_A-S(A\,|\,B) で、ln⁡dA\ln d_A を超える分 −S(A ∣ B)-S(A\,|\,B) がもつれに固有の部分である。当てた性質は2つで、Alice の局所操作が ρ^B\hat\rho_B を変えないこと(信号を送れないこと)と、量子データ処理不等式から出る Holevo 限界 I(X;Y)≤χ≤ln⁡dI(X;Y)\le\chi\le\ln d である。

出てきたものは3つある。超高密度符号では、量子ビット1個と ebit 1組で2ビットを送ることができ、一般の共有状態で送れる量は C=D(ρ^AB ∥ π^A⊗ρ^B)C=D(\hat\rho_{AB}\,\|\,\hat\pi_A\otimes\hat\rho_B) で、もつれを使った得は max⁡{0,−S(A ∣ B)}\max\{0,-S(A\,|\,B)\} だった。テレポーテーションでは、ebit 1組と古典ビット2個で未知の量子ビットを移すことができ、古典ビットが2個より少ない手続きは、超高密度符号と組み合わせると Holevo 限界と信号を送れないことに反する。雑音のある Werner 状態では、テレポーテーションが古典の上限 2/32/3 を超える条件(p>1/3p>1/3)はもつれの条件と一致するが、超高密度符号で得をする条件(p>0.748p>0.748)はそれより厳しく、もつれの使い道は手続きによって違った。

次の章(第3部第7章)では、この章で上限として使った Holevo 量が、長い符号を使えば実際に達成できること(Holevo–Schumacher–Westmoreland の定理)と、雑音のある量子チャネルの通信路容量を扱う。この章の超高密度符号は、そこで「もつれを補助に使った古典容量」の最も簡単な場合として現れる。

この章の道具

  • 資源:[c→c][c\to c]・[q→q][q\to q]・[qq][qq]。超高密度符号 [q→q]+[qq]⪰2[c→c][q\to q]+[qq]\succeq2[c\to c]、テレポーテーション 2[c→c]+[qq]⪰[q→q]2[c\to c]+[qq]\succeq[q\to q]。
  • D(ρ^AB ∥ π^A⊗ρ^B)=ln⁡dA−S(A ∣ B)=[ln⁡dA−S(A)]+I(A;B)D(\hat\rho_{AB}\,\|\,\hat\pi_A\otimes\hat\rho_B)=\ln d_A-S(A\,|\,B)=[\ln d_A-S(A)]+I(A;B)。
  • 信号を送れないこと:Tr⁡A[(NA⊗id)ρ^AB]=ρ^B\operatorname{Tr}_A[(\mathcal N_A\otimes\mathrm{id})\hat\rho_{AB}]=\hat\rho_B。Holevo 限界:I(X;Y)≤χ≤ln⁡dI(X;Y)\le\chi\le\ln d。
  • 超高密度符号の情報量 C=ln⁡dA+S(B)−S(AB)C=\ln d_A+S(B)-S(AB)、得は max⁡{0,−S(A ∣ B)}\max\{0,-S(A\,|\,B)\}。
  • テレポーテーションの恒等式 (3.6.15)。補正 Zm1Xm2Z^{m_1}X^{m_2}。古典ビットは2個必要。
  • 標準の手続きの平均忠実度 f=(2F+1)/3f=(2F+1)/3、古典の上限 2/32/3。

総合問題 部分的にもつれた対の使い道を比べる ★★★

オリジナルAlice と Bob が ∣ψθ⟩=cos⁡θ∣00⟩+sin⁡θ∣11⟩| \psi_\theta \rangle =\cos\theta| 00 \rangle +\sin\theta| 11 \rangle を共有している。θ=π/8\theta=\pi/8 とし、c2=cos⁡2(π/8)=0.8536c^2=\cos^2(\pi/8)=0.8536 と書く。

  1. (1) (使う道具:第3部第2章/3.6.1節)S(A)S(A)、S(A ∣ B)S(A\,|\,B)、I(A;B)I(A;B) を nat で求めよ。
  2. (2) (使う道具:3.6.2節・3.6.3節)この対1組で超高密度符号を行ったときに送れる古典情報量 CC をビットで求め、もつれを使わない場合と比べよ。
  3. (3) (使う道具:3.6.4節・3.6.5節)この対をそのまま使って標準の手続きでテレポーテーションを行ったときの一重項の割合 FF と平均忠実度 ff を求め、古典の上限と比べよ。
  4. (4) (使う道具:第3部第4章 の濃縮/3.6.4節)この対を n=1000n=1000 組集めて局所操作と古典通信で ∣Φ+⟩| \Phi^+ \rangle に濃縮すると、およそ何組の ∣Φ+⟩| \Phi^+ \rangle が得られるか。それを使って誤りなく移せる量子ビットの数と、そのために要る古典ビットの数を答えよ。
  5. (5) (使う道具:第3部第5章 の CHSH の不等式)2量子ビットの状態の相関行列 Tij=Tr⁡[ρ^ (σi⊗σj)]T_{ij}=\operatorname{Tr}\bigl[\hat\rho\,(\sigma_i\otimes\sigma_j)\bigr](σi=X,Y,Z\sigma_i=X,Y,Z)について、TTTT^{\mathsf T}T の大きい方から2つの固有値を t1≥t2t_1\ge t_2 とすると、CHSH の量の最大値は 2t1+t22\sqrt{t_1+t_2} である(第3部第5章 定理 3.5.4)。この対の最大値を求め、局所実在論の上限 22 と比べよ。
解答

(1) Schmidt 係数は (c2,1−c2)=(0.8536,0.1464)(c^2,1-c^2)=(0.8536,0.1464)。S(A)=hb(0.8536)=0.4165S(A)=h_{\mathrm b}(0.8536)=0.4165 nat。全体は純粋なので S(AB)=0S(AB)=0、S(A ∣ B)=−S(B)=−0.4165S(A\,|\,B)=-S(B)=-0.4165 nat、I(A;B)=2S(A)=0.8330I(A;B)=2S(A)=0.8330 nat。条件付きエントロピーが負なので、超高密度符号で得をする。

(2) 定理 3.6.4 から C=ln⁡2+S(B)−S(AB)=0.6931+0.4165=1.1096C=\ln2+S(B)-S(AB)=0.6931+0.4165=1.1096 nat =1.6009=1.6009 ビット。もつれを使わない1ビットより 0.60090.6009 ビット多い。この得は −S(A ∣ B)/ln⁡2-S(A\,|\,B)/\ln2 ビットで、ちょうど S(A)S(A) を ebit で数えた値に等しい。Bob が受け取る系は4次元なので Holevo 限界は2ビットで、∣Φ+⟩| \Phi^+ \rangle に比べて 0.400.40 ビット少ない。

(3) ⟨Φ+∣ψθ⟩=(cos⁡θ+sin⁡θ)/2\langle \Phi^+ | \psi_\theta \rangle =(\cos\theta+\sin\theta)/\sqrt2 なので F=(1+sin⁡2θ)/2=(1+1/2)/2=0.8536F=(1+\sin2\theta)/2=(1+1/\sqrt2)/2=0.8536。この手続きの平均忠実度は一般の共有状態でも f=(2F+1)/3f=(2F+1)/3 なので f=(2+sin⁡2θ)/3=0.9024f=(2+\sin2\theta)/3=0.9024。古典の上限 2/32/3 を 0.2360.236 上回るが、11 には届かない。

(4) 純粋状態の濃縮の割合は、1組あたり S(A)S(A) を ebit で数えた値 0.4165/0.6931=0.60090.4165/0.6931=0.6009 ebit である。n=1000n=1000 組からおよそ 601601 組の ∣Φ+⟩| \Phi^+ \rangle が得られる(nn が大きい極限での割合で、有限の nn では少し下回る)。それぞれで1個ずつテレポーテーションできるので、誤りなく移せる量子ビットはおよそ 601601 個、要る古典ビットはその2倍のおよそ 12021202 個である。(3) では1組ごとに忠実度 0.900.90 で移したのに対し、ここでは数を 0.600.60 倍に減らす代わりに誤りをなくしている。

(5) ρ^=∣ψθ⟩⟨ψθ∣\hat\rho=| \psi_\theta \rangle \langle \psi_\theta | で計算すると、Tr⁡ρ^(X⊗X)=2cos⁡θsin⁡θ=sin⁡2θ\operatorname{Tr}\hat\rho(X\otimes X)=2\cos\theta\sin\theta=\sin2\theta、Tr⁡ρ^(Y⊗Y)=−sin⁡2θ\operatorname{Tr}\hat\rho(Y\otimes Y)=-\sin2\theta、Tr⁡ρ^(Z⊗Z)=1\operatorname{Tr}\hat\rho(Z\otimes Z)=1 で、非対角の成分は 00。T=diag(sin⁡2θ,−sin⁡2θ,1)T=\mathrm{diag}(\sin2\theta,-\sin2\theta,1) なので TTTT^{\mathsf T}T の固有値は 1,sin⁡22θ,sin⁡22θ1,\sin^22\theta,\sin^22\theta で、最大値は 21+sin⁡22θ=21.5=2.4492\sqrt{1+\sin^22\theta}=2\sqrt{1.5}=2.449 で、上限 22 を超える。(2)〜(5) の4つの使い道のどれでも、この対は積状態を上回るが、上回る程度は使い道ごとに別の量(−S(A ∣ B)-S(A\,|\,B)、一重項の割合、濃縮の割合、相関行列)で決まる。

木下の勉強ステータス

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

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

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