論文の概要: Verified Compilation of Quantum Oracles
- arxiv url: http://arxiv.org/abs/2112.06700v2
- Date: Wed, 20 Apr 2022 13:33:45 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-04 16:41:59.448988
- Title: Verified Compilation of Quantum Oracles
- Title(参考訳): 量子オラクルの検証コンパイル
- Authors: Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu,
Michael Hicks
- Abstract要約: VQOは高保証量子プログラミングフレームワークである。
OQASMはオラクル量子アセンブリ言語である。
VQOのバージョンはクイッパーによって作られた(キュービット数とゲート数の両方で)オーラクルと同等かそれ以上であった。
- 参考スコア(独自算出の注目度): 10.942063551929914
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Quantum algorithms often apply classical operations, such as arithmetic or
predicate checks, over a quantum superposition of classical data; these
so-called oracles are often the largest components of a quantum program. To
ease the construction of efficient, correct oracle functions, this paper
presents VQO, a high-assurance framework implemented with the Coq proof
assistant. The core of VQO is OQASM, the oracle quantum assembly language.
OQASM operations move qubits between two different bases via the quantum
Fourier transform, thus admitting important optimizations, but without inducing
entanglement and the exponential blowup that comes with it. OQASM's design
enabled us to prove correct VQO's compilers -- from a simple imperative
language called OQIMP to OQASM, and from OQASM to SQIR, a general-purpose
quantum assembly language -- and allowed us to efficiently test properties of
OQASM programs using the QuickChick property-based testing framework. We have
used VQO to implement a variety of arithmetic and geometric operators that are
building blocks for important oracles, including those used in Shor's and
Grover's algorithms. We found that VQO's QFT-based arithmetic oracles require
fewer qubits, sometimes substantially fewer, than those constructed using
"classical" gates; VQO's versions of the latter were nevertheless on par with
or better than (in terms of both qubit and gate counts) oracles produced by
Quipper, a state-of-the-art but unverified quantum programming platform.
- Abstract(参考訳): 量子アルゴリズムはしばしば、算術や述語チェックのような古典的な演算を古典的なデータの量子重ね合わせに応用する。
本稿では,効率よく正しいオラクル関数の構築を容易にするために,Coq証明アシスタントで実装された高保証フレームワークであるVQOを提案する。
VQOの中核は、オラクル量子アセンブリ言語であるOQASMである。
OQASM演算は量子フーリエ変換を介して2つの異なる基底間で量子ビットを移動し、重要な最適化が認められるが、絡み合いとそれに伴う指数的爆発は起こらない。
OQASMの設計により、OQIMPと呼ばれる単純な命令型言語からOQASM、汎用量子アセンブリ言語であるOQASMからSQIRまで、正しいVQOのコンパイラを証明でき、QuickChickプロパティベースのテストフレームワークを使用して、OQASMプログラムのプロパティを効率的にテストできるようになりました。
我々はVQOを用いて、ショアのアルゴリズムやグローバーのアルゴリズムなど、重要なオラクルのためのブロックを構築する様々な算術および幾何演算子を実装してきた。
我々は、VQOのQFTベースの算術オラクルは、時として「古典的な」ゲートを用いて構築されたものよりもはるかに少ない量子ビットを必要とすることを発見した。
関連論文リスト
- Unifying (Quantum) Statistical and Parametrized (Quantum) Algorithms [65.268245109828]
我々はカーンズのSQオラクルとヴァリアントの弱い評価オラクルからインスピレーションを得ます。
評価クエリから学習するための非条件の下限を出力する,広範かつ直感的なフレームワークを提案する。
論文 参考訳(メタデータ) (2023-10-26T18:23:21Z) - Automatic oracle generation in Microsoft's Quantum Development Kit using
QIR and LLVM passes [1.4902915966744057]
オラクル生成技術は 量子アルゴリズムの古典的なコンポーネントに 最適化された量子回路を見つけることができる
我々は,従来のQ#関数を表すQIR関数を量子的に実装したQIRコードに自動生成するLLVMパスを実装した。
論文 参考訳(メタデータ) (2022-12-04T04:07:05Z) - Succinct Classical Verification of Quantum Computation [30.91621630752802]
量子計算のための古典的簡潔な対話的引数(BQP)を構築する。
我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
論文 参考訳(メタデータ) (2022-06-29T22:19:12Z) - Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。
我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。
絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
論文 参考訳(メタデータ) (2022-05-26T20:32:36Z) - Resource Optimisation of Coherently Controlled Quantum Computations with
the PBS-calculus [55.2480439325792]
量子計算のコヒーレント制御は、いくつかの量子プロトコルやアルゴリズムを改善するために使用できる。
我々は、量子光学にインスパイアされたコヒーレント制御のためのグラフィカル言語PBS計算を洗練する。
論文 参考訳(メタデータ) (2022-02-10T18:59:52Z) - Oracle separations of hybrid quantum-classical circuits [68.96380145211093]
量子計算の2つのモデル: CQ_dとQC_d。
CQ_dは、d-d-deepth量子コンピュータのシナリオを何度も捉え、QC_dは測定ベースの量子計算に類似している。
CQ_dとQC_dの類似性にもかかわらず、2つのモデルは本質的にはCQ_d $nsubseteq$QC_dとQC_d $nsubseteq$CQ_dである。
論文 参考訳(メタデータ) (2022-01-06T03:10:53Z) - Accelerating variational quantum algorithms with multiple quantum
processors [78.36566711543476]
変分量子アルゴリズム(VQA)は、特定の計算上の利点を得るために、短期量子マシンを利用する可能性がある。
現代のVQAは、巨大なデータを扱うために単独の量子プロセッサを使用するという伝統によって妨げられている、計算上のオーバーヘッドに悩まされている。
ここでは、この問題に対処するため、効率的な分散最適化手法であるQUDIOを考案する。
論文 参考訳(メタデータ) (2021-06-24T08:18:42Z) - OpenQASM 3: A broader and deeper quantum assembly language [1.1532193677299474]
量子アセンブリ言語は、伝統的に回路モデルで量子計算を記述するマシンに依存しない言語である。
OpenQASM 2は、初期のQASM方言に基づく量子回路の命令型プログラミング言語として提案された。
原理的には、任意の量子計算はOpenQASM 2を用いて記述できるが、量子ビットとゲートの言語を超えたより広い回路の集合を記述する必要がある。
論文 参考訳(メタデータ) (2021-04-30T01:57:53Z) - Ansatz-Independent Variational Quantum Classifier [0.0]
可変量子分類器 (VQC) がよく知られたカーネル法に収まることを示す。
また、与えられたユニタリ演算子に対して効率的な量子回路を設計するための変分回路実現法(VCR)を提案する。
論文 参考訳(メタデータ) (2021-02-02T21:25:39Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-08T12:49:07Z) - Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow [7.619626059034881]
本稿では,量子回路等価性チェックのための効率的な手法を提案する。
提案方式では,数万の操作を数秒以下で行う大規模回路インスタンスの検証が可能となる。
論文 参考訳(メタデータ) (2020-09-04T19:58:53Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。