39 research outputs found
On the Combinatorics of Locally Repairable Codes via Matroid Theory
This paper provides a link between matroid theory and locally repairable
codes (LRCs) that are either linear or more generally almost affine. Using this
link, new results on both LRCs and matroid theory are derived. The parameters
of LRCs are generalized to matroids, and the matroid
analogue of the generalized Singleton bound in [P. Gopalan et al., "On the
locality of codeword symbols," IEEE Trans. Inf. Theory] for linear LRCs is
given for matroids. It is shown that the given bound is not tight for certain
classes of parameters, implying a nonexistence result for the corresponding
locally repairable almost affine codes, that are coined perfect in this paper.
Constructions of classes of matroids with a large span of the parameters
and the corresponding local repair sets are given. Using
these matroid constructions, new LRCs are constructed with prescribed
parameters. The existence results on linear LRCs and the nonexistence results
on almost affine LRCs given in this paper strengthen the nonexistence and
existence results on perfect linear LRCs given in [W. Song et al., "Optimal
locally repairable codes," IEEE J. Sel. Areas Comm.].Comment: 48 pages. Submitted for publication. In this version: The text has
been edited to improve the readability. Parameter d for matroids is now
defined by the use of the rank function instead of the dual matroid. Typos
are corrected. Section III is divided into two parts, and some numberings of
theorems etc. have been change
Bounds on Binary Locally Repairable Codes Tolerating Multiple Erasures
Recently, locally repairable codes has gained significant interest for their
potential applications in distributed storage systems. However, most
constructions in existence are over fields with size that grows with the number
of servers, which makes the systems computationally expensive and difficult to
maintain. Here, we study linear locally repairable codes over the binary field,
tolerating multiple local erasures. We derive bounds on the minimum distance on
such codes, and give examples of LRCs achieving these bounds. Our main
technical tools come from matroid theory, and as a byproduct of our proofs, we
show that the lattice of cyclic flats of a simple binary matroid is atomic.Comment: 9 pages, 1 figure. Parts of this paper were presented at IZS 2018.
This extended arxiv version includes corrected versions of Theorem 1.4 and
Proposition 6 that appeared in the IZS 2018 proceeding
On Binary Matroid Minors and Applications to Data Storage over Small Fields
Locally repairable codes for distributed storage systems have gained a lot of
interest recently, and various constructions can be found in the literature.
However, most of the constructions result in either large field sizes and hence
too high computational complexity for practical implementation, or in low rates
translating into waste of the available storage space. In this paper we address
this issue by developing theory towards code existence and design over a given
field. This is done via exploiting recently established connections between
linear locally repairable codes and matroids, and using matroid-theoretic
characterisations of linearity over small fields. In particular, nonexistence
can be shown by finding certain forbidden uniform minors within the lattice of
cyclic flats. It is shown that the lattice of cyclic flats of binary matroids
have additional structure that significantly restricts the possible locality
properties of -linear storage codes. Moreover, a collection of
criteria for detecting uniform minors from the lattice of cyclic flats of a
given matroid is given, which is interesting in its own right.Comment: 14 pages, 2 figure
Optimal Locally Repairable Codes and Connections to Matroid Theory
Petabyte-scale distributed storage systems are currently transitioning to
erasure codes to achieve higher storage efficiency. Classical codes like
Reed-Solomon are highly sub-optimal for distributed environments due to their
high overhead in single-failure events. Locally Repairable Codes (LRCs) form a
new family of codes that are repair efficient. In particular, LRCs minimize the
number of nodes participating in single node repairs during which they generate
small network traffic. Two large-scale distributed storage systems have already
implemented different types of LRCs: Windows Azure Storage and the Hadoop
Distributed File System RAID used by Facebook. The fundamental bounds for LRCs,
namely the best possible distance for a given code locality, were recently
discovered, but few explicit constructions exist. In this work, we present an
explicit and optimal LRCs that are simple to construct. Our construction is
based on grouping Reed-Solomon (RS) coded symbols to obtain RS coded symbols
over a larger finite field. We then partition these RS symbols in small groups,
and re-encode them using a simple local code that offers low repair locality.
For the analysis of the optimality of the code, we derive a new result on the
matroid represented by the code generator matrix.Comment: Submitted for publication, a shorter version was presented at ISIT
201
On a Duality Between Recoverable Distributed Storage and Index Coding
In this paper, we introduce a model of a single-failure locally recoverable
distributed storage system. This model appears to give rise to a problem
seemingly dual of the well-studied index coding problem. The relation between
the dimensions of an optimal index code and optimal distributed storage code of
our model has been established in this paper. We also show some extensions to
vector codes.Comment: A small new section and new references added. A minor error corrected
from the previous versio