[论文解读] Phase-free ZX diagrams are CSS codes (...or how to graphically grok the surface code)

Aleks Kissinger|arXiv (Cornell University)|Apr 29, 2022

Quantum Computing Algorithms and Architecture被引用 12

一句话总结

本文建立了相位无关的ZX图——量子态的图形化表示——与Calderbank-Shor-Steane（CSS）码之间精确的一一对应关系，后者是一类重要的量子纠错码。通过证明相位无关ZX图与CSS码所共有的F₂线性结构完全一致，作者实现了仅通过图示规则对稳定子生成元、逻辑算符以及晶格手术操作（特别是表面码）的完全图形化推导。

ABSTRACT

In this paper, we demonstrate a direct correspondence between phase-free ZX diagrams, a graphical notation for representing and manipulating a certain class of linear maps on qubits, and Calderbank-Shor-Steane (CSS) codes, a large family of quantum error correcting codes constructed from classical codes, including for example the Steane code, surface codes, and colour codes. The stabilisers of a CSS code have an especially nice structure arising from a pair of orthogonal $\mathbb F_2$-linear subspaces, or in the case of maximal CSS codes, a single subspace and its orthocomplement. On the other hand, phase-free ZX diagrams can always be efficiently reduced to a normal form given by the basis elements of an $\mathbb F_2$-linear subspace. Here, we will show that these two ways of describing a quantum state by an $\mathbb F_2$-linear subspace $S$ are in fact the same. Namely, the maximal CSS code generated by $S$ fixes the quantum state whose ZX normal form is also given by $S$. This insight gives us an immediate translation from stabilisers of a maximal CSS code into a ZX diagram describing its associated state. We show that we can extend this translation to stabilisers and logical operators of any (possibly non-maximal) CSS code by "bending wires". To demonstrate the utility of this translation, we give a simple picture of the surface code and a fully graphical derivation of the action of physical lattice surgery operations on the space of logical qubits, completing the ZX presentation of lattice surgery initiated by de Beudrap and Horsman.

研究动机与目标

• 建立相位无关ZX图与CSS码之间严谨且直接的对应关系。
• 在ZX演算中保持稳定子生成元的局域性与结构，避免以往转换中出现的物理直觉丧失问题。
• 提供一种完全基于图示的框架，用于推理稳定子码（尤其是表面码），而无需依赖代数或矩阵表示。
• 将ZX演算扩展至支持仅通过图形重写规则系统推导CSS码上的晶格手术操作。
• 为将这些结果推广至任意子系统及其他非CSS类稳定子码奠定基础。

提出的方法

• 利用相位无关ZX图的F₂线性结构，其可基于子空间S归约为标准形式。
• 利用最大CSS码的稳定子生成元，直接构造出具有相同子空间S的对应相位无关ZX图。
• 应用图形重写规则（如π-复制、互补性及强互补性规则）来模拟晶格手术等物理操作。
• 通过在X-或Z-表示下操作ZX图，推导出表面码补丁上的X-分裂与Z-合并操作，同时保持逻辑量子比特结构。
• 利用纠错（e.c.）吸收测量操作中引入的Pauli错误，将其视为对逻辑计算可忽略的项。
• 将推导扩展至任意尺寸的表面码补丁，并通过颜色对称性与旋转推广至其他操作。

实验结果

研究问题

• RQ1 如何系统地将相位无关ZX图映射到稳定子码（特别是CSS码）上，同时保持其底层的F₂线性结构？
• RQ2 是否能完全通过ZX演算中的图形重写规则推导表面码上的晶格手术操作，而无需依赖代数或电路方法？
• RQ3 ZX演算在何种程度上可通过“弯曲导线”与图形变换，表示非最大CSS码的逻辑算符与稳定子生成元？
• RQ4 ZX图与CSS码之间的对应关系如何促进对拓扑量子码更直观且严谨的理解？
• RQ5 该框架能否推广至任意子系统与非CSS类稳定子码？在此过程中会面临哪些新的技术挑战？

主要发现

• 相位无关ZX图与最大CSS码通过其共享的F₂线性子空间S实现一一对应，图的标准形式与码的稳定子生成元完全匹配。
• 可通过X-或Z-表示，将CSS码的稳定子生成元直接转化为ZX图，同时保持码的物理局域性。
• 晶格手术操作（X-分裂、Z-分裂、X-合并、Z-合并）可完全通过标准ZX规则（包括π-复制、互补性与强互补性）进行图形化推导。
• 该推导具有可扩展性，适用于任意尺寸的表面码补丁，而不仅限于3×3示例。
• 通过颜色对偶性与旋转，该方法同样适用于Z-表示，从而实现表面码操作的完整图形化描述。
• 该框架为将图示推理推广至任意子系统中的任意子系统、任意子系统中的任意子系统、缺陷编织、颜色码及任意子系统系统奠定了基础，表明其在超越qubit系统之外具有更广泛的应用潜力。