arXiv subjects

Bocong Chen

Publications and source records attributed to Bocong Chen.

At least 19 recordsLinked to original sources

arXiv2026

Critical Numbers for Restricted Sumsets: Rigidity and Collapse in Finite Abelian Groups

This paper establishes a classification of the critical numbers for restricted sumsets in finite abelian groups, determining them exactly for even-order groups and bounding them for odd-order groups, while revealing a fundamental structural dichotomy governed by parity. For groups of even order, we prove a universal rigidity theorem: the index-$2$ subgroup creates an immutable arithmetic barrier at density $1/2$, fixing the critical number at $|G|/2+1$ regardless of the group's internal structure. In sharp contrast, we demonstrate that for groups of odd order, this barrier vanishes, causing the critical threshold to collapse to significantly lower densities bounded by index-$5$ obstructions or the smallest prime divisor. These results unify and vastly generalize previous work on cyclic groups, providing a definitive structural theory for the transition from sparsity to saturation. As a decisive application, we resolve a conjecture of Han and Ren in algebraic coding theory. By translating the additive rigidity at density $1/2$ into a geometric constraint, we prove that for all sufficiently large $q$, any subset of rational points on an elliptic curve $E/\mathbb{F}_q$ generating an MDS code must satisfy the tight bound $|P|\le|E(\mathbb{F}_q)|/2$.

math.CO↗

arXiv2025

Regular Cyclic $(q+1)$-Arcs in $\PG(3,2^m)$: Spectral Rigidity, Descent, and an MDS Criterion

Let $q=2^m$ with $m\ge 3$ and set $n:=q+1$. We investigate $(q+1)$-arcs $\mathcal A\subset \mathrm{PG}(3,q)$ that admit a regular cyclic subgroup $C\le \mathrm{PGL}(4,q)$ of order $n$. Over $K=\mathbb{F}_{q^2}$, such an action can be conjugated to a diagonal one, producing explicit cyclic monomial models \[ \mathcal M_a = \{[1:t:t^a:t^{a+1}]:t\in U_n\}\subset \mathrm{PG}(3,K), \qquad U_n=\{u\in K^\times:u^n=1\}, \] with $a\in(\mathbb{Z}/n\mathbb{Z})^\times$. We develop a spectral rigidity principle to obtain a precise descent criterion: $\mathcal M_a$ is $K$-projectively equivalent to a $(q+1)$-arc defined over $\mathbb{F}_q$ if and only if $a\equiv \pm 2^e \pmod n$ for some integer $e$ with $\gcd(e,m)=1$. Consequently, regular cyclic pairs $(\mathcal A,C)$ fall into exactly $\varphi(m)/2$ $K$-projective equivalence classes. As an immediate coding-theoretic application, we resolve the remaining AMDS/MDS dichotomy for the BCH family $\mathcal C_{(q,q+1,3,h)}$ studied by Xu et al.: $\mathcal C_{(q,q+1,3,h)}$ is MDS if and only if $2h+1\equiv \pm 2^e \pmod n$ for some $e$ with $\gcd(e,m)=1$. The underlying spectral rigidity step is formulated in a general setting for diagonal regular cyclic pairs in $\mathrm{PG}(r,K)$, providing a portable reduction of projective equivalence questions to explicit congruences on exponent data.

math.CO↗

arXiv2025

Two-Step Decoding of Binary $2\times2$ Sum-Rank-Metric Codes

We address an open problem posed by Chen-Cheng-Qi (IEEE Trans.\ Inf.\ Theory, 2025): can the decoding of binary sum-rank-metric codes $\SR(C_1,C_2)$ with $2\times2$ matrix blocks be reduced entirely to decoding the constituent Hamming-metric codes $C_1$ and $C_2$ without the additional requirement $d_1\ge\tfrac{2}{3}d_{\mathrm{sr}}$ used in their fast decoder? We answer this in the affirmative by exhibiting a simple two-step procedure: first uniquely decode $C_2$, then apply a single error-erasure decoding for $C_1$. This shows that the restrictive hypothesis $d_1\ge\tfrac{2}{3}d_{\mathrm{sr}}$ is theoretically unnecessary. The resulting decoder achieves unique decoding up to $\lfloor (d_{\mathrm{sr}}-1)/2\rfloor$ with overall cost $T_2+T_1$, where $T_2$ and $T_1$ are the complexities of the Hamming decoders for $C_2$ and $C_1$, respectively. We further show that this reduction is asymptotically optimal in a black-box model, as any sum-rank decoder must inherently decode the constituent Hamming codes. For BCH or Goppa instantiations over $\F_4$, the decoder runs in $O(\ell^2)$ time.

