論文の概要: Hypergraph Simplification: Linking the Path-sum Approach to the
ZH-calculus
- arxiv url: http://arxiv.org/abs/2003.13564v2
- Date: Mon, 6 Sep 2021 00:59:17 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-27 12:12:07.587846
- Title: Hypergraph Simplification: Linking the Path-sum Approach to the
ZH-calculus
- Title(参考訳): ハイパーグラフの単純化:パスサムアプローチとZH計算のリンク
- Authors: Louis Lemonnier (ENS Paris-Saclay, Universit\'e Paris-Saclay), John
van de Wetering (Radboud Universiteit Nijmegen), Aleks Kissinger (Oxford
University)
- Abstract要約: 我々は、ZH-計算とパスサム形式主義の対応を確立する。
我々は、ZH-計算にいくつかの新しい単純化規則を導入し、証明する。
比較的不透明なパスサム規則は、2つの強力な書き直し規則の族から自然に生じることが示されている。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The ZH-calculus is a complete graphical calculus for linear maps between
qubits that admits a straightforward encoding of hypergraph states and circuits
arising from the Toffoli+Hadamard gate set. In this paper, we establish a
correspondence between the ZH-calculus and the path-sum formalism, a technique
recently introduced by Amy to verify quantum circuits. In particular, we find a
bijection between certain canonical forms of ZH-diagrams and path-sum
expressions. We then introduce and prove several new simplification rules for
the ZH-calculus, which are in direct correspondence to the simplification rules
of the path-sum formalism. The relatively opaque path-sum rules are shown to
arise naturally from two powerful families of rewrite rules in the ZH-calculus.
The first is the extension of the familiar graph-theoretic simplifications
based on local complementation and pivoting to their hypergraph-theoretic
analogues: hyper-local complementation and hyper-pivoting. The second is the
graphical Fourier transform introduced by Kuijpers et al., which enables
effective simplification of ZH-diagrams encoding multi-linear phase polynomials
with arbitrary real coefficients.
- Abstract(参考訳): ZH-計算(ZH-calculus)は、トーフォリ・ハダマールゲート集合から生じるハイパーグラフ状態と回路の直接符号化を許すような、量子ビット間の線型写像のための完全なグラフィカル計算である。
本稿では,量子回路の検証にAmyが最近導入した手法であるZH-計算とパスサム形式との対応性を確立する。
特に、zh-ダイアグラムのある種の標準形とパスサム表現の間の単射を見つける。
次に、パスサム形式化の単純化規則に直接対応した、zh計算のいくつかの新しい単純化規則を紹介し、証明する。
比較的不透明なパスサム規則は、ZH計算における2つの強力な書き換え規則の族から自然に生じることが示されている。
1つ目は、局所補間とそれらのハイパーグラフ理論の類似(超局所補間とハイパーピボッティング)へのピボットに基づく、親しみやすいグラフ理論の単純化の拡張である。
2つ目はKuijpersらによって導入されたグラフィカルフーリエ変換であり、任意の実係数を持つ多線型位相多項式を符号化するZH-ダイアグラムを効果的に単純化することができる。
関連論文リスト
- On the Constant Depth Implementation of Pauli Exponentials [49.48516314472825]
任意の指数を$mathcalO(n)$ ancillae と 2体 XX と ZZ の相互作用を用いて一定深さの回路に分解する。
クビットリサイクルの恩恵を受ける回路の書き直し規則を導入し,本手法の正しさを実証する。
論文 参考訳(メタデータ) (2024-08-15T17:09:08Z) - Gaussian Entanglement Measure: Applications to Multipartite Entanglement
of Graph States and Bosonic Field Theory [50.24983453990065]
フービニ・スタディ計量に基づく絡み合い尺度は、Cocchiarellaと同僚によって最近導入された。
本稿では,多モードガウス状態に対する幾何絡み合いの一般化であるガウスエンタングルメント尺度(GEM)を提案する。
自由度の高い系に対する計算可能な多部絡み合わせ測度を提供することにより、自由なボゾン場理論の洞察を得るために、我々の定義が利用できることを示す。
論文 参考訳(メタデータ) (2024-01-31T15:50:50Z) - Rewriting and Completeness of Sum-Over-Paths in Dyadic Fragments of
Quantum Computing [0.0]
ここでは、フォーマリズム「Sum-Over-Paths」の新たな書き直し規則について述べる。
量子力学の最も単純な普遍的な断片である "Toffoli-Hadamard" に対して完備であることを示す。
また、任意の項の和と連結を行う方法を示す。
論文 参考訳(メタデータ) (2023-07-26T14:40:21Z) - The ZX-calculus as a Language for Topological Quantum Computation [0.0]
ユニタリ融合圏は、トポロジカル量子計算の理論を定式化する。
我々は、FibonacciモデルとIsingモデルのためのジェネレータを表現している。
フィボナッチ・アロンの単量子ブレイド方程式とイジング・アロンの単量子ブレイド方程式と2量子ブレイド方程式の導出を与える。
論文 参考訳(メタデータ) (2022-11-07T20:45:33Z) - Completeness of Sum-Over-Paths for Toffoli-Hadamard and the Dyadic
Fragments of Quantum Computation [0.0]
サム・オーバー・パス」(Sum-Over-Paths)は、量子系を記述する線形写像を象徴的に操作する方法である。
量子力学の最も単純な普遍的な断片である "Toffoli-Hadamard" に対して完備であることを示す。
論文 参考訳(メタデータ) (2022-05-05T12:29:29Z) - LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits [58.720142291102135]
線形光量子回路を推論するグラフィカル言語LOv-calculusを導入する。
2つのLOv-回路が同じ量子過程を表すのは、LOv-計算の規則で一方を他方に変換できる場合に限る。
論文 参考訳(メタデータ) (2022-04-25T16:59:26Z) - Simplification Strategies for the Qutrit ZX-Calculus [0.0]
ZX-calculusは、ZX-diagramと呼ばれるテンソルネットワークを適切に表現するためのグラフィカル言語である。
ZX計算は、量子回路、凝縮物質系、量子アルゴリズム、量子エラー符号、および数え上げ問題に関する推論に応用を見出した。
論文 参考訳(メタデータ) (2021-03-11T19:17:28Z) - AKLT-states as ZX-diagrams: diagrammatic reasoning for quantum states [1.1470070927586016]
ZXH計算(ZXH-calculus)は、多体状態を完全にグラフィカルに表現し、推論するために使用するグラフィカル言語である。
本稿では,AKLT行列生成状態表現の回復,位相的に保護されたエッジ状態の存在,文字列順序パラメータの非消滅について述べる。
また、六角格子上の2次元 AKLT 状態がグラフ状態に還元できることを証明し、それが普遍的な量子コンピューティング資源であることを証明した。
論文 参考訳(メタデータ) (2020-12-02T14:03:27Z) - Local optimization on pure Gaussian state manifolds [63.76263875368856]
ボソニックおよびフェルミオンガウス状態の幾何学に関する洞察を利用して、効率的な局所最適化アルゴリズムを開発する。
この手法は局所幾何学に適応した降下勾配の概念に基づいている。
提案手法を用いて、任意の混合ガウス状態の精製の絡み合いを計算するのにガウス浄化が十分であるという予想の数値的および解析的証拠を収集する。
論文 参考訳(メタデータ) (2020-09-24T18:00:36Z) - Hamiltonian systems, Toda lattices, Solitons, Lax Pairs on weighted
Z-graded graphs [62.997667081978825]
グラフ上の解に対して一次元の解を持ち上げることができる条件を特定する。
位相的に興味深いグラフの簡単な例であっても、対応する非自明なラックス対と関連するユニタリ変換は、Z階数グラフ上のラックス対に持ち上げないことを示す。
論文 参考訳(メタデータ) (2020-08-11T17:58:13Z) - A refinement of Reznick's Positivstellensatz with applications to
quantum information theory [72.8349503901712]
ヒルベルトの17番目の問題において、アルティンはいくつかの変数の任意の正定値が2つの平方和の商として書けることを示した。
レズニックはアルティンの結果の分母は常に変数の平方ノルムの$N$-次パワーとして選択できることを示した。
論文 参考訳(メタデータ) (2019-09-04T11:46:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。