論文の概要: Understanding Bugs in Quantum Simulators: An Empirical Study

• arxiv url: http://arxiv.org/abs/2603.22789v1
• Date: Tue, 24 Mar 2026 04:24:25 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-25 19:53:37.304338
• Title: Understanding Bugs in Quantum Simulators: An Empirical Study
• Title（参考訳）: 量子シミュレータにおけるバグの理解--実証的研究
• Authors: Krishna Upadhyay, Moshood Fakorede, Umar Farooq,
• Abstract要約: 量子シミュレータは、量子ソフトウェアエコシステムの基本コンポーネントである。 量子プログラムの開発とデバッグ、コンパイラ変換の検証、正確性とパフォーマンスに関する実証的な主張のサポートに使用される。 しかし、量子シミュレーターにおける障害の大規模かつ詳細な研究はいまだに欠けている。
• 参考スコア（独自算出の注目度）: 0.5926203312586109
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Quantum simulators are a foundational component of the quantum software ecosystem. They are widely used to develop and debug quantum programs, validate compiler transformations, and support empirical claims about correctness and performance. In the absence of large-scale quantum hardware, simulator outputs are often treated as ground truth for algorithm development and system evaluation. However, quantum simulators also introduce unique implementation challenges. They must faithfully emulate quantum behavior while executing on classical hardware, requiring complex representations of quantum state evolution, operator composition, and noise modeling. Yet, we still lack a large-scale and in-depth study of failures in quantum simulators. To bridge this gap, this work presents a comprehensive empirical study of bugs in widely used open-source quantum simulators. We analyze 394 confirmed bugs from 12 simulators and manually categorize them based on root causes, failure manifestations, affected components, and discovery mechanisms. Our study reveals several key findings. First, bug discovery is largely user-driven, with most crashes, exceptions, and resource-related failures not detected by automated testing and identified after deployment. Second, logical correctness failures are widespread and often silent, producing plausible but incorrect outputs without triggering crashes or explicit error signals. Third, many critical failures originate in classical simulator infrastructure, such as memory management, indexing, configuration, and dependency compatibility, rather than in core quantum execution logic. These findings provide new insights into the reliability challenges of quantum simulators and highlight opportunities to improve testing and validation practices in the quantum software ecosystem.
• Abstract（参考訳）: 量子シミュレータは、量子ソフトウェアエコシステムの基本コンポーネントである。 量子プログラムの開発とデバッグ、コンパイラ変換の検証、正確性とパフォーマンスに関する経験的主張のサポートに広く使用されている。 大規模量子ハードウェアがなければ、シミュレータの出力はアルゴリズム開発とシステム評価のための基礎的真理として扱われることが多い。 しかし、量子シミュレータは独自の実装課題も導入している。 量子状態の進化、演算子構成、ノイズモデリングの複雑な表現を必要とするため、古典的なハードウェア上で実行しながら量子の振る舞いを忠実にエミュレートする必要がある。 しかし、量子シミュレーターにおける障害の大規模かつ詳細な研究はいまだに欠けている。 このギャップを埋めるために、この研究は広く使われているオープンソースの量子シミュレータのバグに関する包括的実証研究を示す。 我々は12のシミュレーターから確認された394のバグを分析し、根本原因、障害発生、影響を受けるコンポーネント、発見メカニズムに基づいてそれらを手作業で分類した。 我々の研究はいくつかの重要な発見を明らかにしている。 まず、バグ発見は主としてユーザ主導であり、ほとんどのクラッシュ、例外、リソース関連の障害は自動テストによって検出されず、デプロイ後に特定される。 第二に、論理的正当性障害は広範に発生し、しばしばサイレントであり、クラッシュや明示的なエラー信号を引き起こすことなく、妥当だが誤った出力を生成する。 第三に、多くの重要な障害は、コアの量子実行ロジックではなく、メモリ管理、インデックス作成、設定、依存関係の互換性といった古典的なシミュレータのインフラに起因している。 これらの発見は、量子シミュレータの信頼性に関する新たな洞察を与え、量子ソフトウェアエコシステムにおけるテストと検証の実践を改善する機会を強調している。

関連論文リスト

• Enabling large-scale digital quantum simulations with superconducting qubits [0.0]
  デジタル量子シミュレーションは、量子化学、凝縮物質物理学、材料科学などの分野を変換することができる。 フォールトトレラントな量子コンピュータの長期的解は、主に量子ビット数のオーバーヘッドのために、自分自身の誤りを正すことはできない。 この論文は、完全な計算スタックにまたがる量子シミュレーションを進める方法を探究することによって、このより広範な努力に寄与する。
  論文  参考訳（メタデータ） (2026-02-04T16:29:55Z)
• An experience-based classification of quantum bugs in quantum software [0.34376560669160394]
  主に量子ソフトウェア開発者としての経験から生まれた、14の量子バグについて説明する。 それらのコンテキスト、症状、それらを特定し、修正するためのテクニックについて詳述する。
  論文  参考訳（メタデータ） (2025-09-03T12:58:22Z)
