NxM-Version Programming for Quantum Software: High-Level Components across Frameworks and Engines
本論文では、複数のソフトウェアフレームワークからの高レベルなルーチンを交換可能なコンポーネントとしてパッケージ化することで、N×Mの量子プログラム実行を可能にし、それによって量子ソフトウェアおよびハードウェアにおける欠陥を体系的に検出・分離するためのクロスフレームワークおよびクロスエンジン間の冗長性を促進する、Apache NiFiベースのフレームワークであるQuanifiを紹介する。
原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。 免責事項の全文を読む
量子コンピューティングは、現在の最も強力なスーパーコンピュータでは不可能な問題を解決することを約束していますが、これらのマシンを動かすためのソフトウェアを構築することは、脆弱で混乱を招く作業です。単純なオン・オフのスイッチとして情報を処理する古典的なコンピュータとは異なり、量子マシンは複数の状態に同時に存在できる「量子ビット（qubit）」を使用します。これらを機能させるためには、プログラマーは複雑な操作のシーケンスを構築しなければならず、多くの場合、マシンの物理学に直接語りかけるようなコードを書く必要があります。これには、量子力学への深い理解、複雑なコードを書く能力、そして急速に変化するさまざまなソフトウェアツールの状況への精通という、稀なスキルの組み合わせが求められます。主要なテクノロジー企業や研究グループは、それぞれ独自の量子ハードウェアとの対話方法を構築しており、異なる言語やルールを使用しています。この断片化により、結果が正しいかどうかを知ることは困難になります。なぜなら、ミスがコードにあるのか、使用したツールにあるのか、あるいはマシン自体にあるのかが判別できないからです。
ブラジルの研究チームは、量子ソフトウェアを「書かれるべきテキストの壁」としてではなく、「一連のパイプを流れる水の流れ」として扱うことで、この複雑さを乗り越える新しい方法を開発しました。彼らは「Quanifi」と呼ばれるシステムを構築しました。これは、ユーザーが視覚的な画面上で既製のブロックをドラッグ・アンド・ドロップすることで、まるで回路基板に一度もハンダ付けをすることなく組み立てるかのように、量子プログラムを構築できるものです。彼らのアプローチの素晴らしさは、そのテスト方法にあります。単一の計算を単一のマシンで実行するのではなく、彼らのシステムは同じ問題を3つの異なるソフトウェアツールと3つの異なる量子コンピュータを通じて同時に実行します。これにより、あらゆる可能な組み合わせが一度にテストされるグリッド状の結果が生成されます。もし答えが一致しない場合、システムはエラーがどこで発生したかを正確に特定できます。それはソフトウェアツールだったのか、コンピュータのハードウェアだったのか、あるいはその両方の特定の組み合わせだったのか、ということです。
研究者たちはこの手法を用いて、膨大なリストの中から特定のアイテムを見つけ出すように設計された、グローバーのアルゴリズムとして知られる古典的な探索アルゴリズムを実行しました。彼らは3つの異なるソフトウェアフレームワーク（Qiskit、Cirq、PennyLane）を使用して同じ探索ルーチンを構築し、それを世界各地にある3つの異なる量子コンピュータ（IBM、IQM、Quantum Inspireのもの）に送りました。これら9つの異なる経路の結果を比較することで、彼らは単一の結果だけを見ていたら見逃していただろう不一致を特定することができました。彼らが「N×M実行」と呼ぶこのプロセスは、強力なセーフティネットとして機能し、量子コンピューティングのエコシステム全体に潜む隠れた欠陥を明らかにします。
この調査では、業界で使用されているツールとマシンに関する3つの実在する欠陥が発見されました。最初の問題は、Quantum Inspireの機械で見つかりました。研究者がCirqソフトウェアフレームワークを使用した際、そのマシンは一貫して誤った回答を返し、結果のビットを反転させてしまいました。しかし、同じソフトウェアは他の2つのコンピュータでは完璧に動作しており、また他のソフトウェアフレームワークはその特定の機械上で問題なく動作していました。この特定の失敗は、マシンのアダプターがCirqの命令を翻訳する方法に問題があることを示していました。結局のところ、そのアダプターは特定のタイプの回転ゲートを誤った方向で使用しており、実質的に量子ビットを本来あるべきとは逆方向に回転させていたのです。研究者たちはシミュレーションによってこのエラーを確認し、プロバイダーに報告しました。
2つ目の欠陥は、同じQuantum Inspireの機械に関するものでした。ソフトウェアのアダプターは、そのマシンが特定の複雑な操作を実行できると主張していましたが、実際には実行できませんでした。研究者がこれらのサポートされていない操作を使用しようとした際、マシンは警告を発することなく静かに失敗し、誤った回答を生成しました。これは、ソフトウェアが主張するマシンの能力と、実際にできることの間のギャップを浮き彫りにしました。3つ目、そしておそらく最も重要な発見は、ユーザーが単一のインターフェースを通じて異なる量子コンピュータにアクセスすることを可能にする「Open Quantum」というクラウドサービスに関するものでした。研究者は、直接接続とこのクラウドサービスの両方を通じて、全く同じ回路ファイルをマシンに送りました。直接接続は機能していましたが、クラウドサービスは特定のタイプの回路に対して不正確な結果を返しました。エラーは微妙なもので、サービスがユーザーに知らせることなく、指示から特定の回転ステップを静かに取り除いており、計算内容を変更していたのです。プロバイダーはこのパース（解析）エラーを確認し、報告後すぐに修正を行いました。
この研究の価値は、単にこれらのバグを見つけることだけでなく、それを見つけるために用いられた手法にあります。あらゆるソフトウェアフレームワークと異なるマシンを同時に実行することで、研究者たちは、システムがどこで崩壊するかを示す信頼性のマップを作成しました。彼らは、あるツールが特定の機械ではうまく機能するが、他の機械では失敗することや、一部のクラウドサービスが、最終的な結果だけを見ているだけでは検出不可能なエラーを導入していることを発見しました。このアプローチは、ユーザーに量子物理学の専門知識や複雑なコードの記述を必要としません。単にブロックを組み立て、システムに結果を比較させるだけでよいのです。研究者たちは、4量子ビット版のテストは一部のマシンにおいてノイズが多すぎて確実な結論を下すには不十分であったものの、2量子ビットのテストは明確で決定的なものであったと述べています。
この研究は、信頼できる量子コンピューティングへの道には、より優れたハードウェアだけでなく、ソフトウェアとハードウェアが正しく連携していることを検証する方法が必要であることを示しています。研究者たちは、異なるソフトウェアフレームワークと異なるマシンを同じテストの独立したバージョンとして扱うことで、単独では隠れたままとなるであろう失敗を分離できることを示しました。彼らは発見した3つの欠陥すべてを報告しており、クラウドサービスのプロバイダーはすでにエラーを確認し、修正済みです。Quantum Inspireのアダプターに関する他の2つの問題については、現在レビュー中です。この研究は、量子コンピューティングが実験室から実世界へと移行するにつれて、得られる答えが本当に正しいものであることを保証するために、このような相互チェックが不可欠になることを示唆しています。
自分の分野の論文に埋もれていませんか？
研究キーワードに一致する最新の論文のダイジェストを毎日受け取りましょう——技術要約付き、あなたの言語で。