量子チャネルとノイズモデル

量子チャネルとは：ノイズを写像として扱う

閉じた量子系の発展はユニタリ演算 U で書け、状態は |ψ⟩ → U|ψ⟩ と可逆に変わります。しかし実機の量子ビットは環境と相互作用し、情報が漏れ、状態は一般に純粋でなくなります（NISQとデコヒーレンス 参照）。この「開いた系」の発展を扱うには、状態ベクトルではなく密度行列 ρ を使い、その上に作用する写像として ノイズを記述します。この写像が量子チャネルです。

密度行列は ρ = Σ p_k |ψ_k⟩⟨ψ_k| の形で、純粋状態の確率混合まで含めて表せます。対角成分が測定確率（母集団）、非対角成分がコヒーレンス（位相のそろい）を表します。量子チャネル E は ρ → E(ρ) という「密度行列から密度行列への写像」であり、ノイズ・測定・制御をすべて統一的に扱う枠組みです。

CPTPマップ：物理的に許される写像の条件

任意の写像がチャネルになれるわけではありません。物理的に正当な発展であるために、E は次の2条件を満たす必要があります。これを満たす写像を CPTPマップと呼びます。

• トレース保存（TP: Trace-Preserving）：Tr(E(ρ)) = Tr(ρ) = 1。全確率が1に保たれること。測定確率の総和が勝手に増減してはいけません。
• 完全正（CP: Completely Positive）：E 単体が正（正の ρ を正へ写す）だけでは不十分で、注目系に任意サイズの補助系を付けた合成系上でも正でなければならない、という強い条件です。

クラウス表現：チャネルの実用的な書き方

CPTPマップには具体的で計算しやすい標準形があります。それがクラウス表現（作用素和表現）です。任意のCPTPマップは、有限個のクラウス演算子の集合 {K_i} を使って次のように書けます。

E(ρ) = Σ_i K_i ρ K_i†       （各 K_i は同じ次元の行列）
制約:  Σ_i K_i† K_i = I       （この等式がトレース保存を保証する）

直観的には「確率的に、いずれかの K_i が状態に作用する」という描像です。K_i† K_i の期待値が枝 i の発生確率に対応し、その総和がちょうど恒等演算子 I になることで全確率が保存されます。クラウス演算子が1個だけ（K_0 = U）なら E(ρ) = U ρ U† となり、ユニタリ発展はチャネルの特殊ケースだと分かります。

クラウス演算子の個数（ランク）は、注目系の次元 d に対して高々 d² 個で足ります。1量子ビット（d = 2）なら最大4個で任意のノイズを書けるわけです。

3つの代表ノイズモデル

実機のノイズは、次の3モデルとその組み合わせでよく近似されます。1量子ビットの密度行列を次のように置いて挙動を追います。ここで対角の a・1-a が母集団、非対角の b・b* がコヒーレンスです。

        |0⟩    |1⟩
ρ =  [  a      b   ]
     [  b*    1-a  ]

脱分極チャネル（depolarizing）

確率 p で状態を完全にランダム化（最大混合状態 I/2 に置き換え）、確率 1-p でそのまま、というモデルです。

E(ρ) = (1 - p) ρ + p · (I / 2)
     = (1 - 3p/4) ρ + (p/4)(XρX + YρY + ZρZ)   ← パウリ誤り表現

第2の表現が示すとおり、脱分極は X・Y・Z のパウリ誤りが等確率で起きるモデルと等価です（等方的）。ブロッホ球（ブロッホ球と状態表現 参照）では、球全体が中心へ向かって一様に縮む描像になります。方向によらず縮むため、最も扱いやすく、ベンチマークやシミュレーションの標準ノイズとして多用されます。

位相減衰チャネル（phase damping）

エネルギーは散逸させず、非対角成分（コヒーレンス）だけを削るモデルです。純粋位相緩和に対応し、T2 の物理的な担い手です。

