論文の概要: Handling Non-Unitaries in Quantum Circuit Equivalence Checking
- arxiv url: http://arxiv.org/abs/2106.01099v2
- Date: Tue, 30 Nov 2021 13:48:10 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-28 01:21:18.209599
- Title: Handling Non-Unitaries in Quantum Circuit Equivalence Checking
- Title(参考訳): 量子回路等価性チェックにおける非ユニタリの扱い
- Authors: Lukas Burgholzer and Robert Wille
- Abstract要約: 量子コンピュータは、古典計算と量子計算の相互作用がリアルタイムで起こりうるレベルに達している。
これは、新しいより広範な量子回路、すなわち動的量子回路の出現を意味している。
シミュレーション、コンパイル、検証といった設計タスクに新たな課題をもたらす、幅広い利用可能なコンピューティングプリミティブを提供する。
- 参考スコア(独自算出の注目度): 4.265279817927261
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum computers are reaching a level where interactions between classical
and quantum computations can happen in real-time. This marks the advent of a
new, broader class of quantum circuits: dynamic quantum circuits. They offer a
broader range of available computing primitives that lead to new challenges for
design tasks such as simulation, compilation, and verification. Due to the
non-unitary nature of dynamic circuit primitives, most existing techniques and
tools for these tasks are no longer applicable in an out-of-the-box fashion. In
this work, we discuss the resulting consequences for quantum circuit
verification, specifically equivalence checking, and propose two different
schemes that eventually allow to treat the involved circuits as if they did not
contain non-unitaries at all. As a result, we demonstrate methodically, as well
as, experimentally that existing techniques for verifying the equivalence of
quantum circuits can be kept applicable for this broader class of circuits.
- Abstract(参考訳): 量子コンピュータは、古典計算と量子計算の相互作用がリアルタイムで起こるレベルに達している。
これは、新しいより広範な量子回路、すなわち動的量子回路の出現を表している。
これらは、シミュレーション、コンパイル、検証といった設計タスクの新たな課題につながる、より広い範囲の利用可能なコンピューティングプリミティブを提供する。
動的回路プリミティブの非単体的な性質のため、これらのタスクのための既存の技術やツールは、もはや最初から適用できない。
本研究では,量子回路の検証結果,特に等価性検証の結果について考察し,非ユニタリを全く含まないかのように,最終的に関連する回路を扱えるような2つの異なるスキームを提案する。
その結果、量子回路の等価性を検証する既存の手法が、この幅広い種類の回路に適用可能であることを実験的に実証した。
関連論文リスト
- Dynamical simulations of many-body quantum chaos on a quantum computer [3.731709137507907]
本稿では,二元一元回路として知られる最大カオス回路のクラスについて検討する。
91量子ビットの超伝導量子プロセッサは、これらの相関子を正確にシミュレートできることを示す。
次に、回路を二重ユニタリ点から遠ざけることによって、正確な検証以上のダイナミクスを探索する。
論文 参考訳(メタデータ) (2024-11-01T17:57:13Z) - Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator [4.306566710489809]
等価チェックは、量子回路のコンパイルと最適化中に発生するエラーを特定する上で重要な役割を果たす。
本稿では,量子回路の等価性を決定するために,行列積演算子(MPO)に基づく新しい手法を提案する。
論文 参考訳(メタデータ) (2024-10-14T18:00:00Z) - A Quantum-Classical Collaborative Training Architecture Based on Quantum
State Fidelity [50.387179833629254]
我々は,コ・テンク (co-TenQu) と呼ばれる古典量子アーキテクチャを導入する。
Co-TenQuは古典的なディープニューラルネットワークを41.72%まで向上させる。
他の量子ベースの手法よりも1.9倍も優れており、70.59%少ない量子ビットを使用しながら、同様の精度を達成している。
論文 参考訳(メタデータ) (2024-02-23T14:09:41Z) - QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳(メタデータ) (2024-01-10T22:33:00Z) - 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) - Equivalence Checking of Dynamic Quantum Circuits [7.835264621634824]
最先端の量子デバイスは依然として非常に限られた数の量子ビットしか持たない。
短期量子デバイスでより現実的なアルゴリズムを実行する1つの方法は、動的量子回路を使用することである。
この技術は、量子アルゴリズムの与えられた精度を達成するのに必要なリソースを大幅に削減するのに役立ちます。
論文 参考訳(メタデータ) (2021-06-03T08:03:22Z) - Exploiting dynamic quantum circuits in a quantum algorithm with
superconducting qubits [0.207811670193148]
超伝導系量子システム上に動的量子回路を構築する。
我々は、量子位相推定という最も基本的な量子アルゴリズムの1つを適応バージョンで活用する。
我々は、動的回路を用いたリアルタイム量子コンピューティングのバージョンが、実質的で有意義な利点をもたらすことを実証した。
論文 参考訳(メタデータ) (2021-02-02T18:51:23Z) - Information Scrambling in Computationally Complex Quantum Circuits [56.22772134614514]
53量子ビット量子プロセッサにおける量子スクランブルのダイナミクスを実験的に検討する。
演算子の拡散は効率的な古典的モデルによって捉えられるが、演算子の絡み合いは指数関数的にスケールされた計算資源を必要とする。
論文 参考訳(メタデータ) (2021-01-21T22:18:49Z) - Boundaries of quantum supremacy via random circuit sampling [69.16452769334367]
Googleの最近の量子超越性実験は、量子コンピューティングがランダムな回路サンプリングという計算タスクを実行する遷移点を示している。
観測された量子ランタイムの利点の制約を、より多くの量子ビットとゲートで検討する。
論文 参考訳(メタデータ) (2020-05-05T20:11:53Z) - Advanced Equivalence Checking for Quantum Circuits [4.265279817927261]
本稿では,量子回路の等価性チェックのための高度な手法を提案する。
量子回路の可逆性を利用して、複雑性を維持できることが示される。
古典的な領域とは対照的に、シミュレーションは量子回路の検証に非常に強力である。
論文 参考訳(メタデータ) (2020-04-17T18:56:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。