[论文解读] Local stabilizer codes in 3D without string logical operators

Jeongwan Haah|arXiv (Cornell University)|Jan 10, 2011

Advanced Data Storage Technologies被引用 1

一句话总结

本文提出了一种无弦状逻辑算符的3D局部稳定化码，克服了自纠错量子存储中的一项关键限制。通过引入逻辑弦段并证明所有弦状算符均可形变为不相交的稳定化段，该码在无长程弦算符的情况下实现拓扑序，从而通过边界稳定化破缺的表面状逻辑算符实现潜在的自纠错。

ABSTRACT

We suggest concrete models for self-correcting quantum memory by reporting examples of local stabilizer codes in 3D that have no string operators. Previously known local stabilizer codes in 3D all have string-like operators, which make the codes non-self-correcting. We introduce a notion of logical string segments to avoid difficulties in defining one dimensional objects in discrete lattices. We prove that every string-like operator of our code can be deformed to a disjoint union of short segments, and each segment is in the stabilizer group. The code has surface-like operators whose partial implementation has unsatisfied stabilizers along its boundary.

研究动机与目标

• 开发一种3D局部稳定化码，避免弦状逻辑算符，从而克服先前模型中自纠错的障碍。
• 通过引入逻辑弦段的概念，解决在离散晶格中定义一维拓扑算符的挑战。
• 构建一种码，使得所有弦状算符均可形变为不相交的、被稳定化包围的段，确保不存在长程逻辑算符。
• 证明该码支持表面状逻辑算符，其部分实现会在边界上导致未满足的稳定化条件，表明存在拓扑保护。

提出的方法

• 引入逻辑弦段的概念，以替代离散晶格中传统的的一维算符。
• 证明该码中任意弦状算符均可形变为不相交的短段，每段均包含于稳定化群中。
• 将逻辑算符定义为表面状结构，其部分实现会在边界上导致未满足的稳定化条件。
• 使用代数拓扑与稳定化码形式化方法，分析3D晶格中逻辑算符结构与拓扑不变量。
• 构造显式的3D稳定化哈密顿量，具有局部相互作用且无弦状逻辑算符。
• 通过证明所有弦状算符在逻辑意义上经形变后均为平凡，表明该码的逻辑结构避免了长程序。

实验结果

研究问题

• RQ1 能否构造一种无弦状逻辑算符的3D局部稳定化码，从而实现自纠错？
• RQ2 如何在离散晶格中定义一维拓扑算符，而此类对象在其中并不自然存在？
• RQ3 在无弦算符的码中，表面状逻辑算符的作用是什么，其在部分实现下行为如何？
• RQ4 该码中所有弦状算符是否均可形变为被稳定化包围的段，从而暗示这些算符的平凡性？
• RQ5 何种拓扑与代数条件可确保3D稳定化码在无长程逻辑算符的情况下支持自纠错？

主要发现

• 所提出的3D稳定化码中不存在弦状逻辑算符，因为所有此类算符均可形变为属于稳定化群的不相交短段的并集。
• 该码支持表面状逻辑算符，其部分实现会在边界上导致未满足的稳定化条件，表明存在拓扑保护。
• 该码的逻辑结构通过确保任何弦状算符在形变后在逻辑意义上均为平凡，从而避免了长程序。
• 使用逻辑弦段为在离散晶格中定义一维算符提供了一致的框架，解决了先前的模糊性问题。
• 该码的哈密顿量为局部且基于稳定化，无长程逻辑算符，使其成为自纠错量子存储的候选方案。