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

論文の概要: Verification of Recursively Defined Quantum Circuits

arxiv url: http://arxiv.org/abs/2404.05934v2
Date: Wed, 06 Nov 2024 20:54:12 GMT
ステータス: 翻訳完了
システム内更新日: 2024-11-08 19:35:54.003787
Title: Verification of Recursively Defined Quantum Circuits
Title（参考訳）: 再帰的に定義された量子回路の検証
Authors: Mingsheng Ying, Zhicheng Zhang,
Abstract要約: 本稿では,量子回路の正当性検証のための証明システムを提案する。応用例としては、(多重量子ビット)制御ゲート、(多重量子ビット)GHZを生成する量子回路などがある。
参考スコア（独自算出の注目度）: 7.042810171786408
License:
Abstract: Recursive techniques have recently been introduced into quantum programming so that a variety of large quantum circuits and algorithms can be elegantly and economically programmed. In this paper, we present a proof system for formal verification of the correctness of recursively defined quantum circuits. The soundness and (relative) completeness of the proof system are established. To demonstrating its effectiveness, a series of application examples of the proof system are given, including (multi-qubit) controlled gates, a quantum circuit generating (multi-qubit) GHZ (Greenberger-Horne-Zeilinger) states, recursive definition of quantum Fourier transform, quantum state preparation, and quantum random-access memories (QRAM).
Abstract（参考訳）: 再帰的手法は近年量子プログラミングに導入され、様々な大きな量子回路やアルゴリズムをエレガントかつ経済的にプログラムできるようになっている。本稿では,再帰的に定義された量子回路の正当性を検証するための証明システムを提案する。証明システムの健全性と(相対的な)完全性を確立する。その効果を示すために、証明システムの一連の応用例として、(多重量子)制御ゲート、(多重量子)GHZ状態を生成する量子回路、量子フーリエ変換の再帰的定義、量子状態準備、および量子ランダムアクセスメモリ(QRAM)がある。

関連論文リスト

Dynamic Runtime Assertions in Quantum Ternary Systems [1.5410557873153832]
量子三元系におけるアサーションは、量子二元系よりも困難である。古典的,絡み合い,重畳状態を示す量子三元回路の設計を提案する。
論文参考訳（メタデータ） (2023-12-23T17:46:51Z)
Quantum Recursive Programming with Quantum Case Statements [8.320147245667124]
このような量子再帰をサポートするための単純なプログラミング言語が定義される。いくつかの量子アルゴリズムがエレガントに量子再帰プログラムとして書けることを示す一連の例を示す。
論文参考訳（メタデータ） (2023-11-03T05:44:52Z)
Quantum process tomography of continuous-variable gates using coherent states [49.299443295581064]
ボソニックモード超伝導回路におけるコヒーレント状態量子プロセストモグラフィ(csQPT)の使用を実証する。符号化量子ビット上の変位とSNAP演算を用いて構築した論理量子ゲートを特徴付けることにより,本手法の結果を示す。
論文参考訳（メタデータ） (2023-03-02T18:08:08Z)
Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文参考訳（メタデータ） (2023-03-02T14:18:17Z)
Qafny: A Quantum-Program Verifier [39.47005122712576]
本稿では,量子プログラムの自動検証システムであるQafnyを紹介する。 Qafnyの核心は、量子演算を古典的な配列演算に変換する型誘導量子証明システムである。我々はQafnyが量子ウォークアルゴリズム、Groverのアルゴリズム、Shorのアルゴリズムを含む重要な量子アルゴリズムを効率的に検証する方法を示す。
論文参考訳（メタデータ） (2022-11-11T18:50:52Z)
Circuit Symmetry Verification Mitigates Quantum-Domain Impairments [69.33243249411113]
本稿では,量子状態の知識を必要とせず,量子回路の可換性を検証する回路指向対称性検証を提案する。特に、従来の量子領域形式を回路指向安定化器に一般化するフーリエ時間安定化器(STS)手法を提案する。
論文参考訳（メタデータ） (2021-12-27T21:15:35Z)
Preparation of quantum superposition using partial negation [1.911678487931003]
準備過程の速度と準備された重ね合わせの精度は、任意の量子アルゴリズムの成功に特に重要である。提案手法は、$mathcalO(n)$のステップで必要となる量子重ね合わせを準備するために使用できる。
論文参考訳（メタデータ） (2021-09-29T11:57:44Z)
Efficient criteria of quantumness for a large system of qubits [58.720142291102135]
大規模部分量子コヒーレント系の基本パラメータの無次元結合について論じる。解析的および数値計算に基づいて、断熱進化中の量子ビット系に対して、そのような数を提案する。
論文参考訳（メタデータ） (2021-08-30T23:50:05Z)
Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文参考訳（メタデータ） (2021-07-05T17:45:41Z)
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)
Variational Quantum Algorithms for Steady States of Open Quantum Systems [2.740982822457262]
オープン量子系の定常状態を求めるための変分量子アルゴリズムを提案する。最適混合状態と真の定常状態の間の忠実度は99%以上である。このアルゴリズムは、混合状態を精製で表現するという自然な考え方から導かれる。
論文参考訳（メタデータ） (2020-01-08T14:47:36Z)

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