[論文レビュー] Construction of MRD Codes Based on Circular-Shift Operations

Zhe Zhai, Sheng Jin+2 more|arXiv (Cornell University)|Feb 13, 2026

Coding theory and cryptography被引用数 0

ひとこと要約

要約: 論文は、拡張体演算を回避する F_q 上の循環シフトベースの MRD コードを提示し、Gabidulin コードとの詳細な比較と効率的な符号化を提供する。

ABSTRACT

Most well-known constructions of $(N imes n, q^{Nk}, d)$ maximum rank distance (MRD) codes rely on the arithmetic of $\mathbb{F}_{q^N}$, whose increasing complexity with larger $N$ hinders parameter selection and practical implementation. In this work, based on circular-shift operations, we present a construction of $(J imes n, q^{Jk}, d)$ MRD codes with efficient encoding, where $J$ equals to the Euler's totient function of a defined $L$ subject to $\gcd(q, L) = 1$. The proposed construction is performed entirely over $\mathbb{F}_q$ and avoids the arithmetic of $\mathbb{F}_{q^J}$. We further characterize the constructed MRD codes, Gabidulin codes and twisted Gabidulin codes using a set of $q$-linearized polynomials over the row vector space $\mathbb{F}_{q}^N$, and clarify their inherent difference and connection. For the case $J eq m_L$, where $m_L$ denotes the multiplicative order of $q$ modulo $L$, we show that the proposed MRD codes, in a family of settings, are different from any Gabidulin code and any twisted Gabidulin code. For the case $J = m_L$, we prove that every constructed $(J imes n, q^{Jk}, d)$ MRD code coincides with a $(J imes n, q^{Jk}, d)$ Gabidulin code, yielding an equivalent circular-shift-based construction that operates directly over $\mathbb{F}_q$. In addition, we prove that under some parameter settings, the constructed MRD codes are equivalent to a generalization of Gabidulin codes obtained by summing and concatenating several $(m_L imes n, q^{m_Lk}, d)$ Gabidulin codes. When $q=2$, $L$ is prime and $n\leq m_L$, it is analyzed that generating a codeword of the proposed $((L-1) imes n, 2^{(L-1)k}, d)$ MRD codes requires $O(nkL)$ exclusive OR (XOR) operations, while generating a codeword of $((L-1) imes n, 2^{(L-1)k}, d)$ Gabidulin codes, based on customary construction, requires $O(nkL^2)$ XOR operations.

研究の動機と目的

• F_q 内での構成と符号化を維持する MRD コードの必要性を動機づけ、パラメータ選択と実装を容易にする。
• n ≤ m_L ≤ J の時に(J × n, q^{Jk}, d) MRD コードを生む循環シフトベースの構成を提案する。
• MRD 性質と効率的な構造を保証する P および Q 行列の2つの実用的設計を提供する。
• q 線形化多項式を用いた Gabidulin コードと提案コードを比較・関連付け、Gabidulin および twisted Gabidulin コードとの関係を特徴づける。
• 新しいコードが Gabidulin コードと異なるまたは一致するケースを分析し、特定パラメータ領域での計算複雑性を検討する。

提案手法

• k×n ブロック行列 Ψ_{k×n} を循環置換行列から構成する循環シフトベースの rank-metric コードを定義する。
• Jn 次元ベクトルを J×n 行列に写像 Δ を使用して変換し C = {Δ(m(I_k⊗P)Ψ_{k×n}(I_n⊗Q)) : m ∈ F_q^{Jk}} を形成する。
• MRD 特性を保証するように U, U′ および Vandermonde 行列を用いて P ∈ F_q^{J×L} および Q ∈ F_q^{L×J} を設計する（G_L, H_L 構成。
• Gabidulin コードを q-線形化多項式の枠組みで表現し、新しい循環シフト構成との関連を対になる基底と同等表現を通じて関連付ける。
• 新しいコードが Gabidulin や twist Gabidulin コードと異なるか一致するかを示す多項式ベースの特徴付けを提供（特に J ≠ m_L 対 J = m_L）。
• 提案 regime q=2, L は素数, n ≤ m_L の下で、((L-1)×n, 2^{(L-1)k}, d) MRD コードのコードワード生成が O(nkL) XOR を要することを示す（Gabidulin コードでは O(nkL^2)） 。

実験結果

リサーチクエスチョン

• RQ1 循環シフトベースの構成は F_{q^{J}} の演算を使わずに MRD 性質を達成できるか？
• RQ2 提案コードはどのパラメータ設定で Gabidulin コードや twist Gabidulin コードと異なるまたは一致するか？
• RQ3 特に q=2 かつ素数 L の場合、循環シフト MRD コードの符号化複雑度は従来の Gabidulin ベース構成と比較してどの程度の利点があるか？
• RQ4 P および Q の選択（G_L, H_L を介して）は MRD 性質および Gabidulin コードとの関係にどう影響するか？

主な発見

• 循環シフトベースの構成は n ≤ m_L ≤ J の MRD コードを F_q 上だけで動作させ、F_{q^J} 演算を回避する。
• コードは F_q^N 上の一連の q-線形化多項式で特徴づけられ、その評価は Gabidulin および twist Gabidulin コードとは多くのパラメータ領域で異なる。
• J ≠ m_L のとき、提案 MRD コードは特定の設定下で Gabidulin や twist Gabidulin コードと異なる場合があり、明示的な例は異なる場合と一致するケースの両方を示す。
• J = m_L のとき、すべての提案 MRD コードは Gabidulin コードと一致し、F_q 上で動作し F_{q^{m_L}} 演算を回避する循環シフトベース構成を提供する。
• 提案 MRD コードは m_L×n のいくつかの Gabidulin コードを足し合わせて得られる Gabidulin コードの一般化と同等になる可能性がある、コード系列間のより広い接続を示す。
• q=2, L は素数, n ≤ m_L のとき ((L-1)×n, 2^{(L-1)k}, d) MRD コードのコードワード生成には O(nkL) XOR が必要であり、それに対して対応する Gabidulin コードは O(nkL^2) である。