論文の概要: Decision Diagrams for Symbolic Verification of Quantum Circuits
- arxiv url: http://arxiv.org/abs/2308.00440v1
- Date: Tue, 1 Aug 2023 10:35:04 GMT
- ステータス: 処理完了
- システム内更新日: 2023-08-02 14:32:08.299131
- Title: Decision Diagrams for Symbolic Verification of Quantum Circuits
- Title（参考訳）: 量子回路のシンボリック検証のための決定図
- Authors: Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh,
Sanjiang Li, Chia-Shun Yeh and Mingsheng Ying
- Abstract要約: 本稿では,シンボルオブジェクトを動作させ,量子回路をシンボル項で検証するための最初の決定図法を提案する。
我々のシンボリックテンソル決定図(シンボリックTDD)は、3分で160量子フーリエ変換回路の機能を検証することができる。
- 参考スコア（独自算出の注目度）: 14.715027770125335
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: With the rapid development of quantum computing, automatic verification of
quantum circuits becomes more and more important. While several decision
diagrams (DDs) have been introduced in quantum circuit simulation and
verification, none of them supports symbolic computation. Algorithmic
manipulations of symbolic objects, however, have been identified as crucial, if
not indispensable, for several verification tasks. This paper proposes the
first decision-diagram approach for operating symbolic objects and verifying
quantum circuits with symbolic terms. As a notable example, our symbolic tensor
decision diagrams (symbolic TDD) could verify the functionality of the
160-qubit quantum Fourier transform circuit within three minutes. Moreover, as
demonstrated on Bernstein-Vazirani algorithm, Grover's algorithm, and the
bit-flip error correction code, the symbolic TDD enables efficient verification
of quantum circuits with user-supplied oracles and/or classical controls.
- Abstract（参考訳）: 量子コンピューティングの急速な発展に伴い、量子回路の自動検証がますます重要になっている。
いくつかの決定図(DD)が量子回路シミュレーションと検証に導入されているが、いずれもシンボリック計算をサポートしていない。
しかし、シンボリックオブジェクトのアルゴリズムによる操作は、いくつかの検証タスクにおいて不可欠でないとしても重要であると認識されている。
本稿では,シンボリックオブジェクトを操作し,量子回路をシンボリック項で検証する最初の決定ダイアグラム手法を提案する。
注目すべき例として、シンボリックテンソル決定図(シンボリックTDD)は、3分で160量子フーリエ変換回路の機能を検証することができる。
さらに、Bernstein-Vaziraniアルゴリズム、Groverのアルゴリズム、ビットフリップ誤り訂正符号に示されているように、シンボリックTDDは、ユーザが供給するオーラクルや古典的な制御による量子回路の効率的な検証を可能にする。
関連論文リスト
- Supervised binary classification of small-scale digits images with a trapped-ion quantum processor [56.089799129458875]
量子プロセッサは、考慮された基本的な分類タスクを正しく解くことができることを示す。
量子プロセッサの能力が向上するにつれ、機械学習の有用なツールになり得る。
論文 参考訳（メタデータ） (2024-06-17T18:20:51Z) - Quantum Circuit Ansatz: Patterns of Abstraction and Reuse of Quantum Algorithm Design [3.8425905067219492]
本稿では,量子回路のアンサーゼを分類したカタログを提案する。
各アンザッツは、意図、モチベーション、適用性、回路図、実装、例などの詳細とともに記述される。
量子アルゴリズム設計におけるそれらの応用を説明するための実例が提供されている。
論文 参考訳（メタデータ） (2024-05-08T12:44:37Z) - QuBEC: Boosting Equivalence Checking for Quantum Circuits with QEC
Embedding [4.15692939468851]
本稿では,従来の手法に比べてレイテンシの低い量子同値チェック手法QuBECを提案する。
提案手法は,ベンチマーク回路の検証時間を最大271.49倍に短縮する。
論文 参考訳（メタデータ） (2023-09-19T16:12:37Z) - Deep Quantum Error Correction [73.54643419792453]
量子誤り訂正符号(QECC)は、量子コンピューティングのポテンシャルを実現するための鍵となる要素である。
本研究では,新しいエンペンド・ツー・エンドの量子誤りデコーダを効率的に訓練する。
提案手法は,最先端の精度を実現することにより,QECCのニューラルデコーダのパワーを実証する。
論文 参考訳（メタデータ） (2023-01-27T08:16:26Z) - symQV: Automated Symbolic Verification of Quantum Programs [0.0]
本稿では,量子計算を記述・検証するためのシンボリックな実行フレームワークであるsymQVを提案する。
symQVは、量子プログラムが一階の仕様に準拠していることを自動的に検証することができる。
論文 参考訳（メタデータ） (2022-12-05T13:46:27Z) - 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) - Efficient realization of quantum algorithms with qudits [0.70224924046445]
マルチレベル量子システム(キューディット)を用いた量子アルゴリズムの効率的な実装手法を提案する。
提案手法は,Quditベースのプロセッサのパラメータに依存する標準量子ビット方式の回路のトランスパイレーションを用いる。
特定の普遍集合から取られた単一量子ゲートと2量子ゲートの列に量子回路を変換する明示的なスキームを提供する。
論文 参考訳（メタデータ） (2021-11-08T11:09:37Z) - A Tensor Network based Decision Diagram for Representation of Quantum
Circuits [8.36229449571485]
本稿では、テンソルネットワークの原理的かつ便利な応用のために、TDDと呼ばれる決定図式データ構造を提案する。
回路分割を利用することにより、量子回路のTDDを効率的に計算することができる。
TDDは量子回路に関連する様々な設計自動化タスクにおいて重要な役割を果たすことが期待されている。
論文 参考訳（メタデータ） (2020-09-06T00:12:31Z) - 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) - Deterministic correction of qubit loss [48.43720700248091]
量子ビットの損失は、大規模かつフォールトトレラントな量子情報プロセッサに対する根本的な障害の1つである。
トポロジカル曲面符号の最小インスタンスに対して、量子ビット損失検出と補正の完全なサイクルの実装を実験的に実証した。
論文 参考訳（メタデータ） (2020-02-21T19:48:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。