English

Intermediate Constacyclic Codes and Scalar-Residue Reed--Muller Layers

Information Theory 2026-05-29 v3 math.IT

Abstract

A 2024 paper of Sun, Ding and Wang introduced a second class of constacyclic codes over finite fields, denoted C(q,m,r,)C(q,m,r,\ell), with length (qm1)/r(q^m-1)/r, where r(q1)r\mid(q-1) and the defining monomials have total qq-ary degree congruent to r1r-1 modulo rr. In the non-projective intermediate range 2<r<q12<r<q-1 the paper gave a sharp-looking upper bound and a BCH-type lower bound, and left the minimum distance open. We prove that the upper bound is the exact minimum distance for every admissible intermediate parameter. More precisely, if =(q1)a+b<(q1)m1\ell=(q-1)a+b<(q-1)m-1, 0bq20\le b\le q-2, and br1(modr)b\equiv r-1\pmod r, then, for every prime power qq, every divisor rr of q1q-1 with 2<r<q12<r<q-1, and every m2m\ge2, d(C(q,m,r,))={q1r(qb+1)qma2,0am2,qb+r2r,a=m1. d(C(q,m,r,\ell))= \begin{cases} \displaystyle \frac{q-1}{r}(q-b+1)q^{m-a-2},&0\le a\le m-2,\\[1mm] \displaystyle \frac{q-b+r-2}{r},&a=m-1. \end{cases} The first line settles the open problem of Sun, Ding and Wang; the second line is the terminal case already forced by their BCH bound. We also determine the minimum affine support of every non-terminal scalar-residue layer of a generalized Reed--Muller code. The resulting dichotomy says that the first Reed--Muller weight survives exactly for residue classes 00 and 11, while every other residue-matched layer starts at the second Reed--Muller weight. The proof uses the hidden scalar homogeneity of the evaluation model, an orbit-counting obstruction for minimum Reed--Muller supports, and a homogeneous pencil construction that attains the second weight.

Keywords

Cite

@article{arxiv.2605.17022,
  title  = {Intermediate Constacyclic Codes and Scalar-Residue Reed--Muller Layers},
  author = {Yaoran Yang and Yutong Zhang},
  journal= {arXiv preprint arXiv:2605.17022},
  year   = {2026}
}
R2 v1 2026-07-22T07:16:38.106Z