tecktom.com

この章のまとめ

2026年10月15日8分で読めますAI生成教科書『虎の巻』第3部 第7章 Holevo 限界と量子通信路容量

AI 生成・木下が未勉強

相対エントロピーから情報と物理を組み立てる 第3部 第7章 §3.7.7 ★★★ cq 状態と積状態の DD が Holevo 量で、測定で DD が減ることが Holevo 限界。容量は Holevo 量の最大値で、DD の球の半径として書ける

比べる2つの状態は、文字と量子状態が相関した cq 状態 ρ^XB=∑xpx∣x⟩⟨x∣⊗ρ^x\hat\rho_{XB}=\sum_xp_x| x \rangle \langle x |\otimes\hat\rho_x と、両者を独立とみなした積状態 ρ^X⊗ρ^B\hat\rho_X\otimes\hat\rho_B で、その DD が Holevo 量 χ=S(ρˉ)−∑xpxS(ρ^x)=∑xpxD(ρ^x ∥ ρˉ)\chi=S(\bar\rho)-\sum_xp_xS(\hat\rho_x)=\sum_xp_xD(\hat\rho_x\,\|\,\bar\rho) である。当てた性質は量子データ処理不等式で、測定を量子チャネルとして書くと、測定の結果の相互情報量は χ\chi を超えない(Holevo 限界)。等号は状態が交換するときに限る。トラインの例では、取り出せる情報 ln⁡(3/2)\ln(3/2) は χ=ln⁡2\chi=\ln2 に届かず、当たる確率を最大にする測定と情報を最大にする測定は別だった。

出てきたものは3つある。χ≤S(ρˉ)≤ln⁡d\chi\le S(\bar\rho)\le\ln d から、dd 次元の系で送れる古典の情報は ln⁡d\ln d まで(1量子ビットで1ビット)で、超高密度符号の2ビットは受け手が測る系が2量子ビットであることから矛盾しなかった。雑音のある量子チャネルの積の入力での古典の容量は出力の Holevo 量の最大値で(HSW の定理)、そこまで届くには多数の信号をまとめて測る必要がある。容量は第1部第6章と同じく、出力の状態の集合を包む DD の球の最小の半径として書け、減極チャネルと消失チャネルの容量がこの形から出た。光の1モードでは容量が熱状態のエントロピー g(nˉ)g(\bar n) で、広帯域の極限では πP/(3ℏ)\sqrt{\pi P/(3\hbar)} になり、第1部第6章で古典の近似が崩れると予告した所が量子の式に置き換わった。

次の章(第3部第8章)では、この章で結果だけ使った2つの状態を見分ける誤り確率の最小値(Helstrom の限界)と、状態がパラメータに連続に依存するときの推定(量子 Fisher 情報)を扱う。量子鍵配送(第3部第10章)では、盗聴者が取り出せる情報をこの章の Holevo 量で押さえる。

この章の道具

  • 測定が作る通信路 W(y ∣ x)=Tr⁡(E^yρ^x)W(y\,|\,x)=\operatorname{Tr}(\hat E_y\hat\rho_x)、取り出せる情報 Iacc=sup⁡I(X;Y)I_{\mathrm{acc}}=\sup I(X;Y)。
  • χ=I(X;B)=D(ρ^XB ∥ ρ^X⊗ρ^B)=∑xpxD(ρ^x ∥ ρˉ)=S(ρˉ)−∑xpxS(ρ^x)\chi=I(X;B)=D(\hat\rho_{XB}\,\|\,\hat\rho_X\otimes\hat\rho_B)=\sum_xp_xD(\hat\rho_x\,\|\,\bar\rho)=S(\bar\rho)-\sum_xp_xS(\hat\rho_x)。
  • Holevo 限界 I(X;Y)≤χ≤S(ρˉ)≤ln⁡dI(X;Y)\le\chi\le S(\bar\rho)\le\ln d。2純粋状態で χ=hb((1+c)/2)\chi=h_{\mathrm b}((1+c)/2)、1つずつ測ると ln⁡2−hb((1−1−c2)/2)\ln2-h_{\mathrm b}\bigl((1-\sqrt{1-c^2})/2\bigr)。
  • HSW:C(1)(N)=max⁡χ({px,N(ρ^x)})=min⁡σ^max⁡τ^D(τ^ ∥ σ^)C^{(1)}(\mathcal N)=\max\chi(\{p_x,\mathcal N(\hat\rho_x)\})=\min_{\hat\sigma}\max_{\hat\tau}D(\hat\tau\,\|\,\hat\sigma)。減極 ln⁡2−hb(p/2)\ln2-h_{\mathrm b}(p/2)、消失 (1−ε)ln⁡2(1-\varepsilon )\ln2。
  • 光の1モード g(nˉ)=(nˉ+1)ln⁡(nˉ+1)−nˉln⁡nˉg(\bar n)=(\bar n+1)\ln(\bar n+1)-\bar n\ln\bar n、純損失 g(ηnˉ)g(\eta\bar n)、広帯域 C=πP/(3ℏ)C=\sqrt{\pi P/(3\hbar)}。

総合問題 弱い光の2位相変調で1光子あたりに送れる情報 ★★★

