論文の概要: 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を使って回路をスライスしてテストすることで、デバッグプロセスがより時間効率良くなることを示している。
関連論文リスト
- Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator [4.306566710489809]
等価チェックは、量子回路のコンパイルと最適化中に発生するエラーを特定する上で重要な役割を果たす。
本稿では,量子回路の等価性を決定するために,行列積演算子(MPO)に基づく新しい手法を提案する。
論文 参考訳（メタデータ） (2024-10-14T18:00:00Z) - Efficient Learning for Linear Properties of Bounded-Gate Quantum Circuits [63.733312560668274]
d可変RZゲートとG-dクリフォードゲートを含む量子回路を与えられた場合、学習者は純粋に古典的な推論を行い、その線形特性を効率的に予測できるだろうか?
我々は、d で線形にスケーリングするサンプルの複雑さが、小さな予測誤差を達成するのに十分であり、対応する計算の複雑さは d で指数関数的にスケールすることを証明する。
我々は,予測誤差と計算複雑性をトレードオフできるカーネルベースの学習モデルを考案し,多くの実践的な環境で指数関数からスケーリングへ移行した。
論文 参考訳（メタデータ） (2024-08-22T08:21:28Z) - Learning the expressibility of quantum circuit ansatz using transformer [5.368973814856243]
本稿では,量子回路のアンサーゼの表現可能性を予測するために,トランスフォーマーモデルを提案する。
本研究は、量子回路アンサーゼの表現可能性の理解を深め、量子アーキテクチャ探索アルゴリズムを進化させることが可能である。
論文 参考訳（メタデータ） (2024-05-29T07:34:07Z) - Bayesian Parameterized Quantum Circuit Optimization (BPQCO): A task and hardware-dependent approach [49.89480853499917]
変分量子アルゴリズム(VQA)は、最適化と機械学習問題を解決するための有望な量子代替手段として登場した。
本稿では,回路設計が2つの分類問題に対して得られる性能に与える影響を実験的に示す。
また、実量子コンピュータのシミュレーションにおいて、ノイズの存在下で得られた回路の劣化について検討する。
論文 参考訳（メタデータ） (2024-04-17T11:00:12Z) - 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) - 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) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。