[論文レビュー] The algebra of entanglement and the geometry of composition

Amar Hadzihasanovic|arXiv (Cornell University)|Sep 23, 2017

Quantum Mechanics and Applications参考文献 137被引用数 41

ひとこと要約

本学位論文は、正則多様体（非退化細胞境界を持つ高次圏）に基づく構成的普遍代数を導入し、その中でストリング図のスライディング移動が部分理論のテンソル積から生じることを示す。この研究は、図式代数の幾何的基盤を確立し、グロブュラーポセットを用いてコherencyを証明し、ZuW計算という、qubitの量子もつれを完全かつ物理的に意味のある図式的公理化として構築する。

ABSTRACT

String diagrams turn algebraic equations into topological moves that have recurring shapes, involving the sliding of one diagram past another. We individuate, at the root of this fact, the dual nature of polygraphs as presentations of higher algebraic theories, and as combinatorial descriptions of "directed spaces". Operations of polygraphs modelled on operations of topological spaces are used as the foundation of a compositional universal algebra, where sliding moves arise from tensor products of polygraphs. We reconstruct several higher algebraic theories in this framework. In this regard, the standard formalism of polygraphs has some technical problems. We propose a notion of regular polygraph, barring cell boundaries that are not homeomorphic to a disk of the appropriate dimension. We define a category of non-degenerate shapes, and show how to calculate their tensor products. Then, we introduce a notion of weak unit to recover weakly degenerate boundaries in low dimensions, and prove that the existence of weak units is equivalent to a representability property. We then turn to applications of diagrammatic algebra to quantum theory. We re-evaluate the category of Hilbert spaces from the perspective of categorical universal algebra, which leads to a bicategorical refinement. Then, we focus on the axiomatics of fragments of quantum theory, and present the ZW calculus, the first complete diagrammatic axiomatisation of the theory of qubits. The ZW calculus has several advantages over ZX calculi, including a computationally meaningful normal form, and a fragment whose diagrams can be read as setups of fermionic oscillators. Moreover, its generators reflect an operational classification of entangled states of 3 qubits. We conclude with generalisations of the ZW calculus to higher-dimensional systems, including the definition of a universal set of generators in each dimension.

研究の動機と目的

• ストリング図のスライディング移動が代数的理論において一貫して生じる理由、およびその背後にある幾何的起源を説明すること。
• 標準的な多様体における技術的制限を克服するため、非退化細胞境界を有する正則多様体を導入すること。
• 正則多様体における細胞の形状を表すためのグロブュラーポセット理論を構築し、計算可能なテンソル積を可能にすること。
• 高次圏における弱い単位と同値細胞の間の関係を確立すること。
• この枠組みを量子理論に適用し、qubitのもつれを完全かつ物理的に解釈可能な図式的計算体系（ZW計算）として構築すること。

提案手法

• 非退化細胞境界（円板に同相でないもの）を排除することで、正則多様体を定義し、幾何的整合性を保証する。
• 順序集合位相を用いてグロブュラーポセットを構築し、細胞の形状を定義し、非退化性を証明する。
• 形状に基づく合成を用いて正則多様体のテンソル積を定義し、整合的な高次元代数を可能にする。
• 低次元における弱く退化した境界を回復する手段として弱い単位を導入し、可除性および同値細胞と関連付ける。
• ヒルベルト空間を2-圏的精錬として再解釈することで、この形式的体系を量子理論に適用し、ZW計算を導く。
• 生成子がフェルミオン的オシレーターの設定に由来するように、qubit理論の完全で正規化可能な図式的公理化としてZW計算を構築する。

実験結果

リサーチクエスチョン

• RQ1 なぜストリング図のスライディング移動が代数的理論において一貫して生じるのか。その背後にある幾何的起源は何か。
• RQ2 多様体を再定式化することで、非退化細胞境界を回避し、計算可能なテンソル積を可能にする方法は何か。
• RQ3 高次圏における弱い単位と同値細胞の間の関係は何か。
• RQ4 量子もつれに対して完全で物理的に意味のある図式的計算体系を構築できるか。
• RQ5 ZW計算を任意の有限次元のクイジットに一般化できるか。

主な発見

• 正則多様体は非退化細胞境界を排除することで定義され、幾何的整合性を保証し、形状理論がうまく機能する。
• グロブュラーポセットは、正則多様体における細胞形状の組合せ的位相的基盤を提供し、非退化性を満たし、テンソル積の計算を可能にする。
• 正則多様体における弱い単位の存在は、特定の可除性性質を満たす細胞の存在と同値であり、これは基本的な同値細胞に対応する。
• ZW計算は、qubit量子理論の完全で正規化可能な図式的公理化として提示され、フェルミオン的オシレーターに基づく物理的に解釈可能な断片を有する。
• ZW計算はZX計算よりも優位性を示し、計算的に意味のある正規形を備え、多粒子もつれの操作的分類を反映する生成子集合を持つ。
• この枠組みは、任意の有限次元のクイジットへの一般化をサポートし、各次元に普遍的な生成子集合を定義可能である。