論文の概要: There and back again: A circuit extraction tale
- arxiv url: http://arxiv.org/abs/2003.01664v3
- Date: Tue, 23 Mar 2021 20:04:56 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-31 07:29:44.625947
- Title: There and back again: A circuit extraction tale
- Title(参考訳): あちこちで繰り返し:回路抽出の話
- Authors: Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo
Lobski, John van de Wetering
- Abstract要約: 本稿では,3面すべてで計測値を含む一方向計算を行う最初の回路抽出アルゴリズムを提案する。
アルゴリズムは効率的であり、結果として生じる回路はアンシラを含まない。
我々は、測定パターンに関するいくつかの既知の書き直し規則をまとめ、ZX-計算を用いて統一的な表記法で定式化する。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Translations between the quantum circuit model and the measurement-based
one-way model are useful for verification and optimisation of quantum
computations. They make crucial use of a property known as gflow. While gflow
is defined for one-way computations allowing measurements in three different
planes of the Bloch sphere, most research so far has focused on computations
containing only measurements in the XY-plane. Here, we give the first
circuit-extraction algorithm to work for one-way computations containing
measurements in all three planes and having gflow. The algorithm is efficient
and the resulting circuits do not contain ancillae. One-way computations are
represented using the ZX-calculus, hence the algorithm also represents the most
general known procedure for extracting circuits from ZX-diagrams. In developing
this algorithm, we generalise several concepts and results previously known for
computations containing only XY-plane measurements. We bring together several
known rewrite rules for measurement patterns and formalise them in a unified
notation using the ZX-calculus. These rules are used to simplify measurement
patterns by reducing the number of qubits while preserving both the semantics
and the existence of gflow. The results can be applied to circuit optimisation
by translating circuits to patterns and back again.
- Abstract(参考訳): 量子回路モデルと測定に基づく一方向モデルの変換は、量子計算の検証と最適化に有用である。
それらはgflowと呼ばれるプロパティを重要利用します。
gflowはブロッホ球の3つの異なる平面での測定を可能にする一方的な計算に定義されているが、これまでのほとんどの研究はXY平面での測定のみを含む計算に焦点を当てている。
本稿では,3面すべてで計測値とgflowを有する一方向計算のための最初の回路抽出アルゴリズムを提案する。
アルゴリズムは効率的であり、結果として生じる回路はアンシラを含まない。
一方向計算はZX計算を用いて表現されるため、アルゴリズムはZX図から回路を抽出する最も一般的な手順でもある。
このアルゴリズムの開発において、XY平面計測のみを含む計算でこれまで知られていたいくつかの概念と結果を一般化する。
測定パターンに対するいくつかの既知の書き換え規則をまとめ、zx計算を用いた統一表記法で定式化する。
これらのルールは、セマンティクスとgflowの存在の両方を保存しながら、キュービット数を減らし、測定パターンを単純化するために使用される。
その結果、回路をパターンに変換し、再び戻すことにより、回路最適化に適用できる。
関連論文リスト
- Fast classical simulation of quantum circuits via parametric rewriting
in the ZX-calculus [0.0]
高速なGPU並列性を利用して古典シミュレーションの最終段階を迅速に行うことが可能であることを示す。
我々は,古典的シミュレーションタスクに対して,非パラメトリック手法と比較して,100倍の高速化を示す。
論文 参考訳(メタデータ) (2024-03-11T14:44:59Z) - Three-qubit Deutsch-Jozsa in measurement-based quantum computing [0.0]
測定ベースの量子コンピューティング(MBQC)は、量子アルゴリズムの定式化のための代替パラダイムである。
我々は、量子回路をMBQC実装として一般化する一般的なスキームを記述し、適用する。
3ビットのDeutsch-Jozsaアルゴリズムの一般的なMBQC実装を符号化したZXグラフダイアグラムを導出する。
論文 参考訳(メタデータ) (2023-06-23T08:53:11Z) - Linearized Wasserstein dimensionality reduction with approximation
guarantees [65.16758672591365]
LOT Wassmap は、ワーッサーシュタイン空間の低次元構造を明らかにするための計算可能なアルゴリズムである。
我々は,LOT Wassmapが正しい埋め込みを実現し,サンプルサイズの増加とともに品質が向上することを示す。
また、LOT Wassmapがペア距離計算に依存するアルゴリズムと比較して計算コストを大幅に削減することを示す。
論文 参考訳(メタデータ) (2023-02-14T22:12:16Z) - Quantum Sparse Coding [5.130440339897477]
我々はスパース符号化のための量子インスピレーション付きアルゴリズムを開発した。
量子コンピュータとイジングマシンの出現は、より正確な推定につながる可能性がある。
我々はLightrの量子インスパイアされたデジタルプラットフォーム上でシミュレーションデータを用いて数値実験を行う。
論文 参考訳(メタデータ) (2022-09-08T13:00:30Z) - Digital-analog co-design of the Harrow-Hassidim-Lloyd algorithm [0.0]
方程式の線形系を解くために、Harrow-Hassidim-Lloyd量子アルゴリズムが提案された。
問題行列の逆行列である$A$を補助量子ビットにマッピングするサブルーチンに対する明示的な量子回路は存在しない。
本稿では,アルゴリズムの深さを減らした共設計量子プロセッサを提案する。
論文 参考訳(メタデータ) (2022-07-27T13:58:13Z) - Triangle and Four Cycle Counting with Predictions in Graph Streams [59.05440236993604]
三角形の数と4サイクルを推定するための,データ駆動型ワンパスストリーミングアルゴリズムを提案する。
従来の"古典的"アルゴリズムを改善するために、ストリーム要素の特定の特性を予測できるトレーニングされたオラクルを使用します。
提案手法は,従来のマルチパスおよびランダム順序ストリーミングアルゴリズムを特殊なケースとみなすことができるため,従来の"古典的"ストリーミングアルゴリズムの取り組みを拡大する。
論文 参考訳(メタデータ) (2022-03-17T19:26:00Z) - Constrained mixers for the quantum approximate optimization algorithm [55.41644538483948]
ヒルベルト空間全体の部分空間への発展を制限する混合作用素を構築するための枠組みを提案する。
我々は,「ワンホット」状態の部分空間を保存するために設計された「XY」ミキサーを,多くの計算基底状態によって与えられる部分空間の一般の場合に一般化する。
我々の分析は、現在知られているよりもCXゲートが少ない"XY"ミキサーのトロタライズも有効である。
論文 参考訳(メタデータ) (2022-03-11T17:19:26Z) - Hybrid Trilinear and Bilinear Programming for Aligning Partially
Overlapping Point Sets [85.71360365315128]
多くの応用において、部分重なり合う点集合が対応するRPMアルゴリズムに不変であるようなアルゴリズムが必要である。
まず、目的が立方体有界関数であることを示し、次に、三線型および双線型単相変換の凸エンベロープを用いて、その下界を導出する。
次に、変換変数上の分岐のみを効率よく実行するブランチ・アンド・バウンド(BnB)アルゴリズムを開発する。
論文 参考訳(メタデータ) (2021-01-19T04:24:23Z) - Qubit-efficient entanglement spectroscopy using qubit resets [0.0]
NISQデバイス上でのエンタングルメント分光のための量子ビット効率の量子アルゴリズムを開発した。
我々のアルゴリズムは、ノイズの存在下で同様の性能を保ちながら、従来のどの効率的なアルゴリズムよりも少ない量子ビットを使用する。
また、量子ビットリセット回路に適した標準回路深さの一般化として、有効回路深さの概念を導入する。
論文 参考訳(メタデータ) (2020-10-06T23:22:57Z) - Activation Relaxation: A Local Dynamical Approximation to
Backpropagation in the Brain [62.997667081978825]
活性化緩和(AR)は、バックプロパゲーション勾配を力学系の平衡点として構成することで動機付けられる。
我々のアルゴリズムは、正しいバックプロパゲーション勾配に迅速かつ堅牢に収束し、単一のタイプの計算単位しか必要とせず、任意の計算グラフで操作できる。
論文 参考訳(メタデータ) (2020-09-11T11:56:34Z) - Lagrangian Decomposition for Neural Network Verification [148.0448557991349]
ニューラルネットワーク検証の基本的なコンポーネントは、出力が取ることのできる値のバウンダリの計算である。
ラグランジアン分解に基づく新しい手法を提案する。
ランニングタイムのごく一部で、既成の解法に匹敵するバウンダリが得られることを示す。
論文 参考訳(メタデータ) (2020-02-24T17:55:10Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。