A Complete Characterization of q-Ary $2$-Designs in Doubly-Extended Reed-Solomon Codes
Abstract
Let πk be the doubly-extended Reed--Solomon code with parameters [q+1, k, qβk+2]q. We give a complete characterization of when its codewords of a fixed weight form q-ary 2-designs. The main ingredient is an exact criterion showing that the number of r-subsets of π½q* with a prescribed product is independent of that product if and only if gcd(r, qβ1)=1. Applying this criterion to the minimum-weight codewords of πk, we prove that they form a q-ary 2-design if and only if gcd(kβ1, qβ1)=1. We further establish a propagation result for MDS codes showing that the q-ary 2-design property at minimum weight implies the same property at every nonzero weight. Consequently, πk holds q-ary 2-designs at all nonzero weights if and only if gcd(kβ1, qβ1)=1.
Related
- Explicit Reed-Solomon Subspace Designs: Optimal List and Line Decoding
- Characterization of intrinsic parabolic Harnack inequalities for doubly nonlinear equations of slow diffusion type
- Construction of New Complete Complementary Codes Using Extended Boolean Functions and Permutations
- Caffarelli-Kohn-Nirenberg and Weighted Gaussian PoincarΓ© Inequalities: a complete characterization of sharp L2 stability and Lp extensions
- A Complete Characterization of Tensorizable f-divergences
BibTeX
@misc{wu2026complete,
title = {{A Complete Characterization of $q$-Ary $2$-Designs in Doubly-Extended Reed-Solomon Codes}},
author = {Xinghao Wu and Junling Zhou},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.05861},
eprint = {2611.05861},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.05861},
}
RIS
TY - UNPB
TI - A Complete Characterization of q-Ary $2$-Designs in Doubly-Extended Reed-Solomon Codes
AU - Xinghao Wu
AU - Junling Zhou
PY - 2026
DA - 2026/11/04
PB - arXiv
DO - 10.48550/arxiv.2611.05861
UR - https://arxiv.org/abs/2611.05861
AB - Let π_k be the doubly-extended Reed--Solomon code with parameters [q+1, k, qβk+2]_q. We give a complete characterization of when its codewords of a fixed weight form q-ary 2-designs. The main ingredient is an exact criterion showing that the number of r-subsets of π½_q^* with a prescribed product is independent of that product if and only if gcd(r, qβ1)=1. Applying this criterion to the minimum-weight codewords of π_k, we prove that they form a q-ary 2-design if and only if gcd(kβ1, qβ1)=1. We further establish a propagation result for MDS codes showing that the q-ary 2-design property at minimum weight implies the same property at every nonzero weight. Consequently, π_k holds q-ary 2-designs at all nonzero weights if and only if gcd(kβ1, qβ1)=1.
ER -