Searcharxiv⌕ Search

arXiv subjects

Cintya Wink de Oliveira Benedito

Publications and source records attributed to Cintya Wink de Oliveira Benedito.

3 recordsLinked to original sources

Decoding Algorithms for MDS Array Codes

We study decoding procedures for a family of MDS array codes previously constructed from the Kronecker product of a superregular matrix and a non-singular matrix over a finite field. By exploiting the particular structure of their parity-check matrices, we develop decoding algorithms for different channel models. For the erasure channel, we provide an algorithm capable of recovering any pattern of up to $n-k$ symbol erasures. For the $q$-ary symmetric channel, we investigate the decoding of one and two symbol errors and give explicit procedures for determining their locations and values. We also consider the particular case in which the superregular matrix is a Vandermonde matrix, showing how its additional algebraic structure can be exploited in the decoding process. Explicit examples over different finite fields are provided to illustrate the proposed procedures.

cs.IT↗

Decoding Algorithms for Symbol-Error Correction in MDS Array Codes via Superregular Matrices

Maximum distance separable (MDS) array codes constitute an important class of error-correcting codes due to their optimal distance properties and their relevance in distributed storage systems. In this paper, we investigate the construction and decoding of MDS array codes over $\mathbb{F}_q^b$ based on superregular matrices, with emphasis on superregular Vandermonde and Cauchy matrices. We propose decoding algorithms for [n,k,d] MDS array codes, where n=m+k and d=m+1, capable of correcting symbol errors without prior knowledge of their locations. Unlike existing approaches restricted to specific parameter settings, the proposed algorithms apply to general configurations and rely on algebraic relations that do not follow from straightforward extensions of previous methods. Specifically, these algorithms correct one symbol error for $m \geq 2$ and two symbol errors for $m \geq 4$. For the two-error case, the decoding procedure admits a simplified form when Vandermonde superregular matrices are employed, reducing computational complexity. We analyze the algebraic structure of the three-symbol-error case, focusing on the most involved configuration in which all errors occur in information symbols, and we discuss how the method may be extended to the general case. These algorithms are computationally efficient for moderate parameter sizes, as they rely on structured algebraic operations over $\mathbb{F}_q^b$ and the solution of small linear systems, making them suitable for distributed storage applications. From an application perspective, the proposed approach provides a flexible alternative to RAID~6 schemes. Unlike RAID~6, which is limited to two parity disks and often requires prior knowledge of error locations, our construction supports general configurations and enables the correction of multiple symbol errors without location information, at the cost of increased algebraic complexity

cs.IT↗

Non-norm criteria and optimal $2\times 2$ space-time block codes over rings of integers of imaginary quadratic fields

Codes arising from algebraic structures over number fields lead naturally to determinant optimization problems governed by arithmetic invariants. In this paper, we investigate $2\times 2$ space-time block codes defined over rings of integers of imaginary quadratic fields, combining tools from algebraic number theory, cyclic algebras, and lattice theory. We prove that the Eisenstein construction over $\mathbb{Z}[ζ_3]$ is optimal within the family considered here: it attains the largest normalized density among the $2\times 2$ space-time block codes arising from rings of integers of imaginary quadratic fields. As a first step, we show that any code that could improve upon the Eisenstein construction must be defined over the ring of integers of $\mathbb{Q}(\sqrt{-d})$ with $d\in\{2,7,11\}$, apart from the classical Gaussian and Eisenstein cases. We then analyze these remaining fields by explicit arithmetic arguments, determine the optimal constructions over them, and show that none of them improves upon the Eisenstein code. A key ingredient in our approach is the derivation of effective non-norm criteria for quadratic extensions of imaginary quadratic fields. These criteria are obtained by local methods involving $2$-adic and $3$-adic valuations together with Hensel's lemma, and they ensure the division algebra property required for full diversity. They may also be of independent interest in the study of division algebras and their applications to coding theory and lattice-based communication.

cs.IT↗