English

Exact Minimum Distance of the Ding--Li--Xia Cyclic Codes

Information Theory 2026-07-27 v1

Abstract

The cyclic codes (q,m,h)\mho(q,m,h) introduced by Ding, Li, and Xia form a nonbinary generalization of punctured binary Reed--Muller codes. Ding, Li, and Xia established the bounds (qh+11)/(q1)d((q,m,h))2qh1(q^{h+1}-1)/(q-1)\leq d(\mho(q,m,h))\leq 2q^h-1 and asked whether the BCH lower bound is always exact. This paper proves that, for every prime power qq, every m2m\geq 2, and every 1hm11\leq h\leq m-1, the minimum distance is d((q,m,h))=(qh+11)/(q1)d(\mho(q,m,h))=(q^{h+1}-1)/(q-1). The upper bound is obtained by an explicit projective-subspace construction. For any (h+1)(h+1)-dimensional \Fq\F_q-subspace VV of \Fqm\F_{q^m}, the set V[q1]={xq1:xV{0}}V^{[q-1]}=\{x^{q-1}:x\in V\setminus\{0\}\} supports a codeword of weight (qh+11)/(q1)(q^{h+1}-1)/(q-1). Its membership in (q,m,h)\mho(q,m,h) follows from a vanishing lemma for subspace power sums and the digit-sum estimate sq((q1)a)(q1)\wtq(a)s_q((q-1)a)\leq(q-1)\wtq(a). The constructed codeword meets the BCH lower bound and therefore determines the exact minimum distance.

Keywords

Cite

@article{arxiv.2607.24646,
  title  = {Exact Minimum Distance of the Ding--Li--Xia Cyclic Codes},
  author = {Yutong Zhang and Yaoran Yang},
  journal= {arXiv preprint arXiv:2607.24646},
  year   = {2026}
}