[论文解读] Mathematics of Topological Quantum Computing

Eric C. Rowell, Zhenghan Wang|arXiv (Cornell University)|May 17, 2017

Quantum Computing Algorithms and Architecture被引用 3

一句话总结

本文综述了拓扑量子计算（TQC）的数学基础，建立了幺正模范畴、(2+1)-TQFT与拓扑物态之间的联系。它展示了拓扑量子场论中的非阿贝尔 anyon 如何通过拓扑不变量实现容错量子计算，关键成果包括琼斯多项式评估与量子复杂性的关联，以及对(3+1)-TQFT与环辫群的猜想。

ABSTRACT

In topological quantum computing, information is encoded in "knotted" quantum states of topological phases of matter, thus being locked into topology to prevent decay. Topological precision has been confirmed in quantum Hall liquids by experiments to an accuracy of $10^{-10}$, and harnessed to stabilize quantum memory. In this survey, we discuss the conceptual development of this interdisciplinary field at the juncture of mathematics, physics and computer science. Our focus is on computing and physical motivations, basic mathematical notions and results, open problems and future directions related to and/or inspired by topological quantum computing.

研究动机与目标

• 统一并阐明拓扑量子计算背后的数学结构，特别是幺正模范畴与(2+1)-TQFT。
• 解释拓扑物态中的拓扑不变量（如非阿贝尔 anyon 系统中的基态简并）如何实现容错量子计算。
• 探索拓扑量子场论的计算能力，特别是琼斯多项式评估与#P难之间的联系。
• 提出开放问题与未来方向，包括(3+1)-TQFT、环辫群的作用，以及从幺正模范畴实现共形场论的可能性。
• 研究 TQC 对基础数学的影响，包括将复杂性类作为公理和量子逻辑。

提出的方法

• 通过幺正模范畴（UMCs）建模 anyon 系统，编码 anyon 的融合与辫子规则。
• 建立幺正(2+1)-TQFT与 UMC 之间的等价性，使拓扑不变量可通过范畴论结构计算。
• 分析在单位根处评估琼斯多项式的计算复杂度，表明当 r ≠ 1,2,3,4,6 时其为#P难。
• 利用 G-交叉辫子融合范畴的态求和构造构建(3+1)-TQFT，并在拓扑物态中实现晶格实现实。
• 研究三维流形中运动群的表示，特别是环辫群 LBₙ，作为二维 braid 群在三维中的推广。
• 猜想幺正(3+1)-TQFT 的划分函数为同伦不变量，可能通过高阶同伦类型推广 Dijkgraaf-Witten TQFT。

实验结果

研究问题

• RQ1 如何利用幺正模范畴与(2+1)-TQFT建模拓扑量子计算并确保容错性？
• RQ2 在单位根处评估琼斯多项式的计算复杂度为何？其与量子优越性有何关联？
• RQ3 能否从球形 2-融合范畴或 G-交叉辫子融合范畴构建(3+1)-TQFT？其物理与拓扑意义为何？
• RQ4 三维拓扑物态中环辫群的表示如何推广二维 TQC 中 braid 群的表示？
• RQ5 幺正(3+1)-TQFT 的划分函数是否为同伦不变量？其是否推广 Dijkgraaf-Witten TQFT？

主要发现

• 在 q = e²πi/r 处评估琼斯多项式，当 r ≠ 1,2,3,4,6 时为#P难，为拓扑不变量与量子计算复杂性之间建立了基础性联系。
• 幺正(2+1)-TQFT 与幺正模范畴在范畴论上等价，为建模拓扑物态提供了双重数学框架。
• 非阿贝尔 anyon 在拓扑物态中（如分数量子霍尔液体）支持拓扑简并，实现拓扑量子存储，实验验证精度达 10⁻¹⁰。
• 环辫群 LBₙ 由三维中环的跃迁与交换移动生成，是 braid 群的推广，在三维 TQC 中提供新一类表示。
• 猜想：幺正(3+1)-TQFT 的划分函数为同伦不变量，暗示其与光滑 4-流形分类的深层联系。
• 若将拓扑扭指数（模 1）一致提升为有理共形权重 {hᵢ}，则可在给定亏格内确定对应的幺正手性 CFT，从而将 UMC 与 VOAs 联系起来。