List-Decodable Folded Quantum Hermitian Codes

技術的概要：リスト復号可能な折りたたみ型量子エルミート符号

問題定義
代数幾何（AG）符号に由来する量子誤り訂正符号は長年研究の主題となっており、エルミート曲線は豊かな自己同型群と有利な漸近パラメータにより重要な役割を果たしてきた。古典的なリスト復号は、ソロモン bound に近づく折りたたみ型リード・ソロモン符号に至るまで著しく進展したが、これらの技術を量子設定へ適用することには課題が存在する。具体的には、Bergamaschi、Golowich、および Gunn によって最近構築された折りたたみ型量子リード・ソロモン符号は量子ソロモン bound を達成するものの、大きなアルファベットサイズを有する。これを緩和するため、これらの研究では複雑性を増大させる「量子距離増幅」という手法が用いられた。本論文で扱われる中心的な問題は、正の種数を持つ曲線（具体的にはエルミート曲線）から折りたたみ型量子符号を構築し、距離増幅を不要にする可能性を秘めたより小さなアルファベットサイズを用いながら、同様のリスト復号性能を達成し、量子ソロモン bound に近づくことができるかどうかである。

手法
著者は、古典的な折りたたみ型 AG 符号から量子符号を構築するために、Calderbank-Shor-Steane (CSS) 枠組みを採用する。手法は以下の手順で進行する。

1. 古典的な折りたたみ: 著者は、$\mathbb{F}_{q^2}$ 上のエルミート曲線 $H$ の自己同型群を利用する。単一の巡回軌道に依存するリード・ソロモン符号とは異なり、エルミート符号は、アフィン有理点を複数の構造化された軌道に分割する自己同型 $\sigma_{\delta, \mu}$ を利用する。これらの軌道に沿った連続的な評価値を、拡大体 $\mathbb{F}_{q^m}$ 上の単一の記号にグループ化し、折りたたみ型 1 点エルミート符号 $C^{(\sigma, m)}$ を作成する。
2. CSS 構築: 2 つの折りたたみ型古典エルミート符号 $C_1^{(\sigma, m)}$ および $C_2^{(\sigma, m)}$ を選択し、2 番目の双対が 1 番目に含まれるようにする（$(C_2^{(\sigma, m)})^\perp \subseteq C_1^{(\sigma, m)}$）。著者は、折りたたみが CSS 構築と可換となる条件を形式化し、結果として得られる量子符号が適切に定義されることを保証する。
3. エンタングルメント支援拡張: 本論文では、エンタングルメント支援付きの折りたたみ型量子 AG 符号の構築も提示する。このアプローチは、事前共有されたエンタングルメント（ebits）を利用することで、厳密な包含条件（$C_2^\perp \subseteq C_1$）を緩和し、任意の 2 つの折りたたみ型エルミート符号から量子符号を定義可能にする。
4. 復号解析: 得られた量子符号のリスト復号可能性は、基盤となる古典的な折りたたみ型エルミート符号のリスト復号可能性を活用して解析される。著者は、構成要素となる古典符号が $(\tau, L)$-リスト復号可能であれば、結果として得られる CSS 符号は $(\tau, L^2)$-量子リスト復号可能であるとする、先行研究（Bergamaschi ら）からの補題を適用する。

主要な貢献と結果

• 折りたたみ型量子エルミート符号（FQHC）の構築: 本論文は、CSS 枠組みを用いた折りたたみ型量子エルミート符号の明示的な構築を提供する。これらの符号は、エルミート曲線の特定の自己同型によって折りたたまれた 1 点エルミート符号から導出される。
• 量子ソロモン bound までのリスト復号可能性: 著者は、FQHC が復号半径 $\tau = \frac{1 - R_{FQHC}}{2} - \epsilon$ を持つ $(\tau, L)$-リスト復号可能であることを証明する。ここで、$R_{FQHC}$ は量子符号のレートである。この半径は量子ソロモン bound（$1 - R$）に近づき、折りたたみ型量子リード・ソロモン符号の性能と一致する。
• アルファベットサイズの効率性: 主要な結果として、FQHC がアルファベットサイズ $(1/\epsilon)^{O(1/\epsilon^2)}$ でこの性能を達成することが示された。これに対し、同様の bound を達成する折りたたみ型量子リード・ソロモン符号は量子距離増幅を必要とし、その結果アルファベットサイズは $2^{O(1/\epsilon^5)}$ となる。著者は、任意の $\epsilon$ に対して、FQHC のアルファベットサイズが厳密に小さく、距離増幅の必要性を排除することを示した。
• 決定論的復号アルゴリズム: 本論文は、決定論的な量子リスト復号アルゴリズムの存在を確立する。この手順には、安定子群を測定して古典的なシンドロームを取得し、構成要素となる折りたたみ型エルミート符号上で古典リスト復号を実行して候補誤りリストを生成し、これらのリストを対にして多項式サイズの候補パウリ誤りリストを形成することが含まれる。総実行時間は $N^{O(1/\epsilon^2)}$ である。
• エンタングルメント支援構築: 本論文は、双対包含条件を必要とせず、エンタングルメントの消費を代償として、任意の折りたたみ型エルミート符号のペアから量子符号を構築可能にするよう、枠組みをエンタングルメント支援符号に拡張する。

重要性
本論文は、折りたたみ型量子エルミート符号の構築が、折りたたみ型量子リード・ソロモン符号よりも効率的な代替手段を提供すると主張する。正の種数を持つ曲線の幾何学的構造を活用することで、著者は、著しく小さなアルファベットサイズを維持しつつ、量子ソロモン bound までのリスト復号可能性を達成する。決定的に重要なのは、エルミート曲線を使用する場合、近最適な復号半径を達成するために「高価な」量子距離増幅の手法は不要であることを実証した点である。これは、正の種数を持つ曲線が、折りたたみ型量子符号にとってレート、誤り訂正半径、およびアルファベットサイズの間の優れたトレードオフを提供することを示唆している。本論文は、他の正の種数を持つ曲線からの明示的な折りたたみ型量子 AG 符号の構築と、CSS およびエンタングルメント支援枠組みを超えた構築の探求が未解決の問題であることを指摘して結論付けている。