[論文レビュー] New constructions of CSS codes obtained by moving to higher alphabets

Iryna Andriyanova, Denise Maurice+1 more|arXiv (Cornell University)|Feb 15, 2012

Quantum Computing Algorithms and Architecture参考文献 27被引用数 10

ひとこと要約

本稿は、$\mathbb{F}_{2^m}$ 上の非二値量子LDPC符号構成を、$(2,L)$-正則な二値LDPCチェック行列を備えた任意のCSS符号へ一般化する。これにより、反復復調性能の向上と符号レートの増加が可能となる。この手法は二値符号を高次元体へマッピングし、$\mathbb{F}_{2^m}$ 上の行列表現を用いて、トーリック符号の距離スケーリングを引き継ぐ新しい量子符号を構築する。最小距離は固定された$m$に対して$\sqrt{n}$の割合で増加する。主な貢献は、構造的および距離的性質を保ちながら、体拡張を用いて符号性能を向上させる体系的なフレームワークを提供することにある。

ABSTRACT

We generalize a construction of non-binary quantum LDPC codes over $\F_{2^m}$ due to \cite{KHIS11a} and apply it in particular to toric codes. We obtain in this way not only codes with better rates than toric codes but also improve dramatically the performance of standard iterative decoding. Moreover, the new codes obtained in this fashion inherit the distance properties of the underlying toric codes and have therefore a minimum distance which grows as the square root of the length of the code for fixed $m$.

研究の動機と目的

• KHIK11の非二値量子LDPC符号構成を、トーリック符号に限らず、より広いクラスのCSS符号へ拡張すること。
• 高次元有限体を活用することで、量子LDPC符号の反復復調性能を向上させること。
• 二値符号を$\mathbb{F}_{2^m}$ に持ち上げた際に、元の二値符号の最小距離特性を維持または向上させること。
• 体拡張と行列同型を用いて、良好な復調性能を有する高レート量子符号を構築する一般フレームワークを提供すること。

提案手法

• $(2,L)$-正則なチェック行列を備えた、$\mathscr{C}_Z^\perp \subset \mathscr{C}_X$ を満たす二値LDPC符号のペア$({{\mathscr{C}}_{X}}, {{\mathscr{C}}_{Z}})$ を出発点とする。
• $\mathbb{F}_{2^m}$ 上の$q$-値版$({{\mathscr{C}}_{X}^{(q)}}, {{\mathscr{C}}_{Z}^{(q)}})$ を、二値行列の非ゼロ要素を保持することで構築する。
• $\mathbb{F}_{2^m}$ の各要素を$2^m \times 2^m$ の二値行列に写像する環同型$A: \mathbb{F}_{2^m} \to \mathcal{M}_{2^m}$ を適用する。
• $\mathbb{F}_{2^m}$ の各要素をその対応する二値行列表現に置き換えることで、新しい二値チェック行列$({\hat{\mathbf{H}}_X}, {\hat{\mathbf{H}}_Z})$ を構築する。
• 得られた符号$\hat{\mathscr{C}}_X$ と$\hat{\mathscr{C}}_Z$ が、CSS条件$\hat{\mathscr{C}}_Z^\perp \subset \hat{\mathscr{C}}_X$ を満たすことを保証する。
• タンナーグラフにおけるサイクル構造（例えば、大きな縦方向および横方向のサイクル）を活用し、持ち上げられた符号の最小距離を解析および上限付ける。

実験結果

リサーチクエスチョン

• RQ1 KHIK11の非二値量子LDPC符号構成を、トーリック符号に限らず、$(2,L)$-正則な二値LDPC符号を備えた他のCSS符号へ一般化できるか。
• RQ2 $\mathbb{F}_{2^m}$ に二値LDPC符号を行列同型を用いて持ち上げることで、元の符号の最小距離が維持されたり向上したりするか。
• RQ3 $\mathbb{F}_2$ ではなく$\mathbb{F}_{2^m}$ の拡張体で動作させることで、反復復調性能が顕著に向上するか。
• RQ4 この構成をトーリック符号や類似構造に適用した場合、得られる量子符号の最小距離はいかほどか。
• RQ5 商空間${{\mathscr{C}}_{Z}^{(q)}} / {{\mathscr{C}}_{X}^{(q)}}^\perp$ および${{\mathscr{C}}_{X}^{(q)}} / {{\mathscr{C}}_{Z}^{(q)}}^\perp$ の次元および距離特性は、符号の誤り訂正能力にどのように影響するか。

主な発見

• 構築された量子符号は、固定された$m$に対して最小距離が$\sqrt{n}$の割合で増加し、下位のトーリック符号の距離スケーリングを引き継ぐ。
• 体$\mathbb{F}_{2^m}$ 上の高次元構造のおかげで、標準的なトーリック符号に比べて符号レートが向上する。
• $\mathbb{F}_{2^m}$ の拡張体で動作させることで、反復復調性能が著しく向上し、古典的LDPC符号の改善と同様の効果を示す。
• 商空間${{\mathscr{C}}_{Z}^{(q)}} / {{\mathscr{C}}_{X}^{(q)}}^\perp$ の非ゼロ要素の最小重みは$n$以上であるため、符号の最小距離に対する下限が得られる。
• タンナーグラフにおける独立なサイクル（水平および垂直方向）を用いることで、複数のシフトされたサイクルにわたる重なりのないサポートのおかげで、商空間内の誤りは重みが少なくとも$n$以上である。
• この構成はCSS構造を保ち、結果として得られる量子符号が有効であり、標準的な量子誤り訂正技術によって復号可能であることを保証する。