量子オラクルエンジニアリング入門コースを教えています

プログラマーのための正しいオラクルの作り方

IEEE Quantum Week 2026 (QCE26)、トロント、カナダ。

ほとんどの量子加速の主張は、紙の上にしか存在しないオラクルに依存しています。このコースでは、実用的な量子回路をゼロから構築する技術を教えます。

問題を選び、オラクルを構築する

1. 異なるコンピューター

［画像: 量子プロセッサチップを手に頭をかいているロボット］

• CPU、GPU、QPU: 3つのデバイス、3つのワークロード
• QPUの仕事: 平均でより少ないサンプル
• ［画像: 1/ε のオーダー］ サンプルではなく、［画像: 1/ε^2 のオーダー］ クエリ
• 3つの質問: タスクのランダム性、精度、オラクルのコスト
• データベースに対するGroverはデータロードに敗れる
• 損益分岐点: ［画像: t_oracle < t_roll_over * C * P * g］

スライドを見る

2. モンテカルロ法の高速化

［画像: 緑のフェルトテーブルの上を転がる2つのサイコロ］

• クエリ数は実行時間ではない
• ペイオフ量子ビットの角度が勝利確率をエンコードする
• 振幅推定は、その角度を精度εで読み取る
• k腕のベスト: ［画像: k/ε^2 のオーダー］ サンプル vs ［画像: √k/ε のオーダー、対数まで］ クエリ
• 囲碁は質問1に失敗し、バンディットは質問3に失敗する
• Sway: 32x32ボードで10⁻⁴のギャップ
• 同じオラクルの形状が伝染病モデルに適合する

スライドを見る

3. 出荷する

［画像: 未読の設計図の上に置かれた機械部品の開いた箱］

• 契約: ボード、2回の移動、ランダム性テープ、ペイオフ量子ビット
• 1ラウンド: 黒が置き、白が置く、すべての石が転がる
• Qiskitにおけるレジスタレイアウト
• 合法なセル全体での均一な移動選択
• d20を隣接カウントに対する5ビット比較として使用
• 3x3、2ラウンド: 169量子ビット

スライドを見る

4. 設計による可逆性

［画像: カセットテープとそのリボンがループ状に巻き出されている］

• 振幅推定はロールアウトを順方向と逆方向に実行する
• 古いボードから決定し、シャドウボードに書き込み、古いものを保持する
• インプレース更新は、すでに反転した隣接要素を読み取る
• ボードが変わる前に移動選択スクラッチを消去する
• 計算、コピー、非計算によるペイオフ
• 意味、位相、および逆元の実行可能テスト
• ボードが成長するにつれて量子ビットとゲートの数

スライドを見る

正しく作る

5. ガベージコレクション

［画像: 収集されなかったバッグで溢れたゴミ箱］

• 可逆回路には削除がない
• エンタングルしたスクラッチは干渉を壊す
• ベネット: 計算、コピーアウト、非計算
• 逆元は順方向パスと同じ入力を見る必要がある
• ピークスクラッチが量子ビット数を決定する
• クリーンなスクラッチは必要だが十分ではない

6. 消去するための測定

［画像: 包帯で補修されたひび割れた水の瓶、まだ漏れている］

• 教科書では中間での測定をしないように言われている
• コンパイラは量子ビットを再利用するためにスクラッチを測定する
• GidneyのAND†: Toffoliの代わりにX基底測定
• ランダムな符号、1つの位相ゲートで固定される
• 加算器のTゲートの半分
• スクラッチがデータの基底関数を保持している場合に安全

7. 呼び出し規約

［画像: 互いに噛み合う連動ギア、すべての歯が隣にフィットする必要がある］

• 3つのスクラッチクラス: クリーン、借り物、条件付きクリーン
• Qiskitは再利用条件をチェックされていない規約として渡す
• ブロックは自身の条件を破壊する可能性がある
• 2つの正しいブロック、1つの保証されていない境界
• 復元タイプ: 部分空間上のHoare契約
• 12ビットオラクル: 20量子ビットから13へ

8. 証明を持つ回路

［画像: 密封された瓶に入った同一の青い錠剤と、その中に1つの赤い錠剤］

• 真理値表は位相を見ることができない
• 完全基底チェックのコストは2^n
• 証明はLeanカーネルによって再生される
• ゲートごとのチェックには、ゲートセットによる閉包が必要
• Toffoli以降、アサーションは指数関数的に増加する
• ファミリーごとに1つの定理、ミリ秒単位でチェックされる

数え、テストし、評価する

9. 量子が宿る場所

［画像: 本棚から本を引き出す手、隙間から赤い光がこぼれている］

• ステップバイステップで実行されるプロセス
• 任意の2つのステップの間には、古典ビットで十分
• どの古典キャリアもすべてのステップを同時に処理することはできない (Bisio)
• SHIFTSチャネル: 1つの量子ビットを入力し、2つを出力する、それを証明するために構築されたもの
• 量子はステップ間のメモリに宿る

10. 全か無か

［画像: 小さな箱のスタックの上にバランスを取って置かれた大きすぎる箱: 各ピースは安いが、全体はそうではない］

• n個のコピーを実行しても償却されない
• 量子メモリ: nに対してゼロまたは線形、その間はない
• ［画像: log n］および［画像: √n］ のスケーリングは除外される
• 状態を準備する場合も同じ法則
• SHIFTS: コピーあたり少なくとも0.03量子ビット
• 定数付きの定理

11. 信頼せず、テストせよ

［画像: 真ん中に腐ったリンゴが隠された赤いリンゴのバスケット］

• 単一量子ビット測定のみのテスト
• 正しいデバイスは毎回パスする
• q個のメモリ量子ビットは、確率［画像: 2^q * (1-γ)^n］ 以下でパスする
• メモリが少なすぎると指数関数的に速く失敗する
• デバイスはブラックボックスのままである

12. 次の主張を監査する

［画像: 誰もチェックできない速さでクリップボードから飛び散るページ］

• AI時代の仮定: 計算があらゆるギャップを埋める
• ［画像: 1/g^2 の壁］: 微小なギャップ、還元不可能なランダム性
• 弱いベースライン、実行時間として販売されるクエリ数
• 無視された並列処理、タスクのランダム性としてのソルバーランダム性
• 「オラクルアクセスを仮定する」の背後に隠されたオラクルのコスト
• ヘッドラインの主張に対する3つの質問、ライブ

ライブチュートリアルアジェンダ

セッション1 (90分): レッスン1と2、加速する価値のある問題の特定。スライド (PDF)

セッション2 (90分): レッスン3と4、ロールアウトオラクルの構築。スライド (PDF)

量子ビット、制御ゲート、回路図に慣れた実践者および研究者向け。

Taught by Nishant Shukla · Art by Lazybuns