[论文解读] Cluster states, algorithms and graphs

Dirk Schlingemann|ArXiv.org|May 28, 2003

Graph Theory and Algorithms被引用 5

一句话总结

本文通过证明簇态——测量模型量子计算的关键资源——可完全通过图码和稳定子形式化方法表征与操控，建立了一套基于图论的单向量子计算框架。研究表明，Clifford群量子算法可对应于图上的显式、可计算变换，从而实现高效模拟，并通过相空间平移显式补偿测量结果，由此通过图论操作统一了量子误差纠正与测量模型量子计算。

ABSTRACT

The present paper is concerned with the concept of the one-way quantum computer, beyond binary-systems, and its relation to the concept of stabilizer quantum codes. This relation is exploited to analyze a particular class of quantum algorithms, called graph algorithms, which correspond in the binary case to the Clifford group part of a network and which can efficiently be implemented on a one-way quantum computer. These algorithms can ``completely be solved" in the sense that the manipulation of quantum states in each step can be computed explicitly. Graph algorithms are precisely those which implement encoding schemes for graph codes. Starting from a given initial graph, which represents the underlying resource of multipartite entanglement, each step of the algorithm is related to a explicit transformation on the graph.

研究动机与目标

• 建立单向量子计算与基于簇态的图论变换之间的直接对应关系。
• 证明Clifford群算法可通过显式的图操作完全计算与模拟，避免基于电路的分解。
• 证明在单向模型中，测量结果可仅通过图结构与线性代数显式补偿。
• 通过证明簇态在稳定子形式化下等价于图码，统一稳定子量子码与图码。
• 提供一种系统方法，可在不改变逻辑操作的前提下从图中移除测量顶点，简化量子算法的实现。

提出的方法

• 本文使用对称邻接矩阵 Λ 表示量子比特之间的相互作用模式，将簇态建模为图码。
• 利用稳定子形式化，通过涉及关联算符的本征值方程表征簇态，这些算符生成稳定子群。
• 该方法在Pauli本征基上执行局部冯诺依曼测量，测量结果通过由图结构导出的显式酉操作进行补偿。
• 引入分块矩阵求逆技术，计算补偿用的相空间平移，使用 (Γ − Z_LΛ)_{JM}^{IKM} 的右逆。
• 该方法允许通过定理7依次从图中移除测量顶点，将图简化为包含输入、输出及剩余傅里叶变换的最小形式。
• 该框架可将任意Clifford算法模拟为一系列图变换，所有操作均可显式闭式计算。

实验结果

研究问题

• RQ1 如何通过图论操作系统地表示与计算单向量子算法？
• RQ2 簇态、稳定子码与图码之间的精确数学关系是什么？
• RQ3 能否仅通过图结构与线性代数显式补偿单向模型中的测量结果？
• RQ4 如何在保持逻辑量子操作不变的前提下从图中移除测量顶点？
• RQ5 何种条件可确保图变换对应于单向模型中有效的量子算法？

主要发现

• 在稳定子形式化下，簇态等价于图码，邻接矩阵 Λ 同时定义了相互作用模式与码的稳定子生成元。
• 簇态的稳定子群由关联算符 ∏j∈I z_j^Λ(j,i) x_i 生成，这些算符对每个量子比特 i 起稳定作用。
• 在标准X基测量后，结果态仍为稳定子码，其稳定子群可通过图操作显式计算。
• 测量结果通过相空间平移补偿，表达式为 a^J = Γ^J_{JM} (Γ − Z_LΛ)^{-1}_{IKM} p^{IKM} 和 b^J = (Γ − Z_LΛ)^{-1}_{IKM} p^{IKM}，其中逆为分块矩阵的右逆。
• 通过定理7可依次移除测量顶点，得到简化图 Γ_k，其包含输入顶点 I、输出顶点 O，以及剩余输出量子比特上的残余局部傅里叶变换 F_k。
• 最终的算法操作编码于简化图 Γ_k 中，其与顶点移除顺序无关（至多相差局部酉变换），并完整捕获了计算的本质逻辑。