算符量子纠错的稳定子形式化

算符量子纠错是近年来发展出的一种理论，为主动纠错与被动避错方案提供了广义框架。本文中，我们在标准量子纠错理论的稳定子形式化中描述这些码。这是通过向码的标准稳定子定义中添加一个“规范”群来实现的，该群定义了编码态之间的一个等价类。规范变换保持编码信息不变；其效应被不携带有用信息的虚规范量子比特所吸收。我们通过识别 Shor 9 量子比特码中的一个规范对称性来说明该构造，该对称性使我们能够移除其 8 个稳定子生成元中的 4 个，从而在不影响其本质性质的前提下得到更简单的译码过程与更广泛的逻辑操作类别。这为容错量子计算错误阈值的潜在改进开辟了道路。