信息论与编码_稳定子编码和拓扑量子计算

转行了，嘿嘿嘿。总结一下最近看的东西，记得双击么么哒

（这是第一次觉得以前学的计网好像还有点用

转载请评论或私信联系

一、引言

随着科技的发展，对计算能力的要求越来越高，电子计算机上集成的晶体管数量越来越多，随着晶体管越做越小，电子的量子效应也就越来越显著，隧道效应使得电流通断难以控制，这也就使得量子计算备受期待。

量子计算与电子计算机不同，通过量子比特作为运算单元，能够有效的提高运算力。实现量子计算的方法众多，例如用偏振光、微腔、离子阱等量子光学方法实现，相干性高但体积太大，难以集成。而用固体系统，如超导、量子点，实现，虽然易于集成，但退相干严重。为了保护量子信息，类似于经典信息论，我们可以用冗余码，把单个比特的信息编码到多个比特上，并构造适当的纠错机制来延长退相干时间。这也就是量子纠错码（Quantum Error Correction Code, QECC）的基本想法。这里，我们主要介绍一种特殊的QECC，稳定子编码（Stabilizer Code）。

二、稳定子编码

先说一下Pauli群，一维的Pauli群就是

，由单位算符和三个Pauli算符构成。n阶Pauli群则定义为n个一维Pauli的张量积。

Pauli算符有很多很好并且很直观的性质，这也导致了Pauli群有很多好的性质。比如任意两个元素或者对易或者反对易，元素的本征值都只有两个，X对应比特翻转错误，Z对应相位翻转错误，etc。

试想我们在拿到一个量子系统的哈密顿量的时候，首先要做的就是找对称性，得到一组完备力学量组CSCO。在稳定子编码中，我们也希望做类似的事情，我们从n阶Pauli群里挑出 n-k 个独立的两两对易的算符

，由于其两两对易，因此他们具有共同本征态，并且这些算符在乘法意义下生成一个交换群

称为稳定子。我们取+1共同本征态作为码空间

，也就是说所有编码都必须在这些算符的作用下不变，这也是稳定子名称的来源。如果有算符没有+1本征值就不用那个算符。显然，在这样的要求下，

，并且蕴含

。

类似的，稳定子的作用实际上和CSCO一样，分解希尔伯特空间，可以看到，我们还有k个自由度（2k个，对于二能级系统，希尔伯特空间同构于

），这些自由度则为可以编码的量子比特数（被编码的比特称为逻辑量子比特），n为编码之后总的比特数（编码后的比特称为物理量子比特）。

虽然稳定子由两两对易的算符生成，但是在

中仍然存在算符和

对易但又不在其中，我们把所有这样的算符的集合记为稳定子的中心化（centralizer）

。后面可以看到，这些算符会改变被编码的逻辑信息而不能被探测。

在这里，所有Pauli群的元素都可以成为错误。在前面，我们说过了Pauli群的一个很好的性质，两个元素或者对易或者反对易。因此，错误也可以分成如下三类。

1. 在稳定子中，因此，这个元素也是稳定子，不会改变量子信息。
2. 和稳定子中某些元素反对易。
   。显然，此时发生错误的编码在这些稳定子的作用下并不是完全不变的，反对易的元素得到-1。我们可以通过-1的位置和反对易算符的类型推到错误类型，再用其逆运算进行修正。
3. 和稳定子对易但不在稳定子中。
   。显然，我们不能通过2中说的方法探测到错误，但这样的元素又实实在在的改变了态矢。问题就在于多出的k个自由度。稳定子的+1本征空间并不是一维的，因此，这里的错误实际上改变了态矢，但仍保持其在稳定子的简并+1子空间中。我们说过，这些自由度是用来编码逻辑信息的，所以，这里的错误改变了编码的信息。

举个例子，对于一个比特编码到三个比特的情况，我们可以取稳定子为

。这里稳定子的意义类似于经典信息论的奇偶校验，不难看出，其共同本征态可以表示为

。对于比特翻转错误

