組合せ最適化問題を量子系として読む
組合せ最適化問題をIsingハミルトニアンへ写し、横磁場で重ね合わせを作り、断熱時間発展で低エネルギー状態へ運ぶ見方をたどります。
物性物理学特論第八 2026量子アニーリングから拡散モデルへ
東京科学大学理学院物理学系 2026年度集中講義ノート
Skip to content
全体の見取り図
組合せ最適化問題をハミルトニアンの基底状態探索として読み替えるところから出発し、量子アニーリングの断熱条件、有限時間での追随を助ける反断熱項、ゲート型量子計算におけるQAOA、有限温度量子系の古典対応へ進みます。後半では、虚時間量子力学と確率過程をつなぎ、拡散モデルのscoreを反断熱的な補正として捉え直します。
| 日程 | 主題 | 読みどころ |
|---|---|---|
| 9/1 | 量子アニーリングの基礎と断熱追随 | 組合せ最適化問題のIsing化、Pauli行列、横磁場ドライバー、断熱定理の導出、局所断熱条件、反断熱項 |
| 9/2 | QAOA、最適制御、有限温度量子系 | QAOAのTrotter表示、最適制御とPontryagin原理、SA/SQA、Suzuki-Trotter分解、p-spin模型、静的近似 |
| 9/3 | 虚時間量子力学と拡散モデル | Fokker-Planck方程式、Langevin方程式、Schrodinger bridge、SUSY分解、Boltzmann machine、score-based diffusion、反断熱項としてのscore |
| 補遺 | 量子力学の基礎 | Schrodinger方程式、波動関数、Fourier変換、演算子、交換関係、反交換関係、期待値、Kennard--Robertsonの不確定性関係 |
| 補遺 | 量子コンピュータの要素 | 二準位系、量子ビットの作り方、超伝導量子ビット、Pauli行列、テンソル積、横磁場Ising模型 |
| 補遺 | Landau-Zener遷移 | 二準位ハミルトニアン、避けられた交差、Landau-Zener公式、断熱条件と横磁場の役割 |
| 補遺 | グローバー探索問題 | データベース探索、二次元部分空間への縮約、エネルギーギャップ、局所断熱スケジュール、 |
| 補遺 | QAの収束定理 | 横磁場Ising型QA、断熱条件、ギャップ下限、森田・西森型スケジュール、SA補遺のSomma対応との接続 |
| 補遺 | AQCと量子アニーリングの広がり | QA/AQC/StoqAQCの用語整理、厳密な断熱定理、stoquastic性、一次相転移による小ギャップ、触媒ハミルトニアン、diabatic QA、量子スピードアップの分類 |
| 補遺 | これからの量子アニーリング | 2018年前後の見通し、現在の大規模量子アニーリング実験、最適化応用とベンチマーク、ハミルトニアン設計、研究指針 |
| 補遺 | 量子アニーリング応用事例とQUBO設計 | 道路交通、避難、商品陳列、AGV、通信路復号、製造、材料探索、機械学習、配車などのQUBO設計史 |
| 補遺 | 制約つきQUBOの分解法 | 半分ずらし、大関法、不等式制約、列生成、Benders分解、ラグランジュ分解、クラスタ合成 |
| 補遺 | Hopfield模型とレプリカ法 | 連想記憶、Hebb則、Hubbard--Stratonovich変換、鞍点方程式、記憶容量、量子Hopfield模型、反強磁性横相互作用 |
| 補遺 | リバースアニーリング | 初期候補解をハミルトニアンへ入れる平均場解析、p-spin模型、ランダム場、CDMA多ユーザ検出への応用 |
| 補遺 | 不均一横磁場駆動 | D-Waveのanneal offset、サイト依存横磁場、p-spin模型の一次転移回避、有限温度と不完全制御 |
| 補遺 | 静的近似の破れ | Trotter時間依存秩序変数、横磁場スピングラス、有限TrotterサイズHopfield模型、準静的近似 |
| 補遺 | 2ベクトル形式とscore | Aharonovの二状態ベクトル形式、弱値、局所運動量、scoreの量子力学的表示 |
| 補遺 | HS変換と大関法 | 制約ペナルティの二乗項、ハバード・ストラトノビッチ変換、補助場とラグランジュ乗数の反復更新 |
| 補遺 | シミュレーテッドアニーリング | MCMC、釣り合い条件、詳細釣り合い条件、Metropolis法、熱浴法、Geman--Gemanの定理、拡張QA、量子断熱定理との対応 |
| 補遺 | 量子アニーリングのシミュレーション手法 | SA、SQA、連続時間QMC、スピンベクトルMonte Carlo、TTSとベンチマーク論文の読み方 |
| 補遺 | 適応的量子モンテカルロ法 | non-stoquasticハミルトニアン、符号問題、補助変数としての横磁化、有効横磁場の反復更新 |
| 補遺 | ボルツマンマシンと量子サンプリング | RBMの学習則、フリーズ現象、有効温度、Kimらの時間依存摂動論、波形からの係数予測と実機較正 |
| 補遺 | 生成モデルの歴史と量子アニーリング | BM、RBM、VAE、GAN、拡散モデル、スコア、QAによる学習・潜在生成・分子設計の研究レビュー |
各回の講義
1日目: 量子アニーリングの基礎: 組合せ最適化問題をIsingハミルトニアンへ写し、横磁場ドライバーから始めて断熱的に目的ハミルトニアンへ移す考え方を整理します。
2日目: QAOA、量子モンテカルロ、p-spin模型: SA/SQAとの対比を置きながら、連続時間の量子アニーリングをゲート列・変分パラメータに落とす見方をまとめます。
3日目: 拡散モデルと量子アニーリング: Fokker-Planck方程式と量子力学的な表示をつなぎ、拡散モデルの時間発展とアニーリングの言葉を対応させます。
補遺: 量子力学の基礎: Schrodinger方程式、Fourier変換、演算子、交換関係、反交換関係、期待値、不確定性関係を、量子アニーリングへ戻れる形で整理します。
補遺: 量子コンピュータの要素: 閉じ込めによる二準位系、超伝導量子ビット、Pauli行列、テンソル積、横磁場Ising模型を、装置と数式の両側から説明します。
補遺: Landau-Zener遷移: 二準位系の避けられた交差から、横磁場、掃引速度、非断熱遷移、断熱条件の意味を読み取ります。
補遺: グローバー探索問題: データベース探索を二次元部分空間へ落とし、エネルギーギャップと局所断熱スケジュールから
を導きます。 補遺: QAの収束定理: 横磁場Ising型の量子アニーリングについて、断熱条件とギャップ下限から森田・西森型の収束スケジュールを導きます。
補遺: AQCと量子アニーリングの広がり: QA、AQC、StoqAQCの違いから始め、厳密な断熱定理、stoquastic性、一次相転移による小ギャップ、non-stoquastic触媒、diabatic QA、量子スピードアップの主張の仕方を整理します。
補遺: これからの量子アニーリング: 2018年前後の慎重な見通しから、2026年時点の大規模量子アニーリング実験、最適化応用、ベンチマーク設計、研究指針までを整理します。
補遺: 量子アニーリング応用事例とQUBO設計: 交通流、避難、商品陳列、AGV、通信路復号、製造スケジューリング、材料探索、機械学習、配車などを、変数、二次項、制約処理の観点から読みます。
補遺: BOCSとFMによるブラックボックス最適化: 代理モデルの学習、Thompson sampling、FMの内積表現、SA・QAへの接続を数値例とともに解説し、研究史と応用文献をたどります。
補遺: 制約つきQUBOの分解法: 半分ずらし、大関法、不等式制約、列生成、Benders分解、ラグランジュ分解、クラスタ合成を、応用事例で使える道具として整理します。
補遺: Hopfield模型とレプリカ法: Hebb則で記憶を相互作用に焼き込み、HS変換と鞍点法で連想記憶の自己無撞着方程式を導き、レプリカ法による容量解析と量子Hopfield模型へ進みます。
補遺: リバースアニーリング: 古典的な候補解から出発する量子アニーリングを、初期ハミルトニアン、p-spin模型、ランダム場、CDMA多ユーザ検出の平均場解析として整理します。
補遺: 不均一横磁場駆動: サイトごとに横磁場を弱める経路設計を、D-Waveのanneal offsetとp-spin模型の鞍点法から読みます。
補遺: 静的近似の破れ: 静的近似で何を捨てているかを振り返り、横磁場スピングラスと有限TrotterサイズHopfield模型を通して、虚時間相関の役割を見ます。
補遺: アハラノフの2ベクトル形式からscoreを見る: 最終日に触れたAharonovの二状態ベクトル形式を使い、scoreを弱値としての局所運動量差として読み直します。
補遺: ハバード・ストラトノビッチ変換と大関法: 制約を二乗ペナルティで入れると全結合が生じる理由から始め、補助場を使って線形化された問題を反復的に解く大関法までを整理します。
補遺: シミュレーテッドアニーリング: MCMCの釣り合い条件から始め、Metropolis法、熱浴法、SA、Geman--Gemanの対数冷却条件、古典分布を量子基底状態へ写す見方、拡張QAと0-representationまでを整理します。
補遺: 量子アニーリングのシミュレーション手法: SA、SQA、連続時間量子Monte Carlo、スピンベクトルMonte Carloを、何を再現し何を捨てているかという観点から整理し、主要ベンチマーク論文の読み方につなげます。
補遺: 適応的量子モンテカルロ法: non-stoquasticな量子揺らぎを、横磁化で決まる有効横磁場へ置き換え、通常の量子モンテカルロ法として反復的に扱う方法を整理します。
数式索引: 3日間に出てくる主要な数式を、断熱定理、反断熱項、QAOA、SQA、p-spin、Fokker-Planck、拡散モデルの順に確認できます。
補遺: GA・SA・QAとHopfの収束評価: 集団の更新行列を具体的に作り、Hopfの定理、定常分布への追従、最適解への集中の三段階からGAの収束を示します。
補遺: 断熱ショートカット（STA）: 二準位系のCD項を基底回転から導き、調和振動子の幅と不変量を使って終点に励起を残さない操作を手計算で設計します。
補遺: ボルツマンマシンと量子サンプリング: 正相・負相の学習則からフリーズ現象へ進み、Kimらの摂動論により量子の位相からボルツマン重みが現れる過程を導きます。
補遺: 生成モデルの歴史と量子アニーリング: BM・RBMからVAE・GAN・拡散モデルへの流れを数式で追い、量子アニーラによる学習・生成の原著研究を比較します。
追加予定
- 虚時間量子アニーリング
- 開放系QAと実機の熱効果
- 量子フーリエ変換
- 交換モンテカルロ法
- レプリカ対称性の破れ
- 深層展開
付録
- 量子測定理論の基本
- キッブル・ズーレック機構
原資料
YouTube講義
講義動画では、式変形の合間に量子アニーリング研究の歴史、アルゴリズム間の比較、生成モデルとの接点、研究テーマの広げ方にも触れています。