cs.IT↗

arXiv2025

Improved AntiGriesmer Bounds for Linear Anticodes and Applications

This paper improves the antiGriesmer bound for linear anticodes previously established by Chen and Xie (Journal of Algebra, 673 (2025) 304-320). While the original bound required the code length to satisfy $n < q^{k-1}$ and the dual code to have minimum distance at least 3, our main result removes the length restriction and relaxes the dual distance condition to at least 2. Specifically, we prove that for any $[n,k]_q$ linear anticode $\mathcal{C}$ over $\mathbb{F}_q$ with diameter $\delta$ and $d(\mathcal{C}^\perp) \geq 2$, the inequality \[ n \leq \sum_{i=0}^{k-1} \left\lfloor \frac{\delta}{q^i} \right\rfloor \] holds. This generalization significantly broadens the applicability of the antiGriesmer bound. We derive several corollaries, including lower bounds on the diameter $\delta$ in terms of $n$ and $k$, upper bounds on the code length $n$, and constraints on the dimension $k$. Applications to the construction and classification of linear codes with few weights are also discussed, along with examples demonstrating that our new bound can be sharper than previous ones. Our work unifies and extends earlier findings, providing a more comprehensive framework for studying linear anticodes and their properties.

cs.IT↗

arXiv2025

New Bounds for Linear Codes with Applications

Bounds on linear codes play a central role in coding theory, as they capture the fundamental trade-off between error-correction capability (minimum distance) and information rate (dimension relative to length). Classical results characterize this trade-off solely in terms of the parameters $n$, $k$, $d$ and $q$. In this work we derive new bounds under the additional assumption that the code contains a nonzero codeword of weight $w$.By combining residual-code techniques with classical results such as the Singleton and Griesmer bounds,we obtain explicit inequalities linking $n$, $k$, $d$, $q$ and $w$. These bounds impose sharper restrictions on admissible codeword weights, particularly those close to the minimum distance or to the code length. Applications include refined constraints on the weights of MDS codes, numerical restrictions on general linear codes, and excluded weight ranges in the weight distribution. Numerical comparisons across standard parameter sets demonstrate that these $w$-aware bounds strictly enlarge known excluded weight ranges and sharpen structural limitations on linear codes.

cs.IT↗

arXiv2025

Decoding Algorithms for Twisted GRS Codes

Twisted generalized Reed-Solomon (TGRS) codes were introduced to extend the algebraic capabilities of classical generalized Reed-Solomon (GRS) codes. This extension holds the potential for constructing new non-GRS maximum distance separable (MDS) codes and enhancing cryptographic security. It is known that TGRS codes with $1$ twist can either be MDS or near-MDS. In this paper, we employ the Gaussian elimination method to propose new decoding algorithms for MDS TGRS codes with parameters $[n,k,n-k+1]$. The algorithms can correct up to $\lfloor \frac{n-k}{2}\rfloor$ errors when $n-k$ is odd, and $\lfloor \frac{n-k}{2}\rfloor-1$ errors when $n-k$ is even. The computational complexity for both scenarios is $O(n^3)$. %, where $\omega\approx 2.37286$ is the matrix multiplication exponent. Our approach diverges from existing methods based on Euclidean algorithm and addresses situations that have not been considered in the existing literature \cite{SYJL}. Furthermore, this method is also applicable to decoding near-MDS TGRS codes with parameters $[n, k, n-k]$, enabling correction of up to $\lfloor \frac{n-k-1}{2} \rfloor$ errors, while maintaining polynomial time complexity in $n$.

cs.IT↗

arXiv2025

Construction of non-generalized Reed-Solomon MDS codes based on systematic generator matrix

Maximum distance separable (MDS) codes are considered optimal because the minimum distance cannot be improved for a given length and code size. The most prominent MDS codes are likely the generalized Reed-Solomon (GRS) codes. In 1989, Roth and Lempel constructed a type of MDS code that is not a GRS code (referred to as non-GRS). In 2017, Beelen et al. introduced twisted Reed-Solomon (TRS) codes and demonstrated that many MDS TRS codes are indeed non-GRS. Following this, the definition of TRS codes was generalized to the most comprehensive form, which we refer to as generalized twisted Reed-Solomon (GTRS) codes. In this paper, we prove that two families of GTRS codes are non-GRS and provide a systematic generator matrix for a class of GTRS codes. Inspired by the form of the systematic generator matrix for GTRS codes,we also present a construction of non-GRS MDS codes.

cs.IT↗

arXiv2023

