[論文レビュー] Infinite families of 2-designs from GA_1(q) actions

Hao Liu, Cunsheng Ding|arXiv (Cornell University)|Jul 7, 2017

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

ひとこと要約

本稿では、有限体 $\mathrm{GF}(q)$ 上の巡回クラスおよび二次形式から導かれる基本ブロックを用いて、一般アフィン群 $\mathrm{GA}_1(q)$ の作用により、5つの無限族の2デザインを構成する。計算可能な安定化部分群を有する適切な基本ブロックを選定することで、著者らはこれらの2デザインの正確なパラメータを特定し、関連する線形符号が最適または最高のパラメータを達成することを示した。これは、デザイン理論と符号理論との間に強い関連性があることを強調している。

ABSTRACT

Group action is a standard approach to obtain $t$-designs. In this approach, selecting a specific permutation group with a certain degree of transitivity or homogeneity and a proper set of base blocks is important for obtaining $t$-$(v, k, λ)$ designs with computable parameters $t, v, k$, and $λ$. The general affine group $\GA_1(q)$ is $2$-transitive on $\gf(q)$, and has relatively a small size. In this paper, we determine the parameters of a number of infinite families of $2$-designs obtained from the action of the group $\GA_1(q)$ on certain base blocks, and demonstrate that some of the $2$-designs give rise to linear codes with optimal or best parameters known. Open problems are also presented.

研究の動機と目的

• 特定の基本ブロックを用いた $\mathrm{GA}_1(q)$ の群作用を用いて、$\mathrm{GF}(q)$ 上に無限族の2デザインを構成すること。
• 各ブロックの安定化部分群を $\mathrm{GA}_1(q)$ 内で計算することにより、得られる2デザインの正確なパラメータ（$v$, $k$, $\lambda$）を特定すること。
• これらの2デザインと線形符号との関係、特にそのパラメータと最適性を調査すること。
• 関連する二進符号およびその双対符号の重み分布に関する未解決の予想を提示・議論すること。
• 低強度であるにもかかわらず、2デザインが最適または最高のパラメータを持つ線形符号を生成できることを示すこと。

提案手法

• $\mathrm{GA}_1(q)$ が $\mathrm{GF}(q)$ に与える2-推移的作用を用いて、基本ブロックの軌道閉包により2デザインを生成する。
• 基底ブロックとして、$q = p^m$ および $q-1 = ef$ を満たす $\mathrm{GF}(q)^*$ の位数 $e$ の巡回クラスを用いる。
• $\mathrm{GA}_1(q}$ 内での各基本ブロック $B$ の安定化部分群 $|G_B|$ を計算し、デザインパラメータ $\lambda = \frac{k(k-1)}{|G_B|}$ を決定する。
• 群作用と軌道数え上げを用いて、5つの異なる無限族の2デザインの正確なパラメータを導出する。
• デザインに付随する二進線形符号 $\mathcal{C}_2(\mathbb{D})$ 及びその双対符号 $\mathcal{C}_2(\mathbb{D})^\perp$ を分析する。
• Magma を用いた計算的検証により、$m = 4,6,8$ の小規模な場合に予想される重み分布が正当化されることを確認する。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{GA}_1(q)$ の作用により、巡回クラスから得られる基本ブロックを用いて構成された2デザインの正確なパラメータ（$v$, $k$, $\lambda$）は何か？
• RQ2 これらの2デザインから導かれる線形符号が、最適または最高のパラメータを達成できるか？
• RQ3 2デザインに付随する二進符号 $\mathcal{C}_2(\mathbb{D})$ の重み分布は何か？ また、予想されるパターンに従うか？
• RQ4 双対符号 $\mathcal{C}_2(\mathbb{D})^\perp$ は、予想されるように指数関数的に多くの3デザインまたは2デザインを含むか？
• RQ5 $\mathrm{GA}_1(q)$ の作用が3デザインを生成する条件は何か？ また、これは基本ブロックの構造とどのように関係するか？

主な発見

• $\mathrm{GA}_1(q)$ と巡回クラスからの基本ブロックを用いて、明示的に決定されたパラメータを持つ5つの無限族の2デザインが構成された。
• 定理17および定理21から得られる2デザインは、$m \geq 4$ かつ偶数の $m$ に対して、二進線形符号のパラメータ $[2^m, 2m+1, 2^{m-1} - 2^{m/2}]$ を持つ。
• $m = 4$ の場合、符号 $\mathcal{C}_2(\mathbb{D})$ は最適である。$m = 6$ および $m = 8$ の場合、最高のパラメータを持つ。
• $\mathcal{C}_2(\mathbb{D})$ の重み分布は、対称的なパターンに従うと予想されており、$m = 4,6,8$ において計算的に確認された。
• 双対符号 $\mathcal{C}_2(\mathbb{D})^\perp$ は、パラメータ $[2^m, 2^m - 1 - 2m, 6]$ を持つと予想されており、指数関数的に多くの2デザインを含むとされる。
• 本研究は、2デザインが最適または最高のパラメータを持つ線形符号を生成できることを示し、符号理論におけるその重要性を強化している。