arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1702.01734cs.ITmath.IT
收藏

GM-MDS猜想的一种代数组合证明技术

An Algebraic-Combinatorial Proof Technique for the GM-MDS Conjecture

Anoosheh Heidarzadeh, Alex Sprintson

摘要:

本文研究了小域上的最大距离可分(MDS)码的设计问题,并给出了其生成矩阵支集的约束条件。对于任何给定的$m\times n$二元矩阵$M$,由于Dau等人,声明如果$M$满足所谓的MDS条件,则对于大小为$q\geq n+m-1$的任何字段$\mathbb{F}$,存在其生成矩阵$G$(具有$\mathbb{F}$中的条目)适合$M$的PDMATHABMQMDS码(即,$M$是$G$的支持基质)。尽管编码理论界做了很多尝试,但这个猜想总体上仍然是开放的。Yan等人和Dau等人独立地证明,如果下面的猜想(称为TM-MDS猜想)成立,则GM-MDS猜想成立:如果$M$满足MDS条件,则使得$TV$拟合$M$的变换矩阵$T$的行列式不恒为零,其中$V$是具有不同参数的范德蒙矩阵。本文推广了TM-MDS猜想,提出了一种基于多项式阶约简的代数组合方法来证明该猜想。我们的证明技术的优势主要是基于减少固有的组合在证明。我们证明了我们的技术的力量,证明了TM-MDS猜想的情况下,行的数量($m$)的$M$是上界的$5$。对于$M$的这类特殊情况,其中唯一的附加约束是在$m$上,只有$m\leq 4$的情况以前被理论证明,并且以前使用的证明技术不适用于$m > 4$的情况。

英文摘要:

This paper considers the problem of designing maximum distance separable (MDS) codes over small fields with constraints on the support of their generator matrices. For any given $m\times n$ binary matrix $M$, the GM-MDS conjecture, due to Dau et al., states that if $M$ satisfies the so-called MDS condition, then for any field $\mathbb{F}$ of size $q\geq n+m-1$, there exists an $[n,m]_q$ MDS code whose generator matrix $G$, with entries in $\mathbb{F}$, fits $M$ (i.e., $M$ is the support matrix of $G$). Despite all the attempts by the coding theory community, this conjecture remains still open in general. It was shown, independently by Yan et al. and Dau et al., that the GM-MDS conjecture holds if the following conjecture, referred to as the TM-MDS conjecture, holds: if $M$ satisfies the MDS condition, then the determinant of a transformation matrix $T$, such that $TV$ fits $M$, is not identically zero, where $V$ is a Vandermonde matrix with distinct parameters. In this work, we generalize the TM-MDS conjecture, and present an algebraic-combinatorial approach based on polynomial-degree reduction for proving this conjecture. Our proof technique's strength is based primarily on reducing inherent combinatorics in the proof. We demonstrate the strength of our technique by proving the TM-MDS conjecture for the cases where the number of rows ($m$) of $M$ is upper bounded by $5$. For this class of special cases of $M$ where the only additional constraint is on $m$, only cases with $m\leq 4$ were previously proven theoretically, and the previously used proof techniques are not applicable to cases with $m > 4$.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