論文の概要: Geometry of Interaction for ZX-Diagrams
- arxiv url: http://arxiv.org/abs/2206.10916v2
- Date: Wed, 3 Aug 2022 14:06:07 GMT
- ステータス: 処理完了
- システム内更新日: 2023-02-08 09:54:42.430530
- Title: Geometry of Interaction for ZX-Diagrams
- Title(参考訳): ZX-ダイアグラムの相互作用の幾何学
- Authors: Kostia Chardonnet, Beno\^it Valiron, Renaud Vilmart
- Abstract要約: ZX-カルキュラス(ZX-Calculus)は、方程式理論を備えた量子計算のための汎用的なグラフィカル言語である。
本稿では,ZX-Calculusのトークンマシンに基づく非同期モデルの提案と混合プロセスへの拡張について述べる。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: ZX-Calculus is a versatile graphical language for quantum computation
equipped with an equational theory. Getting inspiration from Geometry of
Interaction, in this paper we propose a token-machine-based asynchronous model
of both pure ZX-Calculus and its extension to mixed processes. We also show how
to connect this new semantics to the usual standard interpretation of
ZX-diagrams. This model allows us to have a new look at what ZX-diagrams
compute, and give a more local, operational view of the semantics of
ZX-diagrams.
- Abstract(参考訳): zx-calculusは、方程式理論を備えた量子計算のための多彩なグラフィカル言語である。
本稿では、相互作用幾何学からインスピレーションを得て、純粋なZX-Calculusのトークンマシンに基づく非同期モデルと混合プロセスの拡張を提案する。
また、この新たな意味論をZX-ダイアグラムの通常の標準解釈に結びつける方法についても示す。
このモデルにより、ZX-ダイアグラムの計算対象を新たに把握し、ZX-ダイアグラムのセマンティクスをより局所的かつ運用的に把握することができる。
関連論文リスト
- Equivalence Classes of Quantum Error-Correcting Codes [49.436750507696225]
量子過程に影響を与える固有のノイズに対処するために、量子誤り訂正符号(QECC)が必要である。
我々は、テンソルネットワークからなるZXダイアグラムと呼ばれる形式でQECCを表す。
論文 参考訳(メタデータ) (2024-06-17T20:48:43Z) - Simple qudit ZX and ZH calculi, via integrals [0.0]
ZX計算とZH計算は、量子演算を表すためにダイアグラムを使用し、書き直し規則を用いて、関手意味写像を通して同じ演算子を表すダイアグラム間の変換を行う。
ZX 図と ZH 図のセマンティックマップを記述し、ユニタリ回路の解析に適し、任意の固定次元 D>1 の立方体を 1 つの ZXH-計算として測定する。
本稿では,ZX電卓の安定化器フラグメント'とZH電卓のマルチキャラクタフラグメント'の書き直し規則を実証する。
論文 参考訳(メタデータ) (2023-04-06T18:00:31Z) - Joint Graph and Vertex Importance Learning [47.249968772606145]
ラプラシアンアプローチと比較してエッジウェイト上界が小さいグラフを学習する新しい手法を提案する。
実験により, より解釈可能なモデルを用いて, ラプラシアン法に比べてスペーサーグラフが多数得られた。
論文 参考訳(メタデータ) (2023-03-15T12:12:13Z) - Qudit lattice surgery [91.3755431537592]
我々は、フォールトトレラント量子ビット計算のモデルである格子手術が、任意の有限次元量子ビットに直接一般化することを観察する。
我々は、このモデルをホップ・フロベニウス代数に基づく図形言語であるZX-計算に関連付ける。
論文 参考訳(メタデータ) (2022-04-27T23:41:04Z) - Addition and Differentiation of ZX-diagrams [0.0]
ZX-ダイアグラムの追加に関する一般帰納的定義を導入する。
ZX-ダイアグラムの誘導的分化を提供する。
また、結果を適用してイジング・ハミルトン多様体の図形を導出する。
論文 参考訳(メタデータ) (2022-02-23T09:52:26Z) - Differentiating and Integrating ZX Diagrams with Applications to Quantum Machine Learning [0.09831489366502298]
我々は、ZX-計算の枠組み内での微分と積分を実現することにより、ZXを解析的視点に高める。
本稿では,バレンプラトーの解析に量子機械学習を応用し,ZX計算の新しい解析フレームワークを具体的に解説する。
論文 参考訳(メタデータ) (2022-01-31T13:59:28Z) - Learning Graphon Autoencoders for Generative Graph Modeling [91.32624399902755]
Graphonは任意のサイズでグラフを生成する非パラメトリックモデルであり、グラフから簡単に誘導できる。
解析可能でスケーラブルなグラフ生成モデルを構築するために,textitgraphon autoencoder という新しいフレームワークを提案する。
線形グルーポン分解モデルはデコーダとして機能し、潜在表現を活用して誘導されたグルーポンを再構成する。
論文 参考訳(メタデータ) (2021-05-29T08:11:40Z) - GraphSVX: Shapley Value Explanations for Graph Neural Networks [81.83769974301995]
グラフニューラルネットワーク(GNN)は、幾何データに基づく様々な学習タスクにおいて大きな性能を発揮する。
本稿では,既存のGNN解説者の多くが満足する統一フレームワークを提案する。
GNN用に特別に設計されたポストホックローカルモデル非依存説明法であるGraphSVXを紹介します。
論文 参考訳(メタデータ) (2021-04-18T10:40:37Z) - ZX-calculus for the working quantum computer scientist [0.0]
ZX-計算(ZX-calculus)は、量子計算を推論するためのグラフィカル言語である。
このレビューでは、量子コンピューティングの基礎に精通した人々に適したZX計算について、穏やかに紹介する。
後者のセクションでは、ZX-計算に関する文献の概要がまとめられている。
論文 参考訳(メタデータ) (2020-12-27T15:54:25Z) - Hamiltonian systems, Toda lattices, Solitons, Lax Pairs on weighted
Z-graded graphs [62.997667081978825]
グラフ上の解に対して一次元の解を持ち上げることができる条件を特定する。
位相的に興味深いグラフの簡単な例であっても、対応する非自明なラックス対と関連するユニタリ変換は、Z階数グラフ上のラックス対に持ち上げないことを示す。
論文 参考訳(メタデータ) (2020-08-11T17:58:13Z) - Entanglement and Quaternions: The graphical calculus ZQ [0.0]
任意回転を表す四元数を用いたグラフ計算ZQを導入する。
我々は、この計算が量子ビット量子コンピューティングにとって健全で完全であることを示し、また、完全クモベースの表現が不可能であったことも示している。
論文 参考訳(メタデータ) (2020-03-22T21:34:59Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。