論文の概要: Automatic oracle generation in Microsoft's Quantum Development Kit using
QIR and LLVM passes
- arxiv url: http://arxiv.org/abs/2212.01740v1
- Date: Sun, 4 Dec 2022 04:07:05 GMT
- ステータス: 処理完了
- システム内更新日: 2023-01-09 19:34:55.979153
- Title: Automatic oracle generation in Microsoft's Quantum Development Kit using
QIR and LLVM passes
- Title(参考訳): QIRとLLVMパスを用いたMicrosoftの量子開発キットの自動オラクル生成
- Authors: Mathias Soeken, Mariia Mykhailova
- Abstract要約: オラクル生成技術は 量子アルゴリズムの古典的なコンポーネントに 最適化された量子回路を見つけることができる
我々は,従来のQ#関数を表すQIR関数を量子的に実装したQIRコードに自動生成するLLVMパスを実装した。
- 参考スコア(独自算出の注目度): 1.4902915966744057
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Automatic oracle generation techniques can find optimized quantum circuits
for classical components in quantum algorithms. However, most implementations
of oracle generation techniques require that the classical component is
expressed in terms of a conventional logic representation such as logic
networks, truth tables, or decision diagrams. We implemented LLVM passes that
can automatically generate QIR functions representing classical Q# functions
into QIR code implementing such functions quantumly. We are using
state-of-the-art logic optimization and oracle generation techniques based on
XOR-AND graphs for this purpose. This enables not only a more natural
description of the quantum algorithm on a higher level of abstraction, but also
enables technology-dependent or application-specific generation of the oracles.
- Abstract(参考訳): oracleの自動生成技術は、量子アルゴリズムの古典的コンポーネントに対して最適化された量子回路を見つけることができる。
しかし、oracleジェネレーション技術の実装の多くは、古典的なコンポーネントが論理ネットワーク、真理表、決定ダイアグラムといった従来の論理表現で表現される必要がある。
我々は,従来のQ#関数を表すQIR関数を量子的に実装したQIRコードに自動生成するLLVMパスを実装した。
私たちはこの目的のために、最先端のロジック最適化とxorとグラフに基づくoracle生成技術を使用しています。
これにより、より抽象的なレベルでの量子アルゴリズムのより自然な記述だけでなく、技術に依存した、あるいはアプリケーション固有のオラクルの生成を可能にします。
関連論文リスト
- Quantum Kernel-Based Long Short-term Memory [0.30723404270319693]
本稿では,Quantum Kernel-Based Long Short-Term Memory (QK-LSTM) ネットワークを導入する。
この量子化アーキテクチャは、効率的な収束、ロバストな損失最小化、モデルコンパクト性を示す。
ベンチマークの結果,QK-LSTMは従来のLSTMモデルと同等の性能を示すが,パラメータは少ない。
論文 参考訳(メタデータ) (2024-11-20T11:39:30Z) - Block encoding by signal processing [0.0]
単位行列に対する量子特異値変換(QSVT)や量子固有値変換(QETU)といったQSPベースの手法がBEの実装に有効に利用できることを示す。
本稿では,QSVTアルゴリズムとQETUアルゴリズムと組み合わせて,格子ボソンに対するハミルトニアンの符号化をブロックするいくつかの例を示す。
QSVTをBEに使用すると、サイト毎のキュービット数で最高のゲートカウントスケーリングが得られるが、LOVE-LCUは最大$lesssim11$ qubitsの演算子に対して、他のすべてのメソッドよりも優れている。
論文 参考訳(メタデータ) (2024-08-29T18:00:02Z) - AdaLog: Post-Training Quantization for Vision Transformers with Adaptive Logarithm Quantizer [54.713778961605115]
Vision Transformer (ViT) はコンピュータビジョンコミュニティにおいて最も普及しているバックボーンネットワークの1つである。
本稿では,AdaLog(Adaptive Logarithm AdaLog)量子化器を提案する。
論文 参考訳(メタデータ) (2024-07-17T18:38:48Z) - Unified Architecture for a Quantum Lookup Table [1.0923877073891446]
ユニタリブラックボックスで符号化された任意の古典データへの量子アクセスは、興味深いデータ集約量子アルゴリズムの基盤となる。
本稿では、ルックアップテーブルを実装した量子回路の汎用パラメータ化アーキテクチャを提案する。
私たちのアーキテクチャでは、ローカルな2D接続のみを前提としていますが、以前はオール・ツー・オール接続が必要でした。
論文 参考訳(メタデータ) (2024-06-26T02:54:02Z) - 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) - Verified Compilation of Quantum Oracles [10.942063551929914]
VQOは高保証量子プログラミングフレームワークである。
OQASMはオラクル量子アセンブリ言語である。
VQOのバージョンはクイッパーによって作られた(キュービット数とゲート数の両方で)オーラクルと同等かそれ以上であった。
論文 参考訳(メタデータ) (2021-12-13T14:36:36Z) - Enabling Retargetable Optimizing Compilers for Quantum Accelerators via
a Multi-Level Intermediate Representation [78.8942067357231]
我々は、最適化され、再ターゲット可能で、事前コンパイルが可能なマルチレベル量子古典中間表現(IR)を提案する。
ゲートベースのOpenQASM 3言語全体をサポートし、共通量子プログラミングパターンのカスタム拡張と構文の改善を提供します。
私たちの研究は、通常のPythonのアプローチよりも1000倍高速で、スタンドアロンの量子言語コンパイラよりも5~10倍高速なコンパイル時間を実現しています。
論文 参考訳(メタデータ) (2021-09-01T17:29:47Z) - Accelerating variational quantum algorithms with multiple quantum
processors [78.36566711543476]
変分量子アルゴリズム(VQA)は、特定の計算上の利点を得るために、短期量子マシンを利用する可能性がある。
現代のVQAは、巨大なデータを扱うために単独の量子プロセッサを使用するという伝統によって妨げられている、計算上のオーバーヘッドに悩まされている。
ここでは、この問題に対処するため、効率的な分散最適化手法であるQUDIOを考案する。
論文 参考訳(メタデータ) (2021-06-24T08:18:42Z) - A MLIR Dialect for Quantum Assembly Languages [78.8942067357231]
量子コンピューティングにおけるMLIR(Multi-Level Intermediate Representation)の有用性を実証する。
我々は、共通量子集合言語の表現とコンパイルを可能にする新しい量子方言でMLIRを拡張した。
我々はQIR量子ランタイムAPIのqcor対応実装を活用して、再ターゲット可能な(量子ハードウェアに依存しない)コンパイラワークフローを実現する。
論文 参考訳(メタデータ) (2021-01-27T13:00:39Z) - Extending C++ for Heterogeneous Quantum-Classical Computing [56.782064931823015]
qcorはC++とコンパイラの実装の言語拡張で、異種量子古典プログラミング、コンパイル、単一ソースコンテキストでの実行を可能にする。
我々の研究は、量子言語で高レベルな量子カーネル(関数)を表現できる、第一種C++コンパイラを提供する。
論文 参考訳(メタデータ) (2020-10-08T12:49:07Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。