論文の概要: Bounds for Quantum Circuits using Logic-Based Analysis
- arxiv url: http://arxiv.org/abs/2411.19177v1
- Date: Thu, 28 Nov 2024 14:32:35 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-12-02 15:21:04.255767
- Title: Bounds for Quantum Circuits using Logic-Based Analysis
- Title(参考訳): 論理的解析を用いた量子回路の境界
- Authors: Benedikt Fauseweh, Ben Hermann, Falk Howar,
- Abstract要約: 量子回路の検証をスケールするための2つの主要な戦略を提案する。
本稿では,ハミング量保存の実証にこれらのアイデアを応用した2つの例を示す。
- 参考スコア(独自算出の注目度): 2.1028463367241033
- License:
- Abstract: We explore ideas for scaling verification methods for quantum circuits using SMT (Satisfiability Modulo Theories) solvers. We propose two primary strategies: (1) decomposing proof obligations via compositional verification and (2) leveraging linear over-approximation techniques for gate effects. We present two examples and demonstrate the application of these ideas to proof Hamming weight preservation.
- Abstract(参考訳): SMT(Satisfiability Modulo Theories)ソルバを用いた量子回路のスケーリング検証手法について検討する。
本稿では,(1)構成検証による証明義務の分解,(2)ゲート効果に対する線形オーバー近似手法の活用の2つの主要な戦略を提案する。
本稿では,ハミング量保存の実証にこれらのアイデアを応用した2つの例を示す。
関連論文リスト
- Equivalence Checking of Quantum Circuits by Model Counting [0.0]
本稿では、重み付きモデルカウント(WMC)に対する(ユニバーサル)量子回路等価問題をチューリング還元する。
オープンソースの実装により、この手法はZX計算と決定図に基づく最先端の等価性チェックツールより優れていることを示す。
論文 参考訳(メタデータ) (2024-03-27T17:58:20Z) - Quantum state inference from coarse-grained descriptions: analysis and
an application to quantum thermodynamics [101.18253437732933]
本稿では,最大エントロピー原理法と最近提案された平均アサインメントマップ法を比較した。
割り当てられた記述が測定された制約を尊重するという事実にもかかわらず、記述は従来のシステム環境構造を超えたシナリオで異なる。
論文 参考訳(メタデータ) (2022-05-16T19:42:24Z) - Efficient Bipartite Entanglement Detection Scheme with a Quantum
Adversarial Solver [89.80359585967642]
パラメータ化量子回路で完了した2プレーヤゼロサムゲームとして,両部絡み検出を再構成する。
このプロトコルを線形光ネットワーク上で実験的に実装し、5量子量子純状態と2量子量子混合状態の両部絡み検出に有効であることを示す。
論文 参考訳(メタデータ) (2022-03-15T09:46:45Z) - Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。
特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文 参考訳(メタデータ) (2021-12-27T21:15:35Z) - Quantum metrology and coherence [0.0]
量子メートル法分解能とコヒーレンスの関係を論じる。
我々は、量子定規の適切なモデルのための量子Wiener-Kintchine定理を開発し、フィッシャー情報を計算する。
論文 参考訳(メタデータ) (2021-02-05T15:13:06Z) - Quantum simulation of gauge theory via orbifold lattice [47.28069960496992]
普遍量子コンピュータ上で$textU(k)$ Yang-Mills理論をシミュレートするための新しいフレームワークを提案する。
本稿では,ヤン・ミルズ理論の静的特性と実時間ダイナミクスの計算への応用について論じる。
論文 参考訳(メタデータ) (2020-11-12T18:49:11Z) - Towards simulating 2D effects in lattice gauge theories on a quantum
computer [1.327151508840301]
本研究では,既存の量子技術を用いた2次元量子力学(2次元QED)の基底状態特性を実験的に研究する量子シミュレーション手法を提案する。
この提案は、arXiv:2006.14160における効果的なスピンモデルとしての格子ゲージ理論の定式化に基づいている。
本稿では、磁場効果の研究のための2つの変分量子固有解法(VQE)ベースのプロトコルと、QEDの動作結合を計算するための重要な第一歩について述べる。
論文 参考訳(メタデータ) (2020-08-21T01:20:55Z) - 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) - Evaluating the Advantage of Adaptive Strategies for Quantum Channel
Distinguishability [6.345523830122166]
一般化振幅減衰チャネルの識別・識別性蒸留における適応戦略による優位性について検討した。
適応的戦略と非適応的戦略との間には、大きなギャップがある。
論文 参考訳(メタデータ) (2020-01-15T15:31:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。