English

LCD codes over ${\mathbb F}_q $ are as good as linear codes for q at least four

Information Theory 2018-09-17 v1 math.IT

Abstract

The hull H(C)H(C) of a linear code CC is defined by H(C)=CCH(C)=C \cap C^\perp. A linear code with a complementary dual (LCD) is a linear code with H(C)={0}H(C)=\{0\}. The dimension of the hull of a code is an invariant under permutation equivalence. For binary and ternary codes the dimension of the hull is also invariant under monomial equivalence and we show that this invariant is determined by the extended weight enumerator of the code.\\ The hull of a code is not invariant under monomial equivalence if q4q\geq 4. We show that every Fq{\mathbb F}_q -linear code is monomial equivalent with an LCD code in case q4q \geq 4. The proof uses techniques from Gr\"obner basis theory. We conclude that if there exists an Fq{\mathbb F}_q -linear code with parameters [n,k,d]q[n,k,d]_q and q4q \geq 4, then there exists also a LCD code with the same parameters. Hence this holds for optimal and MDS codes. In particular there exist LCD codes that are above the Gilbert-Varshamov bound if qq is a square and q49q\geq 49 by the existence of such codes that are algebraic geometric.\\ Similar results are obtained with respect to Hermitian LCD codes.

Keywords

Cite

@article{arxiv.1707.08856,
  title  = {LCD codes over ${\mathbb F}_q $ are as good as linear codes for q at least four},
  author = {Ruud Pellikaan},
  journal= {arXiv preprint arXiv:1707.08856},
  year   = {2018}
}
R2 v1 2026-06-22T20:59:10.598Z