[论文解读] PhD thesis: Homological Quantum Codes Beyond the Toric Code

Nikolas P. Breuckmann|arXiv (Cornell University)|Feb 5, 2018

Quantum Computing Algorithms and Architecture被引用 5

一句话总结

本博士论文提出了一套框架，用于利用双曲及高维晶格构建超越表面码的拓扑量子码。通过利用Z2同调与流形的胞覆结构，作者构建了具有恒定距离的二维双曲码以及具备单次故障容错能力的四维码，展示了更高的阈值和更强的逻辑量子比特保护能力。关键贡献在于通过德恩旋转变换与晶格手术系统地构造出具有增强距离和容错逻辑门的码。

ABSTRACT

PhD thesis investigating homological quantum codes derived from curved and higher dimensional geometries. In the first part we will consider closed surfaces with constant negative curvature. We show how such surfaces can be constructed and enumerate all quantum codes derived from them which have less than 10.000 physical qubits. For codes that are extremal in a certain sense we perform numerical simulations to determine the value of their threshold. Furthermore, we give evidence that these codes can be used for more overhead efficient storage as compared to the surface code by orders of magnitude. We also show how to read and write the encoded qubits while keeping their connectivity low. In the second part we consider codes in which qubits are layed-out according to a four- dimensional geometry. Such codes allow for much simpler decoding schemes compared to codes which are two-dimensional. In particular, measurements do not necessarily have to be repeated to obtain reliable information about the error and the classical hardware performing the error correction is greatly simplified. We perform numerical simulations to analyze the performance of these codes using decoders based on local updates. We also introduce a novel decoder based on techniques from machine learning and image recognition to decode four-dimensional codes.

研究动机与目标

• 开发一种基于同调代数的通用框架，用于构建超越畴码的拓扑量子码。
• 探索二维双曲几何在实现具有恒定距离与高逻辑阈值的码中的应用。
• 将构造方法扩展至四维晶格，以实现单次故障容错的错误纠正。
• 在现实噪声模型下分析这些码的性能与容错阈值。
• 通过晶格手术与德恩变换演示容错逻辑门的实现。

提出的方法

• 利用Z2同调与相对同调群，从流形的胞覆结构构造量子码。
• 应用庞加莱-莱夫谢茨对偶性分析高维空间中的逻辑算符与码距离。
• 使用形变重缩与切除定理计算码空间维数与拓扑不变量。
• 通过平面与双曲码上的晶格手术与德恩变换实现逻辑门。
• 基于局部能量势垒，设计一种哈斯廷斯风格的解码器用于四维同调码。
• 在理想与噪声测量模型下，利用蒙特卡洛方法模拟码的性能。

实验结果

研究问题

• RQ1 二维双曲密铺是否能产生具有恒定距离且相比畴码具有改进阈值的量子码？
• RQ2 二维双曲码的距离如何随码尺寸变化？其参数的界限是什么？
• RQ3 四维同调码能否实现单次故障容错？相对同调在构造中起什么作用？
• RQ4 在包含测量误差的真实噪声下，二维双曲码的性能阈值是多少？
• RQ5 如何通过晶格手术与拓扑操作在这些码中容错地实现逻辑 Clifford 门？

主要发现

• 小于10,000量子比特的二维双曲码可实现恒定距离d = 4，理想测量下逻辑阈值估计为1.2%。
• 四维同调码Tesseract Code编码一个逻辑量子比特，参数为[[n = 6L⁴ −12L³ +10L² −4L+1, k=1, d=L²]]，并表现出单次故障容错特性。
• 相对同调群H₂(A,B)的维数为1，确认码编码了一个逻辑量子比特；而H₁(A,B) = 0与H₃(A,B) = 0，表明不存在非平凡的1-循环或3-上循环。
• 蒙特卡洛模拟显示，噪声测量下双曲码的阈值降至0.8%，但最优QEC循环次数T ≈ 10可显著提升性能。
• 德恩变换使平面双曲码中容错逻辑门的实现成为可能，且逻辑 Clifford 门可通过晶格手术实现。
• 四维码的哈斯廷斯解码器通过最小化局部能量势垒实现最小重量解码，从而在高维晶格中实现高效错误纠正。