基于差族的量子ldpc码的构造方法分析-analysis of construction methods of quantum ldpc codes based on difference families.docxVIP

第一章 绪论1.1 课题研究背景近年来，量子信息论作为一门新兴学科得到了迅猛的发展。量子信息理论借鉴与经典 信息理论的方式向前发展。1994 年，Shor 利用量子计算机，设计出大质数因子分解的量子 算法，展示量子计算的巨大并行计算特性，同时破译了现有信息加密 RSA 算法[1][2]；1995 年，Schumacher 提出了无噪声信道编码理论，并提出了量子比特概念[3][4]；1996 年，Shor 和 Steane 等人提出的量子纠错码的基本思想[5-7]，使得在有噪声干扰的量子信道中进行量子 通信成为可能。虽然量子纠错编码和经典信息论中纠错编码思想相同，然而量子态的物理 特性决定了它不是一般纠错编码方法的简单推广，其纠错编码方法将更加复杂。直到 1996 年，Shor 和 Steane[6][8]独立地提出了量子纠错码方案后，量子纠错码理论才得以发展。具 体方案是：(1)为了不违背量子态不可克隆定理，在量子编码时，单比特量子态不是被复制 为多比特态的直积态，而是编码为一个比较复杂的纠缠态[5]，如通过量子门电路，从 1 个量子比特扩充为 9 个量子比特的纠缠，完成从单比特到多比特的扩充过程。这样，通过编 码为纠缠态，既引进了信息冗余，又不违背量子力学原理。(2)量子纠错在确定错误图样时， 只进行部分测量，以克服测量引起的量子态坍塌。通过前面的编码，使不同的量子错误对 应于不同的正交空间，当进行部分测量时（即只对冗余的量子比特进行测量 ），量子态能 够投影到某一正交空间，在此正交空间，信息位之间的量子相干性仍被保持，而每次测量 的结果又给出了错误图案。(3)量子错误的种类可表示为三种基本量子错误（对应于三个 Pauli 矩阵 X，Y，Z）的线性组合。只要纠正了这三种基本量子错误，所有量子错误都将 得到纠正。随着这三个关键问题的解决，各种量子纠错编码方案也相继出现。最简单的纠错方案 是 Shor 提出的量子重复码[5][8],它利用 9 量子比特编 1 比特（纠 1 比特）。这种方案简单， 易理解且与现有的重复码有比较直接的类比，但是效率不高；Steane 的方案[6][8]对后来的量 子纠错码影响更大，在他的描述中，Steane 提出了互补基的概念，给出了量子纠错的一些 一般性描述，并具体构造了一个利用 7 量子比特来编 1 比特纠 1 比特的量子码。紧接着， Calderbank、Shor 以及 Steane 提出了一个从现有线性分组码构造量子纠错码的方法，简称 CSS 码[5][7]。由于低密度奇偶校验码（low density parity check code, LDPC）具有性能接近于香农极限，而且译码也很简单等优点成为目前最受关注的经典纠错编码[9]。将经典的低密度奇偶 校验码的构造方法与量子纠错编码技术相结合，得到量子低密度奇偶校验码已成为量子 LDPC 码构造的有效方法之一。非规则 LDPC 码区别于规则 LDPC 码主要是校验矩阵中的每行和每列的“1”的个数（也称为度）不同。对于一个给定的度分布 (λ, ρ)，并不能唯一 确定一个二分图。M.G.Luby[10]等指出，基于非规则码定义的码性能优于相应的基于规则图定义的码。在寻找好的码结构方面，D.J.C.Mackay[11]等提出对非规则码采用先选轮廓再选结构的两部选 择方法，验证了超泊松结构具有较好的性能，并指出能快速编码的 LDPC 矩阵通常具有下 三角（lower-triangular）结构。T.J.Richardson[12]等通过优化非规则图的度结构来寻找逼近 容量的非规则 LDPC 码。M.G.Luby[13]探讨了要获得高效编码器如何确定校验矩阵稀疏度的 问题，以及如何构造码，使编码时间与码块长度实际上符合线性关系（线性时间编码）， 而非通常认为的平方关系。由于 LDPC 码在经典通信中的优异性能，Michael S. Postol 于 2001 年引用经典的用有 限几何学的方法在 CSS 码的基础上构造了量子 LDPC 码[14]。量子低密度奇偶校验(也称量 子 LDPC)码是量子校验矩阵具有稀疏特性的量子码，与其它量子纠错码相比，具有众多优 点[15]。由于它的量子校验矩阵具有稀疏性，使得每次 Pauli 测量仅涉及到有限量子位，因 而有效地降低了错误的传播，现已成为量子纠错编码的研究热点之一[16-20]。MacKay 等人于 2004 年，在 CSS 码基础上，利用循环稀疏序列，即满足自对偶条件， 提出了四种构造校验矩阵的方法，并在此基础上构造量子 LDPC 码[15]。在文献[15]中构造 的量子 LDPC 码的缺点是校验矩阵含有很多的 4 环，而产生 4 环的原因不是由这种构造方 法造成的，而是由稳定子码的特性产生。这种