[論文レビュー] Image Acquisition Planning for Earth Observation Satellites with a Quantum Annealer

Tobias Stollenwerk, V. Michaud+4 more|arXiv (Cornell University)|Jun 17, 2020

Satellite Communication Systems参考文献 16被引用数 10

ひとこと要約

この論文は、地球観測衛星画像取得計画という実世界の問題に対して、D-Wave 2000Q量子アニーリング装置と古典的最適化手法を比較評価し、問題を2値二次最適化問題として定式化している。量子アニーリングは一部のインスタンスにおいて古典的正確ソルバーを上回る実行時間性能を示すが、特に大きな問題に対してはハードウェアの精度制限のため解の品質が著しく低下する。

ABSTRACT

We present a comparison study of state-of-the-art classical optimisation methods to a D-Wave 2000Q quantum annealer for the planning of Earth observation missions. The problem is to acquire high value images while obeying the attitude manoeuvring constraint of the satellite. In order to investigate close to real-world problems, we created benchmark problems by simulating realistic scenarios. Our results show that a tuned quantum annealing approach can run faster than a classical exact solver for some of the problem instances. Moreover, we find that the solution quality of the quantum annealer is comparable to the heuristic method used operationally for small problem instances, but degrades rapidly due to the limited precision of the quantum annealer.

研究の動機と目的

• 実世界の地球観測衛星画像取得計画問題における量子アニーリングの性能を評価すること。
• 産業現場で実際に使用されている古典的正確およびヒューリスティックソルバーと比較して、量子アニーリングの性能を評価すること。
• ハードウェア制限（特にチェーン結合と精度）が量子アニーリングの性能に与える影響を調査すること。
• 時間に対する正確解の到達時間と固定時間予算下での解の品質という2つの現実的基準を用いて、量子アニーリングのベンチマークを実施すること。
• 現在の量子ハードウェアが産業的計画応用においてどれほど成熟し、どのような可能性を秘めているかを評価すること。

提案手法

• 画像取得問題を、撮影試行の選択を示す2値意思決定変数 $x_{r,i}$ を用いた2値二次最適化問題として定式化した。
• 論理的キュービットを物理的キュービットの鎖として表現するマイナー埋め込み技術を用いて、問題をD-Wave 2000Qのチメラアーキテクチャにマッピングした。
• 解の忠実度を向上させるために、最悪ケース処理と最適化値の2つのチェーン結合戦略を検討した。
• 99%の確率で正確な解が得られるまでの時間（time-to-solution）を用いて、量子アニーリングの実行時間と古典的正確ソルバー（ペアワイズおよびクリークベースのILPソルバー）を比較した。
• 量子アニーリングの実行時間を固定（1回のアニーリングあたり20μs）し、複数の問題インスタンスに対して、近似比を用いた解の品質を貪欲ヒューリスティックと比較した。
• 衛星軌道と取得リクエストのシミュレーションを用いて、現実的で実用的なベンチマークインスタンスを生成した。時間制約と機動時間も含めた。

実験結果

リサーチクエスチョン

• RQ1 実世界の衛星画像取得計画問題において、量子アニーリングは古典的正確ソルバーを上回る実行時間性能を示せるか？
• RQ2 固定時間予算下で、量子アニーリングの解の品質は古典的ヒューリスティックと比べてどの程度か？
• RQ3 チェーン結合の精度やキュービット接続性といったハードウェア制限が、この問題における量子アニーリングの性能に及ぼす影響はどの程度か？
• RQ4 実行時間と解の品質の両面を考慮した場合、量子アニーリングは古典的手法に性能優位性を示せるか？
• RQ5 量子アニーリングは、地球観測ミッションの運用計画において古典的ソルバーの実用的代替手段と見なせるか？

主な発見

• 最適化されたチェーン結合を用いた場合、特定の問題インスタンスにおいて量子アニーリングは古典的ペアワイズ正確ソルバーを上回る実行時間性能を示した。
• 大規模な問題インスタンスにおいては、クリークベースの正確ソルバーが他のすべての古典的手法を上回る実行時間性能を示した。
• D-Wave 20000Qプロセッサの精度とコherencte時間の制限により、問題サイズが増加するに従い、量子アニーリングの解の品質が著しく低下した。
• 固定実行時間下では、貪欲ヒューリスティックが常に量子アニーリングを上回る解の品質を示したが、長時間実行する小規模インスタンスを除いてはそうだった。
• 大規模インスタンスでは、量子アニーリングの近似比が著しく低下し、精度の問題が成功確率を抑制していることが示された。
• 現在の制限にもかかわらず、量子アニーリングは古典的ソルバーと比較して競争力のある性能を示しており、将来的には産業スケールの問題において古典的手法を上回る可能性を秘めている。