アディバナティック量子計算
量子計算モデル（adiabatic theoremに基づくもの）では、システムは問題の解をエンコードした最終状態から既知の初期状態へゆっくりと進化します。
断熱量子計算（AQC）は、量子力学の原理を活用して計算問題を解決する量子計算のモデルです。これは断熱定理に基づいており、量子システムが基底状態（最低エネルギー状態）から始まり、そのハミルトニアン（システムの全エネルギーを表す演算子）が十分にゆっくり変化すれば、システムは進化全体を通してその瞬間の基底状態にとどまることを述べています。プロセスは、単純な初期ハミルトニアン H_initial の容易に達成可能な基底状態に量子システムを準備することから始まります。次に、ハミルトニアンは時間とともに最終ハミルトニアン H_final へとゆっくり進化させられます。この H_final の基底状態が計算問題の解をエンコードします。進化は、s が 0 から 1 へ進行する時間依存ハミルトニアン H(t) = (1-s)H_initial + sH_final によって支配されます。進化が十分に遅い（断熱的）場合、システムは H_final の基底状態に到達します。計算は、システムの最終状態を測定することによって完了します。AQC は、巡回セールスマン問題や複雑な分子システムの基底状態の発見など、最適化問題の解決に特に適しています。ゲートベースの量子計算と比較して、進化中に基底状態と最初の励起状態の間のエネルギーギャップが十分に大きい限り、特定の種類のノイズやデコヒーレンスに対する潜在的な堅牢性が主な利点です。主なトレードオフは、遅い進化が必要であり、これが長い計算時間につながる可能性があり、特にエネルギーギャップが小さい問題では断熱性を維持することが課題となることです。物理的な実装には、しばしば超伝導量子ビットが使用されます。
graph LR
Center["アディバナティック量子計算"]:::main
Pre_linear_algebra["linear-algebra"]:::pre --> Center
click Pre_linear_algebra "/terms/linear-algebra"
Center --> Child_quantum_annealing["quantum-annealing"]:::child
click Child_quantum_annealing "/terms/quantum-annealing"
Rel_quantum_computing["quantum-computing"]:::related -.-> Center
click Rel_quantum_computing "/terms/quantum-computing"
Rel_superconducting_qubits["superconducting-qubits"]:::related -.-> Center
click Rel_superconducting_qubits "/terms/superconducting-qubits"
Rel_qubit["qubit"]:::related -.-> Center
click Rel_qubit "/terms/qubit"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧠 理解度チェック
🧒 5歳でもわかるように説明
でこぼこした地形の最も低い地点を見つけたいと想像してください。断熱量子計算は、地形全体をゆっくりと傾けて、すべてが自然に最も低い地点（それがあなたの答えです）に落ち着くようにするようなものです。
🤓 Expert Deep Dive
断熱量子計算（AQC）は、量子力学の断熱定理を活用して計算問題を解くためのパラダイムです。このプロセスは、単純で容易に準備できるハミルトニアン $H_0$ の基底状態に初期化された系から始まります。この初期ハミルトニアンは、時間の経過とともに、関心のある問題の解をエンコードする最終的なハミルトニアン $H_f$ へとゆっくりと変化させられます。この時間発展は、時間依存ハミルトニアン $H(t) = (1-s(t))H_0 + s(t)H_f$ によって制御され、ここで $s(t)$ は計算時間 $T$ の間に 0 から 1 まで増加するパラメータです。断熱定理によれば、時間発展が十分にゆっくりであれば（すなわち、$T$ が十分に大きいか、時間発展中の基底状態と第一励起状態との間の最小エネルギーギャップが小さすぎない場合）、系は瞬時の基底状態にとどまります。したがって、$H_f$ がその基底状態が計算問題の解（例えば、最適化問題におけるエネルギーランドスケープの最小値）に対応するように設計されていれば、AQCはその解を見つけることができます。このアプローチは、D-Wave の量子アニーリング装置のような特殊なハードウェアで実装されることが多い量子アニーリングプロセスに密接に関連していますが、AQC はアイジングモデルに直接マッピングできる問題だけでなく、より広範なクラスの問題に適用可能な、より一般的な理論的枠組みです。