[论文解读] An explicit formula for a weight enumerator of linear-congruence codes

Taro Sakurai|arXiv (Cornell University)|Aug 28, 2018

Coding theory and cryptography被引用 6

一句话总结

本文为非二元字母表上的线性同余码的权重枚举函数提供了显式公式，扩展了Bibak和Milenkovic在二元情况下的结果。通过使用指数和（一次Weyl和），作者推导出权重枚举函数的闭式表达，简化了先前的证明，并在不依赖最大公约数条件的情况下完全解决了码大小枚举问题。

ABSTRACT

An explicit formula for a weight enumerator of linear-congruence codes is provided. This extends the work of Bibak and Milenkovic [IEEE ISIT (2018) 431-435] addressing the binary case to the non-binary case. Furthermore, the extension simplifies their proof and provides a complete solution to a problem posed by them.

研究动机与目标

• 为非二元情况下的线性同余码的权重枚举函数提供显式公式，扩展此前仅限于二元码的工作。
• 解决Bibak和Milenkovic提出的一个关于线性同余码大小的问题。
• 通过避免依赖Lehmer定理和最大公约数条件，简化二元码中使用的证明技术。
• 表征线性同余方程解中汉明权重的分布。

提出的方法

• 该方法利用离散傅里叶变换中的指数函数正交性，隔离满足同余式 $ a \cdot x \equiv b \pmod{m} $ 的解。
• 使用恒等式 $ \frac{1}{m} \sum_{j=1}^{m} e\left(\frac{j b}{m}\right) = \delta_{b \equiv 0 \pmod{m}} $，在生成函数中强制实施同余条件。
• 权重枚举函数 $ W_C(z) $ 构建为对所有 $ x \in \mathbb{Z}_q^n $ 的求和，按 $ z^{\operatorname{wt}(x)} $ 加权，同余条件通过指数和强制执行。
• 每个坐标贡献一个因子 $ \sum_{x_i \in \mathbb{Z}_q} z^{\operatorname{wt}(x_i)} e\left(\frac{j a_i x_i}{m}\right) $，从而在主公式中形成乘积形式。
• 通过交换求和顺序并应用Kronecker delta性质，将求和限制在码 $ C $ 的解上，推导出最终表达式。
• 该方法避免了诸如 $ \gcd(a_1,\dotsc,a_n,m) \mid b $ 等数论条件，使公式具有普遍适用性。

实验结果

研究问题

• RQ1 非二元线性同余码的权重枚举函数的显式形式是什么？
• RQ2 如何在不依赖最大公约数条件的情况下，以闭式表达线性同余码的大小？
• RQ3 能否将二元码中使用的证明技术推广并简化至非二元字母表？
• RQ4 线性同余方程 $ a \cdot x \equiv b \pmod{m} $ 的解中，汉明权重的分布是什么？
• RQ5 指数和（一次Weyl和）如何编码线性同余码的结构？

主要发现

• 由 $ a \cdot x \equiv b \pmod{m} $ 定义的线性同余码 $ C \subseteq \mathbb{Z}_q^n $ 的权重枚举函数由下式给出： $$ W_C(z) = \frac{1}{m} \sum_{j=1}^{m} e\left(-\frac{jb}{m}\right) \prod_{i=1}^{n} \left(1 + z e\left(\frac{ja_i}{m}\right) + \cdots + z e\left(\frac{ja_i(q-1)}{m}\right)\right). $$
• 码的大小 $ |C| $ 由同一公式在 $ z = 1 $ 时给出，结果为： $$ |C| = \frac{1}{m} \sum_{j=1}^{m} e\left(-\frac{jb}{m}\right) \prod_{i=1}^{n} \left(1 + e\left(\frac{ja_i}{m}\right) + \cdots + e\left(\frac{ja_i(q-1)}{m}\right)\right). $$
• 与Bibak和Milenkovic的方法相比，该证明显著简化，无需使用Lehmer定理或基于最大公约数条件的分情况讨论。
• 该公式在 $ \gcd(a_1,\dotsc,a_n,m) $ 是否整除 $ b $ 的情况下均适用，使其更具普遍性和鲁棒性。
• 该方法自然捕捉了解的汉明权重分布，完整表征了码的权重谱。
• 该结果将二元情况推广至任意 $ q \geq 2 $，为Bibak和Milenkovic提出的一个开放问题提供了完整解法。