[論文レビュー] ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory

Jonathan Gorard, Manojna Namuduri+1 more|arXiv (Cornell University)|Oct 5, 2020

Quantum Mechanics and Applications参考文献 52被引用数 8

ひとこと要約

本稿は、量子力学の図式的言語たるZXカルキュラスと、Wolframモデルのマルチウェイシステムとの間の形式的対応を確立し、ZX図式の再書き換えがWolframモデルのハイパーグラフ再書き換えに埋め込まれることを示している。Wolframモデルのマルチウェイおよびブランチイアルグラフが、ZX図式の合成と整合するモノイダル構造を自然に持つことを証明し、アドヒビットカテゴリと二重押し出し再書き換えを用いて、カテゴリカル量子力学とルーシャル計算を統合した。

ABSTRACT

Categorical quantum mechanics and the Wolfram model offer distinct but complementary approaches to studying the relationship between diagrammatic rewriting systems over combinatorial structures and the foundations of physics; the objective of the present article is to begin elucidating the formal correspondence between the two methodologies in the context of the ZX-calculus formalism of Coecke and Duncan for reasoning diagrammatically about linear maps between qubits. After briefly summarizing the relevant formalisms, and presenting a categorical formulation of the Wolfram model in terms of adhesive categories and double-pushout rewriting systems, we illustrate how the diagrammatic rewritings of the ZX-calculus can be embedded and realized within the broader context of Wolfram model multiway systems, and illustrate some of the capabilities of the software framework (ZXMultiwaySystem) that we have developed specifically for this purpose. Finally, we present a proof (along with an explicitly computed example) based on the methods of Dixon and Kissinger that the multiway evolution graphs and branchial graphs of the Wolfram model are naturally endowed with a monoidal structure based on rulial composition that is, furthermore, compatible with the monoidal product of ZX-diagrams.

研究の動機と目的

• カテゴリカル量子力学（ZXカルキュラスを介して）とWolframモデルのハイパーグラフ再書き換えシステムとの間の形式的ブリッジを確立すること。
• アドヒビットカテゴリと二重押し出し（DPO）再書き換えを用いて、ZX図式の再書き換えがWolframモデルのマルチウェイ進化システムに埋め込まれることを示すこと。
• Wolframモデルのマルチウェイおよびブランチイアルグラフが、ZX図式の合成と整合するモノイダル構造を自然に持つことを示すこと。
• マルチウェイシステムとZX図式のモノイダル積の整合性をシミュレート・分析可能なZXMultiwaySystemソフトウェアフレームワークを開発・検証すること。
• 選択的アドヒビット規則の有向コスパンのカテゴリを用いて、ルーシャルマルチウェイシステムとZX図式のダガーコンパクト閉じたカテゴリとの統合を図ること。

提案手法

• ハイパーグラフ変換をモデル化するため、アドヒビットカテゴリと二重押し出し（DPO）再書き換えシステムを用いてWolframモデルを形式化する。
• シンボリックな再書き換え規則を介して、ZX図式の生成子（スパイラルなど）とその関係をWolframモデルのハイパーグラフ構造に埋め込む。
• 初期ハイパーグラフ状態に対してすべての可能な規則適用を適用することで、マルチウェイ進化グラフを構築し、すべての導出経路を捉える。
• ブランチイアルグラフを、マルチウェイの分岐間のもつれ構造として定義し、量子状態の重ね合わせに類似した性質を持つ。
• ルーシャルマルチウェイシステムが、ルーシャル合成を通じてモノイダル積を備え、ZXカルキュラスのカテゴリにおけるモノイダル積と同型であることを証明する。
• 選択的アドヒビット規則の有向コスパンのカテゴリを用いて、マルチウェイシステムの構成的構造を形式化し、ZX図式のモノイダル積との整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 ZX図式の再書き換えは、Wolframモデルのマルチウェイ再書き換えフレームワークに形式的に埋め込めるか？
• RQ2 Wolframモデルのマルチウェイ進化グラフは、自然にZXカルキュラスのモノイダル構造と同型なモノイダル構造を持つか？
• RQ3 Wolframモデルのブランチイアルグラフは、ZXカルキュラスにおける量子状態の重ね合わせおよびもつれとどのように対応するか？
• RQ4 ルーシャルマルチウェイシステムとZX図式のダガーコンパクト閉じたカテゴリとの間のカテゴリカル関係は何か？
• RQ5 ZXMultiwaySystemソフトウェアフレームワークは、WolframモデルのマルチウェイシステムとZX図式の間のモノイダル整合性を正確にシミュレート・検証できるか？

主な発見

• Wolframモデルのマルチウェイ進化グラフは、ルーシャル合成を通じて自然にモノイダル構造を備えており、これはZX図式のモノイダル積と整合する。
• スパイラル統合やπ位相シフトといったZX図式の再書き換えは、Wolframモデルのハイパーグラフ再書き換えシステムに忠実に埋め込み・シミュレート可能である。
• Wolframモデルのブランチイアルグラフは量子状態の重ね合わせに対応し、その構造がZX図式におけるもつれのパターンを反映している。
• 選択的アドヒビット規則の有向コスパンのカテゴリは、ルーシャルマルチウェイシステムとZX図式のダガーコンパクト閉じたカテゴリを統合するカテゴリカルフレームワークを提供する。
• ZXMultiwaySystemソフトウェアフレームワークは、マルチウェイおよびブランチイアルグラフの計算・可視化を成功裏に実行し、モノイダル整合性の明示的検証を可能にした。
• 本稿では、ベル状態の変換といったZX図式変換が、Wolframモデルのマルチウェイシステム内での経路として実現され、形式的対応が確認された具体的な例を提示している。