Function-Correcting Codes for Symbol-Pair Read Channels

Function-correcting codes are a class of codes designed to protect the function evaluation of a message against errors whose key advantage is the reduced redundancy. In this paper, we extend function-correcting codes from binary symmetric channels to symbol-pair read channels. We introduce irregular-pair-distance codes and connect them with function-correcting symbol-pair codes. Using the connection, we derive general upper and lower bounds on the optimal redundancy of function-correcting symbol-pair codes. For ease of evaluation, we simplify these bounds and employ the simplified bounds to specific functions including pair-locally binary functions, pair weight functions and pair weight distribution functions.

cs.IT↗

arXiv2023

Bounds and Constructions of Quantum Locally Recoverable Codes from Quantum CSS Codes

Classical locally recoverable codes (LRCs) have become indispensable in distributed storage systems. They provide efficient recovery in terms of localized errors. Quantum LRCs have very recently been introduced for their potential application in quantum data storage. In this paper, we use classical LRCs to investigate quantum LRCs. We prove that the parameters of quantum LRCs are bounded by their classical counterparts. We deduce the bounds on the parameters of quantum LRCs from the bounds on the parameters of the classical ones. We establish a characterization of optimal pure quantum LRCs based on classical codes with specific properties. Using well-crafted classical LRCs as ingredients in the construction of quantum CSS codes, we offer the first construction of several families of optimal pure quantum LRCs.

cs.IT↗

arXiv2023

On non-expandable cross-bifix-free codes

A cross-bifix-free code of length $n$ over $\mathbb{Z}_q$ is defined as a non-empty subset of $\mathbb{Z}_q^n$ satisfying that the prefix set of each codeword is disjoint from the suffix set of every codeword. Cross-bifix-free codes have found important applications in digital communication systems. One of the main research problems on cross-bifix-free codes is to construct cross-bifix-free codes as large as possible in size. Recently, Wang and Wang introduced a family of cross-bifix-free codes $S_{I,J}^{(k)}(n)$, which is a generalization of the classical cross-bifix-free codes studied early by Lvenshtein, Gilbert and Chee {\it et al.}. It is known that $S_{I,J}^{(k)}(n)$ is nearly optimal in size and $S_{I,J}^{(k)}(n)$ is non-expandable if $k=n-1$ or $1\leq k<n/2$. In this paper, we first show that $S_{I,J}^{(k)}(n)$ is non-expandable if and only if $k=n-1$ or $1\leq k<n/2$, thereby improving the results in [Chee {\it et al.}, IEEE-TIT, 2013] and [Wang and Wang, IEEE-TIT, 2022]. We then construct a new family of cross-bifix-free codes $U^{(t)}_{I,J}(n)$ to expand $S_{I,J}^{(k)}(n)$ such that the resulting larger code $S_{I,J}^{(k)}(n)\bigcup U^{(t)}_{I,J}(n)$ is a non-expandable cross-bifix-free code whenever $S_{I,J}^{(k)}(n)$ is expandable. Finally, we present an explicit formula for the size of $S_{I,J}^{(k)}(n)\bigcup U^{(t)}_{I,J}(n)$.

cs.IT↗

arXiv2023

Improved upper bounds on the number of non-zero weights of cyclic codes

Let C be an arbitrary simple-root cyclic code and let G be the subgroup of Aut(C) (the automorphism group of C) generated by the multiplier, the cyclic shift and the scalar multiplications. To the best of our knowledge, the subgroup G is the largest subgroup of Aut(C). In this paper, an explicit formula, in some cases an upper bound, for the number of orbits of G on C\{0} is established. An explicit upper bound on the number of non-zero weights of C is consequently derived and a necessary and sufficient condition for the code C meeting the bound is exhibited. Many examples are presented to show that our new upper bounds are tight and are strictly less than the upper bounds in [Chen and Zhang, IEEE-TIT, 2023]. In addition, for two special classes of cyclic codes, smaller upper bounds on the number of non-zero weights of such codes are obtained by replacing G with larger subgroups of the automorphism groups of these codes. As a byproduct, our main results suggest a new way to find few-weight cyclic codes.

cs.IT↗

arXiv2022

Sharp Uncertainty Principle for Transitive $G$-Sets over Arbitrary Fields and Finite Groups

