論文の概要: A Pattern Matching-Based Framework for Quantum Circuit Rewriting
- arxiv url: http://arxiv.org/abs/2206.06684v1
- Date: Tue, 14 Jun 2022 08:40:06 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-09 09:54:12.290997
- Title: A Pattern Matching-Based Framework for Quantum Circuit Rewriting
- Title（参考訳）: 量子回路書き換えのためのパターンマッチングに基づくフレームワーク
- Authors: Hui Jiang, Diankang Li, Yuxin Deng, Ming Xu
- Abstract要約: 我々はQRewritingと呼ばれる量子回路を書き換えるためのパターンマッチングベースのフレームワークを提案する。
記号列を用いた量子回路の新しい表現を利用する。
本稿では,基本最適化のためのルールライブラリを開発し,ArithmeticとToffoliのベンチマークを$G_IBM$ゲートセットから$G_Sur$ゲートセットに書き換える。
- 参考スコア（独自算出の注目度）: 7.664419735814611
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: The realization of quantum algorithms relies on specific quantum compilations
according to the underlying quantum processors. However, there are various ways
to physically implement qubits in different physical devices and manipulate
those qubits. These differences lead to different communication methods and
connection topologies, with each vendor implementing its own set of primitive
gates. Therefore, quantum circuits have to be rewritten or transformed in order
to be transplanted from one platform to another. We propose a pattern
matching-based framework for rewriting quantum circuits, called QRewriting. It
takes advantage of a new representation of quantum circuits using symbol
sequences. Unlike the traditional way of using directed acyclic graphs, the new
representation allows us to easily identify the patterns that appear
non-consecutively but reducible. Then, we convert the problem of pattern
matching into that of finding distinct subsequences and propose a
polynomial-time dynamic programming-based pattern matching and replacement
algorithm. We develop a rule library for basic optimizations and use it to
rewrite the Arithmetic and Toffoli benchmarks from the $G_{IBM}$ gate set to
the $G_{Sur}$ gate set. Compared with the existing tool PaF, QRewriting obtains
an improvement of reducing depths (resp. gate counts) by 29\% (resp. 14\%).
- Abstract（参考訳）: 量子アルゴリズムの実現は、基礎となる量子プロセッサに従って特定の量子コンパイルに依存する。
しかし、異なる物理デバイスに量子ビットを物理的に実装し、それらの量子ビットを操作する方法は様々である。
これらの違いは異なる通信方法と接続トポロジにつながり、各ベンダーは独自のプリミティブゲートを実装している。
したがって、量子回路は、あるプラットフォームから別のプラットフォームに移植するために書き換えたり変換したりする必要がある。
量子回路書き換えのためのパターンマッチングベースのフレームワークであるqrewritingを提案する。
記号列を用いた量子回路の新しい表現を利用する。
有向非巡回グラフを使う従来の方法とは異なり、新しい表現は、非連続的に見えるが再現可能なパターンを容易に識別することができる。
次に,パターンマッチングの問題を異なる部分列を求める問題に変換し,多項式時間動的プログラミングに基づくパターンマッチングと置換アルゴリズムを提案する。
基本的な最適化のためのルールライブラリを開発し、$g_{ibm}$ゲートセットから$g_{sur}$ゲートセットへの演算と toffoli ベンチマークの書き直しに使用します。
既存のツール PaF と比較すると,QRewriting では深さ (resp. gate counts) を 29\% (resp. gate counts) に削減できる。
14\%).
関連論文リスト
- Redefining Lexicographical Ordering: Optimizing Pauli String Decompositions for Quantum Compiling [0.0]
転化時間進化演算子を合成するための新しいアルゴリズムを提案する。
我々の合成手順は、ターゲット量子コンピュータの量子ビット接続を考慮に入れている。
ランダム化回路と異なる分子アンサーゼに有意な改善が認められた。
論文 参考訳（メタデータ） (2024-08-01T07:50:16Z) - Benchmarking Variational Quantum Eigensolvers for Entanglement Detection in Many-Body Hamiltonian Ground States [37.69303106863453]
変分量子アルゴリズム(VQA)は近年、量子優位を得る約束として登場している。
我々は、変分量子固有解法(VQEs)と呼ばれる特定の種類のVQAを用いて、絡み合った観測と絡み合った基底状態検出においてそれらをベンチマークする。
ハミルトニアン相互作用にインスパイアされた構造を持つ量子回路は、問題に依存しない回路よりもコスト関数推定のより良い結果を示した。
論文 参考訳（メタデータ） (2024-07-05T12:06:40Z) - A Representative Framework for Implementing Quantum Finite Automata on Real Devices [0.0]
ゲート型量子コンピュータのための量子有限オートマトンアルゴリズムの実装のためのフレームワークを提案する。
まず、文献から既知の理論結果をコンパイルし、CNOTゲートの数を減らした。
第2に、利用可能な量子ハードウェアの基底ゲートに基づいてアルゴリズムを修正する手法を実証する。
論文 参考訳（メタデータ） (2024-06-17T09:28:24Z) - AltGraph: Redesigning Quantum Circuits Using Generative Graph Models for Efficient Optimization [2.089191490381739]
AltGraphはサーチベースのサーキットトランスフォーメーションアプローチである。
既存の生成グラフモデルを用いて等価量子回路を生成する。
ゲート数の平均は37.55%減少し、回路深度は37.75%減少する。
論文 参考訳（メタデータ） (2024-02-23T19:01:47Z) - Error-corrected Hadamard gate simulated at the circuit level [42.002147097239444]
我々はサーキットレベルのノイズモデルの下で,表面符号の論理的アダマールゲートをシミュレートする。
我々の論文は、量子誤り訂正符号上のユニタリゲートに対してこれを初めて行うものである。
論文 参考訳（メタデータ） (2023-12-18T19:00:00Z) - Majorization-based benchmark of the complexity of quantum processors [105.54048699217668]
我々は、様々な量子プロセッサの動作を数値的にシミュレートし、特徴付ける。
我々は,各デバイスの性能をベンチマークラインと比較することにより,量子複雑性を同定し,評価する。
我々は、回路の出力状態が平均して高い純度である限り、偏化ベースのベンチマークが成り立つことを発見した。
論文 参考訳（メタデータ） (2023-04-10T23:01:10Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳（メタデータ） (2022-09-15T14:52:31Z) - Exploring ab initio machine synthesis of quantum circuits [0.0]
ゲートレベルの量子回路は、しばしば高レベルアルゴリズムから手動で導かれる。
本稿では,機械内における回路の初期生成手法について検討する。
論文 参考訳（メタデータ） (2022-06-22T17:48:29Z) - Synthesis of Quantum Circuits with an Island Genetic Algorithm [44.99833362998488]
特定の演算を行うユニタリ行列が与えられた場合、等価な量子回路を得るのは非自明な作業である。
量子ウォーカーのコイン、トフォリゲート、フレドキンゲートの3つの問題が研究されている。
提案したアルゴリズムは量子回路の分解に効率的であることが証明され、汎用的なアプローチとして、利用可能な計算力によってのみ制限される。
論文 参考訳（メタデータ） (2021-06-06T13:15:25Z) - Quantum Search for Scaled Hash Function Preimages [1.3299507495084417]
本稿では,Groverのアルゴリズムを量子シミュレーターに実装し,2つのスケールしたハッシュ関数の前像の量子探索を行う。
我々は,Groverのアルゴリズムのいくつかのステップの後に量子レジスタをサンプリングしてショートカットを提案する戦略は,誤差軽減の観点からは限界的な実用的優位性しか得られないことを示した。
論文 参考訳（メタデータ） (2020-09-01T18:00:02Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。