，能够被13，23位的奇偶校验算符检测到。对于

，仍然在稳定子的简并+1子空间，但是逻辑信息已经被改变了。

稳定子编码的哈密顿量可以写成

，而编码则可以表示为投影算符

。后面可以看到这一表示可以从拓扑激发和任意子的角度研究稳定子编码。

三、表面编码

我们想要把稳定子编码的理论用在一些更实际的问题上，所以下面介绍一种特殊的稳定子编码，也就是表面编码。给定一个晶格点阵，为了方便，下面都用方格子。我们把物理比特全部放在边的中心。在顶点vertex和对偶晶格的顶点plaquette，我们定义稳定子为最近邻的物理比特的X, Z Pauli算符的乘积。

这一做法最好的地方在于，所有的A, B算符，或者完全没有交集，或者交两个点，这样，所有这些算符都是两两对易的，满足稳定子的要求。由于X算符对应顶点，在平面方格子上编码时，以晶格顶点结束的两边称为光滑边界或者X边界，类似的，以对偶晶格顶点结束的两边称为粗糙边界或者Z边界。显然，对于

方格子，我们共有

个物理比特，

个A, B稳定子，所以可以编码一个逻辑比特。

对于逻辑算符，我们可以在对偶晶格（晶格）上从左到右（从上到下）画两条线连接两侧边界上的物理比特，将这一条线所通过的所有物理比特的X（Z）算符相乘，即为逻辑算符。可能有人会想，画线方法不唯一，是不是对应不同的逻辑算符。事实上，不同的连线之间可以通过稳定子的作用而变形，我们可以定义等价关系，而逻辑算符只和代表元有关。如下图所示，

，因此，两个不同路径对应的逻辑算符等价，

四、圆环面编码、弦激发

我们更进一步的在两个边界上定义周期边界条件，这样的等价关系把上面的晶格粘接到圆环面

上。此时由于周期边界的存在，所有A, B算符的乘积很容易验证是单位算符，

。这样，独立算符的个数少了两个。我们可以计算圆环面编码的量子比特数为

，其中

是圆环面的欧拉示性数。因此，圆环面编码的码空间是受拓扑保护的四重简并子空间。并且，由于在圆环面上已经没有粗糙、光滑边界之分，我们也不再需要固定某一方向对应某一类型的逻辑算符。圆环面上的闭路径有两种，一种可以收缩到一点，一种则不行，实际上，可以收缩的路径都可以表示为内部A, B算符的乘积，也就是说这些路径对应的算符在稳定子中。而不可收缩的路径对应的算符则为逻辑算符。一个解释是，由于可压缩和不可压缩路径在局部上并不能区分，例如下图所示的小区域。而我们定义的稳定子都是局部算符，所以不能通过稳定子检测到逻辑信息错误。类似于平面晶格，逻辑算符也只依赖于同伦类。

我们来看一下圆环面编码的哈密顿量，

码空间实际上对应于哈密顿量的基态，而由于反对易，错误会将基态的编码作用到能量更高的激发态。我们考虑圆环面上两个物理比特之间的一条路径，称为弦，每个弦上的物理比特均发生的同样类型的X, Z错误。可以知道，只有端点的两个物理比特和A, B稳定子只有一个交点，其他都有两个，所以稳定子只会检测到端点处有错误。这两个反对易的-1贡献哈密顿量能量的增加，我们定义为弦激发，对应错误的类型，分为X型粒子e和Z型粒子m，并且定义

。下面考虑在圆环面上有一个X型弦激发和一个Z型弦激发，我们可以让通过延长弦并且增加演唱部分的错误来移动粒子。通过这样的操作把其中一个X型粒子绕其中一个Z型粒子一周并回到原处，这实际上是得到了一个X型稳定子，并且有一个Z型错误在其中，由反对易关系，这样操作后的态矢和原态矢差一个负号。这一操作有等同于将两个e, m交换两次，因此，辫操作的规则为

。因此，弦激发粒子遵守参数为

的阿贝尔任意子统计。