For any finite group $G$, any transitive $G$-set $X$ and any field ${\Bbb F}$, we consider the vector space ${\Bbb F}^X$ of all functions from $X$ to ${\Bbb F}$, which is a $G$-space isomorphic to the permutation ${\Bbb F} G$-module ${\Bbb F} X$. When the group algebra ${\Bbb F} G$ is semisimple and split, we find a specific basis $\widehat X$ of ${\Bbb F}^X$ and, for $f\in{\Bbb F}^X$, construct the Fourier transform $\widehat f\in{\Bbb F}^{\widehat X}$. We define the rank support $\mbox{rk-supp}(\widehat f)$ and prove that $\mbox{rk-supp}(\widehat f)=\dim {\Bbb F} G f$, where ${\Bbb F} G f$ is the submodule of ${\Bbb F} X$ generated by the element $f=\sum_{x\in X}f(x)x$. Next, we extend and strengthen the sharpened uncertainty principle for finite abelian groups, established by Feng, Hollmann, and Xiang in 2019, to a broader framework and a sharp version. For $0\ne f\in{\Bbb F}^X$, we construct a block $X_{{\rm supp}(f)}$ of $X$ and a subset ${\mathscr S}'^{-\!1}$ of $G$ determined by the support ${\rm supp}(f)$ of $f$, and show that $\dim{\Bbb F} Gf-\dim{\Bbb F}{\mathscr S}'^{-\!1}\!f\ge 1$ and $$ |{\rm supp}(f)|\cdot \dim{\Bbb F} Gf \ge |X|+ (\!\dim{\Bbb F} Gf-\dim{\Bbb F}{\mathscr S}'^{-1}f) \cdot|{\rm supp}(f)| -|X_{{\rm supp}(f)}|, $$ where ${\Bbb F}{\mathscr S}'^{-1}f$ denotes the subspace of ${\Bbb F}X$ spanned by the subset ${\mathscr S}'^{-1}f=\{\alpha f\,|\,\alpha\in{\mathscr S}'^{-1}\}\subseteq{\Bbb F} X$. We provide necessary and sufficient conditions for the above inequality to achieve equality. As corollaries, we derive many sharpened or classical versions of the finite-dimensional uncertainty principle, address an open question posed by Feng, Hollmann, and Xiang. When $|G|$ is a prime and $X=G$, we give a lower bound on $\dim {\Bbb F}Gf$ that recovers Tao's 2005 strong uncertainty principle, along with a precise characterization of the equality case.

math.GR↗

arXiv2022

The number of extended irreducible binary Goppa codes

Goppa, in the 1970s, discovered the relation between algebraic geometry and codes, which led to the family of Goppa codes. As one of the most interesting subclasses of linear codes, the family of Goppa codes is often chosen as a key in the McEliece cryptosystem. Knowledge of the number of inequivalent binary Goppa codes for fixed parameters may facilitate in the evaluation of the security of such a cryptosystem. Let $n\geq5$ be an odd prime number, let $q=2^n$ and let $r\geq3$ be a positive integer satisfying $\gcd(r,n)=1$. The purpose of this paper is to establish an upper bound on the number of inequivalent extended irreducible binary Goppa codes of length $q+1$ and degree $r$.A potential mathematical object for this purpose is to count the number of orbits of the projective semi-linear group ${\rm PGL}_2(\mathbb{F}_q)\rtimes{\rm Gal}(\mathbb{F}_{q^r}/\mathbb{F}_2)$ on the set $\mathcal{I}_r$ of all monic irreducible polynomials of degree $r$ over the finite field $\mathbb{F}_q$. An explicit formula for the number of orbits of ${\rm PGL}_2(\mathbb{F}_q)\rtimes{\rm Gal}(\mathbb{F}_{q^r}/\mathbb{F}_2)$ on $\mathcal{I}_r$ is given, and consequently, an upper bound for the number of inequivalent extended irreducible binary Goppa codes of length $q+1$ and degree $r$ is derived. Our main result naturally contains the main results of Ryan (IEEE-TIT 2015), Huang and Yue (IEEE-TIT, 2022) and, Chen and Zhang (IEEE-TIT, 2022), which considered the cases $r=4$, $r=6$ and $\gcd(r,q^3-q)=1$ respectively.

cs.IT↗

arXiv2022

Enumeration of extended irreducible binary Goppa codes

The family of Goppa codes is one of the most interesting subclasses of linear codes. As the McEliece cryptosystem often chooses a random Goppa code as its key,knowledge of the number of inequivalent Goppa codes for fixed parameters may facilitate in the evaluation of the security of such a cryptosystem. In this paper we present a new approach to give an upper bound on the number of inequivalent extended irreducible binary Goppa codes. To be more specific, let $n>3$ be an odd prime number and $q=2^n$; let $r\geq3$ be a positive integer satisfying $\gcd(r,n)=1$ and $\gcd\big(r,q(q^2-1)\big)=1$. We obtain an upper bound for the number of inequivalent extended irreducible binary Goppa codes of length $q+1$ and degree $r$.

