[論文レビュー] A unification of the coding theory and OAQEC perspective on hybrid codes

Shayan Majidy|arXiv (Cornell University)|Jun 10, 2018

Quantum Information and Cryptography参考文献 1被引用数 6

ひとこと要約

本稿は、ハイブリッドな量子古典的誤り訂正符号の符号理論と作用素代数量子誤り訂正（OAQEC）の視点を統一し、これらが等価であることを証明する。符号理論はOAQECの特別な場合である。本稿では、量子ハミング境界をハイブリッド符号へ一般化し、非自明なハイブリッド符号は退化的でなければならないことを明らかにし、1量子ビットと1古典ビットを伝送可能で単一誤り検出能力を持つ4キュービットの非退化的ハイブリッド符号を構成する。

ABSTRACT

There is an advantage in simultaneously transmitting both classical and quantum information over a quantum channel compared to sending independent transmissions. The successful implementation of simultaneous transmissions of quantum and classical information will require the development of hybrid quantum-classical error-correcting codes, known as hybrid codes. The characterization of hybrid codes has been performed from a coding theory perspective and an operator algebra quantum error correction (OAQEC) perspective. First, we demonstrate that these two perspectives are equivalent and that the coding theory characterization is a specific case of the OAQEC model. Second, we include a generalization of the quantum Hamming bound for hybrid error-correcting codes. We discover a necessary condition for developing non-trivial hybrid codes -- they must be degenerate. Finally, we construct an example of a non-trivial degenerate 4-qubit hybrid code.

研究の動機と目的

• ハイブリッド符号に関する符号理論とOAQECの視点の等価性を確立し、前者が後者の特別な場合であることを示す。
• 量子ハミング境界をハイブリッド誤り訂正符号へ一般化し、そのパラメータに課される制約を導出する。
• 非自明なハイブリッド符号の存在に必要な条件を特定する——すなわち、それらは退化的でなければならない。
• 1つの論理的キュービットと1つの古典ビットを伝送可能で単一誤り検出能力を持つ、物理的に実現可能な非自明な4キュービットのハイブリッド符号を構築する。

提案手法

• OAQECフレームワークを用いてハイブリッド符号を形式化し、ヒルベルト空間内の部分空間として定義し、異なる量子符号をラベル付ける古典的インデックスを導入する。
• ハイブリッド符号の符号理論的特徴付けを、特定のOAQECモデルのインスタンスとして再定式化することで、技術の相互浸透を可能にする。
• M 個の古典的状態と 2^k 個の量子符号語を考慮に入れることで、量子ハミング境界を一般化し、不等式 M \sum_{j=0}^{t} \binom{n}{j} 3^j 2^k \leq 2^n を得る。
• 一般化された境界の意味を分析し、非退化的ハイブリッド符号が同等の量子符号よりもパラメータで優れてはいないことを示す。
• 論理状態 \ket{\bar{0}}_0 = \ket{0000} + \ket{1111} などを用いて、パラメータ [[4,1:1,2]] の4キュービットのハイブリッド符号を構成し、すべての1キュービットパウリ誤りを検出可能であることを確認する。
• 誤り集合 \{X_i, Y_i, Z_i, Z_1Z_2, Z_3Z_4\} (i=1,2,3,4) における不変性を検証することで、符号の誤り検出能力を検証する。

実験結果

リサーチクエスチョン

• RQ1 符号理論とOAQECのハイブリッド符号に関する視点は数学的に等価であるか。もしそうならば、それらの関係は何か？
• RQ2 量子ハミング境界をハイブリッド符号へ一般化できるか。また、それによってパラメータにどのような制約が課されるか？
• RQ3 非自明なハイブリッド符号に対して退化性は必須条件か。なぜそうなるのか？
• RQ4 少数のキュービットで物理的に実現可能な非自明なハイブリッド符号を構築できるか？

主な発見

• 符号理論とOAQECのハイブリッド符号に関する視点は等価であり、前者は後者の特別な場合である。
• ハイブリッド符号の一般化された量子ハミング境界は M \sum_{j=0}^{t} \binom{n}{j} 3^j 2^k \leq 2^n であり、これは古典的情報を含む標準の量子境界を拡張するものである。
• 非自明なハイブリッド符号は退化的でなければならない。非退化的ハイブリッド符号は、パラメータの観点から同等の量子符号を上回ることはできない。
• パラメータ [[4,1:1,2]] の4キュービットの非自明なハイブリッド符号が明示的に構成され、すべての1キュービットパウリ誤りを検出可能である。
• 構築された符号は1つの論理キュービットと1つの古典ビットを伝送可能であり、論理状態は \ket{\bar{0}}_0 = \ket{0000} + \ket{1111}、\ket{\bar{1}}_0 = \ket{0011} - \ket{1100}、\ket{\bar{0}}_1 = \ket{0101} + \ket{1010}、\ket{\bar{1}}_1 = \ket{1001} - \ket{0110} である。
• 同様の状態が核磁気共鳴実験で実現済みであるため、この符号は現在の量子ハードウェアで物理的に実現可能である。