論文の概要: Equivalence Checking of Parameterised Quantum Circuits
- arxiv url: http://arxiv.org/abs/2404.18456v1
- Date: Mon, 29 Apr 2024 06:25:00 GMT
- ステータス: 処理完了
- システム内更新日: 2024-04-30 14:36:46.017921
- Title: Equivalence Checking of Parameterised Quantum Circuits
- Title（参考訳）: パラメータ化量子回路の等価チェック
- Authors: Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Mingsheng Ying,
- Abstract要約: テンソル決定図に基づく新しいPQCのコンパクト表現を提案する。
インスタンス化を必要とせずにPQC同値性を検証するアルゴリズムを提案する。
- 参考スコア（独自算出の注目度）: 13.796569260568939
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Parameterised quantum circuits (PQCs) hold great promise for demonstrating quantum advantages in practical applications of quantum computation. Examples of successful applications include the variational quantum eigensolver, the quantum approximate optimisation algorithm, and quantum machine learning. However, before executing PQCs on real quantum devices, they undergo compilation and optimisation procedures. Given the inherent error-proneness of these processes, it becomes crucial to verify the equivalence between the original PQC and its compiled or optimised version. Unfortunately, most existing quantum circuit verifiers cannot directly handle parameterised quantum circuits; instead, they require parameter substitution to perform verification. In this paper, we address the critical challenge of equivalence checking for PQCs. We propose a novel compact representation for PQCs based on tensor decision diagrams. Leveraging this representation, we present an algorithm for verifying PQC equivalence without the need for instantiation. Our approach ensures both effectiveness and efficiency, as confirmed by experimental evaluations. The decision-diagram representations offer a powerful tool for analysing and verifying parameterised quantum circuits, bridging the gap between theoretical models and practical implementations.
- Abstract（参考訳）: 量子回路(PQC)は、量子計算の実践的な応用において、量子上の優位性を実証するための大きな約束を持っている。
成功した応用例としては、変分量子固有解法、量子近似最適化アルゴリズム、量子機械学習などがある。
しかし、実際の量子デバイス上でPQCを実行する前に、コンパイルと最適化の手順を実行する。
これらのプロセスの固有のエラー確率を考えると、元のPQCとコンパイルまたは最適化されたバージョンとの等価性を検証することが重要である。
残念ながら、既存のほとんどの量子回路検証器はパラメータ化された量子回路を直接扱えない。
本稿では,PQCの等価性検査における重要な課題について述べる。
テンソル決定図に基づく新しいPQCのコンパクト表現を提案する。
この表現を活用することで、インスタンス化を必要とせずにPQC等価性を検証できるアルゴリズムを提案する。
提案手法は, 評価実験により, 有効性と効率性を両立させるものである。
決定ダイアグラム表現は、パラメータ化された量子回路を分析し検証し、理論モデルと実践的な実装の間のギャップを埋める強力なツールを提供する。
関連論文リスト
- Equivalence Checking of Quantum Circuits via Intermediary Matrix Product Operator [4.306566710489809]
等価チェックは、量子回路のコンパイルと最適化中に発生するエラーを特定する上で重要な役割を果たす。
本稿では,量子回路の等価性を決定するために,行列積演算子(MPO)に基づく新しい手法を提案する。
論文 参考訳（メタデータ） (2024-10-14T18:00:00Z) - YAQQ: Yet Another Quantum Quantizer -- Design Space Exploration of Quantum Gate Sets using Novelty Search [0.9932551365711049]
本稿では,量子処理ユニットと制御プロトコルのネイティブゲートに基づく比較解析を行うソフトウェアツールを提案する。
開発されたソフトウェアYAQQ(Yet Another Quantum Quantizer)は、最適化された量子ゲートセットの発見を可能にする。
論文 参考訳（メタデータ） (2024-06-25T14:55:35Z) - Bayesian Parameterized Quantum Circuit Optimization (BPQCO): A task and hardware-dependent approach [49.89480853499917]
変分量子アルゴリズム(VQA)は、最適化と機械学習問題を解決するための有望な量子代替手段として登場した。
本稿では,回路設計が2つの分類問題に対して得られる性能に与える影響を実験的に示す。
また、実量子コンピュータのシミュレーションにおいて、ノイズの存在下で得られた回路の劣化について検討する。
論文 参考訳（メタデータ） (2024-04-17T11:00:12Z) - Parallel circuit implementation of variational quantum algorithms [0.0]
本稿では,変分量子アルゴリズム(VQA)の量子回路を分割し,並列トレーニングと実行を可能にする手法を提案する。
本稿では,この問題からの固有構造を同定可能な最適化問題に適用する。
我々は,本手法がより大きな問題に対処できるだけでなく,1つのスライスのみを用いてパラメータをトレーニングしながら,完全なVQAモデルを実行することもできることを示した。
論文 参考訳（メタデータ） (2023-04-06T12:52:29Z) - Equivalence Checking of Parameterized Quantum Circuits: Verifying the
Compilation of Variational Quantum Algorithms [3.610459670994051]
変分量子アルゴリズムは量子古典ハイブリッドアルゴリズムの有望なクラスとして導入された。
パラメータ化量子回路が正しくコンパイルされていることを検証することが不可欠である。
回路をパラメータで扱える手法はまだ提案されていない。
論文 参考訳（メタデータ） (2022-10-21T18:00:04Z) - 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) - Quantum circuit architecture search for variational quantum algorithms [88.71725630554758]
本稿では、QAS(Quantum Architecture Search)と呼ばれるリソースと実行時の効率的なスキームを提案する。
QASは、よりノイズの多い量子ゲートを追加することで得られる利点と副作用のバランスをとるために、自動的にほぼ最適アンサッツを求める。
数値シミュレータと実量子ハードウェアの両方に、IBMクラウドを介してQASを実装し、データ分類と量子化学タスクを実現する。
論文 参考訳（メタデータ） (2020-10-20T12:06:27Z) - 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) - Using Quantum Metrological Bounds in Quantum Error Correction: A Simple
Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。
我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
論文 参考訳（メタデータ） (2020-04-24T17:58:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。