arXiv subjects

Dabin Zheng

Publications and source records attributed to Dabin Zheng.

32 records · Page 2Linked to original sources

arXiv2022

Generalized Hamming Weights of Linear Codes from Quadratic Forms over Finite Fields of Even Characteristic

The generalized Hamming weight of linear codes is a natural generalization of the minimum Hamming distance. They convey the structural information of a linear code and determine its performance in various applications, and have become one of important research topics in coding theory. Recently, Li (IEEE Trans. Inf. Theory, 67(1): 124-129, 2021) and Li and Li (Discrete Math., 345: 112718, 2022) obtained the complete weight hierarchy of linear codes from a quadratic form over a finite field of odd characteristic by analysis of the solutions of the restricted quadratic equation in its subspace. In this paper, we further determine the complete weight hierarchy of linear codes from a quadratic form over a finite field of even characteristic by carefully studying the behavior of the quadratic form on the subspaces of this field and its dual space, and complement the results of Li and Li.

cs.IT↗

arXiv2022

Strict Half-Singleton Bound, Strict Direct Upper Bound for Linear Insertion-Deletion Codes and Optimal Codes

Insertion-deletion codes (insdel codes for short) are used for correcting synchronization errors in communications, and in other many interesting fields such as DNA storage, date analysis, race-track memory error correction and language processing, and have recently gained a lot of attention. To determine the insdel distances of linear codes is a very challenging problem. The half-Singleton bound on the insdel distances of linear codes due to Cheng-Guruswami-Haeupler-Li is a basic upper bound on the insertion-deletion error-correcting capabilities of linear codes. On the other hand the natural direct upper bound $d_I(\mathcal C) \leq 2d_H(\mathcal C)$ is valid for any insdel code. In this paper, for a linear insdel code $\mathcal C$ we propose a strict half-Singleton upper bound $d_I(\mathcal C) \leq 2(n-2k+1)$ if $\mathcal C$ does not contain the codeword with all 1s, and a stronger direct upper bound $d_I(\mathcal C) \leq 2(d_H(\mathcal C)-t)$ under a weak condition, where $t\geq 1$ is a positive integer determined by the generator matrix. We also give optimal linear insdel codes attaining our strict half-Singleton bound and direct upper bound, and show that the code length of optimal binary linear insdel codes with respect to the (strict) half-Singleton bound is about twice the dimension. Interestingly explicit optimal linear insdel codes attaining the (strict) half-Singleton bound, with the code length being independent of the finite field size, are given.

cs.IT↗

arXiv2021

Rack-Aware MSR Codes with Multiple Erasure Tolerance

The minimum storage rack-aware regenerating (MSRR) code is a variation of regenerating codes that achieves the optimal repair bandwidth for a single node failure in the rack-aware model. The authors in~\cite{Chen-Barg2019} and~\cite{Zhou-Zhang2021} provided explicit constructions of MSRR codes for all parameters to repair a single failed node. This paper generalizes the results in~\cite{Chen-Barg2019} to the case of multiple node failures. We propose a class of MDS array codes and scalar Reed-Solomon (RS) codes, and show that these codes have optimal repair bandwidth and error resilient capability for multiple node failures in the rack-aware storage model. Besides, our codes keep the same access level as the low-access constructions in~\cite{Chen-Barg2019} and~\cite{Zhou-Zhang2021}.

cs.IT↗

arXiv2021

Two-to-one mappings and involutions without fixed points over $\bF_{2^n}$

In this paper, two-to-one mappings and involutions without any fixed point on finite fields of even characteristic are investigated. First, we characterize a closed relationship between them by implicit functions and develop an AGW-like criterion for 2-to-1 mappings. Using this criterion, some new constructions of 2-to-1 mappings are proposed and eight classes of 2-to-1 mappings of the form $(x^{2^k}+x+δ)^{s}+cx$ are obtained. Finally, a number of classes of involutions without any fixed point are derived from the known 2-to-1 mappings by the relation between them.

cs.IT↗

arXiv2021

Several classes of PcN power functions over finite fields

Recently, a new concept called multiplicative differential cryptanalysis and the corresponding $c$-differential uniformity were introduced by Ellingsen et al.~\cite{Ellingsen2020}, and then some low differential uniformity functions were constructed. In this paper, we further study the constructions of perfect $c$-nonlinear (PcN) power functions. First, we give a necessary and sufficient condition for the Gold function to be PcN and a conjecture on all power functions to be PcN over $\gf(2^m)$. Second, several classes of PcN power functions are obtained over finite fields of odd characteristic for $c=-1$ and our theorems generalize some results in~\cite{Bartoli,Hasan,Zha2020}. Finally, the $c$-differential spectrum of a class of almost perfect $c$-nonlinear (APcN) power functions is determined.

