A 2024 paper of Sun, Ding and Wang introduced a second class of constacyclic codes over finite fields, denoted , with length , where and the defining monomials have total -ary degree congruent to modulo . In the non-projective intermediate range 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 , , and , then, for every prime power , every divisor of with , and every , 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 and , 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.

生成讲解博客的中文版本

生成AI智能校验的中文版本