cs.IT↗

arXiv2021

Improved Singleton bound on insertion-deletion codes and optimal constructions

Insertion-deletion codes (insdel codes for short) play an important role in synchronization error correction. The higher the minimum insdel distance, the more insdel errors the code can correct. Haeupler and Shahrasbi established the Singleton bound for insdel codes: the minimum insdel distance of any $[n,k]$ linear code over $\mathbb{F}_q$ satisfies $d\leq2n-2k+2.$ There have been some constructions of insdel codes through Reed-Solomon codes with high capabilities, but none has come close to this bound. Recently, Do Duc {\it et al.} showed that the minimum insdel distance of any $[n,k]$ Reed-Solomon code is no more than $2n-2k$ if $q$ is large enough compared to the code length $n$; optimal codes that meet the new bound were also constructed explicitly. The contribution of this paper is twofold. We first show that the minimum insdel distance of any $[n,k]$ linear code over $\mathbb{F}_q$ satisfies $d\leq2n-2k$ if $n>k>1$. This result improves and generalizes the previously known results in the literature. We then give a sufficient condition under which the minimum insdel distance of a two-dimensional Reed-Solomon code of length $n$ over $\mathbb{F}_q$ is exactly equal to $2n-4$. As a consequence, we show that the sufficient condition is not hard to achieve; we explicitly construct an infinite family of optimal two-dimensional Reed-Somolom codes meeting the bound.

cs.IT↗

arXiv2017

Constructions of cyclic constant dimension codes

Subspace codes and particularly constant dimension codes have attracted much attention in recent years due to their applications in random network coding. As a particular subclass of subspace codes, cyclic subspace codes have additional properties that can be applied efficiently in encoding and decoding algorithms. It is desirable to find cyclic constant dimension codes such that both the code sizes and the minimum distances are as large as possible. In this paper, we explore the ideas of constructing cyclic constant dimension codes proposed in \big([2], IEEE Trans. Inf. Theory, 2016\big) and \big([17], Des. Codes Cryptogr., 2016\big) to obtain further results. Consequently, new code constructions are provided and several previously known results in [2] and [17] are extended.

cs.IT↗

arXiv2017

New constructions of MDS codes with complementary duals

Linear complementary-dual (LCD for short) codes are linear codes that intersect with their duals trivially. LCD codes have been used in certain communication systems. It is recently found that LCD codes can be applied in cryptography. This application of LCD codes renewed the interest in the construction of LCD codes having a large minimum distance. MDS codes are optimal in the sense that the minimum distance cannot be improved for given length and code size. Constructing LCD MDS codes is thus of significance in theory and practice. Recently, Jin (\cite{Jin}, IEEE Trans. Inf. Theory, 2016) constructed several classes of LCD MDS codes through generalized Reed-Solomon codes. In this paper, a different approach is proposed to obtain new LCD MDS codes from generalized Reed-Solomon codes. Consequently, new code constructions are provided and certain previously known results in \cite{Jin} are extended.

cs.IT↗

arXiv2016

Three new classes of optimal frequency-hopping sequence sets

The study of frequency-hopping sequences (FHSs) has been focused on the establishment of theoretical bounds for the parameters of FHSs as well as on the construction of optimal FHSs with respect to the bounds. Peng and Fan (2004) derived two lower bounds on the maximum nontrivial Hamming correlation of an FHS set, which is an important indicator in measuring the performance of an FHS set employed in practice. In this paper, we obtain two main results. We study the construction of new optimal frequency-hopping sequence sets by using cyclic codes over finite fields. Let $\mathcal{C}$ be a cyclic code of length $n$ over a finite field $\mathbb{F}_q$ such that $\mathcal{C}$ contains the one-dimensional subcode $ \mathcal{C}_0=\{(α,α,\cdots,α)\in \mathbb{F}_q^n\,|\,α\in \mathbb{F}_q\}. $ Two codewords of $\mathcal{C}$ are said to be equivalent if one can be obtained from the other through applying the cyclic shift a certain number of times. We present a necessary and sufficient condition under which the equivalence class of any codeword in $\mathcal{C}\setminus\mathcal{C}_0$ has size $n$. This result addresses an open question raised by Ding {\it et al.} in \cite{Ding09}. As a consequence, three new classes of optimal FHS sets with respect to the Singleton bound are obtained, some of which are also optimal with respect to the Peng-Fan bound at the same time. We also show that the two Peng-Fan bounds are, in fact, identical.

cs.IT↗