cs.IT↗

arXiv2021

Some punctured codes of several families of binary linear codes

Two general constructions of linear codes with functions over finite fields have been extensively studied in the literature. The first one is given by $\mathcal{C}(f)=\left\{ {\rm Tr}(af(x)+bx)_{x \in \mathbb{F}_{q^m}^*}: a,b \in \mathbb{F}_{q^m} \right\}$, where $q$ is a prime power, $\bF_{q^m}^*=\bF_{q^m} \setminus \{0\}$, $\tr$ is the trace function from $\bF_{q^m}$ to $\bF_q$, and $f(x)$ is a function from $\mathbb{F}_{q^m}$ to $\mathbb{F}_{q^m}$ with $f(0)=0$. Almost bent functions, quadratic functions and some monomials on $\bF_{2^m}$ were used in the first construction, and many families of binary linear codes with few weights were obtained in the literature. This paper studies some punctured codes of these binary codes. Several families of binary linear codes with few weights and new parameters are obtained in this paper. Several families of distance-optimal binary linear codes with new parameters are also produced in this paper.

cs.IT↗

arXiv2020

Subfield codes of linear codes from perfect nonlinear functions and their duals

Let $\mathbb{F}_{p^m}$ be a finite field with $p^m$ elements, where $p$ is an odd prime and $m$ is a positive integer. Recently, \cite{Hengar} and \cite{Wang2020} determined the weight distributions of subfield codes with the form $$\mathcal{C}_f=\left\{\left(\left( {\rm Tr}_1^m(a f(x)+bx)+c\right)_{x \in \mathbb{F}_{p^m}}, {\rm Tr}_1^m(a)\right)\, : \, a,b \in \mathbb{F}_{p^m}, c \in \mathbb{F}_p\right\}$$ for $f(x)=x^2$ and $f(x)=x^{p^k+1}$, respectively, where $k$ is a nonnegative integer. In this paper, we further investigate the subfield code $\mathcal{C}_f$ for $f(x)$ being a known perfect nonlinear function over $\mathbb{F}_{p^m}$ and generalize some results in \cite{Hengar,Wang2020}. The weight distributions of the constructed codes are determined by applying the theory of quadratic forms and the properties of perfect nonlinear functions over finite fields. In addition, the parameters of the duals of these codes are also determined. Several examples show that some of our codes and their duals have the best known parameters with respect to the code tables in \cite{MGrassl}. The duals of some proposed codes are optimal with respect to the Sphere Packing bound if $p\geq 5$.

cs.IT↗

arXiv2020

A class of two or three weights linear codes and their complete weight enumerators

In the past few years, linear codes with few weights and their weight analysis have been widely studied. In this paper, we further investigate a class of two-weight or three-weight linear codes from defining sets and determine their weight and complete weight enumerators by application of the theory of quadratic forms and some special Weil sums over finite fields. Some punctured codes of the discussed linear codes are optimal or almost optimal with respect to the Griesmer bound. This paper generalizes some results in \cite{ZhuXu2017,Jian2019}.

cs.IT↗

arXiv2020

New Constructions of Optimal Cyclic (r,δ) Locally Repairable Codes from Their Zeros

An $(r, δ)$-locally repairable code ($(r, δ)$-LRC for short) was introduced by Prakash et al. \cite{Prakash2012} for tolerating multiple failed nodes in distributed storage systems, which was a generalization of the concept of $r$-LRCs produced by Gopalan et al. \cite{Gopalan2012}. An $(r, δ)$-LRC is said to be optimal if it achieves the Singleton-like bound. Recently, Chen et al. \cite{Chen2018} generalized the construction of cyclic $r$-LRCs proposed by Tamo et al. \cite{Tamo2015,Tamo2016} and constructed several classes of optimal $(r, δ)$-LRCs of length $n$ for $n\, |\, (q-1)$ or $n\,|\, (q+1)$, respectively in terms of a union of the set of zeros controlling the minimum distance and the set of zeros ensuring the locality. Following the work of \cite{Chen2018,Chen2019}, this paper first characterizes $(r, δ)$-locality of a cyclic code via its zeros. Then we construct several classes of optimal cyclic $(r, δ)$-LRCs of length $n$ for $n\, |\, (q-1)$ or $n\,|\, (q+1)$, respectively from the product of two sets of zeros. Our constructions include all optimal cyclic $(r,δ)$-LRCs proposed in \cite{Chen2018,Chen2019}, and our method seems more convenient to obtain optimal cyclic $(r, δ)$-LRCs with flexible parameters. Moreover, many optimal cyclic $(r,δ)$-LRCs of length $n$ for $n\, |\, (q-1)$ or $n\,|\, (q+1)$, respectively such that $(r+δ-1)\nmid n$ can be obtained from our method.

