[论文解读] Superregular matrices over small finite fields

Paulo Almeida, Diego Napp|arXiv (Cornell University)|Aug 1, 2020

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

一句话总结

本文研究了在小有限素数域上的下三角托普利茨超正则矩阵，提出构造方法以最小化不同非平凡子式的数量。通过在 Maple 中使用计算搜索与贪心算法，作者在阶数不超过 10 的小素数域上构造了此类矩阵，展示了在 F_173 和 F_257 等域上对 γ = 8、9 和 10 的存在性，并对一般 γ 的域大小与子式数量提出猜想。

ABSTRACT

A trivially zero minor of a matrix is a minor having all its terms in the Leibniz formula equal to zero. A matrix is superregular if all of its minors that are not trivially zero are nonzero. In the area of Coding Theory, superregular matrices over finite fields are connected with codes with optimum distance proprieties. When a superregular matrix has all its entries nonzero, it is called full superregular and these matrices are used to construct Maximum Distance Separable block codes. In the context of convolutional codes, lower triangular Toeplitz superregular matrices are employed to build convolutional codes with optimal column distance. Although full superregular matrices over small fields are known (e.g. Cauchy matrices), the few known general constructions of these matrices having a lower triangular Toeplitz structure require very large field sizes. In this work we investigate lower triangular Toeplitz superregular matrices over small finite prime fields. Following the work of Hutchinson, Smarandache and Trumpf, we study the minimum number of different nontrivial minors that such a matrix have, and exhibit concrete constructions of superregular matrices of this kind.

研究动机与目标

• 研究在小有限素数域上存在性与构造下三角托普利茨超正则矩阵。
• 确定此类矩阵可具有的最少不同非平凡子式数量。
• 为 γ = 8 和 γ = 9 在小素数域上提供超正则矩阵的显式构造。
• 探索使用计算搜索与随机采样构造 γ = 10 矩阵的可行性。
• 对一般 γ 提出关于域大小需求与子式多样性的猜想。

提出的方法

• 构造具有常数对角线的下三角托普利茨矩阵 Aγ，其由向量 (a₁, a₂, ..., aγ−1) 定义。
• 在 Maple 中使用贪心算法搜索在小有限域上生成超正则矩阵的系数向量。
• 在每一步施加约束 aᵢ ∉ Sᵢ，以避免平凡子式，基于先前的递归条件。
• 对 γ = 8、9 和 10 在小素数域 F_p 上执行穷举或随机搜索，以寻找有效的系数向量。
• 计算矩阵的所有子式，并验证所有非平凡子式均非零，以确认超正则性。
• 分析不同域大小下不同非平凡子式的数量及其分布。

实验结果

研究问题

• RQ1 在有限素数域上，下三角托普利茨超正则矩阵在阶数 γ 时，其最少不同非平凡子式数量是多少？
• RQ2 对于哪些小素数域 F_p 存在阶数 γ = 10 的下三角托普利茨超正则矩阵？
• RQ3 能否在小有限素数域上显式构造阶数 γ = 8 和 γ = 9 的超正则矩阵？
• RQ4 为保证给定 γ 下此类超正则矩阵的存在性，所需的域大小是多少？
• RQ5 是否存在关于子式数量的通用模式或边界，作为 γ 和 p 的函数？

主要发现

• 作者成功在有限素数域 F_173 和 F_193 上构造了阶数为 8 和 9 的下三角托普利茨超正则矩阵。
• 对于 γ = 10，他们在 F_173、F_193、F_199、F_227、F_229、F_239、F_251 和 F_257 上找到了超正则矩阵，且随着域大小增加，成功频率也相应提高。
• 在 F_257 上，γ = 10 矩阵的不同非平凡子式数量达到 256 个（共可能的 257 个），表明子式多样性接近最大值。
• 研究证实，对于 p ≥ 173，阶数 10 的超正则矩阵存在于 F_p 上，且随着 p 增大，成功率持续上升。
• 作者猜想，对任意 γ ≥ 2 及奇素数 p，存在向量 (a₁, ..., aγ−1)，使得不同子式的数量至多为 Nγ/2 + 2。
• 他们进一步猜想，对任意 γ ≥ 2，只要 |F| ≥ 2^(2γ/3)，在任意有限域 F 上均存在下三角托普利茨超正则矩阵。