論文の概要: QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
- arxiv url: http://arxiv.org/abs/2503.17322v1
- Date: Fri, 21 Mar 2025 17:17:51 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-24 14:58:00.545620
- Title: QITE: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms
- Title（参考訳）: QITE: 量子コンピューティングプラットフォームのアセンブリレベル、クロスプラットフォームテスト
- Authors: Matteo Paltenghi, Michael Pradel,
- Abstract要約: 量子コンピューティングプラットフォームは、量子固有のバグの影響を受けやすい。
QITEは量子コンピューティングプラットフォームのための最初のクロスプラットフォームテストフレームワークである。
広く使われている4つの量子コンピューティングプラットフォーム上でQITEを評価する。
- 参考スコア（独自算出の注目度）: 21.351834312054844
- License:
- Abstract: Quantum computing platforms are susceptible to quantum-specific bugs (e.g., incorrect ordering of qubits or incorrect implementation of quantum abstractions), which are difficult to detect and require specialized expertise. The field faces challenges due to a fragmented landscape of platforms and rapid development cycles that often prioritize features over the development of robust platform testing frameworks, severely hindering the reliability of quantum software. To address these challenges, we present QITE, the first cross-platform testing framework for quantum computing platforms, which leverages QASM, an assembly-level representation, to ensure consistency across different platforms. QITE introduces the novel ITE process to generate equivalent quantum programs by iteratively (I)mporting assembly into platform representations, (T)ransforming via platform optimization and gate conversion, and (E)xporting back to assembly. It uses a crash oracle to detect failures during cross-platform transformations and an equivalence oracle to validate the semantic consistency of the final sets of assembly programs, which are expected to be equivalent by construction. We evaluate QITE on four widely-used quantum computing platforms: Qiskit, PennyLane, Pytket, and BQSKit, revealing 17 bugs, 14 of which are already confirmed or even fixed. Our results demonstrate QITE's effectiveness, its complementarity to existing quantum fuzzers in terms of code coverage, and its ability to expose bugs that have been out of reach for existing testing techniques.
- Abstract（参考訳）: 量子コンピューティングプラットフォームは、量子固有のバグ(例えば、量子ビットの不正な順序付けや量子抽象の不正な実装)の影響を受けやすい。
プラットフォームの断片化と、堅牢なプラットフォームテスティングフレームワークの開発よりも機能を優先する迅速な開発サイクルによって、量子ソフトウェアの信頼性が著しく損なわれているため、この分野は課題に直面している。
これらの課題に対処するために、異なるプラットフォーム間での一貫性を確保するために、アセンブリレベルの表現であるQASMを活用する量子コンピューティングプラットフォームのための、最初のクロスプラットフォームテストフレームワークであるQITEを紹介する。
QITEは、(I)アセンブリをプラットフォーム表現に反復的にmportし、(T)プラットフォーム最適化とゲート変換を介してランサフォームし、(E)アセンブリにxportすることで、等価な量子プログラムを生成する新しいITEプロセスを導入している。
クロスプラットフォーム変換中の障害を検出するためのクラッシュオラクルと、組み立てプログラムの最終セットのセマンティック一貫性を検証するための等価オラクルを使用する。
QITEは、Qiskit、PennyLane、Pytket、BQSKitの4つの広く使われている量子コンピューティングプラットフォーム上で評価され、17のバグが判明し、そのうち14がすでに確認または修正されている。
コードカバレッジの観点からは,QITEの有効性,既存の量子ファジィザとの相補性,既存のテスト技術に及ばないバグを公開できることなどが示されている。
関連論文リスト
- Extending Quantum Perceptrons: Rydberg Devices, Multi-Class Classification, and Error Tolerance [67.77677387243135]
量子ニューロモーフィックコンピューティング(QNC)は、量子計算とニューラルネットワークを融合して、量子機械学習(QML)のためのスケーラブルで耐雑音性のあるアルゴリズムを作成する
QNCの中核は量子パーセプトロン(QP)であり、相互作用する量子ビットのアナログダイナミクスを利用して普遍的な量子計算を可能にする。
論文 参考訳（メタデータ） (2024-11-13T23:56:20Z) - Towards Distributed Quantum Error Correction for Distributed Quantum Computing [15.824983694947573]
3つの量子処理ユニット(QPU)に属する3つの物理量子ビットを用いて論理量子ビットを形成する、新しい量子ビットベースの分散量子誤り補正(DQEC)アーキテクチャを提案する。
本稿では,3つのQPUが協調して1ビットフリップと位相フリップの誤差を適切に解決できる量子状態を生成する方法について述べる。
提案アーキテクチャの機能的正しさは,Qiskitツールと安定化器ジェネレータを用いて評価する。
論文 参考訳（メタデータ） (2024-09-08T23:10:00Z) - Quantum Program Testing Through Commuting Pauli Strings on IBM's Quantum Computers [6.925738064847176]
量子ソフトウェアテストの新しいアプローチであるQOPSを提案する。
QOPSは、異なる量子プログラムとの互換性を改善するために、パウリ文字列に基づいた新しいテストケースの定義を導入した。
我々は、194,982個の実量子プログラム上でQOPSを実証的に評価し、完全F1スコア、精度、リコールによる最先端技術と比較して、テストアセスメントにおける効果的な性能を実証した。
論文 参考訳（メタデータ） (2024-08-01T12:10:10Z) - Delegated variational quantum algorithms based on quantum homomorphic
encryption [69.50567607858659]
変分量子アルゴリズム(VQA)は、量子デバイス上で量子アドバンテージを達成するための最も有望な候補の1つである。
クライアントのプライベートデータは、そのような量子クラウドモデルで量子サーバにリークされる可能性がある。
量子サーバが暗号化データを計算するための新しい量子ホモモルフィック暗号(QHE)スキームが構築されている。
論文 参考訳（メタデータ） (2023-01-25T07:00:13Z) - Swap Test-based Characterization of Quantum Processes in Universal
Quantum Computers [0.0]
普遍量子コンピュータにおける信頼性の低い量子プロセスは、克服すべき最大の課題の1つである。
本稿では、Swap Testと呼ばれるツールが量子システムに対するデコヒーレンスを識別できるかどうかを検証する。
論文 参考訳（メタデータ） (2022-08-04T21:31:49Z) - SupermarQ: A Scalable Quantum Benchmark Suite [3.6806897290408305]
SupermarQはスケーラブルでハードウェアに依存しない量子ベンチマークスイートで、アプリケーションレベルのメトリクスを使用してパフォーマンスを測定する。
SupermarQは、古典的なベンチマーク手法から量子領域への手法を体系的に適用する最初の試みである。
量子ベンチマークは、オープンソースで常に進化しているベンチマークスイート上に構築された、大規模なコミュニティ間の取り組みを包含することを期待しています。
論文 参考訳（メタデータ） (2022-02-22T17:24:07Z) - Quantum circuit architecture search on a superconducting processor [56.04169357427682]
変分量子アルゴリズム(VQA)は、ファイナンス、機械学習、化学といった様々な分野において、証明可能な計算上の優位性を得るための強力な証拠を示している。
しかし、現代のVQAで利用されるアンザッツは、表現性と訓練性の間のトレードオフのバランスをとることができない。
8量子ビット超伝導量子プロセッサ上でVQAを強化するために,効率的な自動アンサッツ設計技術を適用した最初の実証実験を実証する。
論文 参考訳（メタデータ） (2022-01-04T01:53:42Z) - EQUAL: Improving the Fidelity of Quantum Annealers by Injecting
Controlled Perturbations [3.594638299627403]
既存のゲートベースの量子コンピュータはわずか数十量子ビットで、ほとんどのアプリケーションでは十分ではない。
ハードウェアにおけるノイズと不完全性は、QMIが数千のトライアルで実行されているとしても、QA上の準最適解をもたらす。
EQUALは、制御された摂動をプログラムQMIに追加することにより、QMIのアンサンブルを生成する。
論文 参考訳（メタデータ） (2021-08-24T21:29:59Z) - Q-Match: Iterative Shape Matching via Quantum Annealing [64.74942589569596]
形状対応を見つけることは、NP-hard quadratic assignment problem (QAP)として定式化できる。
本稿では,アルファ拡大アルゴリズムに触発されたQAPの反復量子法Q-Matchを提案する。
Q-Match は、実世界の問題にスケールできるような長文対応のサブセットにおいて、反復的に形状マッチング問題に適用できる。
論文 参考訳（メタデータ） (2021-05-06T17:59:38Z) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳（メタデータ） (2020-10-20T12:06:27Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-08T12:49:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。