論文の概要: Equivalence Checking of Parameterized Quantum Circuits: Verifying the
Compilation of Variational Quantum Algorithms
- arxiv url: http://arxiv.org/abs/2210.12166v1
- Date: Fri, 21 Oct 2022 18:00:04 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-18 19:29:16.752015
- Title: Equivalence Checking of Parameterized Quantum Circuits: Verifying the
Compilation of Variational Quantum Algorithms
- Title（参考訳）: パラメータ化量子回路の等価性検証:変分量子アルゴリズムのコンパイル検証
- Authors: Tom Peham, Lukas Burgholzer and Robert Wille
- Abstract要約: 変分量子アルゴリズムは量子古典ハイブリッドアルゴリズムの有望なクラスとして導入された。
パラメータ化量子回路が正しくコンパイルされていることを検証することが不可欠である。
回路をパラメータで扱える手法はまだ提案されていない。
- 参考スコア（独自算出の注目度）: 3.610459670994051
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Variational quantum algorithms have been introduced as a promising class of
quantum-classical hybrid algorithms that can already be used with the noisy
quantum computing hardware available today by employing parameterized quantum
circuits. Considering the non-trivial nature of quantum circuit compilation and
the subtleties of quantum computing, it is essential to verify that these
parameterized circuits have been compiled correctly. Established equivalence
checking procedures that handle parameter-free circuits already exist. However,
no methodology capable of handling circuits with parameters has been proposed
yet. This work fills this gap by showing that verifying the equivalence of
parameterized circuits can be achieved in a purely symbolic fashion using an
equivalence checking approach based on the ZX-calculus. At the same time,
proofs of inequality can be efficiently obtained with conventional methods by
taking advantage of the degrees of freedom inherent to parameterized circuits.
We implemented the corresponding methods and proved that the resulting
methodology is complete. Experimental evaluations (using the entire parametric
ansatz circuit library provided by Qiskit as benchmarks) demonstrate the
efficacy of the proposed approach. The implementation is open source and
publicly available as part of the equivalence checking tool QCEC
(https://github.com/cda-tum/qcec) which is part of the Munich Quantum Toolkit
(MQT).
- Abstract（参考訳）: 変分量子アルゴリズムは量子古典ハイブリッドアルゴリズムの有望なクラスとして導入され、パラメータ化量子回路を用いて現在利用可能なノイズの多い量子コンピューティングハードウェアで既に使用することができる。
量子回路コンパイルの非自明な性質と量子コンピューティングの微妙さを考えると、これらのパラメータ化回路が正しくコンパイルされていることを検証することが不可欠である。
パラメータフリー回路を扱う等価チェック手順がすでに存在する。
しかし,回路をパラメータで扱える手法はまだ提案されていない。
本研究は、ZX計算に基づく等価チェック手法を用いて、パラメータ化回路の等価性を純粋に象徴的に検証できることを示し、このギャップを埋める。
同時に、パラメータ化回路に固有の自由度を利用して、従来の方法で不等式証明を効率的に得ることができる。
提案手法を実装し,提案手法が完全であることを実証した。
Qiskit氏がベンチマークとして提供するパラメトリックアンサッツ回路ライブラリ全体を使用)実験により,提案手法の有効性が示された。
この実装はオープンソースであり、ミュンヘン量子ツールキット(MQT)の一部である同値チェックツールQCEC(https://github.com/cda-tum/qcec)の一部として公開されている。
関連論文リスト
- Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator [4.306566710489809]
等価チェックは、量子回路のコンパイルと最適化中に発生するエラーを特定する上で重要な役割を果たす。
本稿では,量子回路の等価性を決定するために,行列積演算子(MPO)に基づく新しい手法を提案する。
論文 参考訳（メタデータ） (2024-10-14T18:00:00Z) - Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
超伝導プロセッサのための強化学習型量子コンパイラを開発した。
短絡の新規・ハードウェア対応回路の発見能力を示す。
本研究は,効率的な量子コンパイルのためのハードウェアによるソフトウェア設計を実証する。
論文 参考訳（メタデータ） (2024-06-18T01:49:48Z) - Equivalence Checking of Parameterised Quantum Circuits [13.796569260568939]
テンソル決定図に基づく新しいPQCのコンパクト表現を提案する。
インスタンス化を必要とせずにPQC同値性を検証するアルゴリズムを提案する。
論文 参考訳（メタデータ） (2024-04-29T06:25:00Z) - QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum
Circuits [82.50620782471485]
QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。
1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。
提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
論文 参考訳（メタデータ） (2024-01-10T22:33:00Z) - Symmetry enhanced variational quantum imaginary time evolution [1.6872254218310017]
我々は、ハミルトニアンの局所性と対称性に応じてパラメータ化量子回路を構築するためのガイダンスを提供する。
本手法は量子系のユニタリ・アンチ・ユニタリ対称性の実装に利用できる。
数値的な結果から,対称性向上回路は文献において頻繁に使用されるパラメトリゼーション回路よりも優れていたことが確認された。
論文 参考訳（メタデータ） (2023-07-25T16:00:34Z) - Equivalence Checking of Quantum Circuits with the ZX-Calculus [3.610459670994051]
最先端の量子コンピュータは、ますます複雑なアルゴリズムを実行することができる。
潜在的なアプリケーションの設計とテストのための自動メソッドの必要性が高まっます。
近年,この問題に対処する新しい手法が提案されている。
論文 参考訳（メタデータ） (2022-08-26T18:00:01Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳（メタデータ） (2021-12-27T21:15:35Z) - Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。
量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。
提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文 参考訳（メタデータ） (2021-06-06T13:15:25Z) - Q-Match: Iterative Shape Matching via Quantum Annealing [64.74942589569596]
形状対応を見つけることは、NP-hard quadratic assignment problem (QAP)として定式化できる。
本稿では,アルファ拡大アルゴリズムに触発されたQAPの反復量子法Q-Matchを提案する。
Q-Match は、実世界の問題にスケールできるような長文対応のサブセットにおいて、反復的に形状マッチング問題に適用できる。
論文 参考訳（メタデータ） (2021-05-06T17:59:38Z) - 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) - Reducing the amount of single-qubit rotations in VQE and related
algorithms [0.0]
パラメータ化量子回路における単一量子ビット回転の数は、回路の相対的表現性や絡み合う能力を損なうことなく減少することができることを示す。
また、変分量子固有解器の性能は、単一ビット回転の同様の減少の影響を受けないことを示した。
論文 参考訳（メタデータ） (2020-05-27T18:00:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。