Infinite families of optimal and minimal codes over rings using simplicial complexes
Yanan Wu, Tingting Pang, Nian Li, Yanbin Pan, Xiangyong Zeng
TL;DR
The paper addresses constructing infinite families of linear codes over extensions $\mathcal{R}=E^s$ or $F^s$ of non-unital non-commutative rings using general simplicial complexes, and analyzes their Lee-weight, Gray-map images, and subfield-like codes. It introduces a universal parameter-determination method based on inner-product orthogonality and inclusion-exclusion, and derives explicit Lee-weight distributions when the defining simplicial complex is generated by a single maximal element. The work delivers numerous $\,\mathbb{F}_q$-codes with self-orthogonality and minimality properties, as well as distance-optimal families with respect to the Griesmer bound, and establishes conditions for Hermitian self-orthogonality when $q=4$. Overall, it broadens the scope of simplicial-complex-based code constructions to extension rings, yielding flexible, high-performance code families with potential applications in secret sharing and secure computation.
Abstract
In this paper, several infinite families of codes over the extension of non-unital non-commutative rings are constructed utilizing general simplicial complexes. Thanks to the special structure of the defining sets, the principal parameters of these codes are characterized. Specially, when the employed simplicial complexes are generated by a single maximal element, we determine their Lee weight distributions completely. Furthermore, by considering the Gray image codes and the corresponding subfield-like codes, numerous of linear codes over $\mathbb{F}_q$ are also obtained, where $q$ is a prime power. Certain conditions are given to ensure the above linear codes are (Hermitian) self-orthogonal in the case of $q=2,3,4$. It is noteworthy that most of the derived codes over $\mathbb{F}_q$ satisfy the Ashikhmin-Barg's condition for minimality. Besides, we obtain two infinite families of distance-optimal codes over $\mathbb{F}_q$ with respect to the Griesmer bound.
