論文の概要: Cirquo: A Suite For Testing and Debugging Quantum Programs
- arxiv url: http://arxiv.org/abs/2311.18202v1
- Date: Thu, 30 Nov 2023 02:42:58 GMT
- ステータス: 処理完了
- システム内更新日: 2023-12-01 18:17:24.850198
- Title: Cirquo: A Suite For Testing and Debugging Quantum Programs
- Title(参考訳): Cirquo: 量子プログラムのテストとデバッグのためのスイート
- Authors: Sara Ayman Metwalli and Rodney Van Meter
- Abstract要約: 我々は、量子回路テストおよびデバッグスイート(Cirquo)を設計、実装した。
Cirquoは、ユーザが回路を垂直または水平に分割し、スライスと呼ばれる小さなチャンクに分割することを可能にする。
Cirquoはまた、開発者は回路全体とチャンク内のゲートを追跡でき、それぞれの動作をよりよく理解することができる。
- 参考スコア(独自算出の注目度): 0.65268245109828
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: As the scale of quantum programs grows to match that of classical software,
the nascent field of quantum software engineering must mature, and tools such
as debuggers will become increasingly important. However, developing a quantum
debugger is challenging due to the nature of a quantum computer; sneaking a
peek at the value of a quantum state will cause either a partial or complete
collapse of the superposition and may destroy the necessary entanglement. We
have designed and implemented a quantum circuit testing and debugging suite
(Cirquo) that allows the user to divide the circuit vertically or horizontally
into smaller chunks known as slices and manage their simulation or execution
for either interactive debugging or automated testing. Cirquo also enables
developers to track gates within the overall circuit and each chunk to
understand their behavior better. Feedback on usefulness and usability from
early users shows that using Cirquo to slice and test their circuits has helped
make the debugging process more time-efficient for them.
- Abstract(参考訳): 量子プログラムの規模が古典的ソフトウェアに匹敵するほど大きくなるにつれ、量子ソフトウェア工学の生まれたばかりの分野は成熟しなければならず、デバッガのようなツールがますます重要になる。
しかし、量子コンピュータの性質から量子デバッガの開発は困難であり、量子状態の値を覗き見することは、重ね合わせの部分的あるいは完全な崩壊を引き起こし、必要な絡み合いを破壊する可能性がある。
我々は、ユーザが回路をスライスと呼ばれる小さなチャンクに垂直または水平に分割し、インタラクティブなデバッグや自動テストのためにシミュレーションや実行を管理する量子回路テストデバッグスイート(Cirquo)を設計、実装した。
Cirquoはまた、開発者は回路全体とチャンク内のゲートを追跡でき、それぞれの動作をよりよく理解することができる。
初期のユーザからの有用性とユーザビリティに関するフィードバックは、cirquoを使って回路をスライスしてテストすることで、デバッグプロセスがより時間効率良くなることを示している。
関連論文リスト
- Bayesian Parameterized Quantum Circuit Optimization (BPQCO): A task and hardware-dependent approach [49.89480853499917]
変分量子アルゴリズム(VQA)は、最適化と機械学習問題を解決するための有望な量子代替手段として登場した。
本稿では,回路設計が2つの分類問題に対して得られる性能に与える影響を実験的に示す。
また、実量子コンピュータのシミュレーションにおいて、ノイズの存在下で得られた回路の劣化について検討する。
論文 参考訳(メタデータ) (2024-04-17T11:00:12Z) - QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳(メタデータ) (2024-01-10T22:33:00Z) - Adaptive Circuit Learning of Born Machine: Towards Realization of
Amplitude Embedding and Data Loading [7.88657961743755]
本稿では,ACLBM(Adaptive Circuit Learning of Born Machine)という新しいアルゴリズムを提案する。
我々のアルゴリズムは、ターゲット状態に存在する複雑な絡み合いを最もよく捉える2ビットの絡み合いゲートを選択的に統合するように調整されている。
実験結果は、振幅埋め込みによる実世界のデータの符号化における我々のアプローチの習熟度を裏付けるものである。
論文 参考訳(メタデータ) (2023-11-29T16:47:31Z) - Universal compilation for quantum state preparation and tomography [0.0]
低深さ量子回路における量子状態の準備とトモグラフィのための普遍的なコンパイルに基づく変分アルゴリズムを提案する。
様々なユニタリトポロジの性能と、高い効率を得るために異なるユニタリのトレーニング性を評価する。
論文 参考訳(メタデータ) (2022-04-25T13:10:33Z) - Quantum circuit debugging and sensitivity analysis via local inversions [62.997667081978825]
本稿では,回路に最も影響を及ぼす量子回路の断面をピンポイントする手法を提案する。
我々は,IBM量子マシン上に実装されたアルゴリズム回路の例に応用して,提案手法の実用性と有効性を示す。
論文 参考訳(メタデータ) (2022-04-12T19:39:31Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳(メタデータ) (2021-12-27T21:15:35Z) - Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network [64.1951227380212]
量子回路をキューネットワークとしてモデル化することを提案する。
提案手法はスケーラビリティが高く,大規模量子回路のコンパイルに必要となる潜在的な速度と精度を有する。
論文 参考訳(メタデータ) (2021-06-26T10:55:52Z) - Handling Non-Unitaries in Quantum Circuit Equivalence Checking [4.265279817927261]
量子コンピュータは、古典計算と量子計算の相互作用がリアルタイムで起こりうるレベルに達している。
これは、新しいより広範な量子回路、すなわち動的量子回路の出現を意味している。
シミュレーション、コンパイル、検証といった設計タスクに新たな課題をもたらす、幅広い利用可能なコンピューティングプリミティブを提供する。
論文 参考訳(メタデータ) (2021-06-02T12:04:56Z) - Capacity and quantum geometry of parametrized quantum circuits [0.0]
パラメタライズド量子回路は、現在のデバイスで効果的に実装できる。
パラメータ空間の幾何学的構造を用いて,これらの回路のキャパシティとトレーニング性を評価する。
本結果は,変分量子アルゴリズムの改良を目的としたパラメタライズド量子回路の理解を深めるものである。
論文 参考訳(メタデータ) (2021-02-02T18:16:57Z) - QUANTIFY: A framework for resource analysis and design verification of
quantum circuits [69.43216268165402]
QUINTIFYは、量子回路の定量的解析のためのオープンソースのフレームワークである。
Google Cirqをベースにしており、Clifford+T回路を念頭に開発されている。
ベンチマークのため、QUINTIFYは量子メモリと量子演算回路を含む。
論文 参考訳(メタデータ) (2020-07-21T15:36:25Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。