K_0 = [ 1      0    ]      K_1 = [ 0      0   ]
      [ 0    √(1-λ) ]            [ 0     √λ   ]

E(ρ) = [  a          √(1-λ) · b  ]   → 非対角が √(1-λ) 倍に減衰、対角 a・1-a は不変

要点は対角成分（母集団）が完全に保たれること。|1⟩ は |0⟩ に落ちず、エネルギーは失われません。失われるのは位相の情報だけです。パウリ表現では確率的な Z 誤り（位相反転）と等価で、これが誤り訂正で Z エラーとして扱われる正体です。

振幅減衰チャネル（amplitude damping）

励起状態 |1⟩ が確率 γ でエネルギーを放出して |0⟩ へ落ちる、エネルギー散逸のモデルです。T1 の担い手にあたります。

K_0 = [ 1      0     ]      K_1 = [ 0    √γ  ]
      [ 0    √(1-γ)  ]            [ 0     0  ]

K_1 が |1⟩ を |0⟩ へ移す遷移を表します。決定的な違いは、位相減衰と異なり対角成分が変化すること。母集団が |0⟩ 側へ偏り、長時間極限ではすべての状態が基底状態 |0⟩ へ向かいます（熱平衡が絶対零度の理想化）。振幅減衰はエネルギー・位相の両方を壊すため、T2 ≤ 2·T1 の上限もここから来ます。

誤り訂正・緩和がチャネル記述に依存する理由

チャネルとクラウス表現は、抽象論ではなく誤り対策の土台そのものです。

**量子誤り訂正（QEC）**は、連続的なノイズを離散的なパウリ誤りへ「丸めて」扱えることを前提にします（量子誤り訂正 参照）。任意の1量子ビットチャネルはクラウス演算子で書け、各 K_i はパウリ {I, X, Y, Z} の線形結合に展開できます。シンドローム測定という射影が、この重ね合わさった誤りを「どのパウリが起きたか」の離散結果へ畳み込みます。チャネルがクラウス表現を持つこと自体が、誤りの離散化を可能にする数学的根拠です。だから設計者はまず、対象ハードウェアのノイズを脱分極・位相減衰・振幅減衰の組み合わせとしてモデル化します。

誤り緩和（error mitigation）は、訂正を諦める代わりにチャネルのパラメータを既知として結果を補正します（VQE・QAOA など浅い回路で必須）。代表的な手法を挙げます。

• ゼロノイズ外挿（ZNE）：ノイズ強度（実効的な p や γ）を意図的に増幅した複数点で期待値を測り、ノイズ0へ外挿する。チャネルが強度パラメータで連続的に動くという前提に立ちます。
• 確率的誤り相殺（PEC）：ノイズチャネル E の逆写像 E⁻¹ を、実行可能なチャネルの符号付き線形結合（準確率分布）として表し、サンプリングで期待値を補正する。逆写像を構成するには {K_i} の完全な特性評価が不可欠です。

まとめ

量子チャネルは、開いた系のノイズを「密度行列から密度行列への写像」として扱う統一言語です。物理的に正当な写像はCPTPマップ（トレース保存＋完全正）に限られ、それは必ずクラウス表現 E(ρ) = Σ K_i ρ K_i†（Σ K_i† K_i = I）で書けます。ユニタリ発展はその1演算子の特殊ケースにすぎません。実機ノイズは、等方的にIへ縮む脱分極、非対角だけを削りエネルギーを保つ位相減衰（T2）、|1⟩→|0⟩ の散逸を起こす**振幅減衰（T1）**の3モデルで近似され、とくに振幅減衰の非対称性が実機の難しさを生みます。誤り訂正はクラウス展開からのパウリ離散化を、誤り緩和はチャネルパラメータの既知性を前提に成立する——ノイズを正確に写像として書き下すことが、量子計算の信頼性を語るすべての出発点です。