[论文解读] Topological Quantum Computation with Gapped Boundaries and Boundary Defects

Iris Cong, Zhenghan Wang|arXiv (Cornell University)|Oct 19, 2017

Quantum Computing Algorithms and Architecture参考文献 27被引用 3

一句话总结

本文提出了一种利用Dijkgraaf-Witten拓扑量子场理论中无能隙边界和边界缺陷的通用拓扑量子计算框架，特别针对有限群如$\mathbb{Z}_3$和$S_3$。通过将编织操作与广义拓扑荷测量相结合，作者实现了量子计算的通用性，将拓扑量子计算的适用范围从非交换 anyon 扩展到基于边界的支持 anyonic 类自由度的系统。

ABSTRACT

We survey some recent work on topological quantum computation with gapped boundaries and boundary defects and list some open problems.

研究动机与目标

• 将拓扑量子计算的适用范围从非交换 anyon 扩展至无能隙边界和边界缺陷作为计算资源。
• 建立一种系统化方法，用于在幺正模范畴中利用无能隙边界编码 qudit 并执行拓扑保护操作。
• 通过在$\mathfrak{D}(\mathbb{Z}_3)$中结合编织与广义拓扑荷测量，证明量子计算的通用性。
• 将无能隙边界的哈密顿量构造推广至非平凡上循环，并扩展至更一般的TQFT，而不仅限于有限群模型。
• 探索边界缺陷和畴壁在拓扑序中的计算能力，包括其在通用门集中的作用。

提出的方法

• 为具有无能隙边界（由子群$K \subseteq G$标记）和平凡2-上循环$\omega$的Dijkgraaf-Witten理论$\mathfrak{D}(G)$构造一个校正并广义化的局部可交换投影算符哈密顿量。
• 利用加倍范畴$\mathcal{B} = \mathcal{Z}(\mathcal{C})$中的拉格朗日子代数$\mathcal{A}$对稳定无能隙边界进行分类，并将其建模为体任何子的凝聚态。
• 将广义拓扑荷测量作为计算原语，补充编织操作，从而在$\mathfrak{D}(\mathbb{Z}_3)$中实现通用性。
• 利用拉格朗日子代数与范畴$\mathcal{C}$上的不可约模范畴之间的对应关系，对无能隙边界和边界缺陷进行标记与分类。
• 将Kitaev的量子码模型扩展，引入边界项，通过边界边上的局部哈密顿量项实现无能隙边界。
• 使用折叠技巧将无能隙边界视为畴壁的特例，从而为边界与缺陷结构提供统一的数学与物理描述。

实验结果

研究问题

• RQ1 在Dijkgraaf-Witten理论中，当结合编织与广义荷测量时，无能隙边界和边界缺陷是否能支持通用拓扑量子计算？
• RQ2 如何将无能隙边界的哈密顿量框架推广至包含非平凡2-上循环$\omega \in H^2(K, \mathbb{C}^\times)$和更一般的TQFT？
• RQ3 在阿贝尔理论（如$\mathbb{Z}_2$量子码）中，边界缺陷的计算能力如何？它们能否支持通用门集？
• RQ4 是否能在阿贝尔理论中实现纯粹拓扑的荷测量，避免对称性保护，从而实现通用拓扑门集？
• RQ5 在$\mathfrak{D}(S_3)$中，无能隙畴壁和边界缺陷如何通过 braid 群表示与隧道算符支持通用量子计算？

主要发现

• 通过将无能隙边界的编织与广义拓扑荷测量相结合，成功在$\mathfrak{D}(\mathbb{Z}_3)$中实现通用量子计算，克服了仅靠编织无法实现通用性的局限。
• 在$\mathfrak{D}(G)$中，无能隙边界由子群$K \subseteq G$和平凡2-上循环$\omega$分类，其边界任何子的量子维数$d_{\mathcal{A}}$对应于拉格朗日子代数$\mathcal{A}$。
• 广义拓扑荷测量被证明是实现通用性的必要且充分原语，尤其在编织不足以实现通用性时（如弱整数任何子理论中）。
• 对$\mathfrak{D}(G)$中无能隙边界的校正哈密顿量构造，扩展了Kitaev原始的量子码模型，引入边界项以稳定拓扑 degeneracy。
• 在$\mathfrak{D}(S_3)$中，边界缺陷支持非幺正隧道算符和完整的 braid 群表示，表明其在非阿贝尔理论中具有实现通用量子计算的潜力。
• 提出了一套系统化框架，用于在边界缺陷上编码 qudit 并执行拓扑保护操作，该框架在具有超导耦合的分数量子霍尔系统中具有潜在物理实现可能。