User:Yaroslav-Marta/sandbox

Introduction
Locally Recoverable Codes are a family of error correction codes that were introduced first by D. S. Papailiopoulos and A. G. Dimakis and have been widely studied in Information theory due to their applications related to Distributive and Cloud Storage Systems.

The concept of Locally Recoverable Codes (LRC) has been studied by various researchers in the field of coding theory. It is challenging to attribute the introduction of LRC to a specific individual, as the development of coding theory and related concepts is often the result of collaborative efforts and contributions from multiple researchers over time.

Definition
Definition 1.1 Let $$C$$ be a $$[n, k, d]_{q}$$ linear code. For $$i \in \{1, \ldots, n\}$$, let us denote by $$r_{i}$$ the minimum number of other coordinates we have to look at to recover an erasure in coordinate $$i$$. The number $$r_{i}$$ is said to be the locality of the $$i$$-th coordinate of the code. The locality of the code is defined as $$r = max\{r_{i}|i \in \{1, \ldots, n\}\}$$

Definition 1.2 An $$[n, k, d, r]_{q}$$ locally recovorable code (LRC) is an $$[n, k, d]_{q}$$ linear code $$C \in F_q^n$$ with locality $$r$$.

Let $$C$$ be an $$[n, k, d]_{q}$$-locally recoverable code. Then a deleted component can be recovered linearly, i.e. for every $$i \in \{1, \ldots, n\}$$, the space of linear equations of the code contains elements of the form $$ x_{i} = f(x_{i}, \ldots, x_{i_{r}})$$, where $$i_{j} \neq i$$.

Theorem 1.3 Let $$n = (r+1)s$$ and let $$C$$ be an $$[n, k, d]_{q}$$-locally recoverable code having $$s$$ disjoint locality sets of size $$r+1$$. Then, $$d \leq n - k - \lceil\frac{k}{r}\rceil + 2$$

Definition 1.4 An $$[n, k, d, r]_{q}$$-LRC $$C$$ is sai to be optimal if the minimum distance of $$C$$ satisfies $$d = n - k - \lceil\frac{k}{r}\rceil + 2$$ By rewriting this new bound as $$d \leq n - k + 1 - ( \lceil\frac{k}{r}\rceil - 1)$$ we can see that some of the maximum possible minimum distance is sacrificed to obtain the locality $$r$$ in our code.

A locally recoverable code is a linear code such that there is a function that takes set of coordinates of a codeword and some specific coordinte and outputs an appropriate coordinate.