[論文レビュー] Entanglement-Assisted and Subsystem Quantum Codes: New Propagation Rules and Constructions

Gaojun Luo, Martianus Frederic Ezerman+1 more|arXiv (Cornell University)|Jun 20, 2022

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿では、一般化リード・ソロモン（GRS）符号のヘルミート核を分析することにより、エンタングルメント支援型およびサブシステム量子エラー訂正符号（EAQECCおよびサブシステム符号）の新たな伝搬則を導入する。$k$次元のGRS符号に対して、$(k-1)$次元の最大距離分離（MDS）であるヘリミート核を持つように構成することで、Singletonに類似た境界において最適なパラメータを達成する新たなEAQECCおよびサブシステム符号の族が得られる。また、符号の短縮と抜き取りが望ましい核の性質を保ち、最適な量子符号を生成することが示された。

ABSTRACT

This paper proposes new propagation rules on quantum codes in the entanglement-assisted and in quantum subsystem scenarios. The rules lead to new families of such quantum codes whose parameters are demonstrably optimal. To obtain the results, we devise tools to puncture and shorten codes in ways that ensure their Hermitian hulls have certain desirable properties. More specifically, we give a general framework to construct $k$-dimensional generalized Reed-Solomon codes whose Hermitian hulls are $(k-1)$-dimensional maximum distance separable codes.

研究の動機と目的

• エンタングルメント支援型およびサブシステム量子符号の新たな伝搬則を、安定化子フレームワークを超えて開発すること。
• EAQECCおよびサブシステムフレームワークにおいて最適な量子符号を生み出す体系的な古典的符号構成法の不足に応えること。
• ヘリミート核が望ましいMDS性質を持つ古典的線形符号（特にGRS符号）を特定し、最適な量子符号構成を可能にすること。
• 抜き取りと短縮操作が最適な核構造を保つことを示し、量子符号のパラメータ最適化を可能にすること。
• 最適なEAQECCおよびサブシステム符号を、Singletonに類似た境界に一致または近づける一般枠組みを提供すること。

提案手法

• 著者らは一般化リード・ソロモン（GRS）符号のヘリミート核を分析し、$k$次元のGRS符号に対して、次元が$(k-1)$のMDSコードである核が得られる条件を導出する。
• 彼らは、望ましいヘリミート核構造を維持するようにGRS符号を抜き取り・短縮するフレームワークを導入し、得られる古典的符号が最適なパラメータを保つようにする。
• 伝搬則は、[6]の補題1を適用することで導出され、EAQECCのパラメータがヘリミート核の次元と古典的符号の双対符号の次元とに関連することを示している。
• 特定の条件下で抜き取りが核次元を保存することを活用し、$c$個のエンタングルメントペアを持つ新たなEAQECCの構成が可能になる。
• 同様の抜き取り・短縮技術を用いて、制御された核を持つ古典的符号に適用することで、サブシステム符号への応用が一般化される。
• 理論的結果は、明示的な構成と、既知および新しい最適なEAQECCおよびサブシステム符号のパラメータをリストアップした表によって裏付けられている。

実験結果

リサーチクエスチョン

• RQ1 エンタングルメント支援型およびサブシステム量子符号の新たな伝搬則を、安定化子フレームワークを超えて確立できるか。また、最適性を保つことができるか。
• RQ2 特定の古典的線形符号（特にGRS符号）が、次元$(k-1)$のMDSであるヘリミート核を持つための条件は何か。
• RQ3 古典的符号に適用する抜き取りおよび短縮操作は、最適な核構造を保ち、最適な量子符号を生成するようにどのように行えるか。
• RQ4 得られたEAQECCおよびサブシステム符号はSingletonに類似た境界を満たすか。また、そのパラメータは古典的符号のパラメータから体系的に導出可能か。
• RQ5 この枠組みは、非MDS古典的符号や他の内積（例えばユークリッド内積）に拡張可能か。これにより、新たな量子符号族が得られるか。

主な発見

• 著者らは、$\mathbb{F}_{q^2}$ 上の$k$次元GRS符号を構成し、そのヘリミート核が$(k-1)$次元のMDSコードとなるようにした。これは、最適な量子符号構成の重要な要素を提供する。
• このような符号を抜き取り・短縮することで、Singletonに類似た境界において明確に最適なパラメータを有する$[[n, \kappa, \delta; c]]_q$ 型のEAQECCの新たな族が得られた。
• 伝搬則により、純粋な$[[n, \kappa, \delta]]_q$ 符号から、$[[n-s, \kappa, \geq \delta; s]]_q$ 型のEAQECCを構成可能であり、既知の結果をより広い符号クラスへと拡張した。
• サブシステム符号に関しては、表IIIに新たなパラメータを提示し、その多くが最適であり、従来の文献には報告されていなかった。
• 長さが$q+1$を超える最適なサブシステム符号の構成が得られ、$n = q^2 - 1 - s$ および $n = q^2 - i(q+1) - s$ の場合に、$\delta = k - s + 1$ および $r = k - s$ を達成した。
• 結果は、提案手法により、Singletonに類似た上界に一致または近づく量子符号が得られることを確認した。$q \in \{2,3\}$ に対して明示的なパラメータ表を提供し、実装の支援がなされた。