論文の概要: 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の存在の両方を保存しながら、キュービット数を減らし、測定パターンを単純化するために使用される。
その結果、回路をパターンに変換し、再び戻すことにより、回路最適化に適用できる。
関連論文リスト
- A Constant Measurement Quantum Algorithm for Graph Connectivity [4.900041609957432]
定数数を用いてグラフ接続性を決定する新しい量子アルゴリズムを提案する。
これはZX計算から取られた非単位アーベルゲートに依存している。
このアルゴリズムは、アシラ量子ビットで修復できる状態崩壊を示す。
論文 参考訳(メタデータ) (2024-11-22T15:44:00Z) - Qubit-count optimization using ZX-calculus [3.129187821625805]
非クリフォードゲート数を保存しながら量子回路内の量子ビット数を最適化する方法を示す。
我々のアプローチの1つは、いくつかの$T$-countsで使用される手続きである、アダマール門のガジェット化を反転させることである。
また、この手法を用いて、量子回路における量子ビットの数をZX計算を中間表現として効率的に最適化する方法について述べる。
論文 参考訳(メタデータ) (2024-07-14T11:58:53Z) - Automatically Identifying Local and Global Circuits with Linear Computation Graphs [45.760716193942685]
Sparse Autoencoders (SAEs) と Transcoders と呼ばれる変種を用いた回路発見パイプラインを導入する。
本手法は各ノードの因果効果を計算するために線形近似を必要としない。
GPT-2 Small: Bracket, induction, Indirect Object Identification circuits の3種類の回路を解析する。
論文 参考訳(メタデータ) (2024-05-22T17:50:04Z) - Fast classical simulation of quantum circuits via parametric rewriting
in the ZX-calculus [0.0]
高速なGPU並列性を利用して古典シミュレーションの最終段階を迅速に行うことが可能であることを示す。
我々は,古典的シミュレーションタスクに対して,非パラメトリック手法と比較して,100倍の高速化を示す。
論文 参考訳(メタデータ) (2024-03-11T14:44:59Z) - A two-circuit approach to reducing quantum resources for the quantum lattice Boltzmann method [41.66129197681683]
CFD問題を解決するための現在の量子アルゴリズムは、単一の量子回路と、場合によっては格子ベースの方法を用いる。
量子格子ボルツマン法(QLBM)を用いた新しい多重回路アルゴリズムを提案する。
この問題は2次元ナビエ・ストークス方程式の流動関数-渦性定式化として鋳造され、2次元蓋駆動キャビティフローで検証および試験された。
論文 参考訳(メタデータ) (2024-01-20T15:32:01Z) - AutoNumerics-Zero: Automated Discovery of State-of-the-Art Mathematical
Functions [46.36204442052778]
コンピュータは、一般的なfloat32のような限られた精度のタイプで動作している。
限られた精度を目指していた場合、既存の近似法は単純な進化的アルゴリズムによってスクラッチから自動的に検出されたプログラムにより性能が向上することを示した。
論文 参考訳(メタデータ) (2023-12-13T19:17:43Z) - QuIP: 2-Bit Quantization of Large Language Models With Guarantees [44.212441764241]
本研究では,大規模言語モデル(LLM)における学習後のパラメータ量子化について研究する。
Incoherence Processing (QuIP) を用いた量子化を導入する。これは、$textitincoherent$ weight と Hessian matrices から量子化が恩恵を受けるという知見に基づく新しい方法である。
論文 参考訳(メタデータ) (2023-07-25T07:44:06Z) - 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) - Triangle and Four Cycle Counting with Predictions in Graph Streams [59.05440236993604]
三角形の数と4サイクルを推定するための,データ駆動型ワンパスストリーミングアルゴリズムを提案する。
従来の"古典的"アルゴリズムを改善するために、ストリーム要素の特定の特性を予測できるトレーニングされたオラクルを使用します。
提案手法は,従来のマルチパスおよびランダム順序ストリーミングアルゴリズムを特殊なケースとみなすことができるため,従来の"古典的"ストリーミングアルゴリズムの取り組みを拡大する。
論文 参考訳(メタデータ) (2022-03-17T19:26:00Z) - Qubit-efficient entanglement spectroscopy using qubit resets [0.0]
NISQデバイス上でのエンタングルメント分光のための量子ビット効率の量子アルゴリズムを開発した。
我々のアルゴリズムは、ノイズの存在下で同様の性能を保ちながら、従来のどの効率的なアルゴリズムよりも少ない量子ビットを使用する。
また、量子ビットリセット回路に適した標準回路深さの一般化として、有効回路深さの概念を導入する。
論文 参考訳(メタデータ) (2020-10-06T23:22:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。