[論文レビュー] An infinite family of linear codes supporting 4-designs

Chunming Tang, Cunsheng Ding|arXiv (Cornell University)|Jan 1, 2020

Coding theory and cryptography参考文献 20被引用数 4

ひとこと要約

この論文は、71年前の未解決問題を解決し、長さ $2^{2m+1}+1$ の $\mathrm{GF}(2^{2m+1})$ 上の BCH コードの無限族を構成することで、パラメータ $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ の無限族の $4$-デザインを支持する。この構成は、初等対称多項式の性質と巡回符号構造を活用し、最小重量の符号語が $t$-デザインを生成することを証明する。これにより、$4$-デザインを支持する線形符号の最初の既知の無限族が確立された。

ABSTRACT

The first linear code supporting a $4$-design was the $[11, 6, 5]$ ternary Golay code discovered in 1949 by Golay. In the past 71 years, sporadic linear codes holding $4$-designs or $5$-designs were discovered and many infinite families of linear codes supporting $3$-designs were constructed. However, the question as to whether there is an infinite family of linear codes holding an infinite family of $t$-designs for $t\geq 4$ remains open for 71 years. This paper settles this long-standing problem by presenting an infinite family of BCH codes of length $2^{2m+1}+1$ over $\mathrm{GF}(2^{2m+1})$ holding an infinite family of $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ designs. Moreover, an infinite family of linear codes holding the spherical design $S(3, 5, 4^m+1)$ is presented.

研究の動機と目的

• $t \geq 4$ に対して、無限族の線形符号が無限族の $t$-デザインを支持するかどうかという長年の未解決問題を解決すること。
• 特に near-MDS 符号に焦点を当て、有限体上の明示的な線形符号を構成し、$4$-デザインを支持すること。
• 特定の重みの符号語を用いた符号理論的構成により、球面 $3$-デザイン $S(3,5,4^m+1)$ を得ること。
• Assmus-Mattson の定理と自己同型群の手法が、特定の状況では $3$-デザインを証明できないことの理由を示し、代替的手法の必要性を強調すること。
• 線形符号が $t$-デザインを支持する構造的性質を調査し、このようなデザインが符号語のサポートからどのように生じるかの条件を同定すること。

提案手法

• 定義集合のアプローチを用いて、$q = 2^{2m+1}$ として、長さ $q+1 = 2^{2m+1}+1$ の $\mathrm{GF}(q)$ 上の BCH コード $\mathsf{C}_{(q,q+1,4,1)}$ の族を構成する。
• 有限体上のトレース関数と初等対称多項式の性質を用いて、符号とその双対符号の重み分布を分析する。
• 固定された重みの符号語が $t$-デザインを支持する条件を特定するために Assmus-Mattson の定理を適用し、特に $t=3$ および $t=4$ の場合を対象とする。
• 符号語のサポートによって形成されるインシデント構造と、既知の組合せデザイン（例えば $S(3,5,4^m+1)$ や $4$-デザイン）との同型関係を確立する。
• 補題31および補題34を用いて、$\mathsf{C}_{(q,q+1,4,1)}$ の最小重量符号語のサポートが、$5$-部分集合および $6$-部分集合からなる $3$-デザインに対応することを証明する。
• 組合せ的恒等式と二項係数の計算（特に式 (40) と補題7の使用）により、双対符号における $3$-デザインの $\lambda$-値を導出することで、設計パラメータを検証する。

実験結果

リサーチクエスチョン

• RQ1 $t \geq 4$ に対して、無限族の線形符号が無限族の $t$-デザインを支持するものがあるか？
• RQ2 有限体上の線形符号における固定重みの符号語を用いた符号理論的構成により、$4$-デザインを構成できるか？
• RQ3 球面 $3$-デザイン $S(3,5,4^m+1)$ は線形符号のサポートデザインとして実現可能か？ もしそうなら、どの符号パラメータを介して実現されるか？
• RQ4 なぜ Assmus-Mattson の定理と自己同型群の解析が、$\mathsf{C}_{(q,q+1,4,1)}$ のような状況では $3$-デザインを証明できないのか？
• RQ5 群作用を介して構成された球面 $3$-デザイン $S(3,5,4^m+1)$ と線形符号を介して構成されたものとの間に、構造的差異はあるか？

主な発見

• この論文は、長さ $2^{2m+1}+1$ の $\mathrm{GF}(2^{2m+1})$ 上の線形符号の無限族を構成し、パラメータ $4$-$(2^{2m+1}+1, 6, 2^{2m}-4)$ のデザインを支持することにより、71年前の未解決問題を解決した。
• $q = 2^{2m+1}$ の $\mathsf{C}_{(q,q+1,4,1)}$ の最小重量符号語は、$3$-$(2^m+1, 5, 1)$ のスティーナー系 $S(3,5,2^m+1)$ を支持する。これは $m \in \{2,3\}$ の場合、球面デザイン $S(3,5,4^m+1)$ と同型である。
• $\mathsf{C}_{(q,q+1,4,1)}$ の重み6の符号語は、$m \geq 6$ のとき、$3$-$(q+1,6,\frac{(q-4)(q-16)}{6})$ のデザインを支持する。ここで $q = 2^m$ である。
• $\mathsf{C}_{(q,q+1,4,1)}^\perp$ の双対符号は、$3$-$(q+1, q-5, \lambda)$ のデザインを支持し、$\lambda = \frac{(q-4)^2}{120}\binom{q-5}{3}$ である。これにより、双対符号における $3$-デザインの存在が確認された。
• $q = 2^4 = 16$ の例では、$[17,11,5]$ 符号の最小重量符号語が $S(3,5,17)$ スティーナー系を支持し、双対 $[17,6,11]$ 符号は $3$-$(17,11,198)$ のデザインを支持する。
• この論文は、この状況では Assmus-Mattson の定理を用いて $3$-デザインを証明できないことを示しており、古典的なデザイン理論的ツールの限界を示している。