19、量子纠错码框架与CSS编码标准解析

量子纠错码框架与CSS编码标准解析

1. 量子纠错码框架基础

在量子纠错码的研究中，我们首先关注与特定元素 ( w ) 相关的情况。如果 ( e ) 是最可能出现的失误，那么 ( w ) 很可能也是错误的。每个陪集的子集都是一个紧致集，在任何欧几里得路径上与 ( C ) 的距离不超过 ( C ) 个单位。根据定义，陪集中汉明重量最低的成员最有可能是错误的。

我们使用综合征计算中最轻的成员 ( e ) 对陪集进行必要的调整。若实际错误有所不同，我们也只能“纠正”这个错误的短语，因为目前没有其他方法处理这种情况。若得到一个码字，我们则不做任何操作。然而，错误检测和修复码并不总能纠正导致单词转换为代码的错误。所以，如果 ( C ) 中有多个与 ( w ) 最接近的组件，如何解决这个问题尚不清楚。

独立错误模型常使用 ( E_t )，即汉明重量小于等于 ( t ) 的所有单词的集合，其中 ( t ) 要尽可能大，同时不增加歧义或违反可纠正错误集合的不相交准则。

1.1 码的距离与可纠正错误

码的距离是任意两个码字之间的最低汉明距离。长度为 ( k ) 位的单词必须编码为 ( n - k ) 和 ( k ) 位的对，才能在 ( [n - k, d] ) 码中表示。与 ( c ) 的距离不超过 ( t ) 的单词集合记为 ( e_t(c) )，其中 ( v ) 是 ( c ) 与该单词的距离。 ( e_t(c) ) 包含所有从给定的 ( c ) 减去重量为 ( t ) 的错误得到的单词 ( v )。

如果每对码字不相交，那么通过将集合 ( e_t(c) ) 中的单词映射到码字 ( c )，可以修复码中所有重量为 ( t ) 的错