[論文レビュー] Trials and Tribulations of Developing Hybrid Quantum-Classical Microservices Systems

Javier Rojo, David Valencia+4 more|arXiv (Cornell University)|May 10, 2021

Cloud Computing and Resource Management参考文献 29被引用数 10

ひとこと要約

本論文は、Amazon Braketを用いて、ハイブリッド古典的・量子マイクロサービスアーキテクチャへの量子アルゴリズムの統合の可能性を検証するため、巡回セールスマン問題のための量子マイクロサービスを実装している。主な制限要因として、ハードウェアの結合性、ベンダー特有の結果、ノイズ依存性、中間検証の欠如が特定され、これらは合成可能性や再利用性といったコアなサービス指向原則を損なうものである。

ABSTRACT

Quantum computing holds great promise to solve to problems where classical computers cannot reach. To the point where it already arouses the interest of both scientific and industrial communities. Thus, it is expected that hybrid systems will start to appear where quantum software interacts with classical systems. Such coexistence can be fostered by service computing. Unfortunately, the way in which quantum code can be offered as a service still misses out on many of the potential benefits of service computing. This paper takes the traveling salesman problem, and tackles the challenge of giving it an implementation in the form of a quantum microservice. Then it is used to detect which of the benefits of service computing are lost in the process. The conclusions help to measure the distance between the current state of technology and the state that would be desirable in order to have a real quantum service engineering.

研究の動機と目的

• ハイブリッド古典的・量子アーキテクチャ内でのマイクロサービスとしての量子アルゴリズムの実装における課題を調査すること。
• 現在の量子プラットフォームが、合成可能性、再利用性、ハードウェア抽象化といったコアなサービス指向コンピューティング原則をどのように損なうかを同定すること。
• Amazon Braketを用いて、実世界の問題（巡回セールスマン問題）を対象に、量子マイクロサービスの実用的妥当性を評価すること。
• 量子プロセッサの特定要因（例：キュービットトポロジー、ノイズ、結果フォーマット）が、サービス相互運用性およびオーケストレーションに与える影響を評価すること。
• 古典的マイクロサービスと量子コンピューティングの間のギャップを埋めるために、量子サービスエンジニアリング手法の緊急の必要性を強調すること。

提案手法

• Amazon Braketの量子SDKおよびQiskitベースの回路コンパイルを用いて、巡回セールスマン問題のための量子マイクロサービスを実装した。
• Amazon Braketを介して、Rigetti、IonQ、D-Waveの3つの異なる量子ハードウェアベンダーにわたるマイクロサービスのデプロイを実施し、移植性と一貫性を評価した。
• 実行パイプライン（量子回路生成 → ターゲットハードウェア向けのコンパイル → クラウドベースの量子プロセッサでの実行 → 結果の取得）を評価した。
• ベンダー間での結果フォーマット、誤差率、実行時間の差異を分析し、ハードウェア結合性を定量化した。
• 波動関数の崩壊により中間量子状態にアクセスできないことから、実行時検査およびオーケストレーションが制限されることを評価した。
• Azure Quantum や IBM Quantum といった既存ツールを評価したが、マイクロサービス開発において Amazon Braket に比べて顕著な利点は見られなかった。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムは、ハイブリッド古典的・量子アーキテクチャ内において、第一級のマイクロサービスとして効果的に抽象化できるか。
• RQ2 ハードウェア固有の特性（例：キュービットトポロジー、ノイズ、結果フォーマット）は、量子マイクロサービスの移植性および相互運用性にどのように影響を与えるか。
• RQ3 量子マイクロサービスが、古典的マイクロサービスと同等の品質特性（例：再利用性、保守性）を達成できない主な技術的障壁は何か。
• RQ4 測定時の量子状態の崩壊は、量子マイクロサービスのオーケストレーションおよび検証能力にどのように制限をもたらすか。
• RQ5 既存の量子ソフトウェア開発キットおよびクラウドプラットフォームは、ベンダーロックインを軽減し、量子サービスエンジニアリングを向上させる役割を果たせるか。

主な発見

• 量子マイクロサービスは、ベンダー間でのキュービットトポロジー、ゲートセット、結果表現の違いにより、基盤ハードウェアに強く結合されている。
• ノイズレベルや誤差率は量子プロセッサ間で顕著に異なるため、一貫した結果を複数プラットフォームで得ることは困難である。
• 測定後の量子状態の崩壊により、中間結果の実行時検査が不可能となり、オーケストレーションおよびデバッグ能力が著しく制限される。
• 現在のプラットフォームでは、量子マイクロサービスのための標準化されたインターフェースがサポートされておらず、サービス指向コンピューティングの核となるハードウェア抽象化の原則を満たしていない。
• Amazon Braket や Azure Quantum、IBM Quantum といったツールキットが利用可能ではあるが、真の移植性や相互運用性を実現するソリューションは現時点では存在しない。
• 成熟した量子DevOpsおよび信頼メカニズムの欠如が、生産用途向けハイブリッドシステムにおける量子マイクロサービスの運用化をさらに妨げている。