論文の概要: Robust Mutation Analysis of Quantum Programs Under Noise
- arxiv url: http://arxiv.org/abs/2605.13279v1
- Date: Wed, 13 May 2026 09:56:05 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-14 23:30:27.962837
- Title: Robust Mutation Analysis of Quantum Programs Under Noise
- Title(参考訳): 雑音下における量子プログラムのロバスト突然変異解析
- Authors: Sophie Fortz, Eñaut Mendiluze Usandizaga, Shaukat Ali, Paolo Arcaini, Mohammad Reza Mousavi,
- Abstract要約: ノイズのない,ノイズの多いシミュレータ上で実行される41個の量子プログラムを用いて,ノイズがミュータント検出に与える影響を分析する。
ノイズはプログラムとミュータント間の行動距離を著しく変化させ、等価なミュータントを実際の故障と区別しにくくする。
- 参考スコア(独自算出の注目度): 4.829367290065316
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Mutation analysis has long been used in classical software testing and has recently been adopted for assessing the robustness of quantum software testing techniques. However, existing studies assume ideal, noiseless execution, overlooking the impact of quantum hardware noise. In this paper, we present an empirical study of noise-aware mutation analysis for quantum programs. We analyze how noise affects mutant detection using 41 quantum programs, executed on noiseless and noisy simulators emulating three IBM devices with different noise profiles. We compare several distance metrics and thresholding strategies to evaluate mutant detection under realistic noise. Our results show that noise significantly alters the behavioral distance between programs and mutants, making equivalent mutants harder to distinguish from real faults. Density-matrix metrics achieve the best discrimination, with misclassification rates up to 16.77%, but are not accessible on real hardware. Among practical alternatives, output-distribution metrics reach up to 73.03% accuracy and 74.89% F1-score. Noise-specific thresholds further improve detection compared to noiseless thresholds. We also find that noise effects correlate more with algorithm and circuit characteristics than with mutation types. Overall, our results highlight the need to adapt mutation analysis, and more generally quantum program comparison, to the noise profiles of target quantum devices.
- Abstract(参考訳): 突然変異解析は昔から、古典的なソフトウェアテストで使われており、最近は、量子ソフトウェアテスト技術の堅牢性を評価するために採用されている。
しかし、既存の研究では、量子ハードウェアノイズの影響を見越して、理想的な、ノイズのない実行を想定している。
本稿では,量子プログラムに対するノイズ認識突然変異解析の実証的研究について述べる。
我々はノイズが41個の量子プログラムを用いてミュータント検出にどう影響するかを解析し,異なるノイズプロファイルを持つ3つのIBMデバイスをエミュレートしたノイズレスおよびノイズの多いシミュレータ上で実行した。
現実雑音下でのミュータント検出を評価するために,複数の距離測定値としきい値測定方法を比較した。
その結果,ノイズはプログラムとミュータント間の行動距離を著しく変化させ,等価なミュータントを実際の故障と区別しにくくすることがわかった。
密度行列の指標は16.77%の誤分類率で最高の識別を達成しているが、実際のハードウェアではアクセスできない。
実用的な代替案では、出力分配の指標は73.03%の精度と74.89%のF1スコアに達する。
ノイズ特異的しきい値は、ノイズレスしきい値よりもさらに検出を改善する。
また,ノイズ効果は突然変異の種類よりもアルゴリズムや回路特性と相関していることがわかった。
全体として、本研究の結果は、突然変異解析、より一般的には量子プログラム比較をターゲットの量子デバイスのノイズプロファイルに適応させる必要性を強調している。
関連論文リスト
- Correlating noise floor with magic and entanglement in Pauli product states [37.69303106863453]
パウリの積公式によって生成されるノイズの多い状態から、量子コンピューティングに特有の資源を回収する能力を示す。
純状態の忠実度は、与えられた計算のノイズフロアを表す。
各種の小型回路に対して,古典的影データを収集することにより,これらの知見を実験的に検証した。
論文 参考訳(メタデータ) (2025-05-07T19:24:00Z) - Optimized Noise Suppression for Quantum Circuits [0.40964539027092917]
クロストークノイズは、例えば、クロス共鳴ベースの超伝導量子プロセッサにおける深刻なエラー源である。
Intrepidプログラミングアルゴリズムは、スワップ挿入によって最適化されたキュービットルーティングに関する以前の作業を拡張する。
最大127キュービットの2つのチップのクロストークノイズを特徴付けることで,提案手法の評価を行った。
論文 参考訳(メタデータ) (2024-01-12T07:34:59Z) - Accurate and Honest Approximation of Correlated Qubit Noise [39.58317527488534]
提案手法は, 量子ビット相関度の高い雑音成分を組み込むことにより, 精度を向上することのできる, 近似雑音チャネルの効率的な構成法である。
固定周波数超伝導量子ビットに典型的な現実的な雑音強度では、2量子ビット相関を超える相関ノイズがコードシミュレーションの精度に大きく影響することを発見した。
論文 参考訳(メタデータ) (2023-11-15T19:00:34Z) - Evaluating the Resilience of Variational Quantum Algorithms to Leakage
Noise [6.467585493563487]
漏れノイズは、エラー訂正アプローチでは処理できないエラーの損傷源である。
このノイズが変分量子アルゴリズム(VQA)の性能に与える影響はまだ分かっていない。
論文 参考訳(メタデータ) (2022-08-10T14:50:14Z) - Characterizing and mitigating coherent errors in a trapped ion quantum
processor using hidden inverses [0.20315704654772418]
量子コンピューティングテストベッドは、量子ビットの小さな集合に対して高忠実な量子制御を示す。
これらのノイズの多い中間スケールデバイスは、デコヒーレンスの前に十分な数のシーケンシャルな操作をサポートすることができる。
これらのアルゴリズムの結果は不完全であるが、これらの不完全性は量子コンピュータのテストベッド開発をブートストラップするのに役立ちます。
論文 参考訳(メタデータ) (2022-05-27T20:35:24Z) - Modeling and mitigation of cross-talk effects in readout noise with
applications to the Quantum Approximate Optimization Algorithm [0.0]
雑音の緩和は、上界を導出する誤差まで行うことができる。
ノイズモデルとエラー軽減スキームの両方をテストするためにIBMのデバイスを使用した15(23)量子ビットの実験。
浅層深度ランダム回路によって生成されるHaar-random量子状態と状態に対して、同様の効果が期待できることを示す。
論文 参考訳(メタデータ) (2021-01-07T02:19:58Z) - Efficient and robust certification of genuine multipartite entanglement
in noisy quantum error correction circuits [58.720142291102135]
実効多部絡み(GME)認証のための条件付き目撃手法を導入する。
線形な二分割数における絡み合いの検出は, 多数の測定値によって線形にスケールし, GMEの認証に十分であることを示す。
本手法は, 距離3の位相的カラーコードとフラグベースの耐故障バージョンにおける安定化作用素の雑音可読化に適用する。
論文 参考訳(メタデータ) (2020-10-06T18:00:07Z) - A deep learning model for noise prediction on near-term quantum devices [137.6408511310322]
我々は、量子デバイスからの実験データに基づいて畳み込みニューラルネットワークをトレーニングし、ハードウェア固有のノイズモデルを学ぶ。
コンパイラはトレーニングされたネットワークをノイズ予測器として使用し、期待されるノイズを最小限に抑えるために回路にゲートのシーケンスを挿入する。
論文 参考訳(メタデータ) (2020-05-21T17:47:29Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。