[论文解读] Generalized surface codes and packing of logical qubits

Nicolas Delfosse, Pavithran Iyer+1 more|arXiv (Cornell University)|Jun 22, 2016

Quantum Computing Algorithms and Architecture参考文献 23被引用 9

一句话总结

本论文提出了一种广义表面码，采用在穿孔平面晶格上混合边界（部分开放、部分闭合）的结构，显著提升了逻辑量子比特的编码密度。通过利用相对同调理论，作者推导出代码参数的闭式公式，并通过优化孔洞几何形状与边界配置，实现了相较于标准表面码三倍的物理量子比特开销降低，同时保持了最小距离不变。

ABSTRACT

We consider a notion of relative homology (and cohomology) for surfaces with two types of boundaries. Using this tool, we study a generalization of Kitaev's code based on surfaces with mixed boundaries. This construction includes both Bravyi and Kitaev's and Freedman and Meyer's extension of Kitaev's toric code. We argue that our generalization offers a denser storage of quantum information. In a planar architecture, we obtain a three-fold overhead reduction over the standard architecture consisting of a punctured square lattice.

研究动机与目标

• 提出一种广义框架，用于在具有混合边界（开放与闭合）的平面晶格上实现表面码，以提升逻辑量子比特的密度。
• 解决标准表面码的局限性，即在仅使用闭合边界时，由于编码平凡而导致平面布局中开销过高的问题。
• 通过最小化物理量子比特需求，在不牺牲最小距离的前提下，优化二维表面码架构中逻辑量子比特的编码密度。
• 提供一个统一的形式化体系，涵盖并扩展先前的构造，包括Kitaev的任意子码、Freedman-Meyer的穿孔环面码以及Bravyi-Kitaev的平面码。
• 实现基于表面码的容错量子计算架构的系统性比较与优化。

提出的方法

• 引入适用于具有两种边界类型（开放与闭合）的曲面的相对同调与上同调理论，以严格分析稳定算符的对易关系。
• 在穿孔平面晶格上定义广义表面码，其中每个孔洞可具有混合边界类型（例如交替的开放与闭合边段）。
• 利用相对同调理论中的拓扑不变量，推导出逻辑量子比特数 $k$ 和最小距离 $d$ 的闭式公式。
• 构建一种称为混合菱形孔码 $\operatorname{D}_4(h,t)$ 的平面架构，其中孔洞为菱形，且边交替为开放与闭合。
• 优化孔洞几何形状与边界位置，使相邻孔洞以不同边界类型相对，以抑制低权重逻辑错误。
• 采用旋转正方形晶格，尺寸为 $L_h \times L_h$，并移除 $h^2$ 个尺寸为 $d/2 \times d/2$ 的孔洞，从而实现 $n \sim 3h^2d^2$ 个物理量子比特编码 $k \sim 3h^2$ 个逻辑量子比特。

实验结果

研究问题

• RQ1 在平面晶格上的表面码是否可通过在单个孔洞上允许混合边界（开放与闭合）来实现更高的逻辑量子比特密度？
• RQ2 相对同调理论的使用如何实现对具有混合边界的广义表面码的精确参数（$k$, $d$）推导？
• RQ3 在使用混合边界的平面架构中，编码 $k$ 个逻辑量子比特且最小距离为 $d$ 所需的最小物理量子比特开销是多少？
• RQ4 边界配置的选择（例如孔洞上交替的开放/闭合边）如何影响低权重逻辑错误的数量？
• RQ5 该广义形式化体系是否能在量子比特效率与错误抑制方面统一并超越现有表面码构造？

主要发现

• 所提出的广义表面码相较于仅使用闭合孔洞的标准平面表面码，实现了三倍的物理量子比特开销降低，同时保持了相同的最小距离。
• 混合菱形孔架构 $\operatorname{D}_4(h,t)$ 使用 $n \sim 3h^2d^2$ 个物理量子比特编码了 $k \sim 3h^2$ 个逻辑量子比特，实现 $n \sim kd^2$ 的缩放关系，这违反了仅使用闭合边界码的朴素界限 $kd^2 \leq n$。
• 该码的最小距离为 $d = 2t$，通过确保孔洞之间存在至少 $2t$ 的 $X$-距离来保持。
• 在相邻孔洞上交替使用开放与闭合边界，显著减少了低权重逻辑错误的数量，从而提升了错误抑制能力。
• 基于相对同调的理论框架为计算代码参数提供了严格的数学基础，并支持系统化设计优化的表面码架构。
• 该构造统一并推广了先前的表面码模型，包括Kitaev的任意子码、Freedman-Meyer的穿孔环面码以及Bravyi-Kitaev的平面码，在单一拓扑框架下实现统一。