[论文解读] The compositional structure of multipartite quantum entanglement

Bob Coecke, Aleks Kissinger|arXiv (Cornell University)|Feb 12, 2010

Algebraic structures and combinatorial models参考文献 26被引用 14

一句话总结

本文提出了一种用于多体量子纠缠的组合式图形演算，以GHZ和W态作为基本构建模块。结果表明，这些态诱导出交换Frobenius代数——GHZ态诱导出特殊Frobenius代数，W态诱导出反特殊Frobenius代数，从而实现了通过图重写和SLOCC分类对任意多体态的完整、代数结构化的表示。

ABSTRACT

While multipartite quantum states constitute a (if not the) key resource for quantum computations and protocols, obtaining a high-level, structural understanding of entanglement involving arbitrarily many qubits is a long-standing open problem in quantum computer science. In this paper we expose the algebraic and graphical structure of the GHZ-state and the W-state, as well as a purely graphical distinction that characterises the behaviours of these states. In turn, this structure yields a compositional graphical model for expressing general multipartite states. We identify those states, named Frobenius states, which canonically induce an algebraic structure, namely the structure of a commutative Frobenius algebra (CFA). We show that all SLOCC-maximal tripartite qubit states are locally equivalent to Frobenius states. Those that are SLOCC-equivalent to the GHZ-state induce special commutative Frobenius algebras, while those that are SLOCC-equivalent to the W-state induce what we call anti-special commutative Frobenius algebras. From the SLOCC-classification of tripartite qubit states follows a representation theorem for two dimensional CFAs. Together, a GHZ and a W Frobenius state form the primitives of a graphical calculus. This calculus is expressive enough to generate and reason about arbitrary multipartite states, which are obtained by "composing" the GHZ- and W-states, giving rise to a rich graphical paradigm for general multipartite entanglement.

研究动机与目标

• 为涉及任意多量子比特的多体量子纠缠提供高层次的结构性理解。
• 识别GHZ态与W态之间的代数与图形差异，二者代表了三体纠缠的根本不同类别。
• 开发一种组合式图形模型，通过GHZ与W态的组合，实现对任意多体量子态的生成与推理。
• 建立SLOCC-极大三体量子比特态与Frobenius态之间的对应关系，并表征其诱导的代数结构。
• 为多体纠缠的通用图形演算奠定基础，应用于量子计算与协议设计。

提出的方法

• 引入Frobenius态作为能自然诱导交换Frobenius代数（CFAs）的三体量子态。
• 基于复合映射µ ◦ δ的秩，表征GHZ态诱导出特殊CFAs，W态诱导出反特殊CFAs。
• 利用三体量子比特态的SLOCC分类，证明二维CFAs的表示定理。
• 构建一种基于GHZ与W态作为原语元素的图形演算，其中组合对应于系统的张量积与布线。
• 应用图重写规则来操作与推理复杂多体态，利用CFAs的对称性。
• 证明当特殊CFAs（GHZ）与反特殊CFAs（W）结合单量子比特态时，该图形演算具备计算通用性。

实验结果

研究问题

• RQ1 GHZ态与W态在多体纠缠中的根本差异所依赖的代数与图形结构是什么？
• RQ2 所有SLOCC-极大的三体量子比特态是否都能表征为Frobenius态？若是，它们诱导出何种CFAs？
• RQ3 如何构建一种组合式图形演算，以生成并推理任意多体纠缠态？
• RQ4 在GHZ/W演算中，两个图形表达式表示同一量子态的充分必要条件是什么？
• RQ5 该框架能否扩展至高维量子比特（qudits）？µ ◦ δ中的中间秩在高维系统中起什么作用？

主要发现

• 所有SLOCC-极大的三体量子比特态在局部等价意义下均等价于Frobenius态，其中GHZ型态诱导出特殊CFAs，W型态诱导出反特殊CFAs。
• 二维CFAs的表示定理由三体量子比特态的SLOCC分类推导得出，建立了完全的对应关系。
• GHZ与W态作为图形演算中的规范原语元素，其组合足以通过复合生成任意多体态。
• 当与单量子比特态结合时，该图形演算实现了计算通用性，从而能够构建复杂量子协议（如量子多路复用器）。
• 该框架为张量积态（MPS）提供了新的图形化表示方式，其分解涉及2×2矩阵，节点代表特殊或反特殊CFAs结构。
• 结果表明，利用图形技术可高效计算多体系统中的期望值，尤其适用于二维MPS链。