[论文解读] Topologization of electron liquids with Chern-Simons theory and quantum computation

Zhenghan Wang|arXiv (Cornell University)|Jan 13, 2006

Topological Materials and Phenomena参考文献 5被引用 4

一句话总结

本文建立了从陈-西蒙斯理论导出的拓扑量子场论（TQFTs）与分数量霍尔（FQH）电子液体中物理现象之间的深刻联系，证明了分数量霍尔态中的非交换 anyons 可通过 braid 群表示实现通用量子计算。关键结果是证明了非交换 TQFT 中任意子量子计算的通用性，表明其 braid 群图像包含特殊酉群，从而实现通用量子计算，并可高效模拟 TQFT 不变量（如琼斯多项式）。

ABSTRACT

We discuss a nexus among quantum topology, quantum physics and quantum computing.

研究动机与目标

• 建立一个理论框架，将陈-西蒙斯 TQFT 与分数量霍尔（FQH）电子液体中的拓扑序联系起来。
• 证明分数量霍尔态中的非交换 anyons 可通过 braid 群表示实现通用量子计算。
• 证明基于 TQFT 的拓扑量子计算模型的通用性，特别是针对非交换 anyons。
• 利用模张量范畴（MTCs）对 FQH 系统中的拓扑序进行分类，特别是最多四种 anyon 类型的情况。
• 探索量子计算机对 TQFT 的高效模拟，以及拓扑量子计算的容错性。

提出的方法

• 利用紧致李群 G 在级别 k 下的陈-西蒙斯规范理论构造拓扑量子场论（TQFTs）。
• 应用陈-西蒙斯理论的路径积分公式，定义 3-流形不变量和 2-流形上的向量空间，通过 Witten-Reshetikhin-Turaev 构造得到 TQFT。
• 将分数量霍尔态建模为由 TQFT 描述的拓扑序相，其中 anyons 作为准粒子激发出现。
• 使用琼斯对 braid 群的表示来建模 anyonic 统计和基于 braid 的量子门，在拓扑量子计算中实现。
• 采用模张量范畴（MTCs）对拓扑序进行分类，其中耦合规则和 R/S 矩阵编码 anyonic 统计和编织特性。
• 证明非交换 TQFT 中 braid 群表示的像包含特殊酉群，从而确立该模型的通用性。

实验结果

研究问题

• RQ1 陈-西蒙斯理论能否为分数量霍尔液体中的拓扑序提供统一的描述框架？
• RQ2 分数量霍尔态中的非交换 anyons 是否可通过 braid 统计实现通用量子计算？
• RQ3 在具有有限个 anyon 类型的 2+1D 系统中，拓扑序的分类是什么？
• RQ4 所有幺正 TQFT 是否都能被量子计算机高效模拟？
• RQ5 拓扑系统的边界共形场论与其体 TQFT 之间有何关系？

主要发现

• 当 r ≠ 1,2,3,4,6 时，来自陈-西蒙斯 TQFT 中非交换 anyons 的 braid 群表示对量子计算是通用的，因为其像包含特殊酉群。
• 证明了 braid 群琼斯表示的闭包图像在所有非例外情况下都尽可能大——包含 SU(n)——从而确立了通用性。
• 所有幺正 TQFT 都能被量子计算机高效模拟，建立了基于 TQFT 的量子计算与标准量子计算之间的等价性。
• 量子计算机可高效近似计算链的琼斯多项式，为这一经典难题提供了量子算法。
• 对最多四种 anyon 类型的模张量范畴（MTCs）完成了完全分类，且所有此类 MTCs 均可通过陈-西蒙斯理论或其量子双代数实现。
• 该分类包括已知示例，如 SU(2) 级别 1、SO(3) 级别 3、SU(2) 级别 2、SO(3) 级别 5 和 SU(2) 级别 3，证实了其物理可实现性。