最近,量子アニーリングを勉強している大学院生です.学部では物理,大学院では機械や情報を専攻しています.
今回は,量子アニーリングの収束条件の話です.
量子アニーリングとは,最適化手法の一つです.
量子アニーリングでは,焼きなまし法(SA,シミュレテッドアニーリング)と同様,制御変数をゆっくりと小さくしていかなければ正しい解にたどり着けません.
では,どれくらい「ゆっくり」変数を小さくすればよいのか?を解説することがこの記事の目的です.
今回も,こちらの本を参考にさせて頂きます.
量子アニーリングとは
量子アニーリングは,主に組合せ最適化問題を解くための手法です.
シミュレテッドアニーリングでは熱揺らぎを用いて最適解を探索するのに対して,
量子アニーリングでは量子揺らぎを用いて最適解を探索します.
また,シミュレテッドアニーリングでは大域的に解を探すために最初は温度高くし,徐々に下げていって解を発見するのに対し,
量子アニーリングでは,横磁場(量子効果を及ぼす項)を徐々に小さくしていきます.
より詳細な説明は,こちらをご覧ください.
量子断熱条件
量子アニーリングの収束条件を説明する前に,量子断熱条件を説明しておく必要があります.
結論から言うと,量子断熱条件は以下の通りです.
ハミルトニアンにおいて,定常固有状態を
とする.
に基底状態
から出発したとき,時刻
において系が励起状態
に存在する確率は,次の関係が満たされている限り,十分小さい.
はハミルトニアンの時間微分,
は状態
と
のエネルギー差(エネルギーギャップ)を表す.
すなわち,この条件を常に満たすように量子アニーリングを実行すれば,常に基底状態を追えることができ,正解にたどり着けるわけですね.
常に基底状態にいるには,各時刻のエネルギーギャップが大きくなければいけませんが,その「どれくらいエネルギーギャップが大きければOKか?」をこの条件式が与えてくれているというわけです.
それでは,この条件式を導出していきます.
量子断熱条件の導出
方針としては,シュレディンガー方程式に従う励起状態の出現確率が十分小さいという式を導出していきます.
から
までの時間発展を考えます.
量子アニーリングに使うハミルトニアンを,以下のように書きます.
ここで,と置きます.
このとき,シュレディンガー方程式は,を変数として表記すると
となります.
また各状態に対する固有方程式を以下のように書きます.
実対称行列の固有ベクトルの完全性により,
を各固有状態
で展開して書くことができます.
ここで
です.このが,状態
の存在確率となっています.
この展開したを,シュレディンガー方程式に代入して,存在確率
についての方程式に直していきます.
を先ほどのシュレディンガー方程式に代入すると,その左辺は
となり,右辺は
となります.これら2つの式に左からをかけて内積をとって等しいと置くと,
となります.ただし,この式に変形するために以下の2つの式を用いました.
この2つの式の証明は,ここでは省略します.最初に紹介した本には書いてあります.
このに関する微分方程式を積分すると,
が得られます.
これで,量子断熱条件の導出のほとんどの部分は終わりました.あとは,が十分小さい時に,励起状態
の出現確率
が十分小さいということを考えればOKです.
初期状態では,基底状態のみが出現しているとします.
また,十分ゆっくり時間発展させ,系が基底状態に留まる状況を考えると,次のように書けると予想されます.
実際,このような形になることは後の結果から分かります.
先ほどの積分した結果であるは,これらの近似を踏まえると,
以外の項は
に比べて
オーダー高いので,
が十分大きい今は無視できますから,
となります.これを部分積分すると,以下が得られます.
さて,これらの式から,励起状態の出現確率が
で十分小さいためには
となります.変数とに直して表記すると量子断熱条件
が得られます.
(量子断熱条件の導出終わり)
量子アニーリングの収束条件
さて,量子断熱条件を紹介したところで,量子断熱条件を満たすような制御変数はどのようなものかを考えていきましょう.
結論から先に言うと,以下のようにすれば,量子断熱条件が満たされ,量子アニーリングにより基底状態を求めることができます.
はスピンの数であり,問題の大きさです.
や
は
によらない定数で,
は1より十分小さい値です.
色々定数がくっ付いていますがや
はあまり気にせず,時間
の関数として,
に対してどのような形で減少する関数なのかに注目すればOKです.
この式をについて解くと,
が十分小さい値
になるまでの時間は,
となり,指数時間かかります.
このように,アニーリング法は汎用性が高い分,計算時間は比較的ゆっくりでないと正解にたどり着けない可能性があります.
シミュレテッドアニーリングとの比較
ちなみに,シミュレテッドアニーリング(焼きなまし法)の収束条件は,制御変数を用いて
と表され,が十分小さい値
になるときに
について解くと
なので,やはり指数時間かかります.しかし,指数の方の部分に注目すると,小さいに対して
の方が
よりも小さいため,シミュレテッドアニーリングよりも量子アニーリングの方が速くなることが確認できます.
アニーリング法は指数時間かかるということを述べましたが,実際に実行する場合には,そこまでの時間を書けなくとも正しい解にたどり着ける場合が多いです.
それでは,以降で量子アニーリング制御変数の収束条件を導出していきます.
収束条件の導出
量子断熱条件を満たすように,制御変数の形を決定します.
量子アニーリングのハミルトニアンは
です(これがどういう意味かは,<↑|猫でもわかる量子アニーリングの理論|↓>を参考にしてください).
この先は執筆途中です.近日公開します
(ちなみに)
量子アニーリングマシンをではなく,お手元のパソコンで量子アニーリングを実行する場合は,量子モンテカルロ法を使ったりします.
量子モンテカルロ法による量子アニーリングのアルゴリズムは以下の記事に書いたので,ぜひ参考にしてください.
コメント