Construction of codes over a commutative non-unital ring from simplicial complexes and their applications

技術要約：単体複体からの可換非単位環上の符号の構成とその応用

問題提起と背景
本論文は、有限体および単位的環における線形符号の研究が確立されている一方で、より新しい発展である、有限非単位環（特に位数 $p^2$ の可換非単位環 $I$ およびその次数 $r$ の拡大環 $S$）上の線形符号の構成について取り扱う。先行研究では、非可換環 $E$（位数 $p^2$）を含む非単位環上の準自己双対および自己直交符号が調査されてきた。本研究は、この調査を可換非単位環 $I$ およびその拡大環 $S$ へと拡張し、単体複体から導出された定義集合を用いて最適なパラメータを持つ符号を構成することを目的としている。主な目標は、これらの符号の重み分布、最小性、および最適性を決定し、秘密分散法、局所回復可能符号（LRC）、および強正則グラフの構成への応用を探求することである。

手法
著者らは、環 $S$ 上の線形符号を構成するために定義集合法を採用している。

1. 環の構造: 環 $S$ は、可換非単位環 $I = \langle a, b \mid pa=0, pb=0, a^2=b, ab=0 \rangle$ の拡大として定義される。$S$ の元は $as + bt$（ここで$s, t \in \mathbb{F}_q, q=p^r$）の形式をとる。
2. 符号の構成: 順序付きマルチセット $D \subseteq S^m$ を定義集合として用いて、環 $S$ 上の線形符号 $C_D$ を以下のように定義する：
   $$C_D = \{ (v \cdot d)_{d \in D} : v \in S^m \}$$
   ここで、積 $v \cdot d$ は環の乗法規則に従って定義される。
3. 単体複体: 定義集合 $D$ は、$\mathbb{F}_q^m$ 上の単体複体 $\Delta$ を用いて構成される。具体的には、著者らは $D = a\Delta_1 + b\Delta_2$ という形の集合を検討している。ここで $\Delta_1$ と $\Delta_2$ は（複数の極大元を持つ可能性のある）単体複体であり、およびその補集合である。
4. 重み解析:
   • リー重み (Lee Weight): コードのリー重みは、Gray写像 $\Phi: S \to \mathbb{F}_q^2$ （$\Phi(as+bt) = (t, s+t)$ と定義）を用いたGray像のハミング重みとして解析される。
   • 部分体のような符号 (Subfield-like Codes): 写像 $\tau: S \to \mathbb{F}_q$ （$\tau(as+bt) = t$ と定義）を用いて、$\mathbb{F}_q$ 上の部分体のような符号 $\tau(C_D)$ を構成する。
5. 解析ツール: 著者らは、文字和、包含排除の原理、および単体複体の性質（特に極大元とその交わり）を利用して、明示的な重み分布とパラメータを導出している。

主な貢献と結果

1. 明示的な重み分布とパラメータ:
   本論文は、定義集合が単体複体とその補集合の組み合わせによって形成される場合の、$S$ 線形符号のリー重み分布を決定している。5つの異なる定義集合のケース（$D = a\Delta_1 + b\Delta_2, a\Delta_1 + b\Delta_2^c$ など）が分析されている。

   • $S$ 線形符号のパラメータ（長さ、サイズ、最小リー距離）が確立されている。
   • Gray像 $\Phi(C_D)$ および部分体のような符号 $\tau(C_D)$ が、$\mathbb{F}_q$ 上の線形符号であることが示されている。
   • 単体複体が単一の極大元を持つ場合の明示的な重み分布が提供されており、それによって得られる多くの符号が少数の重みを持つ（few-weight）（具体的には1-weightまたは2-weight）かつ**可除（divisible）**であることを明らかにしている。

2. 最小性と最適性:

   • 最小性: Gray像の符号および部分体のような符号が最小となるための十分条件が確立されている。ある符号が最小であるとは、すべての非ゼロのコードワードがそのスカラー倍のみをカバーすることを指す。著者らは、単体複体の極大元のサイズと体 $q$ の間の不等式を導出し、最小性を保証している。
   • 最適性: 著者らは、グリースマー限界（Griesmer bound）に対するこれらの符号の最適性を調査している。いくつかの符号の族は、パラメータ $m, |M|, |N|, q$ に関する特定の条件下で最適であることが示されている。

3. 自己直交性:
   Gray像の符号および部分体のような符号が、ユークリッド的またはエルミート的自己直交的となるための条件が提示されている。これらの条件は、コードワードの重みの可除性と、$q$ の具体的な値（例：$q=2, 3, 4$）に依存する。

4. 応用:

   • 局所回復可能符号 (LRC): 著者らは、単体複体の非ゼロ要素に関連する特定の定義集合を用いることで、局所性2および3を持つLRCの族を構成している。これらのコードは、部分体のような符号 $\tau(C_D)$ から導出される。
   • 秘密分散法 (SSS): 構成された最小符号の双対に基づく秘密分散法の最小アクセス構造が決定されている。論文では、最小アクセス集合の数と各参加者の参加頻度が指定されている。
   • 強正則グラフ (SRG): 射影的2重重み符号と強正則グラフの対応関係を利用することで、いくつかの種類の強正則ケイリーグラフを構成している。これらのグラフのパラメータ $(N, K, \lambda, \mu)$ が明示的に決定されている。さらに、これらのSRGの補グラフもまた強正則であり、そのパラメータも明示的に計算されることが示されている。

意義と主張
本論文は、単体複体のアプローチを可換非単位環 $I$ およびその拡大環 $S$ に適用することに成功したことで、非単位環上の符号理論を進展させたと主張している。その意義は以下の点にある：

• Gray像および部分体のような構成を通じて、有限体上の新しい可除な少重み符号の族を生成したこと。
• これらの符号が最小、最適、および自己直交的であるための明示的な基準を提供したこと。これらは暗号学や組合せ論への応用において極めて重要である。
• 構築されたコードの汎用性を示し、分散ストレージに不可欠な局所回復可能符号 (LRC) や、安全なデータ配布に不可欠な秘密分散法 (SSS) に適したコードを生成したこと。
• これらの代数的構成と強正則グラフとの間の直接的な関連性を確立し、符号理論的原理から特定のパラメータを持つSRGを生成する方法を提供したこと。

本研究は、構築されたコードの範囲およびその直接的な応用を超えた、実験的な実装や将来的な理論的拡張を提案するものではない。研究の焦点は、確立された符号理論の枠組み内におけるパラメータの代数的導出と、その性質の検証にある。