[論文レビュー] Completeness of algebraic ZX-calculus over arbitrary commutative rings and semirings

Quanlong Wang|arXiv (Cornell University)|Dec 2, 2019

Quantum Computing Algorithms and Architecture参考文献 11被引用数 8

ひとこと要約

本稿では、新しい生成子と書き換え規則を導入することで、ZXカルキュラスを任意の可換環および半環へ一般化する。これらの生成子と規則は健全性を保ちつつ、一般化された代数的構造上での完全性を保証する。行列の基本行列操作に基づく正規形を用いて、複素数を超えた数論や一般代数的領域上の線形代数への応用を可能にする。

ABSTRACT

ZX-calculus is a strict mathematical formalism for graphical quantum computing which is based on the field of complex numbers. In this paper, we extend its power by generalising ZX-calculus to such an extent that it is universal both in an arbitrary commutative ring and in an arbitrary commutative semiring. Furthermore, we follow the framework of arXiv:2007.13739 to prove respectively that the proposed ZX-calculus over an arbitrary commutative ring (semiring) is complete for matrices over the same ring (semiring), via a normal form inspired from matrix elementary operations such as row addition and row multiplication. This work could lead to various applications including doing elementary number theory in string diagrams.

研究の動機と目的

• 複素数を超えて任意の可換環および半環へZXカルキュラスを拡張すること。
• これらの代数的構造上で健全かつ普遍的な新しい生成子と書き換え規則を定義すること。
• 任意の可換環および半環上の行列について、一般化されたZXカルキュラスの完全性を証明すること。
• 整数論の基礎的分野および離散代数的領域上の線形代数における新しい応用を可能にすること。
• 体でない代数的構造上でのストリング図による推論をサポートするようにフレームワークを一般化すること。

提案手法

• スカラーを含まない生成子の導入：すべての係数が1の赤いスパイン、および1/√2ではなく±1の成分を持つハダマードノード。
• 任意の可換環および半環上で生成子と関係式を用いたPROPに基づく記述の採用。
• 基本行列操作にインspiredされた正規形の使用——行の加法と行の乗法をピンクノードで符号化。
• マップ・ステート双対性とテンソル積の書き換えを用いて、図式構造を統合・簡略化。
• [14]のフレームワークを適用し、正規形への還元によって完全性を証明。
• 逆元や負の元を避けることで、半環に対して証明を適応。可換モノイド構造に依存。

実験結果

リサーチクエスチョン

• RQ1 可換環に対してZXカルキュラスを一般化し、完全性を保てるか？
• RQ2 逆元や負の元が存在しない半環上でもZXカルキュラスをどのように適応できるか？
• RQ3 基本行列操作に基づく正規形を構築し、これらの一般化された設定で完全性を証明できるか？
• RQ4 環および半環上での普遍性と健全性を保証するための最小生成子と書き換え規則は何か？
• RQ5 整数や自然数などの代数的構造へZXカルキュラスを拡張することで、どのような新しい応用が生じるか？

主な発見

• 任意の可換環 R に対して、一般化されたZXカルキュラスは R 上の行列について完全である。正規形は行操作に基づく。
• 加法的逆元が存在しないにもかかわらず、任意の可換半環 S に対しても同様に完全性の結果が成り立つ。
• S 上の行列の正規形では、ピンクノードが行の加法とスカラー乗法を表し、m ビットに対して正確に 2^m - 1 個の操作が使用される。
• R や S 上の 2^m × 2^n 行列は、すべてZX図式として表現可能であり、カルキュラスの普遍性を証明する。
• フレームワークにより、一般の環上での基本行列のZX表現が可能となり、一般環上での線形代数のサポートが可能になる。
• 完全性の証明は、正規形のテンソル積の書き換え、自己埋め込み、生成子の変換に依存しており、すべて半環の制約に適合されている。