[论文解读] The equivalence between correctability of deletions and insertions of separable states in quantum codes

Taro Shibayama, Yingkai Ouyang|arXiv (Cornell University)|May 15, 2021

Quantum Computing Algorithms and Architecture参考文献 22被引用 13

一句话总结

本文通过Kraus算符和Knill-Laflamme（KL）错误纠正条件，证明了纠正量子删除错误与纠正可分插入错误之间的等价性。通过将插入和删除通道建模为Kraus算符，并利用张量积的代数运算，作者表明：任何能够纠正t次删除的量子码，也能够自动纠正t次可分态的插入错误，从而在这些噪声类型之间建立了基本的对偶性。

ABSTRACT

In this paper, we prove the equivalence of inserting separable quantum states and deletions. Hence any quantum code that corrects deletions automatically corrects separable insertions. First, we describe the quantum insertion/deletion error using the Kraus operators. Next, we develop an algebra for commuting Kraus operators corresponding to insertions and deletions. Using this algebra, we prove the equivalence between quantum insertion codes and quantum deletion codes using the Knill-Laflamme conditions.

研究动机与目标

• 建立量子插入与删除错误纠正能力之间的理论等价性。
• 解决量子编码理论中插入错误纠正研究远少于删除纠正的问题。
• 通过证明在Knill-Laflamme框架下，插入与删除错误在操作上是等价的，统一处理这两种错误。
• 将现有删除纠正码的适用范围扩展至包含可分插入错误。
• 为利用Kraus算符和张量积规则分析插入/删除错误提供正式的代数基础。

提出的方法

• 使用Kraus算符形式化量子插入和删除通道，将其表示为具有特定算符结构的量子通道。
• 将(t1, t2)-insdel通道定义为t1次插入和t2次删除的复合，其中插入的是可分态，删除的是未知的量子比特。
• 应用Knill-Laflamme（KL）条件，推导出基于Kraus算符内积的错误纠正的充要条件。
• 基于引理开发张量积计算框架，用于处理插入和删除位置上的Kraus算符。
• 证明(t1, t2)-insdel通道的Kraus算符可通过代数恒等式转化为等价的(t1−1, t2+1)或(t1+1, t2−1)通道的Kraus算符。
• 基于引理5.1和5.2的归纳推理，证明若一个码能纠正t次删除，则也能纠正t次可分态的插入，从而证明定理2.5。

实验结果

研究问题

• RQ1 能够纠正删除错误的量子码是否也能纠正可分态的插入错误？
• RQ2 在量子码中，插入与删除错误纠正之间是否存在基本的代数等价性？
• RQ3 Knill-Laflamme条件在插入与删除操作复合下如何表现？
• RQ4 Kraus算符形式化能否用于统一分析插入与删除错误？
• RQ5 可分态在插入错误中起什么作用？其结构如何影响错误纠正能力？

主要发现

• 任何能纠正t次删除错误的量子码，也自动能纠正t次可分态的插入错误，建立了完全的等价性。
• 该证明依赖于表明(t1, t2)-insdel通道的Kraus算符可通过张量积恒等式转化为(t1−1, t2+1)或(t1+1, t2−1)通道的Kraus算符。
• 引理5.1和5.2表明，当将一次删除转换为一次插入（或反之）时，错误纠正能力得以保持。
• 只要插入的可分态是量子比特上的乘积态，该等价性即成立，与具体结构无关。
• 该结果意味着，已能纠正删除的置换不变量子码，也内在地具备纠正可分插入的能力。
• 该框架为利用标准量子错误纠正工具分析和构造联合插入与删除错误的码提供了一般性方法。