• Digital quantum simulation of many-body systems: Making the most of intermediate-scale, noisy quantum computers [51.56484100374058]
  この論文は量子デバイス上の量子力学をシミュレートすることを中心にしている。 本稿では,量子力学における最も関連性の高い量子アルゴリズムの概要を紹介する。 近い将来に量子シミュレーションの恩恵を受けることができる量子力学における関連する問題を同定する。
  論文  参考訳（メタデータ） (2025-08-29T10:37:19Z)
• Identifying Flaky Tests in Quantum Code: A Machine Learning Approach [5.323578182914324]
  量子システムの基本的な特徴である不確定性は、量子プログラムにおけるフレキテストの可能性を高める。 量子プログラムにおけるフレキなテストを自動的に検出するために,複数の機械学習モデルを活用する,新しい機械学習プラットフォームを提案する。
  論文  参考訳（メタデータ） (2025-02-06T19:43:51Z)
• QCircuitBench: A Large-Scale Dataset for Benchmarking Quantum Algorithm Design [63.02824918725805]
  量子コンピューティングは、量子アルゴリズムによる古典的コンピューティングよりも大幅にスピードアップされていることが認識されている。 QCircuitBenchは、量子アルゴリズムの設計と実装におけるAIの能力を評価するために設計された最初のベンチマークデータセットである。
  論文  参考訳（メタデータ） (2024-10-10T14:24:30Z)
• The curse of random quantum data [62.24825255497622]
  量子データのランドスケープにおける量子機械学習の性能を定量化する。 量子機械学習におけるトレーニング効率と一般化能力は、量子ビットの増加に伴い指数関数的に抑制される。 この結果は量子カーネル法と量子ニューラルネットワークの広帯域限界の両方に適用できる。
  論文  参考訳（メタデータ） (2024-08-19T12:18:07Z)
• Quantum Tunneling: From Theory to Error-Mitigated Quantum Simulation [49.1574468325115]
  本研究では,量子トンネルシミュレーションの理論的背景とハードウェア対応回路の実装について述べる。 我々は、ハードウェアのアンダーユース化問題を解決するために、ZNEとREM(エラー軽減技術)と量子チップのマルチプログラミングを使用する。
  論文  参考訳（メタデータ） (2024-04-10T14:27:07Z)
• Long-Time Error-Mitigating Simulation of Open Quantum Systems on Near Term Quantum Computers [38.860468003121404]
  本研究では,最大2千個のエンタングゲートを含むディープ回路においても,ハードウェアエラーに対する堅牢性を示す量子ハードウェア上でのオープン量子システムシミュレーションについて検討する。 我々は, 無限の熱浴に結合した2つの電子系をシミュレートする: 1) 駆動電界における放散自由電子系, 2) 磁場中の単一軌道における2つの相互作用電子の熱化 - ハバード原子。 この結果から, 開放量子系シミュレーションアルゴリズムは, ノイズの多いハードウェア上で, 同様に複雑な非散逸性アルゴリズムをはるかに上回ることができることを示した。
  論文  参考訳（メタデータ） (2021-08-02T21:36:37Z)
• Hardware-Efficient, Fault-Tolerant Quantum Computation with Rydberg Atoms [55.41644538483948]
  我々は中性原子量子コンピュータにおいてエラー源の完全な特徴付けを行う。 計算部分空間外の状態への原子量子ビットの崩壊に伴う最も重要なエラーに対処する,新しい,明らかに効率的な手法を開発した。 我々のプロトコルは、アルカリ原子とアルカリ原子の両方にエンコードされた量子ビットを持つ最先端の中性原子プラットフォームを用いて、近い将来に実装できる。
  論文  参考訳（メタデータ） (2021-05-27T23:29:53Z)
• Considering Decoherence Errors in the Simulation of Quantum Circuits Using Decision Diagrams [2.450250748409888]
  本稿では,デコヒーレンスエラーの考慮が,決定図に基づく手法のシミュレーション性能に与える影響について検討する。 実験により、これは誤りの単純な考慮に比べ、数桁の桁数の改善をもたらすことが確認された。
  論文  参考訳（メタデータ） (2020-12-10T12:29:24Z)
• Stochastic Quantum Circuit Simulation Using Decision Diagrams [3.9006434061597877]
  量子アルゴリズムの研究のかなりの量は、古典的なハードウェア上での量子回路のシミュレーションに依存している。 我々は、リソース要求を大幅に削減するために、意思決定ダイアグラムと同時実行の使用を提案する。 厳密な理論によって裏付けられた実証的な研究は、このアプローチによって特定の量子回路のより高速でよりスケーラブルなシミュレーションが可能になることを示している。
  論文  参考訳（メタデータ） (2020-12-10T12:10:18Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。