[论文解读] It is indeed a fundamental construction of all linear codes

Can Xiang|arXiv (Cornell University)|Oct 20, 2016

Coding theory and cryptography参考文献 17被引用 11

一句话总结

本文证明了定义集构造法——通过有限域上的迹函数生成线性码——是一种基本方法，能够生成有限域上所有的线性码。它建立了所有线性码的通用迹表示，确认该方法与传统的生成矩阵方法具有同等的全面性，适用于权重分布和最小距离分析。

ABSTRACT

Linear codes are widely employed in communication systems, consumer electronics, and storage devices. All linear codes over finite fields can be generated by a generator matrix. Due to this, the generator matrix approach is called a fundamental construction of linear codes. This is the only known construction method that can produce all linear codes over finite fields. Recently, a defining-set construction of linear codes over finite fields has attracted a lot of attention, and have been employed to produce a huge number of classes of linear codes over finite fields. It was claimed that this approach can also generate all linear codes over finite fields. But so far, no proof of this claim is given in the literature. The objective of this paper is to prove this claim, and confirm that the defining-set approach is indeed a fundamental approach to constructing all linear codes over finite fields. As a byproduct, a trace representation of all linear codes over finite fields is presented.

研究动机与目标

• 证明定义集构造法是生成有限域上所有线性码的基本方法，解决文献中的一项开放性问题。
• 为有限域上所有线性码提供一种通用迹表示，扩展至无需满足 gcd(q,n)=1 的限制条件，超越循环码的范围。
• 证明基于迹的构造方法可简化权重分布分析，并能推导出最小距离的新下界。
• 表明迹表示统一并推广了现有构造方法，包括生成矩阵和循环码方法。
• 确认定义集方法与传统上被视为基本方法的生成矩阵方法具有同等的威力与全面性。

提出的方法

• 通过定义集 D ⊆ GF(q^m) 定义线性码 𝒞_D，其中码字由 (Tr(xd₁), ..., Tr(xdₙ)) 生成，x ∈ GF(q^m)。
• 利用迹函数 Tr: GF(q^n) → GF(q) 将大扩张域中的元素映射到基域，确保线性性。
• 通过从循环码的生成多项式构造 D，证明任意有限域 GF(q) 上的线性码均可表示为 𝒞_D 的形式。
• 通过 GF(q^n) 中的正规元，建立循环码的生成多项式与定义集 D 之间的双射，确保方法的普遍性。
• 利用 GF(q^n) 中存在正规基的事实，通过在 D 上对迹函数进行系统性求值，生成所有码字。
• 应用 Delsarte 定理及最小多项式性质，将迹表示与多项式环中的理想结构联系起来。

实验结果

研究问题

• RQ1 定义集构造法是否真能生成有限域上所有线性码，如先前文献所声称？
• RQ2 是否存在一种不依赖于结构限制（如 gcd(q,n)=1）的有限域上所有线性码的通用迹表示？
• RQ3 与经典的生成矩阵构造相比，基于定义集的迹表示在简洁性与分析能力方面有何差异？
• RQ4 迹表示是否能更有效地用于推导线性码的权重分布和最小距离？
• RQ5 定义集 D 与底层码的代数结构之间存在何种关系，特别是对于循环码和准循环码？

主要发现

• 证明了定义集构造法可生成有限域上所有线性码，确认其作为基本构造方法的地位。
• 建立了有限域上所有线性码的通用迹表示，适用于任意长度 n 和任意素幂 q。
• 迹表示允许通过特征和高效计算权重分布，从而开启新的分析技术。
• 该方法适用于所有循环码，包括经典迹表示（定理 1.1）因 gcd(q,n)=1 条件不满足而失效的情形。
• 该构造提供了一种系统化方法，通过迹函数的性质推导线性码最小距离的下界。
• 迹表示将多种已知构造（如准循环码和准负循环码）统一于同一框架之下。