cs.IT↗

arXiv2020

Binary linear codes with few weights from Boolean functions

Boolean functions have very nice applications in cryptography and coding theory, which have led to a lot of research focusing on their applications. The objective of this paper is to construct binary linear codes with few weights from the defining set, which is defined by some special Boolean functions and some additional restrictions. First, we provide two general constructions of binary linear codes with three or four weights from Boolean functions with at most three Walsh transform values and determine the parameters of their dual codes. Then many classes of binary linear codes with explicit weight enumerators are obtained. Some binary linear codes and their duals obtained are optimal or almost optimal. The binary linear codes obtained in this paper may have a special interest in secret sharing schemes, association schemes, strongly regular graphs.

cs.IT↗

arXiv2019

Two classes of $p$-ary linear codes and their duals

Let $\mathbb{F}_{p^m}$ be the finite field of order $p^m$, where $p$ is an odd prime and $m$ is a positive integer. In this paper, we investigate a class of subfield codes of linear codes and obtain the weight distribution of \begin{equation*} \begin{split} \mathcal{C}_k=\left\{\left(\left( {\rm Tr}_1^m\left(ax^{p^k+1}+bx\right)+c\right)_{x \in \mathbb{F}_{p^m}}, {\rm Tr}_1^m(a)\right) : \, a,b \in \mathbb{F}_{p^m}, c \in \mathbb{F}_p\right\}, \end{split} \end{equation*} where $k$ is a nonnegative integer. Our results generalize the results of the subfield codes of the conic codes in \cite{Hengar}. Among other results, we study the punctured code of $\mathcal{C}_k$, which is defined as $$\mathcal{\bar{C}}_k=\left\{\left( {\rm Tr}_1^m\left(a x^{{p^k}+1}+bx\right)+c\right)_{x \in \mathbb{F}_{p^m}} : \, a,b \in \mathbb{F}_{p^m}, \,\,c \in \mathbb{F}_p\right\}.$$ The parameters of these linear codes are new in some cases. Some of the presented codes are optimal or almost optimal. Moreover, let $v_2(\cdot)$ denote the 2-adic order function and $v_2(0)=\infty$, the duals of $\mathcal{C}_k$ and $\mathcal{\bar{C}}_k$ are optimal with respect to the Sphere Packing bound if $p>3$, and the dual of $\mathcal{\bar{C}}_k$ is an optimal ternary linear code for the case $v_2(m)\leq v_2(k)$ if $p=3$ and $m>1$.

cs.IT↗

arXiv2018

Constructions of involutions over finite fields

An involution over finite fields is a permutation polynomial whose inverse is itself. Owing to this property, involutions over finite fields have been widely used in applications such as cryptography and coding theory. As far as we know, there are not many involutions, and there isn't a general way to construct involutions over finite fields. This paper gives a necessary and sufficient condition for the polynomials of the form $x^rh(x^s)\in \bF_q[x]$ to be involutions over the finite field~$\bF_q$, where $r\geq 1$ and $s\,|\, (q-1)$. By using this criterion we propose a general method to construct involutions of the form $x^rh(x^s)$ over $\bF_q$ from given involutions over the corresponding subgroup of $\bF_q^*$. Then, many classes of explicit involutions of the form $x^rh(x^s)$ over $\bF_q$ are obtained.

cs.IT↗

arXiv2018

Two types of permutation polynomials with special forms

Let $q$ be a power of a prime and $\mathbb{F}_q$ be a finite field with $q$ elements. In this paper, we propose four families of infinite classes of permutation trinomials having the form $cx-x^s + x^{qs}$ over $\mathbb{F}_{q^2}$, and investigate the relationship between this type of permutation polynomials with that of the form $(x^q-x+δ)^s+cx$. Based on this relation, many classes of permutation trinomials having the form $(x^q-x+δ)^s+cx$ without restriction on $δ$ over $\mathbb{F}_{q^2}$ are derived from known permutation trinomials having the form $cx-x^s + x^{qs}$.

cs.IT↗

arXiv2006

A Recursive Method for Determining the One-Dimensional Submodules of Laurent-Ore Modules

We present a method for determining the one-dimensional submodules of a Laurent-Ore module. The method is based on a correspondence between hyperexponential solutions of associated systems and one-dimensional submodules. The hyperexponential solutions are computed recursively by solving a sequence of first-order ordinary matrix equations. As the recursion proceeds, the matrix equations will have constant coefficients with respect to the operators that have been considered.

cs.SC↗