量子誤り緩和（ZNE・PEC）

緩和と訂正はどう違うのか

量子誤り訂正（QEC）は、多数の物理量子ビットで1つの論理量子ビットを冗長符号化し、状態を壊さずシンドロームだけ測って誤りをその場で復元する仕組みでした。強力ですが、論理量子ビット1個に数百〜数千の物理量子ビットを要し、物理誤り率がしきい値を下回っている必要があります。NISQ 世代の実機はこの冗長化に足りず、誤り率もしきい値ぎりぎりです。

そこで登場するのが**量子誤り緩和（quantum error mitigation, QEM）**です。発想が根本的に違います。緩和は誤りを訂正せず、壊れた出力をそのまま受け取ったうえで、多数回の実行から得た統計量（期待値）を後処理で補正します。守るのは1発ごとの量子状態ではなく、⟨O⟩ = ⟨ψ|O|ψ⟩ のようなオブザーバブルの期待値ただ1つです。

ZNE：ノイズを増やして0へ引き戻す

ゼロノイズ外挿（Zero-Noise Extrapolation, ZNE）は最も広く使われる緩和法です。着想は逆説的で、「ノイズをわざと増やす」ことから始めます。

手順はこうです。実機のノイズ強度を基準の λ = 1 とし、これを人工的に λ = 1, 2, 3, … と数倍に増幅して、それぞれで同じオブザーバブルの期待値 E(λ) を測ります。得られた (λ, E(λ)) の点列を関数で当てはめ、物理的には到達できない λ = 0（ノイズ皆無）へ外挿した値を推定値とします。

測定:  E(1), E(2), E(3), …   （ノイズ倍率 λ ごとの期待値）
外挿:  E(λ) を λ の関数でフィット → E(0) を推定値とする

ノイズを増やす代表的な手段が2つあります。

• ユニタリ・フォールディング：各ゲート G を G G† G に置き換える。数学的には G† G = I なので理想的には恒等で回路の論理は不変ですが、ゲートを3倍通す分だけノイズが約3倍に増えます。段数を選べば λ = 1, 3, 5, … と離散的に増幅できます（量子ゲートがユニタリで G†G = I を満たす性質を逆用しています）。
• パルスストレッチ：ゲートを実装する制御パルスの時間軸を引き伸ばし、実行時間に比例して蓄積するデコヒーレンス誤りを連続的に増やす。

外挿モデルの選択が精度を左右します。

PEC：ノイズ演算の「準確率」で理想を合成する

確率的誤りキャンセル（Probabilistic Error Cancellation, PEC）は、原理的に不偏（バイアスのない）推定を与える点で ZNE より強い保証を持ちます。代償は重いコストで、ノイズの精密な事前特性評価を要します。

出発点は、実機で実際に打てるノイズありの演算の集合です。理想的に実行したいゲート G_ideal を、これらノイズ演算 {O_1, O_2, …} の線形結合で表します。

G_ideal = Σ_i  q_i · O_i        （O_i は実機で実行可能なノイズ演算）

ここで係数 q_i は負の値を許すのが要点です。合計は Σ_i q_i = 1 に正規化されますが、負を含むため確率分布ではありません。これを**準確率分布（quasi-probability distribution）**と呼びます。負の係数こそが、ノイズを打ち消して理想ゲートを合成する数学的な仕掛けです。

推定は符号付きのモンテカルロで行います。各ゲート位置で |q_i| に比例する確率で O_i を選んで回路を実行し、測定値に係数の符号 sign(q_i) を掛けて集計します。多数回の平均が理想期待値の不偏推定量になります。

1) 各ゲート位置で |q_i|/γ の確率で O_i を選ぶ
2) その回路を実行し、オブザーバブルを測定
3) 全ゲート分の符号 sign(q_i) の積を測定値に掛ける
4) 多数サンプルを平均 → ⟨O⟩ の不偏推定

PEC が成立するには、各ノイズ演算 O_i を正確に知る必要があります。ゲートセットトモグラフィや、疎なパウリ・リンドブラッドモデルによるノイズ学習で実機のノイズを同定し、その逆を準確率として構成します。しばしばパウリ・トワリング（ゲートの前後にランダムなパウリを挿入して平均し、複雑なノイズを扱いやすいパウリ誤りへ整形する手法）と併用されます。

ZNE と PEC の使い分け

実務では、まず手軽で前提の少ない ZNE を第一手とし、より高い精度と不偏性が要る場面で、特性評価コストを払って PEC を使う、あるいは両者や測定誤差緩和（読み出し誤りの逆行列補正）を組み合わせるのが定石です。いずれも回路を浅く保つことが効果の前提である点は共通します。

緩和は訂正の代わりにならない

最重要の限界を明確にします。誤り緩和はフォールトトレラント量子計算への道ではありません。

• 状態を復元しない：緩和が改善するのは多数ショット平均の期待値だけで、1発ごとの量子状態は壊れたままです。QEC のように誤りを検出・復元して計算を続行できません。
• スケールしない：QEC はしきい値定理により「物理誤り率がしきい値未満なら符号を大きくするほど論理誤り率が指数的に減る」という規模で勝てる保証を持ちます。緩和は逆で、回路が大きくなるほどコスト（PEC のサンプル数、ZNE の分散）が指数的に増え、いずれ現実的な実行回数を超えます。
• 深い回路に無力：緩和が有効なのは、ノイズがまだ信号を完全には埋めていない浅い領域に限られます。誤りが積もって出力が一様ノイズに近づくと、外挿も準確率補正も真値を復元できません。

まとめ

量子誤り緩和は、NISQ 実機で量子誤り訂正が組めない現実への実務的な回答です。誤りを訂正せず、多数ショットから得たオブザーバブルの期待値だけを後処理で真値へ寄せます。ZNE はノイズを増幅して λ=0 へ外挿する手軽な発見的手法（バイアスと分散のトレードオフつき）、PEC は理想ゲートを負係数の準確率で合成する不偏な手法（ただしサンプル数が回路規模に指数増）——という二本柱です。ともに浅い回路でしか働かず、コストが指数的に膨らむため、しきい値さえ越えれば規模で勝てる誤り訂正とは原理的に別物であり、その代替にはなりません。緩和は誤り耐性が実現するまでの「橋渡し」であって、橋の向こう岸そのものではない、という位置づけを正確に押さえることが肝要です。