Quantum LDPC Codes from Polynomial Minors

技術要約：多項式の小行列式を用いた量子LDPC符号

問題提起
量子低密度パリティ検査（QLDPC）符号の構築は、しばしばカルダーバン・ショア・スティーン（CSS）フレームワークに依存しており、これは $C_Z^\perp \subseteq C_X$ を満たす2つの古典二進線形符号 $C_X$ および $C_Z$ を必要とする。巡回符号は、このようなペアを生成するための便利な代数的構造を提供する一方で、結果として得られる量子符号の次元および最小距離を決定することは、特に準巡回（QC）構造を扱う場合に複雑になりやすい。自転車符号（bicycle codes）、一般化された自転車符号、およびリフト積符号（lifted-product codes）といった既存の代数的構成は、様々な多項式および群代数的なアプローチを利用している。本論文は、多項式行列とその小行列式を用いることで、次元を明示的に制御し、かつ最小距離を検証可能な量子符号を構築するという課題に取り組むものである。

手法
著者らは、リフティング係数を $N$ とする、環 $R_N = \mathbb{F}_2[x]/(x^N + 1)$ 上の $2 \times 3$ 多項式行列 $H(x)$ に基づく構築法を提案している。構築は以下の手順で行われる：

1. 行列の形成： 行列 $H_X(x)$ の各成分は、多項式 $g(x)$ によって生成される巡回符号の符号語として選択される。具体的には、著者らは第2行がシフトと置換によって第1行から決定されるという特殊な形式を利用しており、これにより必要な独立した多項式の数を削減している。
2. 小行列式に基づく構築： $2 \times 3$ 行列 $H_X(x)$ の3つの $2 \times 2$ 小行列式を計算する。これらの小行列式は、第2の多項式行列 $H_Z(x)$ の行を構成する。
3. 直交性： 先行研究の補題1および定理2に基づき、行列の小行列式は自然にその行列の核（kernel）に含まれることを著者らは示している。したがって、この構築は $H_X H_Z^T = 0$ というCSS直交条件を保証し、長さ $3N$ の有効な量子符号 $Q(C_X, C_Z)$ の存在を保証する。
4. 次元解析： 量子符号の次元 $K$ は、多項式行列のべき零不変量（Smith invariants）を用いて導出される。著者らは、$K$ を $x^N + 1$ に関する行列成分および小行列式の最大公約数（gcd）を用いて表現する。奇数 $N$ の場合、式は $K = \deg(g) + 2\deg(g_1)$ と簡略化される。ここで、$g$ は成分のgcdであり、$g_1$ は小行列式のgcdである。
5. 次元制御： 次元を制御するために、著者らは剰余条件を導入している。多項式 $a, b, c$ を、それらの $x^N + 1$ の特定の既約因子に対する剰余が特定の代数的関係（例：因子に対するランク1行列を形成するなど）を満たすように選択することで、追加の共通因子を小行列式に導入し、符号長を変えることなく量子符号の次元を増加させることができる。
6. 生成子の修正： 本論文は、コード空間やその次元を変更することなく、小行列式ベクトルに多項式 $q$ を乗じることで $H_Z$ の生成子重みを変更するための条件（命題7）を提供している。ただし、これは $\gcd(q, (x^N+1)/g_1) = 1$ であることを条件とする。

主な貢献

• 明示的な構築： $X$ スタビライザー行列の小行列式から $Z$ スタビライザーを直接導出する、$2 \times 3$ 多項式行列を用いた体系的な手法。
• 次元公式： 奇数リフティング係数 $N$ に対する量子符号の次元の簡略化された公式を、成分および小行列式のgcdの次数を通じて明示的に表現。
• 剰余による特性付け： $x^N + 1$ の既約因子に対する多項式の剰余が小行列式のgcdにどのように影響するかを特性付けることで、符号の次元を設計するための手法を提供。
• 重みの管理： $H_Z$ 行列の行重みを、符号の性質を維持したまま減少させるための乗数を用いた技術。

結果
著者らは、検証済みの最小距離を持つ13個の量子符号を含む、明示的な多項式構成を提示している。注目すべき結果は以下の通りである：

• [[255, 80, 12]] 符号（符号率は約0.3137）。最小距離 $d=12$ は、明示的な論理演算子および全探索による列挙を通じて確立された。
• [[189, 58, 10]] 符号。
• [[153, 51, 8]] 符号（符号率は正確に1/3）。
• 長さ27から255量子ビットに及ぶその他の様々な符号。

[[255, 80, 12]] 符号については、著者らは $X$ 距離が12であり、$Z$ 距離が少なくとも12（上限は20）であることを検証した。この構築では、$H_X$ の低重み（重み22）と、$q=1$ の恒等乗数を用いた $H_Z$ の高重み（重み61）を持つ多項式が利用された。論文では、これらの重みを減少させるために乗数を使用できることが記されているが、提示された具体的な例ではそのような最適化は採用されていない。

意義
本論文は、この構築が多項式行列の小行列式とCSS符号に求められる直交性と、直接的な代数的関連性を提供すると主張している。主な意義は、ランダムな探索やヒューリスティックな探索に頼ることなく、多項式の選択と剰余条件を通じて量子符号の次元を明示的に制御できる点にある。さらに、著者らは、提示された符号の最小距離が全探索および論理演算子の解析を通じて正確に検証されていることを強調しており、これは大規模な量子符号において達成が困難なことが多い厳格な基準である。本研究は、既知の代数的QLDPC構築のファミリーを拡張するものであり、実用的な実装に有用となり得る具体的なパラメータを提供している。ただし、著者らは、復号性能および $H_X$ と $H_Z$ の両方において低重みを持つ符号に関する課題は、今後の検討課題であると述べている。