スタビライザ形式とクリフォード群

状態を「振幅」でなく「対称性」で書く

n量子ビットの状態ベクトルは2のn乗個の複素振幅を持ち、量子ビットを増やすと指数的に膨れます。ところが量子誤り訂正やもつれ生成で現れる状態の多くは、この振幅を全部書き下さなくても、はるかに小さな情報で一意に決まります。鍵は状態そのものではなく、その状態を変えずに固定する演算子に注目することです。

ある状態 |ψ> に対しパウリ演算子 g が g|ψ> = |ψ>（固有値 +1）を満たすとき、g は |ψ> を**スタビライズする（安定化する）**といいます。例えばベル状態 (|00>+|11>)/√2 は X⊗X でも Z⊗Z でも +1 固有状態です。この2つを指定すれば、4次元空間のなかで +1 に固定される状態は (|00>+|11>)/√2 ただ1つに絞られます。振幅の列挙なしに、2個の演算子だけで状態が決まったことになります。これがスタビライザ形式（stabilizer formalism）の出発点です。

パウリ群という土台

スタビライザ形式の演算子は、すべてパウリ群の要素です。1量子ビットのパウリ演算子は恒等 I とパウリ行列 X・Y・Z で、これに位相因子 ±1, ±i を付けたものが1量子ビットパウリ群です。n量子ビットではこれらのテンソル積、例えば X⊗I⊗Z⊗… を考え、全体を n 量子ビットパウリ群 Pn と呼びます。

パウリ群には、スタビライザ形式を支える2つの決定的な性質があります。

• 任意の2元は可換か反可換のいずれか：2つのパウリ演算子 P と Q は、必ず PQ = QP（可換）または PQ = -QP（反可換）を満たす。中間はない。各量子ビット位置で X と Z が何回すれ違うかの偶奇だけで符号が決まるためです。
• 積で閉じる：パウリ演算子どうしの積はまたパウリ演算子。X·Z = -iY のように位相因子は付くが、群として閉じている。

この「可換か反可換か」の二択が、後で誤りシンドロームを +1 / -1 の並びとして読み取れることの根拠になります。

クリフォード群：パウリを保つユニタリ

スタビライザ状態にゲートをかけると生成元はどう変わるか。ここでクリフォード群（Clifford group）が主役になります。クリフォード群とは、共役操作 U·P·U† がふたたびパウリ演算子になるようなユニタリ U 全体、すなわちパウリ群を自分自身に写す（正規化する）ユニタリの集合です。

決定的なのは次の帰結です。g が |ψ> をスタビライズするとき、U|ψ> をスタビライズするのは U g U† であり、これは U がクリフォードなら再びパウリ演算子になります。

g|ψ> = |ψ>  ならば  (U g U†)(U|ψ>) = U g |ψ> = U|ψ>
→ U|ψ> のスタビライザ生成元は U g U†（クリフォードなら再びパウリ）

つまりクリフォードゲートの適用は、状態ベクトルを更新する代わりに、n個の生成元それぞれをパウリ演算子として付け替えるだけで追跡できます。クリフォード群は有限個の生成元 {H, S, CNOT} で（大域位相を除き）すべて生成できます。各ゲートがパウリ演算子をどう写すかは固定の規則で、代表例は次の通りです。

H:    X -> Z,   Z -> X          （XとZを入れ替える）
S:    X -> Y,   Z -> Z          （位相ゲート。XをYへ回す）
CNOT: X⊗I -> X⊗X,  I⊗X -> I⊗X   （制御ビットのXを標的へ伝搬）
      Z⊗I -> Z⊗I,  I⊗Z -> Z⊗Z   （標的ビットのZを制御へ伝搬）

これらの写像はパウリ演算子1個あたり定数個の位置しか触らないため、1ゲートの更新コストは量子ビット数に対して線形以下です。1量子ビットゲートとしての H・S・X・Y・Z の行列的な意味は 量子ゲートと量子回路 を参照してください。クリフォードゲートは、そこで挙げた {H, S, CNOT} にちょうど対応します。

ゴッタスマン・クニル定理：クリフォードは古典で追える

以上を総合すると、驚くべき結論が導けます。**ゴッタスマン・クニル定理（Gottesman–Knill theorem）**は、次の条件をすべて満たす量子回路は古典計算機で効率的（多項式時間）にシミュレートできると主張します。

• 初期状態が計算基底状態（例 |00…0>）などのスタビライザ状態である。
• 使うゲートがクリフォードゲート（H・S・CNOT とそれらの積）だけである。
• 測定が計算基底での測定である。

理由はこれまでの積み上げそのものです。状態はつねにn個のパウリ生成元で表せ、各クリフォードゲートは生成元をパウリ演算子として更新するだけで、指数的な振幅を触りません。実装では生成元（と、可換関係を追う「デスタビライザ」）を2値のタブロー（tableau）——各生成元の X 成分・Z 成分・符号を並べたビット表——で持ちます。Aaronson–Gottesman のアルゴリズムでは1個のクリフォードゲートは O(n)、計算基底測定は最悪でも O(n²) で処理でき、いずれも量子ビット数の多項式で収まります。

誤り訂正符号への応用

スタビライザ形式が最も威力を発揮するのが**量子誤り訂正（QEC）**です。多数の物理量子ビットで1つの論理量子ビットを守る符号のほぼすべてが、この形式で統一的に記述されます。

考え方はこうです。n物理量子ビットに対し、正しい符号語（論理状態）をすべて +1 固有状態とするパウリ生成元を n - k 個選び、これをスタビライザ生成元とします。すると +1 固有空間の次元は 2^(n-k) / 2^(n-k) ... の勘定で 2^k となり、そこに k 個の論理量子ビットが収まります。これを [[n, k, d]] 符号と表記します。

• 測るのは生成元だけ：正しい状態では全生成元が +1。誤り（パウリ演算子）が入ると、それと反可換な生成元だけが -1 を返す。この -1 の並びがシンドロームで、論理情報 α, β には一切触れないため重ね合わせを壊さずに誤り位置を特定できる。
• 論理演算子は別枠：全生成元と可換だが、どの生成元でもないパウリ演算子が論理 X・論理 Zであり、符号化された量子ビットの中身を操作する。
• 符号距離 d：論理演算子として作用してしまう最小の物理パウリ重み。距離 d の符号は (d-1)/2 個までの誤りを確実に訂正できる。

スタビライザ形式は、符号の設計だけでなくフォールトトレラント演算の解析にも直結します。論理ゲートがクリフォードの範囲に収まる限り、その効果はスタビライザ生成元の付け替えとして正確に追跡でき、テレポーテーションを使った論理演算（量子テレポーテーションと超密度符号化）の正しさもこの言葉で検証されます。一方でスタビライザ状態は複製できず、これは 複製不可能定理 と同じパウリ代数・線形性から従います。

まとめ

スタビライザ形式は、指数的に膨れる状態ベクトルを、それを +1 で固定するパウリ生成元の集合という多項式サイズの情報に置き換える技法です。クリフォード群はパウリ群を正規化するユニタリの集合で、{H, S, CNOT} で生成され、その適用は生成元の付け替えだけで正確に追跡できます。ここからゴッタスマン・クニル定理——クリフォード回路と基底測定は古典で効率シミュレート可能——が導かれ、量子計算の真の難しさが非クリフォード（マジック）にあることを明らかにします。そして同じ枠組みが [[n, k, d]] 符号として量子誤り訂正の共通言語となり、状態を壊さずシンドロームだけを読む QEC の原理を支えています。関連して 量子ゲートと量子回路 と 量子誤り訂正 も参照してください。