[论文解读] A modular functor which is universal for quantum computation

Michael Freedman, Michael Larsen+1 more|ArXiv.org|Jan 29, 2000

Quantum Computing Algorithms and Architecture被引用 104

一句话总结

本文证明了在五次单位根处的 SU(2) Witten-Chern-Simons 拓扑模 functor 可作为量子计算的通用模型。通过将量子比特态嵌入到 functor 的态空间中，并利用 braid 群作用实现酉门，作者表明任意量子线路均可被高效逼近，从而确立了拓扑模型与标准量子线路模型之间的多项式等价性。

ABSTRACT

We show that the topological modular functor from Witten-Chern-Simons theory is universal for quantum computation in the sense a quantum circuit computation can be efficiently approximated by an intertwining action of a braid on the functor's state space. A computational model based on Chern-Simons theory at a fifth root of unity is defined and shown to be polynomially equivalent to the quantum circuit model. The chief technical advance: the density of the irreducible sectors of the Jones representation, have topological implications which will be considered elsewhere.

研究动机与目标

• 建立基于 SU(2) Chern-Simons 理论在五次单位根处的拓扑量子场论是量子计算的通用模型。
• 证明 braid 群在模 functor 态空间上的作用可高效逼近任意量子线路操作。
• 通过将量子比特嵌入更高维的拓扑态空间并管理“量子比特弥散”误差，解决容错性挑战。
• 证明在 q = e^{2πi/5} 处的 Jones 表示在 SU(2) 中是稠密的，从而通过 braid 生成元实现通用门集。
• 证明拓扑模型（CS5）与标准量子线路模型之间存在多项式等价性。

提出的方法

• 从 q = e^{2πi/5} 处的 SU(2) Witten-Chern-Simons 理论构造一个拓扑模 functor（TMF），利用带标记点的曲面上的共形块。
• 通过固定包含 i 将 k 量子比特希尔伯特空间 S_k = (C^2)^⊗k 嵌入到 TMF 的态空间 V(D², 3k) 中。
• 利用 braid 群 B(3k) 在 V(D², 3k) 上的作用，通过关系 i∘U = V(b)∘i 在嵌入的量子比特空间上实现酉操作。
• 利用在 q = e^{2πi/5} 处的 Jones 表示，将单量子比特和双量子比特门作为作用于三 Strand braid 上的 braid 群生成元实现。
• 应用 Schur 引理与特征值分析，证明 braid 群像的导出群在 SU(5) 或 SU(8) 上不可约且稠密，从而确保通用性。
• 通过排除所有其他可能的李群实现（基于特征值与重数约束），证明 braid 群表示的像是在 SU(2) 中稠密。

实验结果

研究问题

• RQ1 在五次单位根处的 SU(2) Chern-Simons 理论能否通过其态空间上的 braid 群作用实现任意量子线路操作？
• RQ2 在 q = e^{2πi/5} 处的 Jones 表示是否在 SU(2) 中是稠密的，从而实现通用量子计算？
• RQ3 如何将量子比特态嵌入到拓扑态空间中以最小化退相干与“量子比特弥散”误差？
• RQ4 模 functor 成为量子计算通用模型的代数与拓扑条件是什么？
• RQ5 braid 群表示与拓扑模型中通用门集之间的精确关系是什么？

主要发现

• 在 q = e^{2πi/5} 处的 SU(2) Chern-Simons 理论生成的模 functor，其 braid 群作用可高效逼近任意 k 量子比特上的酉操作。
• braid 群表示在态空间中的像是在 SU(2) 中稠密，这是量子通用性的必要且充分条件。
• braid 群像的导出群在态空间上不可约且忠实地作用，其像在 5 维情形为 SU(5)，在 8 维情形为 SU(8)。
• 特征值与重数分析排除了所有其他可能的李群（如 SU(2)、Sp(4)、SU(3)）作为像的实现，仅留下 SU(5) 和 SU(8) 作为可行候选。
• 在 q = e^{2πi/5} 处，SU(2) 的 5 维不可约表示具有两个特征值，其比值不等于 ±1，这对通用门的生成至关重要。
• 拓扑模型 CS5 与标准量子线路模型多项式等价，从而在计算复杂性意义上确立了通用性。