Table of Contents
Fetching ...

Insertion Correcting Capability for Quantum Deletion-Correcting Codes

Ken Nakamura, Takayuki Nozaki

TL;DR

This paper proves that any quantum t-deletion-correcting codes also correct a total of t insertion and deletion errors under a certain condition, and proposes the quantum indel distance and describes insertion and deletion errors correcting capability of quantum codes by this distance.

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.

Insertion Correcting Capability for Quantum Deletion-Correcting Codes

TL;DR

This paper proves that any quantum t-deletion-correcting codes also correct a total of t insertion and deletion errors under a certain condition, and proposes the quantum indel distance and describes insertion and deletion errors correcting capability of quantum codes by this distance.

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.
Paper Structure (16 sections, 20 theorems, 85 equations)

This paper contains 16 sections, 20 theorems, 85 equations.

Key Result

Theorem 1

Consider a quantum state $\rho \in S(\mathbb{C}^{l \otimes n})$ given in Eq. eq:orth_basis_x and a permutation $\tau$ on $[\space[n]\space]$. With some abuse of notation, we define the index permutation$\tau(\rho) \in S(\mathbb{C}^{l \otimes n})$ for $\rho$ by In addition, for $t,n \in \mathbb{Z}^+$ and $Q = \{ q_1, q_2, ..., q_t \} \subset [\space[n+t]\space]$ with $q_1 < q_2 < \cdots < q_t$, l

Theorems & Definitions (42)

  • Theorem 1: sibayama_single_ins_def
  • Example 1
  • Lemma 1
  • Lemma 2
  • Lemma 3
  • Theorem 2
  • proof
  • Corollary 1
  • Remark 1
  • Corollary 2
  • ...and 32 more