[論文レビュー] Linear codes over Fq which are equivalent to LCD codes
本稿では、$ℚ_q$ 上の任意の線形符号で $q > 3$ の場合、それがユークリッド型 LCD 符号と同値であることを確立している。同様に、$ℚ_{q^2}$ 上の任意の線形符号で $q > 2$ の場合、それがヘルミート型 LCD 符号と同値である。著者らは線形変換を用いた一般化された構成法を提示し、このような同値性が符号パラメータを保つことを証明しており、これは LCD 符号がこれらの体上での一般線形符号と同一の漸近的限界に達することを示している。
Linear codes with complementary duals (abbreviated LCD) are linear codes whose intersection with their dual are trivial. When they are binary, they play an important role in armoring implementations against side-channel attacks and fault injection attacks. Non-binary LCD codes in characteristic 2 can be transformed into binary LCD codes by expansion. In this paper, we introduce a general construction of LCD codes from any linear codes. Further, we show that any linear code over $\mathbb F_{q} (q>3)$ is equivalent to an Euclidean LCD code and any linear code over $\mathbb F_{q^2} (q>2)$ is equivalent to a Hermitian LCD code. Consequently an $[n,k,d]$-linear Euclidean LCD code over $\mathbb F_q$ with $q>3$ exists if there is an $[n,k,d]$-linear code over $\mathbb F_q$ and an $[n,k,d]$-linear Hermitian LCD code over $\mathbb F_{q^2}$ with $q>2$ exists if there is an $[n,k,d]$-linear code over $\mathbb F_{q^2}$. Hence, when $q>3$ (resp.$q>2$) $q$-ary Euclidean (resp. $q^2$-ary Hermitian) LCD codes possess the same asymptotical bound as $q$-ary linear codes (resp. $q^2$-ary linear codes). Finally, we present an approach of constructing LCD codes by extending linear codes.
研究の動機と目的
- 有限体上での線形符号が LCD 符号と同値に存在するかを特定すること。
- ユークリッド型およびヘルミート型 LCD 符号が、一般線形符号と同一の漸近的限界に達できることを確立すること。
- 任意の線形符号から LCD 符号を生成する一般化された構成法を提供すること。
- 特定の有限体上、すべての線形符号が LCD 符号と同値に存在するかという未解決問題を解決すること。
- 非二進およびヘルミート設定への LCD 符号理論を、パラメータの完全カバレッジを伴って拡張すること。
提案手法
- 線形変換 $L$ を用いた LCD 符号の一般化された構成を導入。$\mathcal{C}$ から $\mathbb{F}_q^t$ への写像により、$\mathcal{C}_L = \{ (\mathbf{c}, L(\mathbf{c})) \mid \mathbf{c} \in \mathcal{C} \}$ を形成する。
- $\text{Rank}(L)$ と $L$ の全射性に加え、$\text{Hull dimension } h_E(\mathcal{C})$ を用いて、$\mathcal{C}_L$ が LCD 符号である条件を特定する。
- 生成行列 $G$ のグラム行列 $GG^T$ に対する行列解析を適用し、$\text{Rank}(L) < h_E(\mathcal{C})$ ならば $\det(GG^T) = 0$ であることを示し、これにより $\mathcal{C}_L$ が非 LCD であることを示す。
- もし $\mathcal{C} = \text{Ker}(L) + \text{Hull}_E(\mathcal{C})$ かつ $L$ が全射で $\text{Rank}(L) = h_E(\mathcal{C})$ ならば、$\mathcal{C}_L$ はユークリッド型 LCD 符号であることを証明する。
- 同様の構成と双対性の性質を用いて、$\mathbb{F}_{q^2}$ 上のヘルミート型 LCD 符号へと結果を拡張する。
- 線形形式 $L$ を、その像がホール補空間を生成するように選べば、$\mathcal{C}_{L}$ が LCD 符号であることを用いる。
実験結果
リサーチクエスチョン
- RQ1任意の線形符号が $\mathbb{F}_q$ 上で $q > 3$ の場合、同値なユークリッド型 LCD 符号に変換可能か？
- RQ2任意の線形符号が $\mathbb{F}_{q^2}$ 上で $q > 2$ の場合、同値なヘルミート型 LCD 符号に変換可能か？
- RQ3線形変換 $L$ にどのような条件を課すと、構成された符号 $\mathcal{C}_L$ が LCD 符号になるか？
- RQ4ユークリッド型およびヘルミート型 LCD 符号は、一般線形符号と同一の漸近的限界に達するか？
- RQ5ホール次元が、拡張符号 $\mathcal{C}_L$ の LCD 性を決定づける役割を果たすか？
主な発見
- 任意の線形符号が $\mathbb{F}_q$ 上で $q > 3$ の場合、ユークリッド型 LCD 符号と同値である。これは、元の符号が存在する $[n,k,d]$ パラメータすべてについて、そのような LCD 符号が存在することを意味する。
- 任意の線形符号が $\mathbb{F}_{q^2}$ 上で $q > 2$ の場合、ヘルミート型 LCD 符号と同値である。これは、妥当なすべてのパラメータについて、そのような符号が存在することを保証する。
- 構成 $\mathcal{C}_L = \{ (\mathbf{c}, L(\mathbf{c})) \mid \mathbf{c} \in \mathcal{C} \}$ は、$L$ が全射で $\mathcal{C} = \text{Ker}(L) + \text{Hull}_E(\mathcal{C})$ ならば、LCD 符号を生成する。
- $\text{Rank}(L) < h_E(\mathcal{C})$ ならば、$\mathcal{C}_L$ はユークリッド型 LCD 符号でない。これは失敗の必要条件を示している。
- $q > 3$ のとき、$q$ 進ユークリッド型 LCD 符号の漸近的性能は、一般 $q$ 進線形符号と同一であり、$q > 2$ のとき、$q^2$ 進ヘルミート型 LCD 符号は $q^2$ 進線形符号と同一の漸近的性能を達成する。
- 本稿では、最小距離を保ちつつ長さを $h_E(\mathcal{C})$ 増加させる方法を用いて、線形符号を LCD 符号に拡張する構成的手法を提供している。
より良い研究を、今すぐ始めましょう
論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。
クレジットカード登録不要
このレビューはAIが作成し、人間の編集者が確認しました。