論文の概要: Partial Equivalence Checking of Quantum Circuits
- arxiv url: http://arxiv.org/abs/2208.07564v1
- Date: Tue, 16 Aug 2022 06:56:53 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-30 23:04:17.291317
- Title: Partial Equivalence Checking of Quantum Circuits
- Title(参考訳): 量子回路の部分等価性検証
- Authors: Tian-Fu Chen, Jie-Hong R. Jiang, Min-Hsiu Hsieh
- Abstract要約: 量子回路の等価性チェックは、量子プログラムのコンパイルにおいて必須の要素である。
部分等価性を検証できない量子回路の検証アルゴリズムを考案する。
- 参考スコア(独自算出の注目度): 23.357645240384876
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Equivalence checking of quantum circuits is an essential element in quantum
program compilation, in which a quantum program can be synthesized into
different quantum circuits that may vary in the number of qubits,
initialization requirements, and output states. Verifying the equivalences
among the implementation variants requires proper generality. Although
different notions of quantum circuit equivalence have been defined, prior
methods cannot check observational equivalence between two quantum circuits
whose qubits are partially initialized, which is referred to as partial
equivalence. In this work, we prove a necessary and sufficient condition for
two circuits to be partially equivalent. Based on the condition, we devise
algorithms for checking quantum circuits whose partial equivalence cannot be
verified by prior approaches. Experiment results confirm the generality and
demonstrate the efficiency and effectiveness of our method. Our result may
unleash the optimization power of quantum program compilation to take more
aggressive steps.
- Abstract(参考訳): 量子回路の等価性チェックは量子プログラムのコンパイルにおいて不可欠な要素であり、量子プログラムを量子ビット数、初期化条件、出力状態によって異なる異なる量子回路に合成することができる。
実装変種間の同値性を検証するには、適切な一般性が必要である。
量子回路等価性の異なる概念が定義されているが、以前の方法では、量子ビットが部分的に初期化されている2つの量子回路間の観測等価性は確認できない。
本研究では,2つの回路が部分的に等価である必要十分条件を証明した。
この条件に基づき、事前のアプローチでは部分等価性が検証できない量子回路をチェックするアルゴリズムを考案する。
実験の結果,本手法の汎用性を確認し,その効率と有効性を示す。
この結果は、量子プログラムコンパイルの最適化力を解き放ち、より積極的なステップを取ることができる。
関連論文リスト
- Improved Quantum Algorithms for Fidelity Estimation [77.34726150561087]
証明可能な性能保証を伴う忠実度推定のための新しい,効率的な量子アルゴリズムを開発した。
我々のアルゴリズムは量子特異値変換のような高度な量子線型代数技術を用いる。
任意の非自明な定数加算精度に対する忠実度推定は一般に困難であることを示す。
論文 参考訳(メタデータ) (2022-03-30T02:02:16Z) - Automatic quantum circuit encoding of a given arbitrary quantum state [0.0]
任意の量子状態を最適量子回路に符号化する量子古典ハイブリッドアルゴリズムを提案する。
提案アルゴリズムは、目的関数として、F = langle 0 vert hatmathcalCdagger vert Psi rangle$ の絶対値を用いる。
我々は、AQCEアルゴリズムによって生成された量子回路が、実際にノイズの多い実量子デバイス上で元の量子状態を合理的に表現できることを実験的に実証した。
論文 参考訳(メタデータ) (2021-12-29T12:33:41Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳(メタデータ) (2021-12-27T21:15:35Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳(メタデータ) (2021-12-09T19:00:00Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Equivalence Checking of Dynamic Quantum Circuits [7.835264621634824]
最先端の量子デバイスは依然として非常に限られた数の量子ビットしか持たない。
短期量子デバイスでより現実的なアルゴリズムを実行する1つの方法は、動的量子回路を使用することである。
この技術は、量子アルゴリズムの与えられた精度を達成するのに必要なリソースを大幅に削減するのに役立ちます。
論文 参考訳(メタデータ) (2021-06-03T08:03:22Z) - Equivalence checking of quantum circuits by nonlocality [0.6091702876917279]
この現実的な問題は、量子非局所性の観点から完全に解決できることを示す。
具体的には、基礎となる量子非局所性を調べるエレガントなプロトコルを設計する。
また,このプロトコルは,2つの量子回路間の距離を正確に計算することが可能であることを示す。
論文 参考訳(メタデータ) (2021-05-06T13:07:24Z) - Quantum walk processes in quantum devices [55.41644538483948]
グラフ上の量子ウォークを量子回路として表現する方法を研究する。
提案手法は,量子ウォークアルゴリズムを量子コンピュータ上で効率的に実装する方法である。
論文 参考訳(メタデータ) (2020-12-28T18:04:16Z) - Variational certification of quantum devices [0.0]
本稿では、量子デバイスの比較に使用できる変分量子固有解法に基づく簡単な手順について述べる。
我々は,IBM量子コンピュータ上での手順の実行により,現実的なシナリオにおける実現可能性を示す数値的な結果を提供する。
論文 参考訳(メタデータ) (2020-11-03T17:56:22Z) - 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) - Advanced Equivalence Checking for Quantum Circuits [4.265279817927261]
本稿では,量子回路の等価性チェックのための高度な手法を提案する。
量子回路の可逆性を利用して、複雑性を維持できることが示される。
古典的な領域とは対照的に、シミュレーションは量子回路の検証に非常に強力である。
論文 参考訳(メタデータ) (2020-04-17T18:56:23Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。