量子计算论文精讲《高阈值、低冗余的容错量子内存：双变量自行车码》

关注微信公众号"量子计算HiQ"查看更多论文分享和学术活动，投稿请联系小助手“LLT66TT”

内容简介

随着量子计算的产业逐年扩大，量子硬件不断规模化，量子比特数上升到1000量级。在此规模的NISQ硬件上，能否实现有效的量子算法？能否通过编码出高质量的逻辑比特来提升计算能力？能否更高效的编码出数量更多的逻辑比特？针对这些问题，IBM团队提出了基于qLDPC码的高编码率编码方案，例如可以用144个物理比特编码出12个逻辑比特，四月发表在Nature上。

本文是qLDPC第一篇登上Nature的理论文章，且以数值计算为主，反应了基于qLDPC码的高编码率量子纠错码对实现容错量子计算的重要性。本期将对这篇文章进行图文解读，学习qLDPC的整体脉络和前沿进展。

01 研究背景：为什么需要qLDPC码？

为了克服量子系统中的噪声，量子芯片需要尽可能与外界环境相互隔离。而实现量子计算需要对量子比特进行操控，因此需要将量子芯片与所处环境进行耦合，从而不可避免的引入了噪声。物理噪声的累积阻碍了大规模量子算法的实现。量子纠错提供了一个解决方案，将k个逻辑比特编码在更多数量的n个物理比特上，以此来将噪声降低到可以接受的范围。只要物理噪声低于某个容错阈值，量子纠错就是有效的。这个容错阈值依赖于量子纠错码的选择、症状测量线路和解码算法。

本文提出了一个端到端的量子纠错协议，基于一类LDPC码实现了容错内存。本方法的线路噪声模型的容错阈值达到了0.7%，与在容错性能上领先了20年的表面码相当。

量子纠错码在数学上，可以定义成希尔伯特空间的一个子空间。不同的子空间对应了不用的纠错码。最常见的选取子空间的方式使稳定子生成法(Stabilizer formalism)，即先定义测量算符，由所有测量算符构成了本征值全为+1的本征态空间就是用来存储逻辑信息的子空间。量子纠错码比较重要的参数包括，分别是物理比特数、逻辑比特数、距离、测量权重、容错阈值。其中，距离与纠错能力正相关，低的测量权重和高的容错阈值对实验友好，逻辑比特数与物理比特数的比值k/n为编码率，编码率越高，资源利用率越高。另外，测量算符是否是近邻的，与实验难度和硬件要求息息相关，也因此引出了目前的两大类纠错码。一类是基于近邻算符的拓扑码，包括表面码。近邻算符的代价是受限的距离和趋向于零的编码率。另一类属于qLDPC码(quantum low-density parity check code 量子低密度奇偶验证码)，没有近邻要求，但要求低测量权重，也就是说，其测量矩阵是稀疏的随机矩阵。qLDPC码已经可以实现线性的编码率和线性的距离。

表面码的理论已经相对完善，已经有多个基于表面码的量子计算体系架构，从物理比特的硬件实现一直到应用算法的编译。qLDPC码要实现高编码率，也必须在体系架构的每个层面给出解决方案,相关进展参考下表。