論文の概要: Randomized and Diverse Input State Generation for Quantum Program Testing
- arxiv url: http://arxiv.org/abs/2605.03957v1
- Date: Tue, 05 May 2026 16:40:52 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-06 19:35:44.043334
- Title: Randomized and Diverse Input State Generation for Quantum Program Testing
- Title(参考訳): 量子プログラムテストのためのランダム化および多値入力状態生成
- Authors: Maryse Ernzer, Seung Yeob Shin, Fabrizio Pastore, Domenico Bianculli,
- Abstract要約: 我々は、量子状態空間のカバレッジに関して、テスト回路ジェネレータを評価するためのフレームワークを開発する。
我々の貢献は3つある:我々は、州空間が探索される範囲の局所的指標とグローバルな指標の両方をキャプチャーする一連の多様性スコアを開発する。
- 参考スコア(独自算出の注目度): 3.256712731346424
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With the accelerating development of quantum technologies and their growing computational potential, quantum systems are being adapted for simulations and other critical tasks across diverse domains, making the reliability of the corresponding quantum software an essential concern. Although recent efforts have started to incorporate quantum-specific properties such as magnitude, phase, and entanglement under the form of input-coverage criteria into software testing, the unique structure of the quantum state space demands for more comprehensive testing. In particular, the notion of complete state-space exploration has so far received little attention. To address this gap, we propose a framework for evaluating test circuit generators with respect to their coverage of the quantum state space. Our contribution is threefold: we develop a set of diversity scores that capture both local and global indicators of the extent to which the state space is explored; we propose a test circuit generator that produces test input states via a Brick-Circuit (BC) construction designed to approximate ideal random states using hardware-compatible gates; we compare the proposed construction with existing generators based on their ability to generate uniformly distributed random test input states. Our extended diversity scores quantify the local correlations and global spread of magnitude, phase and entanglement. Using these scores, we evaluate the expressibility, defined as the capability to span the quantum state space uniformly, and entangling capabilities of existing generators relative to the BC generator. Our results show that the hardware-compatible BC generator achieves higher expressibility and entanglement performance at shallower depths than existing circuit generators.
- Abstract(参考訳): 量子技術の急速な発展とその計算能力の増大により、量子システムは様々な領域にわたるシミュレーションやその他の重要なタスクに適応し、対応する量子ソフトウェアの信頼性が重要な関心事となっている。
近年の取り組みでは、数値、位相、絡み合いといった量子特有の特性を、入力被覆基準の形でソフトウェアテストに組み込むことが試みられているが、量子状態空間のユニークな構造はより包括的なテストを必要としている。
特に、完全な状態空間探索という概念は、今のところほとんど注目されていない。
このギャップに対処するため、我々は、量子状態空間のカバレッジに関して、テスト回路ジェネレータを評価するためのフレームワークを提案する。
そこで本研究では, ハードウェア対応ゲートを用いた最適ランダム状態の近似を目的としたBrick-Circuit (BC) 構造を用いて, テスト入力状態を生成するテスト回路生成器を提案する。
我々の拡張多様性スコアは、大きさ、位相、絡み合いの局所的相関と大域的な広がりを定量化する。
これらのスコアを用いて、量子状態空間を均一に分散する能力として定義された表現可能性と、BCジェネレータに対する既存のジェネレータのアンタングリング能力を評価する。
ハードウェア互換のBCジェネレータは,既存の回路ジェネレータよりも浅い深さで高い表現性および絡み合い性能を実現する。
関連論文リスト
- SpinGQE: A Generative Quantum Eigensolver for Spin Hamiltonians [42.007194397302825]
基底状態探索は量子コンピューティングの中心である。
我々は、生成量子固有ソルバフレームワークをスピンハミルトニアンに拡張したSpinGQEを提案する。
我々は、低エネルギー状態を生成する量子回路について学ぶために、トランスフォーマーベースのデコーダを用いる。
論文 参考訳(メタデータ) (2026-03-25T13:38:15Z) - Context-Aware Unit Testing for Quantum Subroutines [14.117812847408523]
量子ソフトウェアをテストすることは、量子情報の非決定論的性質、基盤となるヒルベルト空間の高次元性、複雑なハードウェアノイズ、および量子システムの固有の非局所的性質による固有の課題を示す。
量子システムにおける単体テストに関連する計算複雑性に対処するために、文脈認識をテストプロセスに組み込むことを提案する。
論文 参考訳(メタデータ) (2025-06-12T04:58:56Z) - Quantum block Krylov subspace projector algorithm for computing low-lying eigenenergies [0.0]
QBKSPは量子系の退化を含む低次エネルギーを正確に計算するために設計された多重参照量子ランツォス法である。
本稿では,要求される期待値を評価するために,異なる問題設定に適した3つの小型量子回路を提案する。
論文 参考訳(メタデータ) (2025-06-11T17:47:22Z) - Certified Random Number Generation using Quantum Computers [0.0]
本稿では,現在の量子コンピュータが実用化にどのように活用できるかを考察する。
我々は量子力学で証明されたセキュアな乱数を生成する。
このプロトコルを既存の量子コンピュータに適用することにより、セキュアで半デバイスに依存しない乱数生成の実現可能性を示す。
論文 参考訳(メタデータ) (2025-02-05T08:19:18Z) - Bounding the Sample Fluctuation for Pure States Certification with Local Random Measurement [4.923287660970805]
ランダム化計測技術の最近の進歩は、この分野に新たな洞察をもたらした。
ランダム局所ハール測定により純粋量子状態の証明を行うスキームの基本特性について検討する。
その結果,演算子の複雑性と量子アルゴリズムの効率との本質的な相互作用が明らかになり,長距離絡み付き純粋状態の局所的認証の障害となった。
論文 参考訳(メタデータ) (2024-10-22T02:26:44Z) - Characterizing randomness in parameterized quantum circuits through expressibility and average entanglement [39.58317527488534]
量子回路(PQC)は、その主応用の範囲外ではまだ完全には理解されていない。
我々は、量子ビット接続性に関する制約の下で、PQCにおけるランダム状態の生成を分析する。
生成した状態の分布の均一性の増加と絡み合いの発生との間には,どれだけ急激な関係があるかを示す。
論文 参考訳(メタデータ) (2024-05-03T17:32:55Z) - Sufficient condition for universal quantum computation using bosonic
circuits [44.99833362998488]
我々は、計算普遍性にシミュレート可能な回路の促進に重点を置いている。
まず、連続変数状態をキュービット状態にマッピングするための一般的なフレームワークを紹介します。
次に、モジュラーおよび安定化サブシステム分解を含む既存のマップをこのフレームワークにキャストします。
論文 参考訳(メタデータ) (2023-09-14T16:15:14Z) - Generalized Time-bin Quantum Random Number Generator with
Uncharacterized Devices [0.0]
この研究はヒルベルト空間次元を増大させることで、無作為性の抽出可能な量の進化を分析する。
本稿では、時間ビン符号化方式の一般的な事例について検討し、様々な入力(状態準備)と結果(測定)部分空間を定義する。
このアプローチがシステムのエントロピーを高め、より抽出可能なランダム性をもたらすことを実証する。
論文 参考訳(メタデータ) (2023-05-05T15:53:22Z) - Preparing random states and benchmarking with many-body quantum chaos [48.044162981804526]
時間に依存しないハミルトン力学の下で自然にランダム状態アンサンブルの出現を予測し、実験的に観察する方法を示す。
観測されたランダムアンサンブルは射影測定から現れ、より大きな量子系のサブシステムの間に構築された普遍的相関に密接に関連している。
我々の研究は、量子力学におけるランダム性を理解するための意味を持ち、より広い文脈でのこの概念の適用を可能にする。
論文 参考訳(メタデータ) (2021-03-05T08:32:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。