論文の概要: Hybrid quantum-classical circuit simplification with the ZX-calculus
- arxiv url: http://arxiv.org/abs/2109.06071v1
- Date: Mon, 13 Sep 2021 15:45:56 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-15 05:18:57.992230
- Title: Hybrid quantum-classical circuit simplification with the ZX-calculus
- Title(参考訳): ZX計算によるハイブリッド量子古典回路の単純化
- Authors: Agust\'in Borgna, Simon Perdrix, Beno\^it Valiron
- Abstract要約: この研究は、ハイブリッド回路の中間表現として、ZX-groundと呼ばれる形式的なグラフィカルなZX計算を拡張している。
グラフのサイズを小さくするZX-グラウンドダイアグラムに対して,多数のgFlow保存最適化ルールを導出する。
抽出回路の古典ゲートで実装可能な回路状ZX地上図のセグメントを検出するための一般的な手順を提案する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present a complete optimization procedure for hybrid quantum-classical
circuits with classical parity logic. While common optimization techniques for
quantum algorithms focus on rewriting solely the pure quantum segments, there
is interest in applying a global optimization process for applications such as
quantum error correction and quantum assertions.
This work, based on the pure-quantum circuit optimization procedure by Duncan
et al., uses an extension of the formal graphical ZX-calculus called ZX-ground
as an intermediary representation of the hybrid circuits to allow for granular
optimizations below the quantum-gate level. We define a translation from hybrid
circuits into diagrams that admit the graph-theoretical focused-gFlow property,
needed for the final extraction back into a circuit. We then derive a number of
gFlow-preserving optimization rules for ZX-ground diagrams that reduce the size
of the graph, and devise an strategy to find optimization opportunities by
rewriting the diagram guided by a Gauss elimination process. Then, after
extracting the circuit, we present a general procedure for detecting segments
of circuit-like ZX-ground diagrams which can be implemented with classical
gates in the extracted circuit. We have implemented our optimization procedure
as an extension to the open-source python library PyZX.
- Abstract(参考訳): 古典パリティ論理を持つハイブリッド量子古典回路の完全最適化手順を提案する。
量子アルゴリズムの一般的な最適化手法は純粋量子セグメントのみを書き換えることに重点を置いているが、量子エラー補正や量子アサーションのようなアプリケーションにグローバルな最適化プロセスを適用することには関心がある。
この研究はduncanらによる純粋量子回路最適化手法に基づいており、zx-groundと呼ばれる公式なグラフィカルなzx計算の延長をハイブリッド回路の中間表現として使用し、量子ゲートレベル以下の粒度の最適化を可能にする。
我々は,ハイブリッド回路から図形への変換を定義し,最終抽出に必要なグラフ理論の焦点-gFlow特性を回路に還元する。
次に,zx-groundダイアグラムのgflow保存最適化ルールを導出し,グラフのサイズを小さくし,ガウス除去プロセスで導かれた図を書き換えて最適化機会を求める戦略を考案する。
そして,回路を抽出した後,抽出回路の古典ゲートで実装可能な回路状ZX地上図のセグメントを検出するための一般的な手順を提案する。
我々はオープンソースのpythonライブラリPyZXの拡張として最適化手順を実装した。
関連論文リスト
- Linear and non-linear relational analyses for Quantum Program Optimization [0.9208007322096532]
位相折り畳み最適化はエファフィン関係解析として再キャスト可能であることを示す。
直列回路のシンボリック・トランジション関係を正確に抽出するために,Emphsum-over-paths法が有効であることを示す。
論文 参考訳(メタデータ) (2024-10-30T22:57:07Z) - On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
任意の指数を$mathcalO(n)$ ancillae と 2体 XX と ZZ の相互作用を用いて一定深さの回路に分解する。
クビットリサイクルの恩恵を受ける回路の書き直し規則を導入し,本手法の正しさを実証する。
論文 参考訳(メタデータ) (2024-08-15T17:09:08Z) - Reinforcement Learning Based Quantum Circuit Optimization via ZX-Calculus [0.0]
本稿では,ZX-ダイアグラムのグラフ理論的単純化規則を用いて,量子回路を最適化するための新しい強化学習法を提案する。
そこで本研究では,ZX-Calculusをベースとした最良性能のアルゴリズムと比較し,提案手法の能力を示す。
我々のアプローチは、短期中間スケール範囲(NISQ)における量子アルゴリズムの実装のための貴重なツールとして使われる準備ができている。
論文 参考訳(メタデータ) (2023-12-18T17:59:43Z) - Causal flow preserving optimisation of quantum circuits in the
ZX-calculus [0.0]
本稿では,非クリフォードゲート数と2ビットゲート数の最小化を目的とした最適化アルゴリズムを提案する。
回路をZXダイアグラムに変換することで、回路に戻る前に単純化することができる。
QFT回路を最適化するための特に効果的な戦略も注目されており、非クリフォードゲートに対して正確に1つの2ビットゲートとなる。
論文 参考訳(メタデータ) (2023-12-05T14:24:44Z) - Graph Neural Network Autoencoders for Efficient Quantum Circuit
Optimisation [69.43216268165402]
我々は、量子回路の最適化にグラフニューラルネットワーク(GNN)オートエンコーダの使い方を初めて提示する。
我々は、量子回路から有向非巡回グラフを構築し、そのグラフを符号化し、その符号化を用いてRL状態を表現する。
我々の手法は、非常に大規模なRL量子回路最適化に向けた最初の現実的な第一歩である。
論文 参考訳(メタデータ) (2023-03-06T16:51:30Z) - Rotation-inspired circuit cut optimization [7.562843347215286]
近年の研究では、大きな量子回路を切断し、より小さな量子回路のクラスターに分解できることが示されている。
本稿では,回路切断の処理後オーバーヘッドを低減する方法として,回転インスパイアされた回路切断最適化(RICCO)を提案する。
本稿では、VQEの小さなインスタンスを古典的にシミュレートし、既存の回路切断手法と比較することにより、RCICCOのVQEへの適用を実証する。
論文 参考訳(メタデータ) (2022-11-14T13:57:22Z) - Vanishing 2-Qubit Gates with Non-Simplification ZX-Rules [1.0089382889894247]
量子回路はZX-ダイアグラムに変換することができ、ZX-計算の規則を用いて単純化することができる。
最もよく知られた抽出手順は、2量子ゲートの数を劇的に増やすことができる。
ZX-ダイアグラムの局所的な変化が抽出回路の複雑さに大きく影響するという事実を生かしている。
論文 参考訳(メタデータ) (2022-09-14T18:43:21Z) - Variational Quantum Optimization with Multi-Basis Encodings [62.72309460291971]
マルチバスグラフ複雑性と非線形活性化関数の2つの革新の恩恵を受ける新しい変分量子アルゴリズムを導入する。
その結果,最適化性能が向上し,有効景観が2つ向上し,測定の進歩が減少した。
論文 参考訳(メタデータ) (2021-06-24T20:16:02Z) - Adaptive pruning-based optimization of parameterized quantum circuits [62.997667081978825]
Variisyハイブリッド量子古典アルゴリズムは、ノイズ中間量子デバイスの使用を最大化する強力なツールである。
我々は、変分量子アルゴリズムで使用されるそのようなアンサーゼを「効率的な回路訓練」(PECT)と呼ぶ戦略を提案する。
すべてのアンサッツパラメータを一度に最適化する代わりに、PECTは一連の変分アルゴリズムを起動する。
論文 参考訳(メタデータ) (2020-10-01T18:14:11Z) - Machine Learning Optimization of Quantum Circuit Layouts [63.55764634492974]
本稿では量子回路マッピングQXXとその機械学習バージョンQXX-MLPを紹介する。
後者は、レイアウトされた回路の深さが小さくなるように最適なQXXパラメータ値を自動的に推論する。
近似を用いてレイアウト法を学習可能な経験的証拠を提示する。
論文 参考訳(メタデータ) (2020-07-29T05:26:19Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。