The equivalent condition for GRL codes to be MDS, AMDS or self-dual

技術要約：GRL符号が非GRS MDS、AMDS、または自己双対であるための同値条件

問題提起
最大距離分離（MDS）符号およびほとんど最大距離分離（AMDS）符号、ならびに自己双対符号は、重要な代数的性質を有しており、通信システム、データストレージ、量子符号化、および暗号学において広く応用されている。リード・ソロモン（RS）符号はMDS符号のよく知られたクラスであるが、RS符号と等価ではない（non-RS）符号を構築することは、利用可能な符号族の多様性を拡大するための重要な研究領域であり続けている。RothとLempel [20]、およびその後のWuらによる[21]および[22]の研究では、RS符号の生成行列に2つまたは3つの追加の列を付加することによって、特定の非RS MDS符号のクラスを構築した。本論文は、これらの一般化された構築をさらに拡張し、これらの一般化された符号（およびその双対）が、RS符号と等価ではない状態でMDS、AMDS、または自己双対の特性を示すための正確な代数的条件を確立する必要性に対処するものである。

手法
著者らは、有限体 $F_q$ 上で定義される、**一般化されたRoth-Lempel（GRL）**符号 $GRL_k(\alpha, v, A_{l \times l})$ を導入する。この構築は、[21]および[22]で使用された特定の増強行列を、任意の可逆行列 $A_{l \times l} \in GL_l(F_q)$ に置き換えることで、従来のモデルを一般化している。具体的には、本論文では $l=3$ の場合、すなわち $GRL_k(\alpha, v, A_{3 \times 3})$ に焦点を当てる。

手法には、以下の技術的アプローチが含まれる：

1. 生成行列の解析： 著者らは、$GRL_k(\alpha, v, A_{3 \times 3})$ 符号の生成行列 $G_4$ を定義する。これは、標準的なヴァンデルモンド型の構造に、$A_{3 \times 3}$ から導出された3つの列が増強された構成となっている。
2. Non-RSの検証： 符号がnon-RSであることを証明するために、著者らはLemma 5（生成行列の成分によるRS符号の特性付け）を利用し、増強された列の特定の構造が、$k > 3$ の場合にRS等価性を満たすために必要な条件を満たさないことを示す。
3. MDSおよびAMDSの条件： Lemma 6（$[n, k]$ 符号がMDSであるための必要十分条件は、その生成行列の任意の $k$ 個の列が線形独立であることである）を用い、生成行列から形成されるすべての可能な $k \times k$ 部分行列の行列式を解析する。これには、増強された列（$u_1, u_2, u_3$）が部分行列に含まれる場合に関する広範なケース解析が含まれる。
4. パリティ検査行列の構築： 自己双対性の解析のために、著者らはGRL符号の明示的なパリティ検査行列 $H_5$ を導出する。彼らは、Lemma 4（逆差のべき乗の重み付き和に関する性質）を利用して、直交条件 $G H^T = 0$ を検証する。
5. 自己双対性の基準： 自己双対性（$C = C^\perp$）の条件は、生成行列とパリティ検査行列が同一の空間を生成することを要求することによって確立され、これはベクトル $v$ と行列 $A_{3 \times 3}$ に対する特定の制約につながる。

主要な貢献および結果

1. Non-RS特性： 定理7は、$A_{3 \times 3} \in GL_3(F_q)$ である限り、パラメータの選択に関わらず、$k > 3$ において $GRL_k(\alpha, v, A_{3 \times 3})$ が厳密にnon-GRS（Generalized Reed-Solomon）であることを確立している。

2. Non-RS MDSの同値条件： 定理8は、$GRL_k(\alpha, v, A_{3 \times 3})$ がMDSであるための必要十分条件を提供する。これらの条件は、評価点 $\alpha_i$ と $A_{3 \times 3}$ の成分の積の和に関する不等式として表現される。具体的には、サイズが $k-1$ または $k-2$ の任意の部分集合に対して、行列成分を含む特定の多項式式が消滅してはならない。

   • 系10 および 例11 は、特定の行列形式と $F_{11}$ 上の具体的な例を用いて、これらの条件を例証し、$[8, 4, 5]$ 符号を得ている。

3. AMDS双対の同等条件： 定理12は、双対符号 $GRL_k^\perp(\alpha, v, A_{3 \times 3})$ がAMDSとなる条件を決定する。これには、生成行列の任意の $k-1$ 個の列が線形独立であり、かつ少なくとも一つの $k$ 個の列の集合が従属であることが要求される。定理は、$A_{3 \times 3}$ の成分と $\alpha_i$ の和に関する6つの特定のケースを列挙している。

   • 系13 および 例14 は、$F_7$ 上の具体的なインスタンスを提供し、$[8, 4, 4]$ 符号を得ている。

4. パリティ検査行列と自己双対性： 定理16は、GRL符号のパリティ検査行列 $H_5$ を構築する。これに基づき、定理17は、符号がnon-RS自己双対であるための同値条件を提供する。条件は以下の通りである：

   • $n + 3 = 2k$ （次元の制約）。
   • ベクトル $v$ は、逆差のベクトル $u$ に比例しなければならない（すなわち、$v_i = \lambda u_i$）。
   • 行列 $A_{3 \times 3}$ は、$\alpha_i$ と $\alpha_i^2$ の和を含む特定の二次関係を満たさなければならない。
   • 例18および19 は、$F_{13}$ および $F_{19}$ 上でのこのような自己双対符号の構築を示している。特に、例19は、自己双対GRL符号が $q \equiv 3 \pmod 4$ の場合にも構築可能であることを強調しており、これは[22]における従来の自己双対構築の制限を拡張するものである。

意義
本論文は、増強行列を一般的な可逆行列 $A_{3 \times 3}$ に置き換えることで、[21]および[22]で見出された結果を一般化することを主張している。主な意義は、これらの一般化された符号が最適な距離特性（MDS/AMDS）または自己双対性を備えるための条件を決定するための統一された枠組みを提供することにある。著者らは、彼らの結果が[21]の定理を特殊なケースとして回収することを明示的に述べている。さらに、$q \equiv 3 \pmod 4$ に対する自己双対符号の構築（例19）は、先行文献の制約を超えてこのような符号の適用可能性を広げるものである。本論文は、これらの同値条件が、通信および暗号学への応用において望ましい特性を持つnon-RS符号の体系的な構築を可能にすると結論付けている。