実用的な量子速度増大の実践ガイド：理論からプロトタイプへ

多くの「量子速度増大」に関する主張は、紙の上のみに存在する理想化されたオラクルに依存しています。本コースでは、ゼロから実用的な量子回路を構築する技術を学びます。

1. 問題定義とオラクルの設計

1.1 別のコンピュータ：CPU/GPU/QPU の役割分担

• 三つのデバイスの目的
  • CPU と GPU：それぞれ異なるワークロードに対応します。
  • QPU（量子プロセッサ）：平均クエリ回数に対して、サンプリング数を削減することに特化しています。
• 評価の基準となる 3 つの問い
  1. タスクのランダム性
  2. 精度
  3. オラクルのコスト
• 注意点
  • データベースへのグロバー演算は、データ読み込みコストによって敗北します。
  • そのため、ブリークスイブポイント（損益分岐点）の分析が必要です。

1.2 モンテカルロ法による速度増大

• 基本原理
  • クエリ数自体は実行時間を意味しません。
  • レワードキュービットの角度が勝率を符号化しています。
  • 振幅推定により、その角度を読み取って精度 $\varepsilon$ を達成します。
• 問題設定の比較
  • Best of k arms（最良の $k$ 腕）：サンプリング数とクエリ数の比較を行います。
  • Go は問い①（ランダム性）に失敗します。
  • バンディット問題（多腕 BANDIT）は問い③（オラクルコスト）に失敗します。
• 実用例：Sway
  • 32×32 の盤面において、$10^{-4}$ のギャップを実現しています。
  • この同様のオラクル形状は、流行モデルにも適合します。

1.3 製品化（Ship it）

• 契約内容
  • 盤面、手順二つ、ランダム性テープ、レワードキュービットを定義します。
• ゲームのフロー（一ラウンド）
  1. 黒が打つ
  2. 白が打つ
  3. 全ての石が移動する
• 実装詳細
  • Qiskit レジスタのレイアウトを設計します。
  • 合法なセル全域に対して、均等な移動選択を行います。
  • d20（二十面体ダイス）の実装
    • 隣接する石の数を比較する 5 ビット の操作として実装されます。
    • 3×3 の領域で動作し、二ラウンド分必要となります。
    • 合計 169 クイビット を使用します。

1.4 設計から可逆性を確保する

• 振幅推定の手法
  • ロールアウトを前方と後方両方実行します。
• データ管理
  • 古い盤面から決定を下し、シャドウ盤面に書き込み、元の盤面を保持します。
• インプレース（固定メモリ内）更新
  • 既に反転した隣接セルを読み取ります。
• クリーンアップ
  • 盤面の状態が変更される前に、移動選択の一時データを消去します。
• レワードキュービット
  • 一つに絞り込み、それ以外の情報は全て反転させます。
• スケーリング
  • 盤面が増大するにつれて、必要となるクイビット数とゲート数が拡大します。

---

2. 誤りの排除：回路最適化の技術

2.1 不要データの処理（ガベージコレクション）

• 可逆回路の制約
  • 削除命令は存在せず、エンタングルされた一時データは干渉を破綻させます。
• ベネットの手法 (Uncompute)
  1. 計算を実行する。
  2. 外部にコピーする。
  3. 計算を元に戻す（uncompute）。
• 重要なポイント
  • 逆方向の実装は、順方向と同じ入力を見る必要があります。
  • ピーク時の一時データの量は必要なクイビット数を決定しますが、単に「清潔な状態」にするだけでは十分ではありません。

2.2 測定による消去

• コンパイラの役割
  • 教科書では回路中の測定を避けるよう示されていますが、実際にはコンパイラが一時データを測定してクイビットを再獲得します。
• Gidney の AND†
  • Toffoli ゲートではなく、X ベースの測定を用いる手法です。
• 誤差補正と効率化
  • ランダムな符号（サイン）は一つのフェーズゲートで補正されます。
  • アダー（加算器）では T ゲートの半分しか使用しません。
• 安全性の保証
  • 一時データがデータの基底関数を含んでいる限り安全です。

2.3 コール規約

• 一時データの分類
  1. クリーン（Clean）
  2. 借り物（Borrowed）
  3. 条件付きクリーン（Conditionally Clean）
• リスク要因
  • Qiskit は再利用の条件をチェックせずに渡します（unchecked convention）。
  • ブロックは自身の条件を破棄することがあり、二つの正しいブロックに対し、一つの境界修復タイプが保証されません（ホアール契約のサブ空間版）。
• 例：12 ビットのオラクル
  • 20 クイビットを 13 クイビット に圧縮します。

2.4 証明付き回路（Proof-carrying circuits）

• 真値表の限界
  • 位相（phase）は見ることができず、全基底チェックには $2^n$ のコストがかかります。
• Lean カーネルによる検証
  • 証明書の再生成はゲートごとに行います。
  • ゲート集合に対する閉鎖性が必須です。
• アサーションの増加
  • 過去の Toffoli よりも、アサーションは指数関数的に増大します。
• 効率的な検証
  • ファミリごとに一つの定理を定め、数ミリ秒で検証可能です。

---

3. 計数、テスト、評価

3.1 量子が生きる場所

• プロセスの理解
  • ステップごとの処理であり、任意の二つのステップの間では古典ビットでも事足ります。
  • （Bisio）全てのステップを同時に処理できる単一の変換器（クラスカルキャリア）は存在しません。
• SHIFTS チャネル
  • 一つのクイビットが入り、二つが出力される構造です。
  • これを示すために特別に設計されました。
• 結論
  • 量子の居場所は、ステップ間のメモリにあります。

3.2 すべてか、なにもか（全性または無）

• 量子メモリの特性
  • $n$ 個のコピーを実行しても均等化（amortize）できず、ゼロまたは $n$ に比例するものしかありません。
  • 中間状態は存在しません。
• スケーリング則
  • スケーリング則は否定されており、状態準備についても同様の法則が適用されます。
• SHIFTS の定数
  • コピーあたり少なくとも 0.03 クイビット 必要であり、これは定数を伴う定理です。

3.3 信頼せず、テストせよ

• 単一クイビット測定テスト
  • 正しいデバイスは常に合格します。
• qqubits メモリ
  • 「わずかに」の確率で通過するのみです。
  • 記憶容量が不足すると、失敗確率は指数関数的に急増します。
• アプローチ
  • デバイスをブラックボックスとして扱います。

3.4 次の主張を検証せよ

• AI 時代の前提
  • 計算万能主義がすべてのギャップを埋めると仮定するのは誤りです。
• 存在する壁
  • 微小なギャップ
  • 削減不可能なランダム性
  • 弱いベースライン
• 論理の罠
  • クエリ数を実行時間として販売すること。
  • 並列処理を見逃すこと。
  • ソルバーのランダム性をタスクのランダム性と見なすこと。
  • 「オラクルへのアクセスを前提とする」という仮定の下で、オラクルコストを隠蔽すること。
• 結論
  • ヘッディングの主張について問われるべき 3 つの問いは、現在も存在します。