測定型量子計算（クラスタ状態）

「ゲートを掛ける」から「測る」へ

標準的な量子計算は、初期状態にユニタリゲートを次々に作用させ、最後に測定する 量子回路モデル で語られます。ここでは測定は計算の最後に置かれる「読み出し」でした。測定型量子計算（MBQC: Measurement-Based Quantum Computation、別名 one-way 量子計算） はこの役割を逆転させます。まず大きくもつれた状態（クラスタ状態）を1つ用意し、あとは個々の量子ビットを1つずつ測定していくだけで計算を進めるのです。

驚くのは、測定という一見「情報を壊す」操作だけで任意の量子計算ができる点です。鍵は、もつれをあらかじめ資源として作り込んでおき、各測定でどの向きに測るか（測定角）を選ぶことに計算を埋め込む発想にあります。この記事では、クラスタ状態の定義、1量子ビット測定がなぜゲートとして働くか、確率的な結果を吸収する適応的測定、そして回路型との等価性までを順に追います。

グラフ状態とクラスタ状態の定義

MBQC の資源となる状態は、まずグラフ状態として一般的に定義できます。頂点と辺からなるグラフ G を用意し、次の手順で作ります。

1. 各頂点に1量子ビットを置き、全て |+> = (|0> + |1>)/√2 に初期化する。
2. 辺で結ばれた頂点の対ごとに、制御Zゲート CZ を作用させる。

CZ は基底 |00>, |01>, |10>, |11> を |00>, |01>, |10>, -|11> に写す対称なゲートで、両ビットがともに |1> のときだけ位相 -1 を付けます。クラスタ状態は、このグラフが2次元格子（碁盤の目）になった特別なグラフ状態を指します。1次元鎖なら「線形クラスタ状態」です。

グラフ状態 |G> の作り方（頂点集合 V, 辺集合 E）:

  |G> = ( 積[ (i,j) ∈ E ] CZ_ij ) · |+>^(⊗ 全頂点)

線形クラスタ（4量子ビット鎖 1-2-3-4）の例:
  初期:  |+>_1 |+>_2 |+>_3 |+>_4
  適用:  CZ_12, CZ_23, CZ_34   （順序は任意＝全て可換）

グラフ状態はスタビライザー形式でも特徴づけられます。頂点 a に対し、X_a と、a に隣接する全頂点の Z の積が安定化演算子になります。この演算子群の固有値 +1 の同時固有状態がグラフ状態です。

各頂点 a のスタビライザー:  K_a = X_a · 積[ b ∈ N(a) ] Z_b
   （N(a) は a に隣接する頂点集合）
グラフ状態 |G> は全ての a について  K_a |G> = |G>  を満たす唯一の状態

1量子ビット測定がゲートになる仕組み

計算の駆動力は、クラスタ上の各量子ビットを XY 平面の角度 φ で測定することです。これは測定基底 {|+φ>, |−φ>} を選ぶことに相当します。

測定基底（角度 φ）:
  |+φ> = (|0> + e^(iφ) |1>) / √2
  |−φ> = (|0> − e^(iφ) |1>) / √2

  φ = 0   → X 基底（{|+>, |−>}）での測定
  φ = π/2 → Y 基底での測定

なぜこれがゲートになるのか。最小単位である2量子ビットの線形クラスタ（|+>_1 |+>_2 に CZ_12）で見ます。量子ビット1に任意の入力状態 |ψ> を用意し、これを角度 φ で測定すると、量子ビット2には入力に既知のユニタリが掛かった状態がテレポートされます。測定結果を s ∈ {0, 1}（|+φ> なら s=0）とすると、次が成り立ちます。

入力 |ψ> を量子ビット1に載せ、φ で測定して結果 s を得ると、
量子ビット2の状態は:

   X^s · H · Rz(−φ) · |ψ>

  Rz(θ) = 位相回転 diag(1, e^(iθ))
  H     = アダマール（基底の入れ替え）
  X^s   = s=1 のときだけ付くパウリX（副産物）
  ※ 測定基底を |±φ> = (|0> ± e^(iφ)|1>)/√2 と定めた本記事の規約では、
     注入される回転の符号は −φ になる（基底を e^(−iφ) で定義すれば +φ）。

つまり1回の測定で Rz(−φ) の後に H という決まったゲートが隣のビットへ注入されます（回転角の符号は上記の基底規約に由来し、適応補正でも一貫して扱えるので実装上は問題になりません）。この動作は本質的に 量子テレポーテーション と同じで、ベル測定の代わりに1量子ビット測定を使い、測定角に望みのゲートを埋め込んでいると理解できます。鎖を長くして測定を連ねれば、H·Rz(−φ_1)、H·Rz(−φ_2)、… の合成として任意の1量子ビットユニタリを構成できます（3つの回転で任意の1量子ビット操作を表せるため、鎖長5程度で十分）。

適応的測定：副産物を吸収する

副産物パウリを放置すると、後続の測定角がずれて計算が壊れます。核心はパウリ演算子を測定角の付け替えで打ち消せるという関係です。測定しようとしているビットの手前に副産物 X や Z が溜まっていると、実効的な測定角が符号反転・位相反転を受けます。

