[论文解读] On products and powers of linear codes under componentwise multiplication

Randriambololona, Hugues|arXiv (Cornell University)|Nov 29, 2013

Polynomial and algebraic computation被引用 5

一句话总结

本文建立了在分量乘法下线性码的积与幂的代数与组合理论，确立了基础性质，并将编码理论与代数几何及多重线性代数联系起来。文中引入了对称张量分解的形式化方法，给出了乘法下码参数的界，其在密码学与渐近编码理论中有应用。

ABSTRACT

In this text we develop the formalism of products and powers of linear codes under componentwise multiplication. As an expanded version of the author's talk at AGCT-14, focus is put mostly on basic properties and descriptive statements that could otherwise probably not fit in a regular research paper. On the other hand, more advanced results and applications are only quickly mentioned with references to the literature. We also point out a few open problems. Our presentation alternates between two points of view, which the theory intertwines in an essential way: that of combinatorial coding, and that of algebraic geometry. In appendices that can be read independently, we investigate topics in multilinear algebra over finite fields, notably we establish a criterion for a symmetric multilinear map to admit a symmetric algorithm, or equivalently, for a symmetric tensor to decompose as a sum of elementary symmetric tensors.

研究动机与目标

• 形式化在分量乘法下线性码积与幂的代数结构，连接编码理论与代数几何。
• 确立这些运算的基础性质，包括结合律、交换律以及对子空间和的分配律。
• 研究码幂下自构群与度量不变量的行为，尤其关注渐近优良性。
• 探讨码积构造中的开放问题，特别是子域子码、迹码与级联码方面。
• 扩展乘法下码参数的界，特别是 $ t $-次幂的情形，并评估此类运算下渐近优良族的存在性。

提出的方法

• 在 $ \mathbb{F}^n $ 上使用分量乘法 $*$，将码 $ C * C' $ 定义为所有码字分量乘积的线性张成。
• 应用有限域上的对称代数与多重线性代数，特别是对称幂 $ S^t V $ 与对称多重线性映射。
• 通过 $ \mathbb{F}_q $ 上的齐次多重线性化多项式，引入对称张量分解的判别准则，详见附录 B。
• 利用码对偶与支撑之间的对偶性，定义 $ n_i = \dim \langle x \in C^\perp \mid w(x) \leq i \rangle^\perp $，其中 $ n_0, n_1, n_2 $ 分别对应长度、支撑长度与射影长度。
• 应用编码理论中的界，如 Singleton 界与纯界，来分析码积与码幂，尤其在级联码与 AG 码的背景下。
• 分析自构群 $ \operatorname{Aut}(C^{\langle t \rangle}) $ 与 $ \operatorname{Aut}^{\textrm{in}}(C^{\langle t \rangle}) $ 随 $ t $ 增大而变化的行为，并在不同码族之间进行比较。

实验结果

研究问题

• RQ1 是否存在一个二元线性码族 $ C $，其渐近优良，且 $ C^{\langle 3 \rangle} $ 也渐近优良？（即 $ \tau(2) > 2 $ 是否成立？）
• RQ2 对于渐近优良的二元码 $ C $，其 $ t $-次幂 $ C^{\langle t \rangle} $ 是否对任意大的 $ t $ 仍保持渐近优良？（即 $ \tau(2) = \infty $ 是否成立？）
• RQ3 是否存在渐近优良的二元线性码族 $ C $，使得 $ C^{\langle 2 \rangle} $ 与 $ C^\perp $ 均渐近优良？
• RQ4 对于 $ i \geq 3 $，$ n_i $ 的几何或组合解释是什么？其中 $ n_i $ 定义为低权重对偶码字张成的正交补的维数。
• RQ5 能否为 $ t > q $ 构造出 Frobenius 对称 $ t $-重线性化多项式的通用族，以扩展对级联码积的界？

主要发现

• 两个线性码的积 $ C * C' $ 是一个在子空间和上满足交换律、结合律与分配律的运算，构成线性码集合上的幺半环结构。
• 码 $ C $ 的 $ t $-次幂 $ C^{\langle t \rangle} $ 定义为 $ C $ 中码字所有 $ t $ 重分量乘积的线性张成，且满足仅当 $ t \mid t' $ 或 $ t' \geq r(C) $ 时，有 $ \operatorname{Aut}(C^{\langle t \rangle}) \subseteq \operatorname{Aut}(C^{\langle t' \rangle}) $。
• 对于 $ \delta \in (0,1) $，有不等式 $ 0.001872 - 0.5294\delta \leq \alpha_2^{\langle 2 \rangle}(\delta) \leq 0.5 - 0.5\delta $ 成立，表明当前对二元码积参数的认知仍存在显著空白。
• 是否存在一个二元码族，其立方 $ C^{\langle 3 \rangle} $ 也渐近优良，这一问题仍未解决，其中 $ \tau(2) > 2 $ 是一个关键未解问题。
• 对于 $ t \leq q $，利用 $ \mathbb{F}_q $ 上的齐次 $ t $-重线性化多项式，建立了级联码 $ t $-次幂参数的界，详见附录 B。
• 对于 $ t > q $，Frobenius 对称幂 $ S_{\text{Frob}, \mathbb{F}_q}^t \mathbb{F}_{q^r} $ 仍理解不足，提出构造非齐次多重线性化多项式的通用族，作为扩展界的方向。