[論文レビュー] Single Quantum Deletion Error-Correcting Codes

Ayumu Nakayama, Manabu Hagiwara|arXiv (Cornell University)|Oct 24, 2020

Quantum Computing Algorithms and Architecture参考文献 8被引用数 5

ひとこと要約

本論文は、量子状態における削除エラーを定義し、特定の構造的条件を満たす2つの集合を導入することで、量子削除エラー訂正符号を構築する組み合わせ的枠組みを提案する。この手法により、量子削除エラー訂正を集合特定問題に還元し、IBM Quantum Experience上で実験的検証が可能となる。

ABSTRACT

In this paper, we discuss a construction method of quantum deletion error-correcting codes. First of all, we define deletion errors for quantum states, an encoder, a decoder, and three conditions that are expressed by only the combinatorial language. Then, we prove that quantum deletion error-correcting codes can be constructed by two sets that satisfy the conditions. In other words, problems that correct the deletion errors for quantum states are reduced to problems that find the sets satisfying the condition by this paper. Also, we experimented with the codes over IBM Quantum Experience.

研究の動機と目的

• 量子状態における削除エラーの概念を形式化すること。
• 組み合わせ的言語のみを用いて、量子削除エラー訂正のエンコーダおよびデコーダを定義すること。
• 量子削除エラー訂正符号に必要な3つの必要条件を確立すること。
• このような符号の構築問題を、定義された条件を満たす2つの集合を特定する問題に還元すること。
• IBM Quantum Experienceプラットフォーム上で、提案された符号構築法を実験的に検証すること。

提案手法

• 論文は、量子状態における削除エラーを、検出されない1キュービットの喪失として定義し、古典的削除エラーに類似させる。
• 特定の組み合わせ的性質を持つ符号語に論理状態をマッピングするエンコーダを導入する。
• 符号語の組み合わせ的構造に基づいて設計されたデコーダにより、削除エラーからの回復が可能となる。
• 削除後に正しく回復できるように保証するため、組み合わせ的言語のみを用いて3つの条件を定式化する。
• 量子削除エラー訂正符号の構築問題を、これらの3つの組み合わせ的条件を満たす2つの集合を特定する問題に還元する。
• この枠組みは、IBM Quantum Experienceプラットフォーム上の量子回路を用いて実験的にテストされた。

実験結果

リサーチクエスチョン

• RQ1 量子情報理論と整合性を持つ形で、量子状態における削除エラーをどのように形式的に定義できるか？
• RQ2 1キュービットの削除を補正可能にするために、符号語が満たすべき組み合わせ的条件は何か？
• RQ3 量子削除エラー訂正符号の構築問題を、集合特定問題に還元できるか？
• RQ4 組み合わせ的原理のみを用いて、エンコーダおよびデコーダをどのように設計できるか？
• RQ5 提案された符号の実装可能性と実際の量子ハードウェア上での性能はいかがなものか？

主な発見

• 本論文は、組み合わせ的言語のみを用いて、数学的に厳密な形で量子状態における削除エラーを定義することに成功した。
• 提案された手法により、量子削除エラー訂正が、3つの特定の組み合わせ的条件を満たす2つの集合を特定する問題に還元された。
• この枠組みにより、量子操作に依存するのではなく、集合論的基準に基づいて量子削除エラー訂正符号を構築できるようになった。
• 構築された符号はIBM Quantum Experience上で実装・テストされ、実用的妥当性が示された。
• 結果として、組み合わせ的設計を用いた量子系における削除エラー訂正のアプローチが可能であることが示された。これにより、符号構築の新たな道筋が開かれた。
• 実験的検証により、提案手法が実際の量子ハードウェアプラットフォームで実現可能であることが確認された。