Singleton-Optimal LRCs and Perfect LRCs via Cyclic and Constacyclic Codes

Locally repairable codes (LRCs) have emerged as an important coding scheme in distributed storage systems (DSSs) with relatively low repair cost by accessing fewer non-failure nodes. Theoretical bounds and optimal constructions of LRCs have been widely investigated. Optimal LRCs via cyclic and constacyclic codes provide significant benefit of elegant algebraic structure and efficient encoding procedure. In this paper, we continue to consider the constructions of optimal LRCs via cyclic and constacyclic codes with long code length. Specifically, we first obtain two classes of $q$-ary cyclic Singleton-optimal $(n, k, d=6;r=2)$-LRCs with length $n=3(q+1)$ when $3 \mid (q-1)$ and $q$ is even, and length $n=\frac{3}{2}(q+1)$ when $3 \mid (q-1)$ and $q \equiv 1(\bmod~4)$, respectively. To the best of our knowledge, this is the first construction of $q$-ary cyclic Singleton-optimal LRCs with length $n>q+1$ and minimum distance $d \geq 5$. On the other hand, an LRC acheiving the Hamming-type bound is called a perfect LRC. By using cyclic and constacyclic codes, we construct two new families of $q$-ary perfect LRCs with length $n=\frac{q^m-1}{q-1}$, minimum distance $d=5$ and locality $r=2$

New constructions of optimal (r,δ)(r,\delta)-LRCs via good polynomials

Locally repairable codes (LRCs) are a class of erasure codes that are widely used in distributed storage systems, which allow for efficient recovery of data in the case of node failures or data loss. In 2014, Tamo and Barg introduced Reed-Solomon-like (RS-like) Singleton-optimal $(r,\delta)$-LRCs based on polynomial evaluation. These constructions rely on the existence of so-called good polynomial that is constant on each of some pairwise disjoint subsets of $\mathbb{F}_q$. In this paper, we extend the aforementioned constructions of RS-like LRCs and proposed new constructions of $(r,\delta)$-LRCs whose code length can be larger. These new $(r,\delta)$-LRCs are all distance-optimal, namely, they attain an upper bound on the minimum distance, that will be established in this paper. This bound is sharper than the Singleton-type bound in some cases owing to the extra conditions, it coincides with the Singleton-type bound for certain cases. Combing these constructions with known explicit good polynomials of special forms, we can get various explicit Singleton-optimal $(r,\delta)$-LRCs with new parameters, whose code lengths are all larger than that constructed by the RS-like $(r,\delta)$-LRCs introduced by Tamo and Barg. Note that the code length of classical RS codes and RS-like LRCs are both bounded by the field size. We explicitly construct the Singleton-optimal $(r,\delta)$-LRCs with length $n=q-1+\delta$ for any positive integers $r,\delta\geq 2$ and $(r+\delta-1)\mid (q-1)$. When $\delta$ is proportional to $q$, it is asymptotically longer than that constructed via elliptic curves whose length is at most $q+2\sqrt{q}$. Besides, it allows more flexibility on the values of $r$ and $\delta$

Some new constructions of optimal linear codes and alphabet-optimal (r,δ)(r,\delta)-locally repairable codes

In distributed storage systems, locally repairable codes (LRCs) are designed to reduce disk I/O and repair costs by enabling recovery of each code symbol from a small number of other symbols. To handle multiple node failures, $(r,\delta)$-LRCs are introduced to enable local recovery in the event of up to $\delta-1$ failed nodes. Constructing optimal $(r,\delta)$-LRCs has been a significant research topic over the past decade. In \cite{Luo2022}, Luo \emph{et al.} proposed a construction of linear codes by using unions of some projective subspaces within a projective space. Several new classes of Griesmer codes and distance-optimal codes were constructed, and some of them were proved to be alphabet-optimal $2$-LRCs. In this paper, we first modify the method of constructing linear codes in \cite{Luo2022} by considering a more general situation of intersecting projective subspaces. This modification enables us to construct good codes with more flexible parameters. Additionally, we present the conditions for the constructed linear codes to qualify as Griesmer codes or achieve distance optimality. Next, we explore the locality of linear codes constructed by eliminating elements from a complete projective space. The novelty of our work lies in establishing the locality as $(2,p-2)$, $(2,p-1)$, or $(2,p)$-locality, in contrast to the previous literature that only considered $2$-locality. Moreover, by combining analysis of code parameters and the C-M like bound for $(r,\delta)$-LRCs, we construct some alphabet-optimal $(2,\delta)$-LRCs which may be either Griesmer codes or not Griesmer codes. Finally, we investigate the availability and alphabet-optimality of $(r,\delta)$-LRCs constructed from our modified framework.Comment: 25 page

