[論文レビュー] Insertion Correcting Capability for Quantum Deletion-Correcting Codes

Ken-Ichi Nakamura, Takayuki Nozaki|arXiv (Cornell University)|Feb 24, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

要約: この論文は、任意の量子 t-削除補正符号が、分離された誤差球条件の下で、総計 t の挿入・削除誤差も補正できることを証明し、挿入/削除誤差を特徴づける量子 indel 距離を導入する。

ABSTRACT

This paper proves that any quantum t-deletion-correcting codes also correct a total of t insertion and deletion errors under a certain condition. Here, this condition is that a set of quantum states is defined as a quantum error-correcting code if the error spheres of its states are disjoint, as classical coding theory. In addition, this paper proposes the quantum indel distance and describes insertion and deletion errors correcting capability of quantum codes by this distance.

研究の動機と目的

• 古典的な削除/挿入球を用いて、量子符号の挿入・削除誤差モデルを動機づけ・形式化する。
• 特定の条件下で、t-削除補正符号は総計 t の挿入/削除誤差を本質的に補正することを示す。
• 挿入誤差の解析を混合状態・複合誤差（挿入と削除）へ一般化する。
• 挿入/削除誤差補正能力を特徴づける指標として量子 indel 距離を導入する。

提案手法

• 量子設定における削除・挿入誤差を部分トレースとクォディットの挿入によって定義する。
• 混合状態に対する挿入誤差をモデル化し、挿入後の状態の表現（定理2）を導出する。
• 複合誤差（挿入と削除）を構造化された誤差クラス I^t D^s に包含することを証明する（定理3）。
• 量子 t-削除補正符号は総計 t の挿入/削除誤差も補正することを示す（セクションV）。
• 挿入/削除補正能力を特徴づける量子 indel 距離を定義し、それを量子符号の挿入/削除補正能力と関連づける（セクションVI）。
• 挿入誤差後の明示的な状態表現を提供し、削除ケースと必ずしも同等でないことを論じる。

実験結果

リサーチクエスチョン

• RQ1 量子 t-削除補正符号は、定義された条件の下で総計 t の挿入と削除誤差も補正するか。
• RQ2 混合状態に対して挿入誤差を明示的に表現できるか、複合挿入/削除誤差はどのように振る舞うか。
• RQ3 挿入/削除補正能力を特徴づける量子 indel 距離を定義し、量子符号を境界付けることができるか。

主な発見

• 任意の量子 t-削除補正符号は、分離誤差球条件の下で総計 t の挿入・削除誤差も補正する。
• 本論文は挿入誤差後の状態を混合状態として明示的に表現しており（既存の純粋状態結果を拡張）、挿入誤差の表現を提供する。
• 命題は、挿入 t 回と削除 s 回からなる複合誤差が構造的順序 I^t ∘ D^s に還元されることを示す。
• 挿入/削除誤差 I^t ∘ D^s を補正する任意の量子符号は、すべての (s,t) 誤差を補正するが、挿入補正符号が必ずしも削除を補正するとは限らない。
• 挿入/削除補正能力を特徴づけるために量子 indel 距離が定義され、異なる状態間の量子 indel 距離が 2t より大きい場合に t 回の挿入/削除を補正できるという基準が示される。
• 主要定理の逆は一般には成り立たないことが示される（古典符号理論とは異なる）。