論文の概要: QCRMut: Quantum Circuit Random Mutant generator tool
- arxiv url: http://arxiv.org/abs/2410.01415v1
- Date: Wed, 2 Oct 2024 10:54:00 GMT
- ステータス: 処理完了
- システム内更新日: 2024-11-04 21:09:23.659164
- Title: QCRMut: Quantum Circuit Random Mutant generator tool
- Title（参考訳）: QCRMut: 量子回路ランダム変異生成ツール
- Authors: Sinhué García Gil, Luis Llana Díaz, José Ignacio Requeno Jarabo,
- Abstract要約: 量子コンピューティングは近年増加しており、量子ソフトウェア工学とテストに関する出版物が急増していることが証明されている。
この技術が実用化に近づくにつれ、ソフトウェアの有効性の確保が不可欠になる。
本稿では、量子回路構造を利用した量子プログラムに適した突然変異ツールQCRMutを紹介する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Quantum computing has been on the rise in recent years, evidenced by a surge in publications on quantum software engineering and testing. Progress in quantum hardware has also been notable, with the introduction of impressive systems like Condor boasting 1121 qubits, and IBM Quantum System Two, which employs three 133-qubit Heron processors. As this technology edges closer to practical application, ensuring the efficacy of our software becomes imperative. Mutation testing, a well-established technique in classical computing, emerges as a valuable approach in this context. In our paper, we aim to introduce QCRMut, a mutation tool tailored for quantum programs, leveraging the inherent Quantum Circuit structure. We propose a randomised approach compared to previous works with exhaustive creation processes and the capability for marking immutable positions within the circuit. These features facilitate the preservation of program structure, which is crucial for future applications such as metamorphic testing.
- Abstract（参考訳）: 量子コンピューティングは近年増加しており、量子ソフトウェア工学とテストに関する出版物が急増していることが証明されている。
量子ハードウェアの進歩は注目に値するもので、Condorは1121量子ビットを誇っており、IBM Quantum System Twoは133量子ビットのHeronプロセッサを3基採用している。
この技術が実用化に近づくにつれ、ソフトウェアの有効性の確保が不可欠になる。
古典コンピューティングにおいて確立されたテクニックである突然変異テストは、この文脈で価値のあるアプローチとして現れます。
本稿では,量子回路構造を利用した量子プログラムに適した突然変異ツールであるQCRMutを導入することを目的とする。
提案手法は, 回路内の不変位置をマークする機能と, 排他的生成プロセスを用いた従来の手法と比較して, ランダムなアプローチを提案する。
これらの特徴は、メタモルフィックテストのような将来の応用に欠かせないプログラム構造の保存を促進する。
関連論文リスト
- Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
超伝導プロセッサのための強化学習型量子コンパイラを開発した。
短絡の新規・ハードウェア対応回路の発見能力を示す。
本研究は,効率的な量子コンパイルのためのハードウェアによるソフトウェア設計を実証する。
論文 参考訳（メタデータ） (2024-06-18T01:49:48Z) - Quantum Subroutine for Variance Estimation: Algorithmic Design and Applications [80.04533958880862]
量子コンピューティングは、アルゴリズムを設計する新しい方法の基礎となる。
どの場の量子スピードアップが達成できるかという新たな課題が生じる。
量子サブルーチンの設計は、従来のサブルーチンよりも効率的で、新しい強力な量子アルゴリズムに固い柱を向ける。
論文 参考訳（メタデータ） (2024-02-26T09:32:07Z) - KetGPT -- Dataset Augmentation of Quantum Circuits using Transformers [1.236829197968612]
量子回路として表現される量子アルゴリズムは、量子システムの性能を評価するためのベンチマークとして用いられる。
しかしランダム回路は、実際の量子アルゴリズム固有の性質を欠いているため、代表的なベンチマークではない。
この研究は、我々が「リアルに見える」回路と呼ぶものを生成することによって、既存の量子回路データセットを強化することを目的としている。
論文 参考訳（メタデータ） (2024-02-20T20:02:21Z) - Demonstration of a Hardware-Independent Toolkit for Automated Quantum
Subcircuit Synthesis [2.828466685313335]
本稿では、合成、コンパイル、最適化のための自動量子ソフトウェアツールキットについて述べる。
古典的に特定され、不可逆な関数を、技術に依存しない量子回路と技術に依存した量子回路に変換する。
我々は、量子読み取り専用メモリ、量子乱数生成器、量子オラクルの3つの状況におけるツールキットの応用について記述し、分析する。
論文 参考訳（メタデータ） (2023-09-02T21:46:38Z) - 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: from physics to software engineering [58.720142291102135]
古典的な機械学習アプローチが量子コンピュータの設備改善にどのように役立つかを示す。
量子アルゴリズムと量子コンピュータは、古典的な機械学習タスクを解くのにどのように役立つかについて議論する。
論文 参考訳（メタデータ） (2023-01-04T23:37:45Z) - Evolution of Quantum Computing: A Systematic Survey on the Use of
Quantum Computing Tools [5.557009030881896]
我々は体系的な調査を行い、量子コンピューティングを促進する論文、ツール、フレームワーク、プラットフォームを分類する。
我々は、現在の本質を議論し、オープン課題を特定し、今後の研究方向性を提供する。
我々は、ここ数年でフレームワーク、ツール、プラットフォームのスコアが出現しており、現在利用可能な施設の改善は量子研究コミュニティにおける研究活動を活用するだろうと結論付けている。
論文 参考訳（メタデータ） (2022-04-04T21:21:12Z) - Recompilation-enhanced simulation of electron-phonon dynamics on IBM
Quantum computers [62.997667081978825]
小型電子フォノン系のゲートベース量子シミュレーションにおける絶対的資源コストについて考察する。
我々は、弱い電子-フォノン結合と強い電子-フォノン結合の両方のためのIBM量子ハードウェアの実験を行う。
デバイスノイズは大きいが、近似回路再コンパイルを用いることで、正確な対角化に匹敵する電流量子コンピュータ上で電子フォノンダイナミクスを得る。
論文 参考訳（メタデータ） (2022-02-16T19:00:00Z) - Quantum circuit architecture search on a superconducting processor [56.04169357427682]
変分量子アルゴリズム(VQA)は、ファイナンス、機械学習、化学といった様々な分野において、証明可能な計算上の優位性を得るための強力な証拠を示している。
しかし、現代のVQAで利用されるアンザッツは、表現性と訓練性の間のトレードオフのバランスをとることができない。
8量子ビット超伝導量子プロセッサ上でVQAを強化するために,効率的な自動アンサッツ設計技術を適用した最初の実証実験を実証する。
論文 参考訳（メタデータ） (2022-01-04T01:53:42Z) - Electronic structure with direct diagonalization on a D-Wave quantum
annealer [62.997667081978825]
本研究は、D-Wave 2000Q量子アニール上の分子電子ハミルトニアン固有値-固有ベクトル問題を解くために、一般量子アニール固有解法(QAE)アルゴリズムを実装した。
そこで本研究では,D-Waveハードウェアを用いた各種分子系における基底および電子励起状態の取得について述べる。
論文 参考訳（メタデータ） (2020-09-02T22:46:47Z) - Procedural generation using quantum computation [0.0]
量子計算は多くの分野で強力なツールとなることを約束する新興技術である。
この技術の発展は、様々な貴重な資源を生み出した。
これには、量子ハードウェアのプロトタイプ、小さな量子プログラムのための高度なシミュレータ、プログラミングフレームワークが含まれる。
論文 参考訳（メタデータ） (2020-07-22T16:05:55Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。