論文の概要: Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
- arxiv url: http://arxiv.org/abs/2408.00501v1
- Date: Thu, 1 Aug 2024 12:10:10 GMT
- ステータス: 処理完了
- システム内更新日: 2024-08-04 20:46:24.423401
- Title: Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers
- Title(参考訳): IBMの量子コンピュータ上でのポーリ文字列の交換による量子プログラムテスト
- Authors: Asmar Muqeet, Shaukat Ali, Paolo Arcaini,
- Abstract要約: 量子ソフトウェアテストの新しいアプローチであるQOPSを提案する。
QOPSは、異なる量子プログラムとの互換性を改善するために、パウリ文字列に基づいた新しいテストケースの定義を導入した。
我々は、194,982個の実量子プログラム上でQOPSを実証的に評価し、完全F1スコア、精度、リコールによる最先端技術と比較して、テストアセスメントにおける効果的な性能を実証した。
- 参考スコア(独自算出の注目度): 6.925738064847176
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: The most promising applications of quantum computing are centered around solving search and optimization tasks, particularly in fields such as physics simulations, quantum chemistry, and finance. However, the current quantum software testing methods face practical limitations when applied in industrial contexts: (i) they do not apply to quantum programs most relevant to the industry, (ii) they require a full program specification, which is usually not available for these programs, and (iii) they are incompatible with error mitigation methods currently adopted by main industry actors like IBM. To address these challenges, we present QOPS, a novel quantum software testing approach. QOPS introduces a new definition of test cases based on Pauli strings to improve compatibility with different quantum programs. QOPS also introduces a new test oracle that can be directly integrated with industrial APIs such as IBM's Estimator API and can utilize error mitigation methods for testing on real noisy quantum computers. We also leverage the commuting property of Pauli strings to relax the requirement of having complete program specifications, making QOPS practical for testing complex quantum programs in industrial settings. We empirically evaluate QOPS on 194,982 real quantum programs, demonstrating effective performance in test assessment compared to the state-of-the-art with a perfect F1-score, precision, and recall. Furthermore, we validate the industrial applicability of QOPS by assessing its performance on IBM's three real quantum computers, incorporating both industrial and open-source error mitigation methods.
- Abstract(参考訳): 量子コンピューティングの最も有望な応用は、特に物理学シミュレーション、量子化学、ファイナンスといった分野において、探索と最適化のタスクを解くことに集中している。
しかし、現在の量子ソフトウェアテスト手法は、工業的文脈に適用した場合、実用的な制限に直面します。
(i)業界に最も関係のある量子プログラムには適用されない。
(ii)プログラムの完全な仕様が必要で、通常はこれらのプログラムでは利用できない。
第三に、IBMのような主要な業界アクターが現在採用しているエラー軽減手法と互換性がない。
これらの課題に対処するために、新しい量子ソフトウェアテスティングアプローチであるQOPSを提案する。
QOPSは、異なる量子プログラムとの互換性を改善するために、パウリ文字列に基づいた新しいテストケースの定義を導入した。
QOPSはまた、IBMのEstimator APIのような産業用APIと直接統合できる新しいテストオラクルを導入し、実際のノイズの多い量子コンピュータでのテストにエラー軽減手法を利用することができる。
パウリ弦の可換性を利用して、完全なプログラム仕様を持つことの要求を緩和し、QOPSは産業環境で複雑な量子プログラムをテストするのに実用的である。
我々は、194,982個の実量子プログラム上でQOPSを実証的に評価し、完全F1スコア、精度、リコールによる最先端技術と比較して、テストアセスメントにおける効果的な性能を実証した。
さらに,IBMの3つの実量子コンピュータの性能を評価することにより,QOPSの産業応用性を検証する。
関連論文リスト
- A Machine Learning-Based Error Mitigation Approach For Reliable Software Development On IBM'S Quantum Computers [8.50998018964906]
現在の量子コンピュータには固有のノイズがあり、量子コンピュータ上で実行される量子ソフトウェアの出力に誤差をもたらす。
本稿では、量子ソフトウェア出力におけるノイズエラーを軽減するために、Q-LEARと呼ばれる実用的な機械学習手法を提案する。
その結果、Q-LEARはベースラインと比較して、実量子コンピュータとシミュレータの両方で平均25%の誤差低減を実現した。
論文 参考訳(メタデータ) (2024-04-19T13:51:40Z) - Unlocking Quantum Optimization: A Use Case Study on NISQ Systems [0.0]
本稿では、電気自動車の充電スケジュールを最適化する分野における産業関連ユースケースと、トラック走行経路の最適化に関するユースケースについて考察する。
我々の中心的なコントリビューションは、IBMのゲートベース量子コンピュータの異なるプロセッサとD-Waveの量子アニール上で実行されるこれらのユースケースから導かれる系統的な一連の例である。
論文 参考訳(メタデータ) (2024-04-10T17:08:07Z) - Quantum Computing for Solid Mechanics and Structural Engineering -- a
Demonstration with Variational Quantum Eigensolver [3.8061090528695534]
変分量子アルゴリズムは、コスト関数を効率的に最適化するために重ね合わせと絡み合いの特徴を利用する。
我々は,IBM Qiskit プラットフォーム上で 5-qubit および 7-qubit 量子プロセッサ上での数値処理を実装し,実演する。
論文 参考訳(メタデータ) (2023-08-28T17:52:47Z) - Quantum Machine Learning on Near-Term Quantum Devices: Current State of Supervised and Unsupervised Techniques for Real-World Applications [1.7041248235270652]
この調査は、量子ハードウェア上で実行される教師なしおよび教師なしの学習アプリケーションに焦点を当てる。
エンコーディング、アンサッツ構造、エラー軽減、これらの課題に対処するための勾配法といったテクニックをカバーしている。
論文 参考訳(メタデータ) (2023-07-03T10:12:34Z) - Testing quantum computers with the protocol of quantum state matching [0.0]
量子コンピュータにおけるノイズの存在は、その効果的な操作を妨げる。
我々は、いわゆる量子状態マッチングプロトコルを試験目的に適用することを提案する。
体系的に異なる入力に対して、より小さな量子ボリュームを持つデバイスは、より大きい量子ボリュームを持つデバイスよりも、我々のテストでより優れた性能を発揮する。
論文 参考訳(メタデータ) (2022-10-18T08:25:34Z) - Optimal Stochastic Resource Allocation for Distributed Quantum Computing [50.809738453571015]
本稿では,分散量子コンピューティング(DQC)のためのリソース割り当て方式を提案する。
本評価は,提案手法の有効性と,量子コンピュータとオンデマンド量子コンピュータの両立性を示すものである。
論文 参考訳(メタデータ) (2022-09-16T02:37:32Z) - Decomposition of Matrix Product States into Shallow Quantum Circuits [62.5210028594015]
テンソルネットワーク(TN)アルゴリズムは、パラメタライズド量子回路(PQC)にマッピングできる
本稿では,現実的な量子回路を用いてTN状態を近似する新しいプロトコルを提案する。
その結果、量子回路の逐次的な成長と最適化を含む1つの特定のプロトコルが、他の全ての手法より優れていることが明らかとなった。
論文 参考訳(メタデータ) (2022-09-01T17:08:41Z) - Reducing the cost of energy estimation in the variational quantum
eigensolver algorithm with robust amplitude estimation [50.591267188664666]
量子化学と材料は、量子コンピューティングの最も有望な応用の1つである。
これらの領域における産業関連問題とそれを解決する量子アルゴリズムとの整合性については、まだ多くの研究が続けられている。
論文 参考訳(メタデータ) (2022-03-14T16:51:36Z) - Measuring NISQ Gate-Based Qubit Stability Using a 1+1 Field Theory and
Cycle Benchmarking [50.8020641352841]
量子ハードウェアプラットフォーム上でのコヒーレントエラーを, サンプルユーザアプリケーションとして, 横フィールドIsing Model Hamiltonianを用いて検討した。
プロセッサ上の物理位置の異なる量子ビット群に対する、日中および日中キュービット校正ドリフトと量子回路配置の影響を同定する。
また,これらの測定値が,これらの種類の誤差をよりよく理解し,量子計算の正確性を評価するための取り組みを改善する方法についても論じる。
論文 参考訳(メタデータ) (2022-01-08T23:12:55Z) - On exploring practical potentials of quantum auto-encoder with
advantages [92.19792304214303]
量子オートエンコーダ(QAE)は、量子物理学で遭遇する次元の呪いを和らげるための強力なツールである。
我々はQAEを用いて固有値を効率的に計算し、高次元量子状態の対応する固有ベクトルを作成できることを証明した。
低ランク状態の忠実度推定,量子ギブス状態準備,量子メトロジーの課題を解決するために,QAEに基づく効果的な3つの学習プロトコルを考案した。
論文 参考訳(メタデータ) (2021-06-29T14:01:40Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳(メタデータ) (2020-10-20T12:06:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。