オリジナル光の1モードのコヒーレント状態 ∣α⟩| \alpha \rangle と ∣−α⟩| -\alpha \rangle(α>0\alpha>0)を確率 1/21/2 ずつで送る(2位相変調)。平均光子数は nˉ=α2\bar n=\alpha^2 で、2つの状態の重なりは∣⟨α∣−α⟩∣=e−2nˉ\lvert \langle \alpha | -\alpha \rangle \rvert =\mathrm{e}^{-2\bar n} である。

  1. (1) (使う道具:3.7.1節・3.7.2節/第3部第2章 の Holevo 量)Holevo 量 χ(nˉ)\chi(\bar n) を nˉ\bar n の式で書け。
  2. (2) (使う道具:3.7.2節/第1部第6章 の2元対称通信路)1パルスずつ対称な射影測定で測るときの誤り確率 PerrP_{\mathrm{err}} と、それを2元対称通信路とみた容量 C1(nˉ)C_{\mathrm{1}}(\bar n) を書け。
  3. (3) (使う道具:3.7.5節)χ(nˉ)≤g(nˉ)\chi(\bar n)\le g(\bar n) がなぜ成り立つかを述べ、nˉ=0.01\bar n=0.01 で χ\chi、C1C_{\mathrm 1}、gg を数値で求めよ。
  4. (4) (使う道具:3.7.4節/第1部第2章 の2値エントロピー)nˉ→0\bar n\to0 で χ≈nˉln⁡(1/nˉ)+nˉ\chi\approx\bar n\ln(1/\bar n)+\bar n、C1≈2nˉC_{\mathrm 1}\approx2\bar n を示し、nˉ=0.01\bar n=0.01 で光子1個あたりに送れる情報(ビット)を χ\chi と C1C_{\mathrm 1} について求めよ。
  5. (5) (使う道具:3.7.4節)χ\chi の速さで送るには受け手はどう測る必要があるか。また (4) の比が nˉ→0\bar n\to0 でどうなるかを述べよ。
解答

(1) 2つの純粋状態の重なりが c=e−2nˉc=\mathrm{e}^{-2\bar n} なので、式 (3.7.7) から χ(nˉ)=hb(1+e−2nˉ2)\chi(\bar n)=h_{\mathrm b}\bigl(\frac{1+\mathrm{e}^{-2\bar n}}{2}\bigr)。

(2) 式 (3.7.8) から Perr=12(1−1−e−4nˉ)P_{\mathrm{err}}=\frac12\bigl(1-\sqrt{1-\mathrm{e}^{-4\bar n}}\bigr)。各パルスは誤り確率 PerrP_{\mathrm{err}} の2元対称通信路になり、第1部第6章からC1(nˉ)=ln⁡2−hb(Perr)C_{\mathrm 1}(\bar n)=\ln2-h_{\mathrm b}(P_{\mathrm{err}})(入力が一様のとき最大)。

(3) ∣±α⟩| \pm\alpha \rangle の平均 ρˉ\bar\rho の平均光子数は α2=nˉ\alpha^2=\bar n で、平均光子数を決めたときのエントロピーの最大値は熱状態の g(nˉ)g(\bar n) なので、χ≤S(ρˉ)≤g(nˉ)\chi\le S(\bar\rho)\le g(\bar n)。nˉ=0.01\bar n=0.01 では c=e−0.02=0.98020c=\mathrm{e}^{-0.02}=0.98020、χ=hb(0.99010)=0.05554\chi=h_{\mathrm b}(0.99010)=0.05554 nat、Perr=0.4010P_{\mathrm{err}}=0.4010、C1=0.01974C_{\mathrm 1}=0.01974 nat、g(0.01)=0.05610g(0.01)=0.05610 nat。2位相変調の Holevo 量は、この光子数で達成できる最大値 gg の 99%99\% に達する。

(4) (1−c)/2=(1−e−2nˉ)/2=nˉ+O(nˉ2)(1-c)/2=(1-\mathrm{e}^{-2\bar n})/2=\bar n+\mathcal{O}(\bar n^2) なので χ=hb(nˉ+O(nˉ2))≈nˉln⁡(1/nˉ)+nˉ\chi=h_{\mathrm b}(\bar n+\mathcal{O}(\bar n^2))\approx\bar n\ln(1/\bar n)+\bar n(hb(x)=xln⁡(1/x)+x+O(x2)h_{\mathrm b}(x)=x\ln(1/x)+x+\mathcal{O}(x^2))。1−c2=1−e−4nˉ≈4nˉ1-c^2=1-\mathrm{e}^{-4\bar n}\approx4\bar n から Perr≈12−nˉP_{\mathrm{err}}\approx\frac12-\sqrt{\bar n} で、ln⁡2−hb(12−δ)≈2δ2\ln2-h_{\mathrm b}(\frac12-\delta)\approx2\delta^2 から C1≈2nˉC_{\mathrm 1}\approx2\bar n。nˉ=0.01\bar n=0.01 では光子1個あたり χ/nˉ=5.554\chi/\bar n=5.554 nat =8.01=8.01 ビット、C1/nˉ=1.974C_{\mathrm 1}/\bar n=1.974 nat =2.85=2.85 ビットである。

(5) HSW の定理(定理 3.7.4)の達成の側から、多数のパルスをまとめて1つの POVM で測る(典型部分空間に基づく測定)必要がある。1パルスずつ測ると速さは C1C_{\mathrm 1} を超えない。比 χ/C1≈12ln⁡(1/nˉ)+12\chi/C_{\mathrm 1}\approx\frac12\ln(1/\bar n)+\frac12 は nˉ→0\bar n\to0 で限りなく大きくなる。光子が乏しいほど、まとめて測ることで1光子あたりの情報が大きく増える。

木下の勉強ステータス

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

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

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