[論文レビュー] 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

ひとこと要約

本稿は、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 個の削除の合成である (t1, t2)-insdel チャネルを定義する。
• Knill-Laflamme (KL) 条件を適用し、Kraus作用素の内積を用いた誤り訂正の必要十分条件を導出する。
• 挿入および削除の位置におけるKraus作用素の操作を可能にする、補題を用いたテンソル積計算フレームワークを構築する。
• 代数的恒等式を用いて、(t1, t2)-insdel チャネルのKraus作用素を、(t1−1, t2+1) または (t1+1, t2−1) チャネルのものに変換できることを証明する。
• 補題 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) チャネルの作用素に変換可能であることを示すことに依存する。
• 補題 5.1 および 5.2 は、1 つの削除を挿入に、または逆に挿入を削除にシフトさせても誤り訂正能力が保たれることを示している。
• 挿入される分離可能状態の具体的な構造にかかわらず、その状態がクーディット上での積状態であれば、同値性は成り立つ。
• この結果は、すでに削除を訂正できる置換不変量子符号が、自然に分離可能挿入も訂正可能であることを示唆する。
• 本フレームワークは、標準的な量子誤り訂正ツールを用いて、挿入・削除誤りの組み合わせに対する符号の分析および構築の一般化手法を提供する。