副産物が測定に与える影響（角度 φ で測ろうとするビットに X^x Z^z が付いている場合）:

   実効的な測定角 φ' = (−1)^x · φ + z·π

  → 過去の測定結果 x, z に応じて、実際に測る角度を φ から φ' に変える

したがって MBQC の実行は、過去の測定結果を見てから次の測定角を決めるという逐次適応が必須になります。これが**適応的測定（adaptive measurement）**あるいはフィードフォワードです。全ビットを同時に測るのではなく、依存関係の順に測定し、結果を後段へ伝えて角度を補正します。

# 線形クラスタ上の適応的測定（擬似コード）
x, z = 0, 0                       # 累積した副産物パウリの指数
for k in 測定順序:
    phi_k  = 目標ゲートが要求する角度[k]
    phi_eff = ((-1) ** x) * phi_k + z * pi   # 適応補正
    s = measure(qubit[k], angle=phi_eff)     # s ∈ {0,1}
    x, z = update_byproduct(x, z, s, k)      # 結果を次段の x,z に反映
# 最終出力ビットには X^x Z^z の副産物が残る
#   → 古典的に記録しておき、読み出し結果をビット反転で解釈すれば済む

副産物が最終出力にだけ残る場合は、補正すら不要です。出力ビットに掛かる X^x Z^z は既知なので、測定して得た古典ビット列を、記録しておいた x で反転して解釈すればよいだけです。計算の途中で非クリフォードゲートの手前に副産物が来たときにのみ、実際の角度変更が必要になります。

エンタングルの向きと二次元クラスタ

1次元鎖だけでは1量子ビットゲートしか作れません。2量子ビットゲート（もつれを操作する CZ や CNOT）を実現するには、格子の縦方向の辺を使って2本の鎖を結びます。二次元クラスタ状態では、横方向の鎖が各論理量子ビットの「時間発展（ゲート列）」を、縦方向の辺が論理量子ビット間の「2量子ビットゲート」を担う、という役割分担で回路を敷き詰められます。

二次元クラスタの読み方（概念図）:

  横方向（→）: 1本の鎖 = 1本の論理量子ビットの時間軸。測定で1qビットゲートを注入
  縦方向（↓）: 鎖と鎖をつなぐ辺 = 論理量子ビット間の CZ / CNOT を実現

  行1: ●─●─●─●─●   （論理qビット A の時間発展）
         │       │
  行2: ●─●─●─●─●   （論理qビット B の時間発展）

こうして「横＝時間、縦＝量子ビット」と見ると、回路図をそのまま格子の測定パターンへ翻訳できます。回路の各ゲートは、対応する測定角とエンタングル辺の組に置き換わります。

ゲート型との等価性

MBQC と回路型が**厳密に等価（どちらも普遍量子計算）**であることは、双方向の変換で示せます。

• 回路 → MBQC：任意の量子回路を {CZ, 1量子ビット測定} のパターンへ機械的にコンパイルできる。各ゲートをテレポーテーション型の測定に置き換え、依存関係を測定順に落とし込む。
• MBQC → 回路：クラスタ状態の生成は CZ の並び、各測定は「補助ビットを付けて測る」回路で表せる。よって MBQC の実行は回路として書き下せる。

両者は同じ計算能力を持ちますが、資源と時間の使い方が対照的です。回路型はゲートを直列に流し、もつれをその都度作ります。MBQC はもつれを先に一括生成し、あとは測定を進めるだけ。この違いを整理します。

フォールトトレランスとの接続

クラスタ状態は誤り耐性の観点でも重要です。三次元クラスタ状態上での MBQC は、表面符号（トポロジカル符号）によるフォールトトレラント量子計算と等価に定式化でき、測定パターンの中に誤り訂正を織り込めます。測定結果のシンドロームから誤り位置を推定し、それを副産物補正へ組み込めば、物理的な誤りを許容しながら論理計算を進められます。決定的なもつれゲートは難しいが測定は容易という光量子計算とも相性が良く、「大きなクラスタを作って測る」路線が有力視されています。

まとめ

測定型量子計算は、もつれを先に作り、測定だけで計算を進めるという発想の転換です。資源となるクラスタ状態は全 |+> に可換な CZ を掛けたグラフ状態で、順序フリーに並列生成できます。計算の本体は各量子ビットを XY 平面の角度 φ で測ることにあり、1回の測定はテレポーテーション的に X^s·H·Rz(−φ) を隣へ注入します。ただし結果 s が確率的なため副産物パウリが付き、これを打ち消すよう後続の測定角を過去の結果に応じて変える適応的測定が不可欠です。依存関係さえ守れば MBQC は回路型と厳密に等価で、非クリフォード測定の段数が実効的な計算の深さを決めます。もつれ生成と測定を分離できる構造は光量子系や三次元クラスタによるフォールトトレラント設計と好相性で、回路型のゲートモデルとは別ルートで普遍量子計算へ至る、もう一つの正統な計算モデルです。