使得f(x)= tr e(τxτ†)(在这里tr e:b(k⊗e)→b(e)是环境上的部分跟踪)。cp映射f是轨迹保留的,扩张τ是一个等轴测图。不同的扩张τ1:H→K⊗E1,τ2:H→K⊗E2与部分等距α:E 1→E 2相关。
协变码是一种量子码,逻辑系统上的对称变换可以通过物理系统上的对称变换来实现,通常具有有限的量子纠错能力(一个重要的例子是 Eastin-Knill 定理)。理解协变量子纠错极限的需求出现在物理学的各个领域,包括容错量子计算、凝聚态物理和量子引力。在这里,我们从量子计量和量子资源理论的角度探索了连续对称性的协变量子纠错,在这些以前分散的领域之间建立了牢固的联系。我们证明了协变量子纠错不保真度的新的、强大的下界,这不仅扩展了以前不行的结果的范围,而且比现有界限有了很大的改进。为擦除和去极化噪声推导出了明确的下界。我们还提出了一种几乎饱和这些下界的协变码。