[論文レビュー] Qufinite ZX-calculus: a unified framework of qudit ZX-calculi

Quanlong Wang|arXiv (Cornell University)|Apr 13, 2021

Quantum Computing Algorithms and Architecture参考文献 13被引用数 15

ひとこと要約

本稿は、任意の有限次元 d ≥ 2 における qudit 量子力学を統合的に扱うための、qufinite ZXカルキュラスを導入する。qubit ZXカルキュラスに複素数位相を持つ Z スパインダー、一般化された三角ノード、および新しい次元スプリッター／バインダー生成子を拡張することで、任意の有限次元行列の正規形を確立し、普遍性を証明するとともに、完全性の証明および有限量子理論の図式的再構成への道筋を切り開く。

ABSTRACT

ZX-calculus is graphical language for quantum computing which usually focuses on qubits. In this paper, we generalise qubit ZX-calculus to qudit ZX-calculus in any finite dimension by introducing suitable generators, especially a carefully chosen triangle node. As a consequence we obtain a set of rewriting rules which can be seen as a direct generalisation of qubit rules, and a normal form for any qudit vectors. Based on the qudit ZX-calculi, we propose a graphical formalism called qufinite ZX-calculus as a unified framework for all qudit ZX-calculi, which is universal for finite quantum theory due to a normal form for matrix of any finite size. As a result, it would be interesting to give a fine-grained version of the diagrammatic reconstruction of finite quantum theory [Selby2021reconstructing] within the framework of qufinite ZX-calculus.

研究の動機と目的

• qubit ZXカルキュラスを任意の有限次元 d ≥ 2 における qudit システムへ一般化すること。
• 混合次元のシステムを含む qudit ZXカルキュラスに統一的なフレームワークが欠如している問題を解決すること。
• qudit ベクトルの正規形を構築し、それを任意の有限次元行列へ拡張すること。
• 統一的な図式的カルキュラス内で、有限量子理論の微細な図式的再構成を可能にすること。
• qudit および qufinite ZXカルキュラスが複素数および可換半群環上で完全性を証明するための基盤を築くこと。

提案手法

• 複素数位相ベクトルを備えた Z スパインダーと、qudit ZXカルキュラスのコア生成子としての新しい一般化された三角ノードを導入する。
• 非正規化されたハダマードおよびその随伴ノードを定義し、標準的な qubit の書き換え規則を qudit の次元へ拡張する。
• 任意の正の整数を線にラベル付けできる次元スプリッターおよび次元バインダー生成子を導入し、混合次元システムの合成を可能にする。
• qubit の正規形を一般化することで、qudit ベクトルの正規形を構築し、qudit ZXカルキュラスの普遍性を保証する。
• 次元スプリッターおよび次元バインダーの規則を用いて、qudit 正規形を合成することで、任意の m×n 行列への正規形を拡張する。
• フレームワークが任意の可換半群環上でも普遍的であることを示し、より広範な代数的一般化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 qubit ZXカルキュラスは、一貫性のある書き換え規則セットを用いて、任意の有限次元 d ≥ 2 における qudit システムへ体系的に一般化可能か？
• RQ2 単一の図式的カルキュラス内で、混合次元の qudit システムを統一的に扱うフレームワークをどのように構築できるか？
• RQ3 qudit ZXカルキュラスの枠組み内で、任意の有限次元行列の正規形を導出可能か？ その際、普遍性が保証されるか？
• RQ4 一般化された三角ノードおよび次元スプリッター／バインダー生成子は、異種の qudit システム間の合成をどのように可能にするか？
• RQ5 qufinite ZXカルキュラスは、有限量子理論の微細な図式的再構成の基盤として機能可能か？

主な発見

• 本稿は、複素数位相を持つ Z スパインダーと一般化された三角ノードを備えた qudit ZXカルキュラスを構築し、qubit の書き換え規則を任意の有限次元 d ≥ 2 へ直接一般化可能であることを示した。
• qudit ベクトルの正規形が確立され、任意の有限次元量子状態を表現するための qudit ZXカルキュラスの普遍性が証明された。
• qufinite ZXカルキュラスは、任意の正の整数次元の線をサポートする統合的フレームワークとして導入され、混合次元のシステム間の合成を可能にした。
• 次元スプリッターおよび次元バインダー生成子を用いて、任意の m×n 行列の正規形が構築され、qufinite ZXカルキュラスがすべての有限次元量子理論に対して普遍的であることが証明された。
• フレームワークは任意の可換半群環へ一般化可能であり、[14, 15] と同様の手法を用いた完全性証明の可能性を示唆している。
• 行列乗算の型一致要件（t = u）が、正規形の合成規則を通じて視覚的かつ構造的に明確にされた。