2
量子コンピュータのアルゴリズムの一つであるQAOA(Quantum Approximate Optimization Algorithm)について、その基本及びblueqatを使用したプログラミングの解説を行います。
ここではQAOAの理論を解説します。
直接、プログラミングの実装に入りたい方は【実践編】へ進んで下さい。
QAOA(Quantum Approximate Optimization Algorithm)は、量子近似最適化アルゴリズムと呼ばれ、量子ゲート方式による組合せ最適化問題の解を求めるためのアルゴリズムです。
QAOAについては、以下の論文で提唱されています。
A Quantum Approximate Optimization Algorithm
(by Edward Farhi, Jeffrey Goldstone, Sam Gutmann)
https://arxiv.org/abs/1411.4028
以下にQAOAの要点を記しますが、詳しい内容は追って解説します。
量子断熱計算(QAA)における終状態(最適解を導くハミルトニアン)をC、また初期状態(基底エネルギー状態のハミルトニアン)をBとします。
ここで、任意の角度パラメータとして、ガンマ(γ)及びベータ(β)を用いて、Cとγに関するユニタリ行列をU(C,γ)、Bとβに関するユニタリ行列をU(B,β)と定義します。
(式.1)
(式.2)
さらに、上記のユニタリ行列を用いた反復計算回数を整数pとし、(γ1,γ2,...,γp)を要素とするベクトルをγ、(β1,β2,...,βp)を要素とするベクトルをβ、p次元の直交基底ベクトルを|s〉として、以下の演算子|γ,β〉を定義します。
(式.3)
次に、上記で定義した演算子|γ,β〉を用いて、最適解を導くハミルトニアンCの期待値Fpを以下のように求めます。
(式.4)
角度パラメータγ及びβを変化させ、Fpが取り得る最大値Mpを探索します。
最大値Mpが求められたとき、その時のγ,βが決定し、さらに(式.4)についてCの期待値が求まると同時に、最適解を与える組合せの状態が求まります。
以上がQAOAの骨子です。
まず初めに、組合せ最適化問題について基本的な知識を確認します。
組合せ最適化問題とは、以下のように言うことができます。
生産活動において、多くの選択肢や組み合わせの中からコスト・成果・利益を最も効率的に上げる選択肢、あるいは最大化(または最小化)させる最良の選択肢を決定すること
例として、交通量最適化問題を取り上げます。
交通量最適化問題とは、道路上の混雑や渋滞をできるだけ軽減するために、各車両のルート選択や配置を適切に行う問題です。
◆交通量最適化問題の例題
=================================================================
2台の車、車1と車2があるとします。
2台の車は出発地点Aを同時に出発し、定められたルートを選択して到着地点Bを目指します。
AからBまでのルートは下図のようにルート1、ルート2、ルート3の3通りあり、
車1車2とも好きなルートを選択できるものとします(図1)。
ここで、車1車2とも道路を走行する際に、自分の車だけが道路を走行している時は混雑が無いとみなします。
これに対し、2台の車が同時に同じ道路を走行した場合、混在が発生したとみなします。
混雑が発生しないように2台の車がルートを選択するとき、
どのように選択すれば最も良いかを求めます。
=================================================================
図1
QAOAや量子アニーリングの仕組みを用いて組合せ最適化問題を解く場合、相互作用を及ぼす系でのイジングモデル式を用いて目的関数(コスト関数、エネルギー式、ハミルトニアンとも呼ぶ)を定義し、この目的関数の最大値(または最小値)を求めます。
イジングモデルについての説明はこちらをご参考にして下さい。
Blueqatでナップサック問題を解く一例
https://qiita.com/ttabata/items/537564c90056a6d56879
イジングモデル式の定義は以下となります。
ここで、<i,j>はインデックスi,jがすべての相互に異なる組合せを取ることを意味し、σi,σjはそれぞれのi,j要素が+1または-1の二値を取り、その組み合わせの積σiσjがどのような場合に最大(または最小)になるかを求めます。
この例題ではインデックスをルート1,2,3の3つのルートとし、車1及び車2がそれぞれのルートを選択した場合は1、選択しなかった場合は-1を取ることとします。
また、Jijは目的関数を最大または最小にするための調整変数です(重みとも言います)。
一例ですが、この例題では(式.6)を用いて目的関数Mを以下と定義し、この値が最小値となるルートの組み合わせを探索します。
QAOAではユニタリー行列を用いた時間発展計算である量子断熱計算理論(QAA:Quantum Adiabatic Algorithm)が応用されていますので、これについて解説します。
量子断熱計算とは、ある物理系において、外部からの熱の出入りがない状態(エネルギー状態)を保ちながら、時間をかけてゆっくりと状態変化させることを言います。
これを行うことで、初期状態としてのある基底状態を作り出し、これを保ったまま目的の終状態へ変化させることができます。
もし状態変化の速度が速い場合や外部との熱の出入りがある場合、基底状態から励起状態へ変化してしまい、測定ができなくなってしまいます。
これらの状態変化は下図のように遷移します。
量子断熱計算において、この状態遷移は以下のように定式化されます。
上記において、HINIは初期状態を定めるためのハミルトニアン(エネルギー演算子)、H0は終状態を表すハミルトニアン、そしてH(t)は初期状態から終状態を導くためのハミルトニアンです。
系の状態は状態ベクトル|ϕ〉で表され、これらのハミルトニアンを作用させることで具体的な状態ベクトルを求めることができます。
(式.8)に注目してみます。量子断熱計算では初期状態の、ある時刻t=0から変化を開始し、最終的にt=τまで時間を進めます。つまり、t=0の時はHINIが働き、次第にt/τ項が大きくなり、反対に(1−t/τ)HINI項が小さくなり、t=τ(タウ)の終状態ではH0のみが残ります。
HINIは初期状態のハミルトニアンで、パウリ行列のx成分σxを用いて表現します。
ここで、なぜパウリ行列のx成分を用いるかを解説します。
先ほど述べたように、ある系の状態(エネルギー状態)はベクトル|ψ〉で表現されます。そして、ある状態を求める場合、|ψ〉にハミルトニアンやユニタリー行列Uを作用させ、その結果得られる固有値を求めるエネルギー値、固有ベクトルをそのエネルギー状態(量子状態)とします。
式で書くと以下のようになります。
ここで、パウリ行列のx成分σxの固有ベクトルを求めてみます。
これを満たすベクトルは、
上記2つです。
どちらのベクトルも直交基底ベクトル
の重ね合わせの状態であると言えます。
この重ね合わせ状態は
とも表現でき、z方向に対しては中間の位置、言わばニュートラルな状態と見ることができます。初期状態HINIにパウリ行列のx成分を用いる理由は、状態ベクトルをニュートラルな状態に置くためです。
終状態であるH0について確認してみます。
終状態のハミルトニアンH0はパウリ行列のz成分であるσzをかけ合わせた形式となっています。
これは、イジングモデル式の定義と同じ形式をとっており、エドワード・アンダーソンモデルのハミルトニアンと呼ばれます。
ここで先程と同様にパウリ行列のz成分についての固有値と固有ベクトルを確認してみましょう。
固有ベクトルを|ψ〉、固有値をE0とすると、
これを満たす固有値及び固有ベクトルは
となります。H0についてインデックスi,jを展開すると以下となることから
各インデックスi,jそれぞれにおいて、固有値が1または-1となり、状態ベクトルも定まります。このことを利用し、イジングモデル式でσi及びσjが±1どちらを取るかの組み合わせを決めたのと同様に、パウリ行列のz成分と固有値(±1どちらかを取る)及び固有ベクトルを利用することで、終状態の状態ベクトルを定め、最終的に組合せ最適解を導くことができます。
それでは、冒頭「1. QAOAの骨子」で記述したQAOAの定義について細かく再定義します。
量子ゲートに関する理論では、一般に量子状態がある状態|ψ〉から別の量子状態|ψ′〉へ変化した場合、その変化はユニタリー行列演算子Uを用いて、
と表現します。これをユニタリー発展と言います。
例えば、量子断熱計算のような時間軸tに関してユニタリー発展を考えた場合、これを特に時間発展と呼び、以下のように表現します。
上記のU(τ,0)は時刻t=0からt=τまでの変化を一つのユニタリー行列Uで書いたものです。全体時間τを小さな時間区間Δtに分割した場合、以下のように書き表すことができます。
ここで任意の微小区間(l+1)Δt~lΔt(lは整数)において、以下の近似を行います。
ここで用いたハミルトニアンは量子断熱計算で定義した(式.8)のHを引用します。また、これに加えて量子力学の基本法則であるシュレーディンガー方程式に従うことから、このような指数関数の形式で書き表されます。
ハミルトニアンHの内容を確認しましょう。Hは冒頭に定義した初期状態のハミルトニアンB、及び終状態のハミルトニアンCを用いて、次のように記述できます。
Cは終状態のハミルトニアンで、組合せ最適化問題の解となる状態ベクトルを導く役割を持つため、(式.9)より、
です。またBはニュートラルな初期状態を表すハミルトニアンのため、以下のように
となります。
(式.15)で近似したハミルトニアンHに(式.16)を代入します。
上式のeの指数部分に注目します。
(式.19)のCやBはハミルトニアン演算子であることから、単純に以下のように指数を分離することはできないことに注意が必要です。
よって、ここでリー・トロッター積公式[参照 ]を引用し、次のように変形(近似)します。
上式について、
とおくと、次のように変形できます。
以下の通り、冒頭の定義(式.1)(式.2)を用いて
各区間Δtを1,2,3,...,pに分けると
上式が(式.3)の根拠となります。
(式.20)でリー・トロッター積公式を用いて変形(近似)を行いましたが、この変形(近似)において、p→∞とすることで精度が上がります。すなわち、(式.3)の繰返し計算の回数pを増やすことで精度が向上すると言えます。
演算子|γ,β〉を再定義します。
以上がQAOAの理論の解説になります。
次はQAOAの実践編、プログラミングに入ります。
ここではQAOAのプログラミング実装例をご紹介します。
プログラミングには、量子コンピュータ・シミュレータとして評価の高い、blueqat株式会社(東京・本郷)が提供するblueqat(ブルーキャット)を使用します。
今回使用したblueqatのバージョンは0.3.18です。
blueqat (https://blueqat.com/ )
理論編で例題として挙げた問題をもう少し詳しく解説します。
下図(図2)のように、二次元格子平面上に道路を表現します。
ここで点は交差点、点と点に挟まれた辺を一つの道路とします。
図の通り、ルート1(青)とルート2(赤)は二か所の道路で、またルート2(赤)とルート3(緑)は一か所の道路で重なり部分があり、混雑が発生していることがわかります。
今回の例題を解くにあたり、この道路の重なり部分(混雑)をどのように評価(目的関数の最小化)するかを仕組化し、解を求めることになります。
組合せ最適化問題を解くにあたり、一般的な手法として、それぞれの組み合わせを採用するかしないかを0,1で表すことがあります。今回もこの手法をとることにします。
この0,1について、0は組み合わせを取らないケース、1は組み合わせを取るケースとします。この0,1を取る変数をxとし、決定変数と呼びます。
例題ではxを6つ用意し、車1がルート1を取るか取らないかをx0、ルート2を取るか取らないかをx1、ルート3を取るか取らないかをx2とし、同様に車2についてもルート1,2,3について決定変数x3,x4,x5を用意します。まとめると下表となります。
ここで目的関数を作成するにあたり、道路の混雑具合を評価する基準(方法)を考えます。
例題では、ルート1とルート2は一か所の道路で重なっているため、混雑度を1とします。また、ルート2とルート3は二か所で重なっているため混雑度2とします。ルート1とルート3の混雑度は0です。この混雑度を変数Jijで表し、重みと呼ぶことにします。iは車1が取るルートの決定変数のインデックスを、jは車2が取るルートの決定変数のインデックスとすると、重み変数Jijは以下とすれば良いことがわかります。
これらを用いて、(式.7)に従って目的関数を作成します。
ここで以下の注意が必要です。
(式.7)ではσが取る値が±1でしたが、(式.25)では0,1を取る決定変数xを使用しています。
イジングモデル式では一般的に上記のように±1としますが、以下の式を用いると±1を0,1に変換することができます。
このように、最適化問題を解くにあたっては組み合わせを採用するかしないかを表す変数を0,1として扱った方が扱いやすく、式も立てやすいため、上式でもこのようにしています。σとxの関係は一次式で定数倍および定数項の付加のみであるために、同じ性質を持つ式としてみなして良く、目的関数は(式.25)とします。
目的関数をこのように条件に合わせて具体的に式に書き表わすことを定式化と呼びます。
今回の定式化ではさらにもう一つの条件の追加が必要です。
車1はルート1,2,3を同時に3つ取れないので以下が成り立ちます。
同様に車2についても同じように、
このような、解く問題に応じた特定の条件を制約条件と言います。
制約条件項を以下のようにして目的関数に取り込みます。
kはハイパーパラメータ変数で、解が得られるように必要に応じて適切な値を設定します。
また、決定変数xは0,1を取ることから、x2もまた0,1を取ることがわかります。
よって、以下のように取り扱います。
上式を展開し、整理すると以下のようになります。
定式化の結果、(式.26)が得られました。
blueqatにはQAOAの理論に基づくパラメータ計算を自動的に行うとても便利な機能が備わっており、プログラムを簡潔に書くことができます。
特に、【理論編】で示した(式.23)の計算や角度パラメータを内部的に計算する仕組みがあり、これをansatz(アンザッツ)と呼びます。
プログラマーはansatzの働きを意識することなく、定式化のコーディングに専念できる点が優れています。
(式.26)より、本例題のコーディングは以下となります。
from blueqat import vqe
from blueqat.pauli import qubo_bit as x
# バイアス変数
k = 2.0
# 目的関数
M = 4 * x(0) * x(3) + 2 * x(1) * x(3) + 2 * x(0) * x(4) + 4 * x(1) * x(4) + x(2) * x(4) + x(1) * x(5) + 4 * x(2) * x(5) + k * (-1 * x(0) - x(1) - x(2) + 2 * x(0) * x(1) + 2 * x(0) * x(2) + 2 * x(1) * x(2) - x(3) - x(4) - x(5) + 2 * x(3) * x(4) + 2 * x(3) * x(5) + 2 * x(4) * x(5) + 2)
# 繰返し計算回数(p)
step = 20
# QAOA計算を実行
result = vqe.Vqe(vqe.QaoaAnsatz(M, step)).run()
# 結果を表示
print(result.most_common(5))
ここでは、バイアス変数を2.0としました。
また、繰り返し回数は20としています。繰り返し回数を増やすと精度が向上すると考えられますが、計算の所要時間も長くなってしまいます。試行実行しながら適度な数字を設定します。
最後に、blueqatで算出した解が適切な解であるかどうかを確認します。
プログラムの実行結果は以下となりました。
<実行結果>
プログラム中の「most_common(5)」メソッドで上位5件を表示しました。
結果のデータが5件表示されていて、「(1, 0, 0, 0, 0, 1)」の部分は決定変数x0~x5の値を示しています。
また、小数部分「0.209896...」は、その決定変数による組み合わせの解が全体の解のどのくらいの割合で算出されたかを示しています。
割合の値が最も大きいケースが最適解となります。
今回の計算では、上位2件が同じ割合となりました。つまり、解が2つあることになります。
決定変数の値と車1及び車2が取るべきルートを見てみると、以下の2パターンが解であることがわかります。黄色部分が解です。
パターン1:
パターン2:
まとめると、車1がルート1を選択した場合は車2がルート3を、車1がルート3を選択した場合は車2がルート1を選択すれば良いことがわかります。
以上で、QAOAによる組合せ最適解問題を解くことができました。
About us ©2022 Copyright © 2022 blueqat Inc. All rights reserved