Bounds and Constructions of Singleton-Optimal Locally Repairable Codes with Small Localities

Constructions of optimal locally repairable codes (LRCs) achieving Singleton-type bound have been exhaustively investigated in recent years. In this paper, we consider new bounds and constructions of Singleton-optimal LRCs with minmum distance $d=6$, locality $r=3$ and minimum distance $d=7$ and locality $r=2$, respectively. Firstly, we establish equivalent connections between the existence of these two families of LRCs and the existence of some subsets of lines in the projective space with certain properties. Then, we employ the line-point incidence matrix and Johnson bounds for constant weight codes to derive new improved bounds on the code length, which are tighter than known results. Finally, by using some techniques of finite field and finite geometry, we give some new constructions of Singleton-optimal LRCs, which have larger length than previous ones

The hull of two classical propagation rules and their applications

Propagation rules are of great help in constructing good linear codes. Both Euclidean and Hermitian hulls of linear codes perform an important part in coding theory. In this paper, we consider these two aspects together and determine the dimensions of Euclidean and Hermitian hulls of two classical propagation rules, namely, the direct sum construction and the $(\mathbf{u},\mathbf{u+v})$-construction. Some new criteria for resulting codes derived from these two propagation rules being self-dual, self-orthogonal or linear complement dual (LCD) codes are given. As applications, we construct some linear codes with prescribed hull dimensions and many new binary, ternary Euclidean formally self-dual (FSD) LCD codes, quaternary Hermitian FSD LCD codes and good quaternary Hermitian LCD codes which are optimal or have best or almost best known parameters according to Datebase at $http://www.codetables.de$. Moreover, our methods contributes positively to improve the lower bounds on the minimum distance of known LCD codes.Comment: 16 pages, 5 table

Intersections of linear codes and related MDS codes with new Galois hulls

Let $\mathrm{SLAut}(\mathbb{F}_{q}^{n})$ denote the group of all semilinear isometries on $\mathbb{F}_{q}^{n}$, where $q=p^{e}$ is a prime power. In this paper, we investigate general properties of linear codes associated with $\sigma$ duals for $\sigma\in\mathrm{SLAut}(\mathbb{F}_{q}^{n})$. We show that the dimension of the intersection of two linear codes can be determined by generator matrices of such codes and their $\sigma$ duals. We also show that the dimension of $\sigma$ hull of a linear code can be determined by a generator matrix of it or its $\sigma$ dual. We give a characterization on $\sigma$ dual and $\sigma$ hull of a matrix-product code. We also investigate the intersection of a pair of matrix-product codes. We provide a necessary and sufficient condition under which any codeword of a generalized Reed-Solomon (GRS) code or an extended GRS code is contained in its $\sigma$ dual. As an application, we construct eleven families of $q$-ary MDS codes with new $\ell$-Galois hulls satisfying $2(e-\ell)\mid e$, which are not covered by the latest papers by Cao (IEEE Trans. Inf. Theory 67(12), 7964-7984, 2021) and by Fang et al. (Cryptogr. Commun. 14(1), 145-159, 2022) when $\ell\neq \frac{e}{2}$

New Explicit Good Linear Sum-Rank-Metric Codes

Sum-rank-metric codes have wide applications in universal error correction and security in multishot network, space-time coding and construction of partial-MDS codes for repair in distributed storage. Fundamental properties of sum-rank-metric codes have been studied and some explicit or probabilistic constructions of good sum-rank-metric codes have been proposed. In this paper we propose three simple constructions of explicit linear sum-rank-metric codes. In finite length regime, numerous good linear sum-rank-metric codes from our construction are given. Most of them have better parameters than previous constructed sum-rank-metric codes. For example a lot of small block size better linear sum-rank-metric codes over ${\bf F}_q$ of the matrix size $2 \times 2$ are constructed for $q=2, 3, 4$. Asymptotically our constructed sum-rank-metric codes are closing to the Gilbert-Varshamov-like bound on sum-rank-metric codes for some parameters. Finally we construct a linear MSRD code over an arbitrary finite field ${\bf F}_q$ with various matrix sizes $n_1>n_2>\cdots>n_t$ satisfying $n_i \geq n_{i+1}^2+\cdots+n_t^2$ , $i=1, 2, \ldots, t-1$, for any given minimum sum-rank distance. There is no restriction on the block lengths $t$ and parameters $N=n_1+\cdots+n_t$ of these linear MSRD codes from the sizes of the fields ${\bf F}_q$.Comment: 32 pages, revised version, merged with arXiv:2206.0233