《量子通信》_第21讲 量子信道编码II2025-0507-1635.pptxVIP

本讲主要内容

19.1稳定子的基本概念

19.2稳定子码的构造

19.3稳定子码实例

19.4稳定子码编译码

19.5量子纠错码的性能限;

19.1稳定子的基本概念

[1]MichaelA.NielsenIsaacL.,QuantumComputationandQuantumInformation,CambridgeUniversityPress,2010;;

稳定子相关概念

n量子比特pauli群G:

由pauli阵的全部n重向量积加上乘积因子±1,±i组成单量子比特pauli群

G?={±I,±il,±X,±iX,±Y,±iY,±Z,±iZ},在矩阵乘积下构成群;

稳定子相关概念(续)

举例：

n=3量子比特，S={1,Z?Z?,Z?Z?,ZZ?},ZZ?固定的子空间由|000,|001〉,|110和|111)张成；Z?Z?所稳定的子空间由|000,|100,|011)和|111)张成，两者中共同元素为|000)和|111)。

由于Z?Z?=(ZZ?)(Z?Z?),I=(Z?Z?)(ZZ?)。;

稳定子码的校验矩阵

若,校验矩阵是一个l×2n的矩阵，其行对应于生成元g?~8e,矩阵左边的1表明哪些生成元包含X,矩阵右边的1表明哪些生成元包含Z。矩阵两边都出现表明生成元中有Y。;

19.2稳定子码的构造

[1]MichaelA.NielsenIsaacL.,QuantumComputationandQuantumInformation,CambridgeUniversityPress,2010;

稳定子码的构造

[[n,k]]稳定子码

设S是G的子群，且-I≠S,S具有n-k个独立和对易的生成元

81.82·……8nk,即,则称S稳定的向量空间Vs为[n,k]稳定子码，记为C(S);

[[n,k]]稳定子码C(S),差错E∈Gn。

当E与稳定子的一个元反对易时，E把码C(S)变成一个正交子空间，且通过进行投影测量，在原理上可以检测出差错E。

当E与S中所有元对易但不属于S,即对Vg∈S,有Eg=gE。

中心化子：对所有g∈S使Eg=gE成立的所有E的集合(E∈Gn)称为G中S的中心化子(Centralizer),用Z(S)表示。

正规化子(normalizer):对Vg∈S使EgE?∈S成立的G,中所有E(E∈G)的集合，记作N(S)。

可以证明，对G,的任一子群S,有S∈N(S);对不包含-I的G,的任一子群S,有N(S)=Z(S)。;

稳定子码的纠错条件

稳定子码的纠错条件：

定理：令S为稳定子码C(S)的稳定子，设{E}为G,中对所有j和k成立

E,E?N(S)-S的算子的一个集合，则{E,}为码C(S)??纠正的差错集合。不失一般性，只考虑G?中满足E,*=E的差错E,,则纠错条件变为：E,Ek?N(S)-S。;

稳定子码的纠错方法

设S?,S?…Sn-k为[n,k]稳定子码稳定子的一组生成元，{E}为该码的可纠正的差

错的集合，可以通过依次差错检测测量稳定子生成元81,82,……·n-k进行，得到的校验子(错误图样)为β?,有,如果E;为对应于该校验码子的唯一差错算子，采用E*可以恢复原码。

如果有两个不同的差错E,和E,导致同一个校验子，则有E,PE,=E,PE,+,其

中P为码空间的投影算子。只要E,E,∈S,则有E,E,PE,E,=P,所以对于差错E;

可以采用E*纠正。;

稳定子码的标准型

[n,k]稳定子码C(S)的校验矩阵为：G=[G?IG?I?

变换：将两行相加对应于乘以生成元，当i≠j时，可以用8i8;替换g;。对G?应用高斯消

元法，当有必要时对换量子位?

G可以转化为

rn-rrn-I

(9.146)

其中，r是矩阵G?的秩，D是(n-k-r)×r矩阵，E是(n-k-r)×(n-r)矩阵，I

和B是r×r