[论文解读] Quantum Computation and the localization of Modular Functors

Michael Freedman|ArXiv.org|Mar 28, 2000

Quantum Computing Algorithms and Architecture参考文献 13被引用 12

一句话总结

本文通过从模函子导出的局部哈密顿量，在穿孔圆盘上构建了一个数学构造的量子介质，实现了通过任何 anyonic braiding 的拓扑量子计算。关键结果是证明了具有恒定能隙的哈密顿量的精确存在性定理，支持容错、通用的量子计算，其特性源于拓扑不变性及对局部微扰的鲁棒性。

ABSTRACT

The mathematical problem of localizing modular functors to neighborhoods of points is shown to be closely related to the physical problem of engineering a local Hamiltonian for a computationally universal quantum medium. For genus $=0$ surfaces, such a local Hamiltonian is mathematically defined. Braiding defects of this medium implements a representation associated to the Jones polynomial and this representation is known to be universal for quantum computation.

研究动机与目标

• 建立一个将模函子局部化到量子计算中点邻域的数学框架。
• 构造一个具有局部哈密顿量的量子介质，通过点状缺陷（任意子）实现拓扑保护的量子比特。
• 证明通过编织这些缺陷可实现与琼斯多项式相关的通用表示。
• 为具有恒定能隙的稳定、计算通用的拓扑量子系统提供严格的存 在性证明。
• 通过哈密顿量构造，弥合抽象拓扑量子场论与物理可实现性之间的鸿沟。

提出的方法

• 哈密顿量 H 定义为局部项 H_k 的和，每一项仅在二维晶格中直径为 d 的球体内非平凡作用，强制实现强局域性。
• 基态作为组合图（穿孔的配对）在组合等价关系 ∼c 下的等价类构造，类似于同调。
• 哈密顿量通过局部移动（ bordisms ）作用，将一种配对变换为另一种，形成等价图之间的路径。
• 该模型使用三价图和三价顶点，定义了在具有 3n 个穿孔的矩形上模函子 V(R, {3n}) 的基。
• 基于与基塔耶夫的拓扑码及扩散时间标度的类比，推测在热力学极限下能隙为常数。
• 系统设计使得正交基态之间的隧穿振幅按 e^{-Ω(L)} 缩放，确保长相干时间。

实验结果

研究问题

• RQ1 模函子能否以支持通用量子计算的方式被局部化到点的邻域？
• RQ2 是否存在一个局部哈密顿量，其基态空间实现具有恒定能隙的拓扑量子存储？
• RQ3 该系统中任意子缺陷的辫子能否实现一组通用的量子门？
• RQ4 哈密顿量的能隙在晶格细化（热力学极限）下是否保持稳定？
• RQ5 一个简单的物理哈密顿量能否通过重整化实现相同的拓扑模函子？

主要发现

• 在 15×30n 晶格上显式构造了具有 3n 个穿孔的局部哈密顿量 H，其基态空间同构于模函子 V(R, {3n})。
• 基态空间维数随穿孔数指数增长，支持可扩展的量子信息编码。
• 缺陷的辫子在基态空间上诱导单位变换，实现与琼斯多项式相关的 braid group 表示。
• 该表示是计算通用的，意味着可任意精度逼近任何量子门。
• 哈密顿量被推测在基态上方具有恒定能隙，微扰下按 e^{-Ω(L)} 缩放，确保拓扑稳定性。
• 该模型为具有精确拓扑保护的拓扑量子介质提供了严格的存 在性定理，尽管局部项涉及最多 30 体相互作用。