論文の概要: 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\%).
関連論文リスト
- Error-corrected Hadamard gate simulated at the circuit level [44.50613959365281]
我々はサーキットレベルのノイズモデルの下で,表面符号の論理的アダマールゲートをシミュレートする。
我々の論文は、量子誤り訂正符号上のユニタリゲートに対してこれを初めて行うものである。
論文 参考訳(メタデータ) (2023-12-18T19:00:00Z) - Quantivine: A Visualization Approach for Large-scale Quantum Circuit
Representation and Analysis [31.203764035373677]
我々は量子回路の探索と理解のための対話型システムQuantivineを開発した。
一連の新しい回路視覚化は、キュービットの証明、並列性、絡み合いなどのコンテキストの詳細を明らかにするように設計されている。
Quantivineの有効性は、最大100キュービットの量子回路の2つの利用シナリオを通して示される。
論文 参考訳(メタデータ) (2023-07-18T04:51:28Z) - Majorization-based benchmark of the complexity of quantum processors [105.54048699217668]
我々は、様々な量子プロセッサの動作を数値的にシミュレートし、特徴付ける。
我々は,各デバイスの性能をベンチマークラインと比較することにより,量子複雑性を同定し,評価する。
我々は、回路の出力状態が平均して高い純度である限り、偏化ベースのベンチマークが成り立つことを発見した。
論文 参考訳(メタデータ) (2023-04-10T23:01:10Z) - Near-optimal quantum circuit construction via Cartan decomposition [4.900041609957432]
量子回路へのリー代数のカルタン分解の適用性を示す。
このアプローチは、任意の所望のユニタリ演算を効率的に実装できる回路を合成するために使用することができる。
論文 参考訳(メタデータ) (2022-12-25T17:01:13Z) - Synthesizing Quantum-Circuit Optimizers [7.111661677477926]
QUESOは、与えられた量子デバイスに対する量子回路を自動的に合成する効率的なアプローチである。
例えば、1.2分で、QUESOは高い確率保証で正しさを合成できる。
論文 参考訳(メタデータ) (2022-11-17T17:30:20Z) - Compilation of algorithm-specific graph states for quantum circuits [55.90903601048249]
本稿では,高レベル言語で記述された量子回路から,アルゴリズム固有のグラフ状態を作成する量子回路コンパイラを提案する。
この計算は、このグラフ状態に関する一連の非パウリ測度を用いて実装することができる。
論文 参考訳(メタデータ) (2022-09-15T14:52:31Z) - Automated Generation of Shuttling Sequences for a Linear Segmented Ion
Trap Quantum Computer [26.47874938214435]
閉じ込められたイオン量子コンピュータプラットフォームをスケールアップするための有望なアプローチは、セグメント化されたマイクロチップトラップに複数の閉じ込められたイオン量子ビットセット(「イオン結晶」)を格納することである。
本稿では,シャットリングスケジュールを自動生成するアルゴリズムについて述べる。
固定構造を含む量子回路では、高度な代入アルゴリズムによりシャットリングオーバーヘッドを低減することができる。
論文 参考訳(メタデータ) (2022-08-09T16:16:43Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。