Fugu-MT 論文翻訳(概要): Symbolic Verification of Quantum Circuits

論文の概要: Symbolic Verification of Quantum Circuits

arxiv url: http://arxiv.org/abs/2010.03032v1
Date: Mon, 5 Oct 2020 00:02:22 GMT
ステータス: 処理完了
システム内更新日: 2023-04-29 22:18:57.962781
Title: Symbolic Verification of Quantum Circuits
Title（参考訳）: 量子回路のシンボリック検証
Authors: Mingsheng Ying and Zhengfeng Ji
Abstract要約: このアプローチの大きな利点は、量子回路の推論において古典論理回路の検証のための既存の技術やツールを直接借りることができることである。
参考スコア（独自算出の注目度）: 2.761571970869167
License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
Abstract: This short note proposes a symbolic approach for representing and reasoning about quantum circuits using complex, vector or matrix-valued Boolean expressions. A major benefit of this approach is that it allows us to directly borrow the existing techniques and tools for verification of classical logic circuits in reasoning about quantum circuits.
Abstract（参考訳）: 本稿では、複素数、ベクトルまたは行列値のブール式を用いて量子回路を表現・推論するためのシンボリックアプローチを提案する。このアプローチの大きな利点は、量子回路の推論において古典論理回路の検証のための既存の技術やツールを直接借りることができることである。

関連論文リスト

Quantum Error Mitigation via Linear-Depth Verifier Circuits [0.044998333629984864]
低次元行列積演算子(MPO)によって正確に表現される量子回路の検証回路を構築する方法を提案する。回路を2次元の量子ビット配列にトランスパイルすることにより、検証回路が回路自体よりも浅いクロスオーバー点を推定し、量子エラー軽減(QEM)に有用である。提案手法は、コヒーレントノイズに対処するために量子サブ回路の校正に有用であるが、現在のデバイスに存在する非コヒーレントノイズを補正することができない。
論文参考訳（メタデータ） (2024-11-05T16:44:18Z)
Decision Diagrams for Symbolic Verification of Quantum Circuits [14.715027770125335]
本稿では,シンボルオブジェクトを動作させ,量子回路をシンボル項で検証するための最初の決定図法を提案する。我々のシンボリックテンソル決定図(シンボリックTDD)は、3分で160量子フーリエ変換回路の機能を検証することができる。
論文参考訳（メタデータ） (2023-08-01T10:35:04Z)
A Complete Equational Theory for Quantum Circuits [58.720142291102135]
量子回路に対する最初の完全方程式理論を導入する。 2つの回路が同じユニタリ写像を表すのは、方程式を用いて1つをもう1つに変換できる場合に限る。
論文参考訳（メタデータ） (2022-06-21T17:56:31Z)
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)
Quantum Circuits in Additive Hilbert Space [0.0]
従来の回路を加法空間でどのように表現し、どのように回収するかを示す。特にフォーマリズムでは、低レベル回路分解から高レベルな多重制御プリミティブを合成することができる。我々の定式化はまた、回路のような図式表現を受け入れ、量子計算の斬新でシンプルな解釈を提案する。
論文参考訳（メタデータ） (2021-11-01T19:05:41Z)
LQP: The Dynamic Logic of Quantum Information [77.34726150561087]
本稿では,複合量子システムにおける情報フローの推論のための動的論理形式について紹介する。本稿では,この論理の文法,関係意味論,音響証明システムについて述べる。アプリケーションとしては,テレポーテーションプロトコルと標準量子秘密共有プロトコルに対して,正式な正当性を与えるために,我々のシステムを利用する。
論文参考訳（メタデータ） (2021-10-04T12:20:23Z)
The Logic of Quantum Programs [77.34726150561087]
本稿では,量子プログラムにおける情報フローの論理計算について述べる。特に、複素量子系における量子測定、ユニタリ進化、絡み合いを扱うことができる動的論理を導入する。
論文参考訳（メタデータ） (2021-09-14T16:08:37Z)
Routed quantum circuits [0.0]
いくつかの最近の研究で研究されている量子論的構造は、量子回路の標準的な枠組みの中で適切に説明できないと論じる。我々は、テクスチュルト線形写像とテクスチュルト量子回路によって与えられる量子回路の枠組みの拡張を提案する。
論文参考訳（メタデータ） (2020-11-16T17:31:56Z)
Hardware-Encoding Grid States in a Non-Reciprocal Superconducting Circuit [62.997667081978825]
本稿では、非相互デバイスと、基底空間が2倍縮退し、基底状態がGottesman-Kitaev-Preskill(GKP)符号の近似符号であるジョセフソン接合からなる回路設計について述べる。この回路は、電荷やフラックスノイズなどの超伝導回路の一般的なノイズチャネルに対して自然に保護されており、受動的量子誤差補正に使用できることを示唆している。
論文参考訳（メタデータ） (2020-02-18T16:45:09Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。