[论文解读] 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

一句话总结

本文通過分析刪減與縮短的廣義 Reed-Solomon (GRS) 碼的 Hermitian 核，提出了一套新的糾錯碼傳播規則，適用於糾纏態輔助與子系統量子錯誤修正碼（EAQECC 與子系統碼）。透過構造具有 $(k-1)$-維 Hermitian 核的 $k$-維 GRS 碼，且其核為最大距離分離（MDS）碼，作者推導出新的最佳 EAQECC 與子系統碼家族，其參數得到改進，並證明刪減與縮短操作可保持理想的核性質，進而根據類 Singleton 界產生最佳量子碼。

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 碼），其 Hermitian 核維度為 $k-1$，以支援最佳量子碼的構造。
• 證明刪減與縮短操作可保持最佳核結構，進而實現量子碼參數的最佳化。
• 提供一個通用框架，用於構造參數符合或逼近類 Singleton 界的最佳 EAQECC 與子系統碼。

提出的方法

• 作者分析廣義 Reed-Solomon (GRS) 碼的 Hermitian 核，並推導出在 $k$-維 GRS 碼下，其核為 $(k-1)$-維 MDS 碼的條件。
• 他們提出一種方法，對 GRS 碼進行刪減與縮短，以保持理想的 Hermitian 核結構，確保所得經典碼保留最佳參數。
• 傳播規則透過引用 [6] 中的引理 1 推導而出，該引理將 EAQECC 的參數與經典碼的 Hermitian 核維度及其對偶碼參數聯繫起來。
• 該方法利用刪減在特定條件下可保持核維度的性質，進而構造出含 $c$ 個糾纏態對的新 EAQECC。
• 透過對具有受控核結構的經典碼應用類似之刪減與縮短技術，將該方法推廣至子系統碼。
• 理論結果獲得明確構造與表格之支援，列出已知與新發現的最佳 EAQECC 與子系統碼之參數，以供參考。

实验结果

研究问题

• RQ1 能否為糾纏態輔助與子系統量子碼建立超越穩定子框架的新傳播規則，並保持最佳性？
• RQ2 對於經典線性碼（特別是 GRS 碼）需滿足何種條件，才能確保其 Hermitian 核為 MDS 且維度為 $k-1$？
• RQ3 如何對經典碼應用刪減與縮短操作，以保持最佳核結構，進而產生最佳量子碼？
• RQ4 所產生的 EAQECC 與子系統碼是否達到類 Singleton 界？其參數能否系統性地由經典碼參數推導？
• RQ5 該框架能否推廣至非 MDS 經典碼或其它內積（如歐幾里得內積）以產生新的量子碼家族？

主要发现

• 作者構造出在 $\mathbb{F}_{q^2}$ 上的 $k$-維 GRS 碼，其 Hermitian 核為 $(k-1)$-維 MDS 碼，此為最佳量子碼構造之關鍵要素。
• 透過刪減與縮短此類碼，推導出新的 $[[n, \kappa, \delta; c]]_q$ EAQECC 家族，其參數在類 Singleton 界下被證明為最佳。
• 傳播規則允許從一個純 $[[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\}$ 的明確參數表格，以支援實際應用。