The Complete Hierarchical Locality of the Punctured Simplex Code

TL;DR

This paper introduces a new bound for codes with hierarchical locality, derives all possible localities for a class of punctured Simplex codes, and demonstrates their optimality in hierarchical locality.

Contribution

It provides the first alphabet-dependent bound for hierarchical locality and characterizes the localities of punctured Simplex codes, proving their optimality.

Findings

New alphabet-dependent bound for hierarchical locality

Complete list of localities for punctured Simplex codes

Punctured Simplex codes are optimal with hierarchical locality

Abstract

This paper presents a new alphabet-dependent bound for codes with hierarchical locality. Then, the complete list of possible localities is derived for a class of codes obtained by deleting specific columns from a Simplex code. This list is used to show that these codes are optimal codes with hierarchical locality.

Equations

$$k\le \left(\lceil \frac{n-d+1}{r+\delta -1}\rceil +1\right){\log }_{q}B(r+\delta -1,\delta ).$$

$$k\le \underset{\lambda \in {\mathbb{Z}}_{+}}{\min }\left\{\lambda +k_{\mathrm{opt}}^{(q)}(n-\mu ,d)\right\}$$

$${\left[\genfrac{}{}{0ex}{}{n}{k}\right]}_q=\prod _{i=0}^{k-1}\frac{q^{n-i}-1}{q^{i+1}-1}.$$

$$W_{\mathcal{C}}(x,y)=\sum _{\vec{c}\in \mathcal{C}}{x}^{n-\mathrm{wt}(\vec{c})}{y}^{\mathrm{wt}(\vec{c})}.$$

$$\begin{array}[]{rl}(R.1)&0\leq\rho(X)\leq|X|,\\ (R.2)&X\subseteq Y\quad\Rightarrow\quad\rho(X)\leq\rho(Y),\\ (R.3)&\rho(X)+\rho(Y)\geq\rho(X\cup Y)+\rho(X\cap Y).\end{array}$$

$$d\le n-k+1-\lfloor \frac{k-1}{r_2}\rfloor ({\delta }_2-1)-\lfloor \frac{k-1}{r_1}\rfloor ({\delta }_1-{\delta }_2).$$

$$|I_c|$$

$$=s_e+\sum _{i=1}^{i_2}(a_i+{\delta }_2-1)+i_1({\delta }_1-{\delta }_2)$$

$$=\lambda +i_2({\delta }_2-1)+i_1({\delta }_1-{\delta }_2)$$

$$\ge \lambda +\lfloor \frac{\lambda }{r_2}\rfloor ({\delta }_2-1)+\lfloor \frac{\lambda }{r_1}\rfloor ({\delta }_1-{\delta }_2).$$

$$k\le \underset{\lambda \in {\mathbb{Z}}_{+}}{\min }\left\{\lambda +k_{\mathrm{opt}}^{(q)}(n-\nu ,d)\right\}$$

$$d\le n-k+1-\lfloor \frac{k-1}{r_h}\rfloor ({\delta }_h-1)-\sum _{l=1}^{h-1}\lfloor \frac{k-1}{r_l}\rfloor ({\delta }_l-{\delta }_{l+1}).$$

$$i_l\ge \lfloor \frac{\lambda }{r_l}\rfloor ,1\le l\le h$$

$$|I_c|$$

$$=s_e+\sum _{i=1}^{i_h}{a}_i+\sum _{i=1}^{i_h}({\delta }_h-1)+i_{h-1}({\delta }_{h-1}-{\delta }_h)+i_{h-2}({\delta }_{h-2}-{\delta }_{h-1})+\dots +i_1({\delta }_1-{\delta }_2)$$

$$=\lambda +i_h({\delta }_h-1)+\sum _{l=1}^{h-1}{i}_l({\delta }_l-{\delta }_{l+1})$$

$$\ge \lambda +\lfloor \frac{\lambda }{r_h}\rfloor ({\delta }_h-1)+\sum _{l=1}^{h-1}\lfloor \frac{\lambda }{r_l}\rfloor ({\delta }_l-{\delta }_{l+1}).$$

$$k\le \underset{\lambda \in {\mathbb{Z}}_{+}}{\min }\left\{\lambda +k_{\mathrm{opt}}^{(q)}(n-\nu ,d)\right\}$$

$$\varphi :\{H\in \mathcal{H}(M_{\mathcal{S}})\text{ with }Y\ne H\}$$

$$H$$

$$\mathcal{F}(M|(E-Y))=\{F\cap (E-Y):F\in \mathcal{F}(M)\}$$

$${\rho }_{\mathcal{C}}(H_{\mathcal{C}})={\rho }_{\mathcal{S}}(H_{\mathcal{C}})={\rho }_{M_H}(H_{\mathcal{C}}).$$

$$d_{M_H}=\min \{|A|:A\subseteq H\text{ and }{\rho }_{M_H}(H-A)<{\rho }_{M_H}(H)\}.$$

$${\rho }_{\mathcal{C}}(H-H\cap Y)={\rho }_{M_H}(H)=m-1.$$

$$M_{\mathcal{C}}|H_{\mathcal{C}}=M_{\mathcal{S}}\setminus Y|H_{\mathcal{C}}=M_{\mathcal{S}}\setminus Y|(H-Y)=M_{\mathcal{S}}|H\setminus Y.$$

$$\phi :\{\mathbf{c}:\mathbf{c}\in \mathcal{S}(m),\mathbf{c}\ne 0\}/\sim$$

$$[\mathbf{c}]$$

$$W_{\mathcal{C}}(x,y)=x^{\frac{q^m-q^s}{q-1}}+(q^m-q^{m-s})x^{\frac{q^{m-1}-q^{s-1}}{q-1}}{y}^{q^{m-1}-q^{s-1}}+(q^{m-s}-1)x^{\frac{q^{m-1}-q^s}{q-1}}{y}^{q^{m-1}}.$$

$$\mathrm{wt}(\mathbf{c})=\mathrm{wt}(\pi ({\mathbf{c}}^{\prime }))=\mathrm{wt}({\mathbf{c}}_{{|}_{[n]-Y}}^{\prime })=\mathrm{wt}({\mathbf{c}}^{\prime })-\mathrm{wt}({\mathbf{c}}_{{|}_Y}^{\prime }).$$

$$\mathrm{wt}(\mathbf{c})=n_{\mathcal{C}}-|H-H\cap Y|.$$

$$\mathrm{wt}(\mathbf{c})$$

$$=\frac{q^m-q^s}{q-1}-\frac{q^{m-1}-1}{q-1}+\frac{q^s-1}{q-1}$$

$$=q^{m-1}.$$

$$\mathrm{wt}(\mathbf{c})$$

$$=\frac{q^m-q^s}{q-1}-\frac{q^{m-1}-1}{q-1}+\frac{q^{s-1}-1}{q-1}$$

$$=q^{m-1}-q^{s-1}.$$

Full text

††journal: Designs, Codes and Cryptography

1 Introduction

In modern distributed storage systems (DSSs) failures happen frequently, whence decreasing the number of connections required for node repair is crucial. Locally repairable codes (LRCs) are a subclass of erasure-correcting codes, which allow a small number of failed nodes to be repaired by accessing only a few other nodes. LRCs were introduced in gopalan12 , papailiopoulos12 where the codes can locally repair one failure. They were later extended in prakash12 , kamath13 to be able to locally repair up to $\delta-1$ failures.

An $[n,k,d]$ linear code $\mathcal{C}$ of length $n$, dimension $k$, and minimum hamming distance $d$, has all-symbol locality $(r,\delta)$ if for all code symbols $i\in[n]=\{1,\ldots,n\}$, there exists a set $R_{i}\subseteq[n]$ containing $i$ such that $|R_{i}|\leq r+\delta-1$ and the minimum distance of the restriction of $\mathcal{C}$ to $R_{i}$ is at least $\delta$. We refer to $\mathcal{C}$ as an $(n,k,d,r,\delta)$-LRC and to the sets $R_{i}$ as repair sets or local sets. Related Singleton-type bounds have been derived for various cases in gopalan12 ; papailiopoulos12 ; prakash12 and the first bound with a fixed code alphabet was obtained in cadambe15 for $\delta=2$. Constructions achieving the Singleton-type bounds and the bound in cadambe15 for $\delta=2$ were provided in papailiopoulos12 ; prakash12 ; kamath13 ; rawat16 ; kamath13b ; rawat14b ; tamo14 ; westerback15 ; silberstein18 ; zeh15 .

The authors of agarwal18 proposed the first alphabet-dependent bound on LRCs over the alphabet $Q$ using an upper bound $B(n,d)$ on the cardinality of a code of length $n$ and minimum distance $d$. The global bound is as follows:

[TABLE]

Recently, grezet18LRC provided a different alphabet-dependent bound for LRCs of the same type as the bound in cadambe15 using the Griesmer bound $\mathcal{G}_{q}(k,d):=\sum\limits_{i=0}^{k-1}\lceil d/q^{i}\rceil$. The bound has the following form : For any linear $(n,k,d,r,\delta)$-LRC $\mathcal{C}$ with $\kappa$ the upper bound on the local dimension of the repair sets,

[TABLE]

where $a,b\in\mathbb{Z}$ such that $\lambda=a\kappa+b,0\leq b<\kappa$ and $\mu=(a+1)\mathcal{G}_{q}(\kappa,\delta)-\mathcal{G}_{q}(\kappa-b,\delta)$.

In sasidharan15 , the authors introduced the notion of codes with hierarchical locality (H-LRCs), which optimizes futher the number of nodes contacted for repair according to the number of failures. A 2-level H-LRC is a code where the restrictions to the repair sets are themselves LRCs, thus providing an extra layer of locality. If an H-LRC has locality $[(r_{1},\delta_{1}),(r_{2},\delta_{2})]$, then the number of nodes contacted to repair up to $\delta_{2}-1$ failures is at most $r_{2}$ and the number of nodes contacted for repair is at most $r_{1}$ if the number of failures is $\geq\delta_{2}$ and $\leq\delta_{1}-1$. This concept can be easily generalized to an arbitrary level of hierarchy. A Singleton-type bound for codes with hierarchical locality was derived in sasidharan15 and constructions attaining the bound were provided in sasidharan15 ; ballentine18 .

In Section 3, we show how we can adapt the construction algorithms provided in sasidharan15 to obtain an alphabet-dependent bound for H-LRCs of the same type as in cadambe15 . By construction, this bound is at least as good as the Singleton-type bound derived in sasidharan15 .

In Section 4, we study the locality of one particular construction of LRCs presented in silberstein18 . The general idea of this construction is to remove a Simplex code from another Simplex code of higher dimension. It was shown in silberstein18 that these codes achieve the Griesmer bound and are LRCs with $\delta=2$. The goal in this section is to prove the locality for every dimension and higher $\delta$ and show that this construction leads to optimal LRCs for every locality by the bound (2) and to optimal H-LRCs by the new bound derived in Section 3.

As a first step, we describe the restrictions of dimension $k-1$ and prove the locality for this dimension using combinatorial techniques. These results allow us to derive the weight enumerator of the constructed codes. As a second step, we use a recursive argument to get all the restrictions of these codes to closed sets. Our main contribution is the complete list of possible localities for these codes. In particular, this shows that the constructed codes are alphabet-optimal H-LRCs. Finally, since a special case of this construction leads to the Reed–Muller codes RM$(1,m)$, we obtain as a corollary to our result that the Reed–Muller codes RM$(1,m)$ are H-LRCs and we derive their locality parameters.

2 Preliminaries

We denote the set $\{1,2,\ldots,n\}$ by $[n]$ and the set of all subsets of $[n]$ by $2^{[n]}$. The set of all positive integers including [math] is denoted by $\mathbb{Z}_{+}$.

The Gaussian coefficient, which counts the number of subspaces of dimension $k$ in the vector space $\mathbb{F}_{q}^{n}$, is denoted by

[TABLE]

For a length-$n$ vector $\mathbf{v}$ and a set $I\subseteq[n]$, the vector $\mathbf{v}_{I}$ denotes the restriction of the vector $\mathbf{v}$ to the coordinates in the set $I$. A generator matrix of a linear code $\mathcal{C}$ is $G_{\mathcal{C}}=(\mathbf{g_{1}}\cdots\mathbf{g_{n}})$ where $\mathbf{g_{i}}\in\mathbb{F}_{q}^{k}$ is a column vector for $i\in[n]$. The shortening of a code $\mathcal{C}$ to the set of coordinates $I\subseteq[n]$ is defined by $\mathcal{C}/I=\{\mathbf{c}_{[n]\setminus I}:\mathbf{c}\in\mathcal{C}\text{ such that }c_{i}=0\text{ for all }i\in I\}$ and the restriction of a code $\mathcal{C}$ to $I$ is defined by $\mathcal{C}|_{I}=\{\mathbf{c}_{I}:\mathbf{c}\in\mathcal{C}\}$. For convenience, we call the codes obtained by a restriction restricted codes. Two linear codes $\mathcal{C}$ and $\mathcal{C}^{\prime}$ are called isomorphic if $\mathcal{C}^{\prime}$ can be obtained by a permutation on the coordinates of the codewords of $\mathcal{C}$.

The support of a codeword $\vec{c}\in\mathcal{C}$ is $\mathrm{supp}(\vec{c})=\{i\in[n]:c_{i}\neq 0\}$ and its weight is $\mathrm{wt}(\vec{c})=|\mathrm{supp}(\vec{c})|$. The weight enumerator of $\mathcal{C}$ is defined as

[TABLE]

The Simplex code $\mathcal{S}(m)$, or sometimes $\mathcal{S}_{q}(m)$, is a linear code over $\mathbb{F}_{q}$ obtained via the generator matrix $G_{m}$ consisting of all pairwise linearly independent vectors in $\mathbb{F}_{q}^{m}$. The parameters of $\mathcal{S}(m)$ are therefore $[(q^{m}-1)/(q-1),m,q^{m-1}]$.

Since most of the work in this paper is done on subsets of coordinates and restricted codes, it is preferable to use the notion of an entropy function on the subsets $I\subseteq[n]$ that corresponds to the dimension of the restriction to $I$. We only state here the definition for linear codes but it can be generalize to bigger class of codes (see westerback18 ).

Definition 1

Let $\mathcal{C}$ be a linear code of length $n$ and $I\subseteq[n]$. The entropy associated to $\mathcal{C}$ is the function $H_{\mathcal{C}}:[n]\to\mathbb{Z}$ with $H_{\mathcal{C}}(I)=\dim(\mathcal{C}|_{I})$.

For ease of notation, if the underlying code of $H_{\mathcal{C}}$ is clear, we drop the specification to $\mathcal{C}$. For a subset $I\subseteq[n]$, $H_{\mathcal{C}}(I)$ is equivalent to the rank of the submatrix of the generator matrix formed by the columns $\mathbf{g}_{i}$ with $i\in I$ or the rank function of $I$ in the associated matroid of $\mathcal{C}$. As such, it has the following standard properties.

Proposition 1

Let $\mathcal{C}$ be a linear code of length $n$ and $H$ the entropy function associated to $\mathcal{C}$. For $I,J\subseteq[n]$, we have

$H(I)\leq|I|$, 2. 2.

If $I\subseteq J$ then $H(I)\leq H(J)$, 3. 3.

$H(I\cup J)+H(I\cap J)\leq H(I)+H(J)$.

The entropy function also behaves nicely for restricted codes. Let $I\subseteq[n]$ and $\mathcal{C}|_{I}$ the restriction of $\mathcal{C}$ to the set $I$. Then for $J\subseteq I$, we have $H_{\mathcal{C}|_{I}}(J)=H_{\mathcal{C}}(J)$.

Finally, we define a closure operation on the subsets of $[n]$ for linear codes.

Definition 2

Let $\mathcal{C}$ be a linear code of length $n$ and $I\subseteq[n]$. The closure operator $\mathrm{cl}:2^{[n]}\to 2^{[n]}$ is $\mathrm{cl}(I)=\{e\in[n]:H(I\cup e)=H(I)\}$. A set $I\subseteq[n]$ is a closed set if $\mathrm{cl}(I)=I$.

One can think of the closure operator via the generator matrix $G_{\mathcal{C}}$ of $\mathcal{C}$ where $\mathrm{cl}(I)$ is the set of all columns in $G_{\mathcal{C}}$ contained in the linear span of the columns indexed by $I$.

2.1 Preliminaries on matroids

Since we work on Simplex codes which have a lot of combinatorial properties, we use some tools coming from matroid theory. Matroids have many equivalent definitions in the literature. Here, we choose to present matroids via their rank functions. Much of the contents in this part can be found in more detail in freij18 .

Definition 3

A (finite) matroid $M=(E,\rho)$ is a finite set $E$ together with a rank function $\rho:2^{E}\rightarrow\mathbb{Z}$ such that for all subsets $X,Y\subseteq E$,

[TABLE]

Any matrix $G$ over a field $\mathbb{F}$ generates a matroid $M_{G}=(E,\rho)$, where $E$ is the set of columns of $G$, and $\rho(X)$ is the rank of the submatrix of $G$ formed by the columns indexed by $X$. As elementary row operations preserve the row space of $G(X)$ for all $X\subseteq E$, it follows that row-equivalent matrices generate the same matroid.

Thus, there is a straightforward connection between linear codes and matroids. Let $\mathcal{C}$ be a linear code over a field $\mathbb{F}$. Then any two different generator matrices of $\mathcal{C}$ will have the same row space by definition, so they will generate the same matroid. Therefore, without any inconsistency, we can denote the matroid associated to these generator matrices by $M_{\mathcal{C}}=(E,\rho_{\mathcal{C}})$ where $\rho_{\mathcal{C}}(X)$ is the rank of the submatrix of $G_{\mathcal{C}}$ formed by the columns indexed by $X$.

Two matroids $M_{1}=(E_{1},\rho_{1})$ and $M_{2}=(E_{2},\rho_{2})$ are isomorphic if there exists a bijection $\psi:E_{1}\rightarrow E_{2}$ such that $\rho_{2}(\psi(X))=\rho_{1}(X)$ for all subsets $X\subseteq E_{1}$. We denote two isomorphic matroids by $M_{1}\approx M_{2}$. This implies in particular that if $\mathcal{C}_{1}$ and $\mathcal{C}_{2}$ are two linear codes and $M_{\mathcal{C}_{1}}$ is isomorphic to $M_{\mathcal{C}_{2}}$, then $\mathcal{C}_{1}$ is isomorphic to $\mathcal{C}_{2}$.

One way of defining a new matroid from an existing one is obtained by restricting the matroid to one of its subsets. For a given set $Y\subseteq E$, we define the restriction of $M$ to $Y$ to be the matroid $M|Y=(Y,\rho_{|Y})$ by $\rho_{|Y}(X)=\rho(X)$ for all subsets $X\subseteq Y$. The restriction of $M$ to $E-Y$ is called the deletion of $Y$ and is denoted by $M\setminus Y$. The two previous operations correspond to the restriction and puncturing of a linear code $\mathcal{C}$.

Let $M=(E,\rho)$ be a matroid. The closure operator $\mathrm{cl}:2^{E}\rightarrow 2^{E}$ is defined by $\mathrm{cl}(X)=\{e\in E:\rho(X\cup e)=\rho(X)\}$. A subset $F\subseteq E$ is a flat if $\mathrm{cl}(F)=F$. The collection of flats of $M$ is denoted by $\mathcal{F}(M)$ and forms a lattice under the inclusion. For $F_{1},F_{2}\in\mathcal{F}(M)$, the meet is $F_{1}\wedge F_{2}=F_{1}\cap F_{2}$ and join is $F_{1}\vee F_{2}=\mathrm{cl}(F_{1}\cup F_{2})$. We denote by $\lessdot$ the covering relation, i.e., $F_{1}\lessdot F_{2}$ if $F_{1}\subsetneq F_{2}$ and there is no $F_{3}\in\mathcal{F}(M)$ with $F_{1}\subsetneq F_{3}\subsetneq F_{2}$. A hyperplane $H$ is a flat of $M$ with $\rho(H)=\rho(E)-1$ and the collection of all hyperplanes is denoted by $\mathcal{H}(M)$. One interesting property of $\mathcal{H}(M)$ is that every flat can be expressed as an intersection of hyperplanes, i.e., $\mathcal{F}(M)=\left\{\cap_{H\in\mathcal{Y}}H:\mathcal{Y}\subseteq\mathcal{H}(M)\right\}$. Finally, for $Y\subseteq E$, we can express the flats of $M|Y$ via the flats of $M$ by the relation $\mathcal{F}(M|Y)=\{F\cap Y:F\in\mathcal{F}(M)\}$.

3 Bound for H-LRCs

Codes with hierarchical locality were introduced in sasidharan15 to optimize further the number of nodes contacted for repair. In this section, we first focus on H-LRCs with $2$-level hierarchy and derive an alphabet-dependent bound for these codes based on cadambe15 . Then, we extend this bound to H-LRCs with $h$-level hierarchy.

Definition 4

Let $r_{2}\leq r_{1}$ and $\delta_{2}<\delta_{1}$. An $[n,k,d]$ linear code $\mathcal{C}$ is a code with hierarchical locality having locality parameters $[(r_{1},\delta_{1}),(r_{2},\delta_{2})]$ if for all code symbols $i\in[n]$, there exists a set $M_{i}\subseteq[n]$ such that

$i\in M_{i}$, 2. 2.

$H(M_{i})\leq r_{1}$, 3. 3.

The minimum distance of $\mathcal{C}|_{M_{i}}$ is at least $\delta_{1}$, 4. 4.

$\mathcal{C}|_{M_{i}}$ is an LRC with $(r_{2},\delta_{2})$-locality.

The codes $\mathcal{C}|_{M_{i}}$ are called middle codes and their restrictions of dimension $\leq r_{2}$ and minimum distance $\geq\delta_{2}$ are called local codes. Similarly, the middle sets and local sets are the sets $M_{i}$ and the sets such that the restrictions to them give the local codes. Notice that, contrary to the standard definition of LRCs, the authors of sasidharan15 bound the dimension of the restricted codes instead of the size. It was proven in (sasidharan15, , Theorem 2.1) that any $[n,k,d]$ linear code with hierarchical locality $[(r_{1},\delta_{1}),(r_{2},\delta_{2})]$ satisfies the following Singleton-type bound

[TABLE]

To obtain the alphabet-dependent bound in cadambe15 , the authors proved two results: the construction of a restricted code with small dimension and large size and a lemma about shortened codes. The lemma is the following.

Lemma 1 (cadambe15 , Lemma 2)

Let $\mathcal{C}$ be an $[n,k,d]$ linear code over $\mathbb{F}_{q}$ and $I\subseteq[n]$ such that $H(I)<k$. Then the shortened code $\mathcal{C}/I$ has parameters $[n-|I|,k-H(I),d^{\prime}\geq d]$.

Therefore, to get an alphabet-dependent bound for H-LRCs, we need to construct a set with an upper bound on its entropy and such that its size uses the hierarchical locality property to be as large as possible. To achieve this requirement, we modify the construction algorithm used in the proof of the Singleton-type bound in sasidharan15 .

Lemma 2

Let $\mathcal{C}$ be an $[n,k,d]$ H-LRC with locality $[(r_{1},\delta_{1}),(r_{2},\delta_{2})]$ and $\lambda\in\mathbb{Z}_{+}$ with $0\leq\lambda\leq k$. Then, there exists a set $I_{c}$ such that

• •

$H(I_{c})\leq\lambda$,

• •

$|I_{c}|\geq\lambda+\left\lfloor\frac{\lambda}{r_{2}}\right\rfloor(\delta_{2}-1)+\left\lfloor\frac{\lambda}{r_{1}}\right\rfloor(\delta_{1}-\delta_{2})$.

Proof

We use the construction given in Algorithm 1 to build the set $I_{c}$. In the algorithm, $a_{i_{2}}$ denotes the incremental entropy and $s_{i_{2}}$ is a lower bound on the incremental size. Indeed if $J\subseteq[n]$ and $L_{i}$ is a local set such that $L_{i}\nsubseteq J$ and $H(J\cup L_{i})>H(J)$, then $|\mathrm{cl}(J\cup L_{i})|-|J|\geq H(J\cup L_{i})-H(J)+\delta_{2}-1$. Similarly, if $J\subseteq[n]$ and $M_{j}$ is a middle set such that $M_{j}\nsubseteq J$ and $H(J\cup M_{j})>H(J)$, then $|\mathrm{cl}(J\cup M_{j})|-|J|\geq H(J\cup M_{j})-H(J)+\delta_{1}-1$.

Denote by $I$ the set obtained at the end of Algorithm 1 and by $i_{1}$ and $j_{2}$ the last indices. The total number of local sets visited in this algorithm is $i_{2}\geq\left\lfloor\frac{\lambda}{r_{2}}\right\rfloor$ since the union of $\left\lfloor\frac{\lambda}{r_{2}}\right\rfloor$ arbitrary local sets has an entropy less than $\lambda$. By the same argument, we have $i_{1}\geq\left\lfloor\frac{\lambda}{r_{1}}\right\rfloor$.

Let $s_{e}=\lambda-H(I)$ and $A\subseteq[n]$ such that $H(A)=s_{e}$ and $I\cap A=\emptyset$ which is always possible to construct. Finally, let $I_{c}=I\cup A$. We prove now that $I_{c}$ has the desired properties.

By construction, we have $H(I_{c})=\lambda$. For the size, we have

[TABLE]

Hence, $I_{c}$ has the desired entropy and size. ∎

Thus, we obtain the following bound for 2-level H-LRCs.

Theorem 3.1

Let $\mathcal{C}$ be an $[n,k,d]$ H-LRC over $\mathbb{F}_{q}$ with locality $[(r_{1},\delta_{1}),(r_{2},\delta_{2})]$. Then we have

[TABLE]

where $\nu=\lambda+\left\lfloor\frac{\lambda}{r_{2}}\right\rfloor(\delta_{2}-1)+\left\lfloor\frac{\lambda}{r_{1}}\right\rfloor(\delta_{1}-\delta_{2})$ and $k_{\mathrm{opt}}^{(q)}(n,d)$ is the largest possible dimension of a code of length $n$, for a given alphabet size $q$ and minimum distance $d$.

Proof

The theorem follows from Lemma 1 and 2 in the same manner as in cadambe15 by using the estimation of the size coming from Lemma 2. ∎

Lemma 2 can be seen as a proof of concept that we can modify the algorithms in sasidharan15 to obtain an alphabet-dependent bound. Indeed, the algorithm presented here and the one presented in sasidharan15 are equivalent in the sense that if $\lambda=k-1$ and $I_{c}$ is the set obtained by the algorithm in the proof of Lemma 2, we obtain again the Singleton-type bound (3) via the relation $d\leq n-|I_{c}|$. This implies that the bound (4) is at least as good as the Singleton-type bound (3).

3.1 Extension of the bound to arbitrary levels of hierarchy

In this part, we extend the alphabet-dependent bound to H-LRCs with $h$-level hierarchical locality. The definition and notation of these codes is the following.

Definition 5

An $[n,k,d]$ linear code $\mathcal{C}$ is a code with $h$-level hierarchical locality having locality parameters $[(r_{1},\delta_{1}),(r_{2},\delta_{2}),\ldots,(r_{h},\delta_{h})]$ if for all code symbols $i\in[n]$, there exists a collection of sets $\{L_{1_{i}},L_{2_{i}},\ldots,L_{h_{i}}\}$ such that for every $j\in[h]$, we have

$i\in L_{j_{i}}\subseteq[n]$, 2. 2.

$H(L_{j_{i}})\leq r_{j}$ 3. 3.

The minimum distance of $\mathcal{C}|_{L_{j_{i}}}$ is at least $\delta_{j}$, 4. 4.

$\mathcal{C}|_{L_{j_{i}}}$ is a code with $(h-j)$-level hierarchical locality having locality

parameters $[(r_{j+1},\delta_{j+1}),(r_{j+2},\delta_{j+2}),\ldots,(r_{h},\delta_{h})]$.

A set $L_{j_{i}}$ for $j\in[h]$ is referred to as a level-$j$ set. It was proven in (sasidharan15, , Theorem 3.1) that any $[n,k,d]$ H-LRC with hierarchical locality $[(r_{1},\delta_{1}),\ldots,(r_{h},\delta_{h})]$ satisfies the following Singleton-type bound

[TABLE]

Obtaining an alphabet-dependent bound for these codes is done in the same manner as in the case of $h=2$.

Lemma 3

Let $\mathcal{C}$ be an $[n,k,d]$ H-LRC with locality $[(r_{1},\delta_{1}),\ldots,(r_{h},\delta_{h})]$ and $\lambda\in\mathbb{Z}$ with $0\leq\lambda\leq k$. Then, there exists a set $I_{c}$ such that

• •

$H(I_{c})\leq\lambda$,

• •

$|I_{c}|\geq\lambda+\left\lfloor\frac{\lambda}{r_{h}}\right\rfloor(\delta_{h}-1)+\sum\limits_{l=1}^{h-1}\left\lfloor\frac{\lambda}{r_{l}}\right\rfloor(\delta_{l}-\delta_{l+1})$.

Proof

We use the construction given in Algorithm 2 to build the set $I_{c}$. The basic idea is the same as in the proof of Lemma 2. First, the algorithm identifies the smallest $j$ such that a level-$j$ set $L_{j_{i}}$ has $H(L_{j_{i}})\leq\lambda$. This is important when $\lambda<r_{1}$ or during the process of the algorithm when $\lambda-H(I)$ becomes small. After this set is found, the algorithm visits recursively the sets $L_{l_{i}}$ with $l\in[j,h-1]$ such that each of them is contained in the previous one and identifies a level-$(h-1)$ set $L_{(h-1)_{i}}$. Then, it starts adding to $I$ the level-$h$ sets contained in $L_{(h-1)_{i}}$. When every symbol of $L_{(h-1)_{i}}$ has been added to $I$, it steps back one level, finds a new $L_{(h-1)_{i^{\prime}}}$ that contains new symbols not in $I$, and adds them in the same manner using level-$h$ sets. At some point, the algorithm adds to $I$ a level-$h$ set $L_{h_{i^{\prime\prime}}}$ containing the last remaining symbols of $L_{j_{i}}$. The second while loop is not satisfied anymore and because the last added set was a level-$h$ set, the algorithm adds one to the count of the visited sets per level between $j$ and $h-1$. Next, it pursues by identifying another level-$j$ set $L_{j_{i^{\prime}}}$ satisfying $H(I\cup L_{j_{i^{\prime}}})\leq\lambda$ or, if all level-$j$ sets exceed $\lambda$, the algorithm searches for valid level-$(j+1)$ sets.

As in the proof of Lemma 2, $a_{i_{h}}$ denotes the incremental entropy and $s_{i_{h}}$ is a lower bound on the incremental size corrected accordingly to the level of the added set. The counters $i_{j}$ for $j\in[h]$ are the number of level-$j$ sets visited by the algorithm.

When the algorithm terminates, the counters are lower-bounded by

[TABLE]

since the union of $\left\lfloor\frac{\lambda}{r_{l}}\right\rfloor$ arbitrary level-$l$ sets $L_{j_{l}}$ has an entropy less than $\lambda$.

Denote by $I$ the set obtained at the end of the algorithm and by $i_{1},\ldots,i_{h}$ the last values of the counters. Let $s_{e}=\lambda-H(I)$ and $A\subseteq[n]$ such that $H(A)=s_{e}$ and $I\cap A=\emptyset$. Finally, let $I_{c}=I\cup A$. We prove now that $I_{c}$ has the desired properties. By construction, we have $H(I_{c})=\lambda$. For the size, we have

[TABLE]

Hence $I_{c}$ has the desired entropy and size.

Thus, we obtain the following extension of the bound (4) for $h$-level H-LRCs.

Theorem 3.2

Let $\mathcal{C}$ be an $[n,k,d]$ H-LRC over $\mathbb{F}_{q}$ with locality $[(r_{1},\delta_{1}),\ldots,(r_{h},\delta_{h})]$. Then, we have

[TABLE]

where $\nu=\lambda+\left\lfloor\frac{\lambda}{r_{h}}\right\rfloor(\delta_{h}-1)+\sum\limits_{l=1}^{h-1}\left\lfloor\frac{\lambda}{r_{l}}\right\rfloor(\delta_{l}-\delta_{l+1})$ and $k_{\mathrm{opt}}^{(q)}(n,d)$ is the largest possible dimension of a code of length $n$, for a given alphabet size $q$ and minimum distance $d$.

As in the case $h=2$, for $\lambda=k-1$ and $I_{c}$ the set obtained by Algorithm 2, we obtain again the Singleton-type bound (5) via the relation $d\leq n-|I_{c}|$, which shows that the bound (6) is at least as good as the Singleton-type bound (5). Moreover, the bound (6) yields that H-LRCs achieving any bound on the parameters $[n,k,d]$ only are directly alphabet-optimal H-LRCs by setting $\lambda=0$.

4 Hierarchical locality of $\mathcal{S}(m)-\mathcal{S}(s)$

In silberstein18 , the authors presented four different constructions of linear LRCs with small locality and high availability. The constructions are based on a method developed in farrell70 where the generator matrix of a code is obtained by deleting specific columns from the generator matrix of a Simplex code. In this section, we are interested in the locality of one particular construction in silberstein18 where the deleted columns form again a Simplex code. This construction is highly combinatorial and yields optimal codes achieving the Griesmer bound. The objective is to describe the locality parameters for $\delta>2$ and all dimensions. We show that these codes are locally repairable codes for every dimension implying a complete optimization of the number of nodes contacted for repair according to the number of failures. Moreover, using combinatorial techniques, we establish the complete list of possible locality and show how the local sets can be arranged to form a hierarchical locality. Finally, we prove that these codes are optimal LRCs for all localities and alphabet-optimal H-LRCs by the new bound (6).

We start by formally defining the construction of these linear LRCs.

Construction 1 (silberstein18 Construction IV)

Let $G_{m}$ be an $m\times\frac{q^{m}-1}{q-1}$ generator matrix of the Simplex code $\mathcal{S}(m)$ and $G_{s}$ an $s\times\frac{q^{s}-1}{q-1}$ generator matrix of the Simplex code $\mathcal{S}(s)$ with $s\leq m$. Let $G^{\prime}_{s}$ be the generator matrix obtained by prepending $m-s$ zeros to every column of $G_{s}$. Let $G_{\mathcal{C}}$ be the $m\times\frac{q^{m}-q^{s}}{q-1}$ matrix obtained by deleting the $\frac{q^{s}-1}{q-1}$ columns of $G^{\prime}_{s}$ from $G_{m}$. Then $G_{\mathcal{C}}$ generates a linear code $\mathcal{C}$ over $\mathbb{F}_{q}$ denoted by $\mathcal{S}(m)-\mathcal{S}(s)$.

It was proven in (silberstein18, , Theorem 14) that the code $\mathcal{S}(m)-\mathcal{S}(s)$ with $m\geq 3$ and $s\in[2,m-1]$ is a $[\frac{q^{m}-q^{s}}{q-1},m,q^{m-1}-q^{s-1}]$ linear LRC over $\mathbb{F}_{q}$ with locality $(r=2,\delta=2)$ if $q>2$ or if $q=2$ and $s<m-1$, and with locality $(r=3,\delta=2)$ when $q=2$ and $s=m-1$. Moreover, $\mathcal{S}(m)-\mathcal{S}(s)$ achieves the Griesmer bound by (silberstein18, , Lemma 16). Notice that the code $\mathcal{S}(m)-\mathcal{S}(m-1)$ is isomorphic to the Reed–Muller code RM$(1,m-1)$.

The following example illustrates Construction 1.

Example 1

Let $G_{4}$ and $G_{2}$ be the generator matrices of the binary Simplex codes $\mathcal{S}_{2}(4)$ and $\mathcal{S}_{2}(2)$ respectively. Then $\mathcal{C}=\mathcal{S}_{2}(4)-\mathcal{S}_{2}(2)$ is a binary $[12,4,6]$ code generated by the matrix

{1}$${0}$${0}$${0}$${1}$${1}$${1}$${0}$${0}$${0}$${1}$${1}$${1}$${0}$${1}$${0}$${1}$${0}$${0}$${1}$${0}$${0}$${1}$${1}$${0}$${1}$${1}$${0}$${1}$${1}$${0}$${0}$${1}$${0}$${0}$${1}$${0}$${1}$${0}$${1}$${1}$${0}$${1}$${1}$${1}$${0}$${0}$${0}$${1}$${0}$${0}$${1}$${0}$${1}$${1}$${0}$${1}$${1}$${1}$${1}$$\left(\vbox{\hrule height=25.65344pt,depth=25.65344pt,width=0.0pt}\right.$$\left.\vbox{\hrule height=25.65344pt,depth=25.65344pt,width=0.0pt}\right)

where the shadowed columns $3,4$, and $10$ are deleted.

4.1 Locality of $\mathcal{S}(m)-\mathcal{S}(s)$ with dimension $m-1$

The goal of this subsection is to obtain the locality of $\mathcal{S}(m)-\mathcal{S}(s)$ with a dimension of $m-1$. For this, we make a detour to matroid theory by studying the relation between the hyperplanes of the matroid associated to the Simplex code $\mathcal{S}(m)$ and the hyperplanes of the matroid associated to $\mathcal{S}(m)-\mathcal{S}(s)$. Indeed, the Simplex code has intrinsically a lot of useful combinatorial structures and Construction 1 corresponds to a deletion in matroid theory. Therefore, matroid theory is used here as a tool to understand the closed sets of $\mathcal{S}(m)-\mathcal{S}(s)$ of dimension $m-1$ and to construct the local set for every code symbol. We start by presenting a lemma that gives the relation between a flat and the hyperplanes of the matroid associated to the Simplex code $\mathcal{S}(m)$.

Lemma 4

Let $M_{\mathcal{S}}$ be the matroid associated to the Simplex code $\mathcal{S}(m)$ and $Y\in\mathcal{F}(M_{\mathcal{S}})$ a flat with $\rho(Y)\leq m-1$. Then, for all hyperplanes $H\in\mathcal{H}(M_{\mathcal{S}})$ either $Y\subseteq H$ or $H\cap Y\lessdot Y$.

Proof

Suppose $Y\nsubseteq H$. Then $H\vee Y=E$. Now $\mathcal{F}(M_{\mathcal{S}})$ is isomorphic to the lattice of linear spaces of $\mathbb{F}_{q}^{m}$. Therefore $\mathcal{F}(M_{\mathcal{S}})$ is a modular lattice and the intervals $[H,H\vee Y]_{\mathcal{F}(M_{\mathcal{S}})}$ and $[H\cap Y,Y]_{\mathcal{F}(M_{\mathcal{S}})}$ are two isomorphic sublattices. Since $[H,H\vee Y]_{\mathcal{F}(M_{\mathcal{S}})}=\{H,E\}$, then $[H\cap Y,Y]_{\mathcal{F}(M_{\mathcal{S}})}=\{H\cap Y,Y\}$ and $H\cap Y\lessdot Y$. ∎

Because the extended $\mathcal{S}(s)$ in Construction 1 is a closed set, we use the previous lemma applied to the extended $\mathcal{S}(s)$ to understand the hyperplanes of $\mathcal{S}(m)-\mathcal{S}(s)$ via the hyperplanes of $\mathcal{S}(m)$ and the deletion corresponding to removing the columns in the generator matrix of $\mathcal{S}(m)$.

Proposition 2

Let $M_{\mathcal{S}}=(E_{\mathcal{S}},\rho_{\mathcal{S}})$ be the matroid associated to the Simplex code $\mathcal{S}(m)$ and $M_{\mathcal{C}}=(E_{\mathcal{C}},\rho_{\mathcal{C}})$ the matroid associated to the code $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$. Let also $Y\subseteq E_{\mathcal{S}}$ be such that $M_{\mathcal{S}}\setminus Y=M_{\mathcal{C}}$. Then, the map

[TABLE]

is a bijection.

Proof

By construction, the image of $\phi$ is a subset of $2^{E_{\mathcal{C}}}$. Firstly, we prove that $\mathcal{H}(M_{\mathcal{C}})$ is contained in the image of $\phi$. Secondly, we prove that $\phi$ is well-defined which implies with the first part that $\phi$ is a surjection. Finally, we prove that $\phi$ is an injection.

The flats of $M_{\mathcal{C}}$ can be obtained by the flats of $M_{\mathcal{S}}$ via the relation

[TABLE]

and $F\cap(E-Y)=F-Y=F-F\cap Y$.

Therefore, we have that $\phi(H)\in\mathcal{F}(M_{\mathcal{C}})$. Moreover, since $\rho_{\mathcal{C}}(E_{\mathcal{C}})=m$, all hyperplanes of $M_{\mathcal{C}}$ have a rank equal to $m-1$. Combining this with the fact that $\rho_{\mathcal{C}}(F-F\cap Y)=\rho_{\mathcal{S}}(F-F\cap Y)\leq\rho_{\mathcal{S}}(F)$ implies that if $H_{\mathcal{C}}\in\mathcal{H}(M_{\mathcal{C}})$, then there exists $H\in\mathcal{H}(M_{\mathcal{S}})$ such that $H_{\mathcal{C}}=H-H\cap Y$. Thus $\mathcal{H}(M_{\mathcal{C}})$ is contained in the image of $\phi$.

Let $H\in\mathcal{H}(M_{\mathcal{S}})$ and let $H_{\mathcal{C}}=\phi(H)$ a set. To show that $\phi$ is well-defined, it is enough to prove that $\rho_{\mathcal{C}}(\phi(H))=m-1$, since $\phi(H)\in\mathcal{F}(M_{\mathcal{C}})$. For this, we use an argument from coding theory. Since the restricted code $\mathcal{S}(m)|_{H}$ is isomorphic to the Simplex code $\mathcal{S}(m-1)$, its minimum distance is equal to $q^{m-2}$. By construction of $\mathcal{C}$ and $M_{\mathcal{C}}$, the size of $Y$ is $|Y|=\frac{q^{s}-1}{q-1}$. We distinguish two cases.

Assume that $s<m-1$. Let $M_{H}=M_{\mathcal{S}}|H$. By restriction and deletion definitions, we have

[TABLE]

Let $d_{M_{H}}=q^{m-2}$ be the minimum distance of $M_{H}$. We have

[TABLE]

Since $|H\cap Y|\leq|Y|=\frac{q^{s}-1}{q-1}<q^{m-2}$, we have $\rho_{M_{H}}(H-H\cap Y)=\rho_{M_{H}}(H)=m-1$. Thus, $\rho_{\mathcal{C}}(H_{\mathcal{C}})=m-1$.

Assume now that $s=m-1$. Then, there is a unique hyperplane of $M_{\mathcal{S}}$ that contains $Y$ which is $Y$ itself. Let $H\in\mathcal{H}(M_{\mathcal{S}})$ with $H\neq Y$. By Lemma 4, we have $H\cap Y\lessdot Y$. Since the restricted code $\mathcal{S}(m)|_{H\cap Y}$ is isomorphic to the Simplex code $\mathcal{S}(s-1)$, we have $|H\cap Y|=\frac{q^{s-1}-1}{q-1}$. By using the same argument on the minimum distance of $M_{H}$, we have

[TABLE]

Hence, $\phi$ is well-defined and since the image of $\phi$ contains $\mathcal{H}(M_{\mathcal{C}})$, $\phi$ is a surjection.

To prove the injection, suppose that $\phi(H_{1})=\phi(H_{2})$ for $H_{1},H_{2}\in\mathcal{H}(M_{\mathcal{S}})$ with $Y\neq H_{1},H_{2}$. Then, $H_{1}-H_{1}\cap Y=H_{2}-H_{2}\cap Y$. Now we look at these sets in $M_{\mathcal{S}}$. Since we showed that $\rho_{\mathcal{S}}(H_{1}-H_{1}\cap Y)=m-1$, we have that $\mathrm{cl}(H_{1}-H_{1}\cap Y)=H_{1}$ because $H_{1}$ is a hyperplane containing $H_{1}-H_{1}\cap Y$. Similarly, we have $\mathrm{cl}(H_{2}-H_{2}\cap Y)=H_{2}$. Hence $H_{1}=H_{2}$ and $\phi$ is an injection. ∎

The map in Proposition 2 gives us the relation between the hyperplanes of $M_{\mathcal{C}}$ and the hyperplanes of the matroid $M_{\mathcal{S}}$. We can now completely describe the restrictions of $\mathcal{C}$ to hyperplanes and see that these restrictions are in fact isomorphic to certain codes obtained by Construction 1.

Proposition 3

Let $\mathcal{C}$ be the code $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$, $M_{\mathcal{C}}$ the matroid associated to $\mathcal{C}$, and $H_{\mathcal{C}}\in\mathcal{H}(M_{\mathcal{C}})$. Then $\mathcal{C}|_{H_{\mathcal{C}}}$ is either isomorphic to the code $\mathcal{S}(m-1)-\mathcal{S}(s-1)$ or to $\mathcal{S}(m-1)-\mathcal{S}(s)$.

Proof

Let $M_{\mathcal{S}}$ be the matroid associated with $\mathcal{S}(m)$ and $Y\in\mathcal{F}(M_{\mathcal{S}})$ such that $M_{\mathcal{C}}=M_{\mathcal{S}}\setminus~{}Y$. By Proposition 2, there exists $H\in\mathcal{H}(M_{\mathcal{S}})$ such that $H_{\mathcal{C}}=H-H\cap Y$. We prove the isomorphism by distinguishing two cases depending on Lemma 4.

Suppose that $Y\subseteq H$. By restriction properties, we have

[TABLE]

By construction of the Simplex code, the matroid $M_{\mathcal{S}}|H$ is isomorphic to $M(\mathcal{S}(m-1))$, the matroid associated to the Simplex code $\mathcal{S}(m-1)$. Since $Y\in\mathcal{F}(M_{\mathcal{S}}|H)$, we have that $(M_{\mathcal{S}}|H)|Y=M_{\mathcal{S}}|Y$ is isomorphic to $M(\mathcal{S}(s))$.

Let $E_{H}$ and $E_{\mathcal{S}(m-1)}$ be the ground sets of $M_{\mathcal{S}}|H$ and $M(\mathcal{S}(m-1))$ respectively. Then, there exists a bijection $\varphi:E_{H}\to E_{\mathcal{S}(m-1)}$ that preserves the rank. Let $G_{\mathcal{S}(m-1)}$ be a matrix associated to $M(\mathcal{S}(m-1))$, $\{\mathbf{g}_{i}:i\in E_{\mathcal{S}(m-1)}\}$ the set of columns of $G_{\mathcal{S}(m-1)}$ and $\hat{Y}=\{\varphi(e):e\in Y\}$. Then $M_{\mathcal{S}}|H\setminus Y$ is isomorphic to $M(G_{\mathcal{S}(m-1)}-\{\mathbf{g}_{i}:i\in\hat{Y}\})$. Since the submatrix formed by the columns indexed in $\hat{Y}$ has a rank equal to $s$, we can perform some suitable row operations on $G_{\mathcal{S}(m-1)}$ to transform the columns $\mathbf{g}_{i}$ with $i\in\hat{Y}$ such that they are of the form $\tilde{\mathbf{g}}_{i}=(0,0,\ldots,0,\tilde{g}_{i_{1}},\ldots,\tilde{g}_{i_{s}})\in\mathbb{F}_{q}^{m-1}$. Let $\tilde{G}_{\mathcal{S}(m-1)}$ be the matrix obtained after the row operations. Then the matrix $\tilde{G}_{\mathcal{S}(m-1)}-\{\tilde{\mathbf{g}}_{i}:i\in\hat{Y}\}$ is exactly the generator matrix of the code $\mathcal{S}(m-1)-\mathcal{S}(s)$. By the previous isomorphism, we have $M(\tilde{G}_{\mathcal{S}(m-1)}-\{\tilde{\mathbf{g}}_{i}:i\in\hat{Y}\})\approx M(G_{\mathcal{S}(m-1)}-\{\mathbf{g}_{i}:i\in\hat{Y}\})\approx M_{\mathcal{S}}|H\setminus Y\approx M_{\mathcal{C}}|H_{\mathcal{C}}$. Hence we have indeed that $C|_{H_{\mathcal{C}}}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(s)$.

For the other case, assume now that $Y\nsubseteq H$. By Lemma 4, we have that $H_{\mathcal{C}}=H-H\cap Y$ with $H\cap Y\subsetneq Y$. Now this case follows the previous case in a similar manner by replacing $Y$ by $H\cap Y$ and $s$ by $s-1$ since $M_{\mathcal{S}}|(H\cap Y)$ is isomorphic to $\mathcal{S}(s-1)$. Therefore the same type of isomorphisms yields that $C|_{H_{\mathcal{C}}}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(s-1)$. ∎

It remains to show the existence of such closed sets for every code symbol in order to prove that the code $\mathcal{S}(m)-\mathcal{S}(s)$ is an LRC with locality obtained by restrictions to closed sets of dimension $m-1$.

Theorem 4.1

Let $\mathcal{C}$ be the linear code $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$ of length $n$ with $m\geq 2$ and $s\geq 0$. Then, for all $e\in[n]$ we have the following.

• •

If $s=0$, there is a set $H\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{H}$ is isomorphic to $\mathcal{S}(m-1)$.

• •

If $s=m-1$, there is a set $H\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{H}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(m-2)$.

• •

If $1\leq s\leq m-2$, there exist two sets $H_{1},H_{2}$ containing $e$ with $H_{1}\nsubseteq H_{2}$ such that $\mathcal{C}|_{H_{1}}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(s)$ and $\mathcal{C}|_{H_{2}}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(s-1)$.

Proof

Let $M_{\mathcal{S}}=(E_{\mathcal{S}},\rho_{\mathcal{S}})$ be the matroid associated with the Simplex code $\mathcal{S}(m)$ and $Y\subseteq E_{\mathcal{S}}$ such that $M_{\mathcal{C}}=M_{\mathcal{S}}\setminus Y$. Let $e\in E_{\mathcal{S}}\setminus Y$. The general idea of the proof is the following. First, we construct a specific hyperplane in $\mathcal{H}(M_{\mathcal{S}})$ containing $e$. Secondly, we use Proposition 2 to get a hyperplane of $M_{\mathcal{C}}$. Finally, we apply Proposition 3 to this hyperplane to obtain the isomorphism.

If $s=0$, then the code $\mathcal{C}$ is the Simplex code $\mathcal{S}(m)$ and there is therefore a hyperplane $H\in\mathcal{H}(M_{\mathcal{C}})$ containing $e$ such that $\mathcal{C}|_{H}$ is isomorphic to $\mathcal{S}(m-1)$.

If $s=m-1$, then $Y\in\mathcal{H}(M_{\mathcal{S}})$ and is the only hyperplane containing $Y$. We know that there exists at least one hyperplane in $\mathcal{H}(M_{\mathcal{S}})$ that contains $e$. Let $H_{\mathcal{S}}$ be such a hyperplane. By Proposition 2, $H:=H_{\mathcal{S}}-H_{\mathcal{S}}\cap Y$ is a hyperplane of $M_{\mathcal{C}}$ containing $e$. Applying Proposition 3 yields that $\mathcal{C}|_{H}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(s-1)$ since $Y$ is not contained in $H_{\mathcal{S}}$.

Suppose now that $1\leq s\leq m-2$. Since $\rho_{\mathcal{S}}(Y\cup\{e\})\leq m-1$, there is a hyperplane $H_{Y,e}$ in $\mathcal{H}(M_{\mathcal{S}})$ that contains $Y\cup e$. Therefore, Proposition 2 and Proposition 3 yield that $H_{1}:=H_{Y,e}-Y$ is a hyperplane of $M_{\mathcal{C}}$ containing $e$ and $\mathcal{C}|_{H_{1}}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(s)$.

Let $X\in\mathcal{F}(M_{\mathcal{S}})$ such that $X\lessdot Y$ and let $X_{e}=\mathrm{cl}(X\cup\{e\})\in\mathcal{F}(M_{\mathcal{S}})$. By the hyperplanes property, we have $X_{e}=\bigcap\{H_{\mathcal{S}}:X_{e}\subset H_{\mathcal{S}}\text{ and }H_{\mathcal{S}}\in\mathcal{H}(M_{\mathcal{S}})\}$. Thus, there exists $H_{X,e}\in\mathcal{H}(M_{\mathcal{S}})$ such that $X_{e}\subseteq H_{X,e}$ and $Y\nsubseteq H_{X,e}$. Applying Proposition 2 and Proposition 3 yields that $H_{2}:=H_{X,e}-H_{X,e}\cap Y=H_{X,e}-X$ is a hyperplane of $M_{\mathcal{C}}$ containing $e$ and $\mathcal{C}|_{H_{2}}$ is isomorphic to $\mathcal{S}(m-1)-\mathcal{S}(s-1)$. ∎

Theorem 4.1 can be seen as showing the existence of certain hyperplanes while Proposition 3 is of the form of a uniqueness statement on the parameters size, dimension and minimum distance of the hyperplanes. Therefore, the two combined with Proposition 2 yield the complete characterization of all the hyperplanes of the matroid associated to $\mathcal{S}(m)-\mathcal{S}(s)$ and thus the characterization of all restrictions of $\mathcal{S}(m)-\mathcal{S}(s)$ to closed sets of dimension $m-1$.

4.2 Weight enumerator of $\mathcal{S}(m)-\mathcal{S}(s)$

Before we continue deriving the localities with dimension less than $m-1$, the results developed so far allow us to compute the weight enumerator of the codes obtained by Construction 1. For this, we use a theorem from oxley92 that links the hyperplanes and the codeword supports.

Theorem 4.2 (oxley92 Theorem 9.2.4)

For each linear code $\mathcal{C}$, the hyperplanes of $M_{\mathcal{C}}$ are precisely the complement of the minimal non-empty codeword supports of $\mathcal{C}$.

In order to compute the weight enumerator of $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$, the idea is to associate the codewords of $\mathcal{C}$ with the codewords of $\mathcal{S}(m)$ and the hyperplanes of $M_{\mathcal{S}}$. Then, we can use Lemma 4 to understand the effect of the puncturing of $\mathcal{S}(m)$ on the hyperplanes of $M_{\mathcal{S}}$. We start by a lemma that links the codewords of $\mathcal{S}(m)$ and the hyperplanes of $M_{\mathcal{S}}$.

Lemma 5

Let $\mathcal{S}_{q}(m)$ be the Simplex code of dimension $m$ over $\mathbb{F}_{q}$ and $M_{\mathcal{S}}$ the associated matroid. Define $\sim$ as the equivalence relation on the non-zero codewords of $\mathcal{S}(m)$ given by $\mathbf{c}\sim\mathbf{c}^{\prime}$ if $\mathbf{c}=a\mathbf{c}^{\prime}$ with $a\in\mathbb{F}_{q}^{\ast}$. Then the map

[TABLE]

is a bijection.

Proof

It is clear that $\sim$ is indeed an equivalence relation. Furthermore, the map is well-defined since all multiples of a codewords share the same support. Then, Theorem 4.2 implies that $\varphi$ is a surjection. Now, there are $\frac{q^{m}-1}{q-1}$ equivalence classes of codewords and ${m\brack m-1}_{q}=\frac{q^{m}-1}{q-1}$ hyperplanes in $M_{\mathcal{S}}$ since they are exactly the linear spaces of dimension $m-1$ in $\mathbb{F}_{q}^{m}$. Hence $\varphi$ is a bijection. ∎

We can now state the formula for the weight enumerator of $\mathcal{C}$.

Theorem 4.3

The weight enumerator of the code $\mathcal{C}=\mathcal{S}_{q}(m)-\mathcal{S}_{q}(s)$ over $\mathbb{F}_{q}$ is

[TABLE]

Proof

Let $\mathbf{c}\in\mathcal{C}$ be a non-zero codeword of $\mathcal{C}$ and $Y\subset[n]$ such that $\mathcal{S}(m)|_{[n]-Y}=\mathcal{C}$, where $n$ is the length of $\mathcal{S}(m)$. Since both codes $\mathcal{C}$ and $\mathcal{S}(m)$ have the same dimension, there is a bijection $\pi:\{\mathbf{c}^{\prime}:\mathbf{c}^{\prime}\in\mathcal{S}(m)\}\to\{\mathbf{c}:\mathbf{c}\in\mathcal{C}\}$ given by $\pi(\mathbf{c}^{\prime})=\mathbf{c}^{\prime}_{|_{[n]-Y}}$. Let $\mathbf{c}^{\prime}\in\mathcal{S}(m)$ be such that $\pi(\mathbf{c}^{\prime})=\mathbf{c}$. We have

[TABLE]

Let $H\in\mathcal{H}(M_{\mathcal{S}})$ be the hyperplane obtained by $H=\varphi(\mathbf{c}^{\prime})$ in Lemma 5. Then, $\mathrm{wt}(\mathbf{c}^{\prime})=|\mathrm{supp}(\mathbf{c}^{\prime})|=n-|H|$ and $\mathrm{wt}(\mathbf{c}^{\prime}_{|_{Y}})=|Y|-|H\cap Y|$, since $H$ is the set of coordinates where $\mathbf{c}^{\prime}_{i}=0$ for $i\in H$. Hence, if $n_{\mathcal{C}}$ denotes the length of $\mathcal{C}$, we obtain

[TABLE]

This shows that the weight of $\mathbf{c}$ can be computed from the hyperplanes of $\mathcal{S}(m)$ and their relation with $Y$. By Lemma 4, the hyperplanes of $M_{\mathcal{S}}$ split into two disjoint sets depending on whether they contain $Y$. We consider these two cases separately.

Suppose first that $Y\subset H$. Then, we have

[TABLE]

Now, the number of different hyperplane containing $Y$ in $M_{\mathcal{S}}$ is ${m-s\brack m-s-1}_{q}=\frac{q^{m-s}-1}{q-1}$. By Lemma 5, each hyperplanes yields a different equivalence class of codewords. Since there are $q-1$ codewords in each class, the number of codewords of weight $q^{m-1}$ is equal to $q^{m-s}-1$.

Suppose now that $Y\nsubseteq H$. By Lemma 4 and the flats of the Simplex code, we know that $|H\cap Y|=\frac{q^{s-1}-1}{q-1}$. Then, we have

[TABLE]

The number of hyperplanes not containing $Y$ is ${m\brack m-1}_{q}-{m-s\brack m-s-1}_{q}=\frac{q^{m}-q^{s}}{q-1}$. By the same previous argument, the number of codewords of weight $q^{m-1}-q^{s-1}$ is then equal to $q^{m}-q^{s}$ and this concludes the proof. ∎

4.3 The complete locality of $\mathcal{S}(m)-\mathcal{S}(s)$

In this subsection, we describe the restrictions of $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$ of dimension less than $m-1$ to obtain the rest of the possible localities. The main observation is that Theorem 4.1 was carefully written as a recursive statement on the same type of construction already considered, i.e., a Simplex code removed from another Simplex code. Therefore, we can apply Theorem 4.1 again on the restriction $\mathcal{C}|_{H}$ to obtain, up to isomorphism, the restricted codes of dimension $m-2$ of $\mathcal{C}|_{H}$ and thus of $\mathcal{C}$ as well. Moreover, since every code symbol is contained in a restriction of $\mathcal{C}$ of dimension $m-1$, applying Theorem 4.1 again on the restricted codes implies that every code symbol is also contained in a restriction of $\mathcal{C}$ of dimension $m-2$. This is crucial when considering the locality of $\mathcal{C}$. We start with an example.

Example 2

Let $\mathcal{C}=\mathcal{S}_{2}(4)-\mathcal{S}_{2}(2)$ be the $[12,4,6]$ binary linear code of Example 1. Since $s<m-1$, Theorem 4.1 implies that for all code symbols $e\in[n]$, there exist two sets $H_{1},H_{2}\subseteq[12]$ containing $e$ such that $\mathcal{C}|_{H_{1}}$ is isomorphic to $\mathcal{S}_{2}(3)-\mathcal{S}_{2}(1)$ and $\mathcal{C}|_{H_{2}}$ is isomorphic to $\mathcal{S}_{2}(3)-\mathcal{S}_{2}(2)$. In other words, there are two restrictions $\mathcal{C}|_{H_{1}},\mathcal{C}|_{H_{2}}$ containing $e$ with parameters $[6,3,3]$ and $[4,3,2]$ respectively. Therefore, $\mathcal{C}$ is an LRC with locality $(r=4,\delta=3)$ and also an LRC with locality $(r=3,\delta=2)$. Notice that $r=4$ for the first locality even if the dimension of the restricted codes is equal to $3$. This is due to the fact that $r$ must satisfy $|R_{i}|\leq r+\delta-1$ as opposed to the definition of H-LRCs where $H(R_{i})\leq r_{1}$.

If we apply Theorem 4.1 to $\mathcal{S}_{2}(3)-\mathcal{S}_{2}(1)$, we obtain by isomorphism that there exist $H_{3},H_{4}\subseteq H_{1}$ containing $e$ such that $\mathcal{C}|_{H_{3}}$ is isomorphic to $\mathcal{S}_{2}(2)-\mathcal{S}_{2}(1)$ and $\mathcal{C}|_{H_{4}}$ is isomorphic to $\mathcal{S}_{2}(2)$. $\mathcal{S}_{2}(2)-\mathcal{S}_{2}(1)$ is a $[2,2,1]$ code and thus does not provide an extra locality. On the other hand, $\mathcal{S}_{2}(2)$ is a $[3,2,2]$ code which implies that $\mathcal{C}$ is also an LRC with locality $(r=2,\delta=2)$. Furthermore, by construction of the local sets, $\mathcal{C}$ is an H-LRC with locality $[(3,3),(2,2)]$.

Example 2 illustrates how Theorem 4.1 can be used to obtain the locality for different dimensions. Moreover, because of the recursive form of Theorem 4.1, the local sets can be arranged in such a way that we obtain a hierarchical locality. We break down what happens to the restrictions when we iterate Theorem 4.1 by considering the restriction types, i.e., the different isomorphic restrictions. Suppose for simplicity that $m$ is sufficiently large and $s$ is close to half of $m$. As illustrated in Figure 1, applying Theorem 4.1 on the two restriction types of dimension $m-1$ gives three new restriction types of dimension $m-2$, as two of them lead to the same isomorphic code.

Suppose now that, after some iterations of Theorem 4.1, we obtain the restriction types of dimension $\kappa$ . Let $a,b\in\mathbb{Z}_{+}$ such that all restriction types are of the form $\mathcal{S}(\kappa)-\mathcal{S}(i)$ with $a\leq i\leq b$. Now, the restriction types of dimension $\kappa-1$ can be obtained by applying Theorem 4.1 on the restriction types of dimension $\kappa$. Two extremal cases need to be taken into account. If $a=0$, the only restriction type that we get from $\mathcal{S}(\kappa)-\mathcal{S}(a)$ is $\mathcal{S}(\kappa-1)$. If $b=\kappa-1$, the only restriction type is $\mathcal{S}(\kappa-1)-\mathcal{S}(\kappa-2)$. This is illustrated in Figure 2 where the two dashed boxes represent the conditional new restriction types that exist only if $a>0$ or $b<\kappa-1$. This sketches the high level idea of the proof of the next theorem describing precisely the different restriction types for a given dimension $\kappa$.

Theorem 4.4

Let $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$ with $m\geq 3$ and $0\leq s\leq m-1$. Let $\kappa\in[2,m-1]$ and $i$ be an integer such that $\max\{0,s-m+\kappa\}\leq i\leq\min\{s,\kappa-1\}$. Then for all code symbols $e\in[n]$, there is a set $F_{i}\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{F_{i}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(i)$.

Remark 1

Notice that $\max\{0,s-m+\kappa\}\leq\min\{s,\kappa-1\}$. Indeed we have $\min\{s,\kappa-1\}\geq 0$ since $\kappa\geq 3$ and $s\geq 0$. Since $\kappa\leq m-1$ and $s\leq m-1$, then $s-m+\kappa\leq s-1$ and $s-m+\kappa\leq\kappa-1$. Thus, $\min\{s,\kappa-1\}\geq s-m+\kappa$ and we have that $\max\{0,s-m+\kappa\}\leq\min\{s,\kappa-1\}$. Therefore, the claim of Theorem 4.4 is that there always exist such restrictions for all dimensions $\kappa\in[2,m-1]$.

Proof

We denote by $I_{\kappa}$ the set $I_{\kappa}=\{i\in\mathbb{Z}_{+}:\max\{0,s-m+\kappa\}\leq i\leq\min\{s,\kappa-1\}\}$. Let also $e\in[n]$ be an arbitrary code symbol.

The case $\kappa=m-1$ is exactly Theorem 4.1 with the set $I_{m-1}$ being equal to $\{0\}$ when $s=0$, $I_{m-1}=\{m-2\}$ if $s=m-1$, and $I_{m-1}=\{s-1,s\}$ if $1\leq s\leq m-2$.

We now prove the theorem by doing a reverse induction on $\kappa$ as long as $\kappa\geq 3$. Assume that the claim is true for $\kappa$, i.e., for all $j\in I_{\kappa}$ and for all code symbol $e\in[n]$, there exists a set $W_{j}\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{W_{j}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(j)$. The goal is to construct the restrictions of dimension $\kappa-1$.

Let $b=\min\{s,\kappa-1\}$. By the induction hypothesis, there exists a set $W_{b}\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{W_{b}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(b)$.

If $b=\kappa-1$ then applying Theorem 4.1 on $\mathcal{C}^{\prime}=\mathcal{S}(\kappa)-\mathcal{S}(\kappa-1)$ yields that for all symbols $e^{\prime}\in[n^{\prime}]$, with $n^{\prime}$ being the length of the code $\mathcal{C}^{\prime}$, there is a set $F\subseteq[n^{\prime}]$ containing $e^{\prime}$ such that $\mathcal{C}^{\prime}|_{F}$ is isomorphic to $\mathcal{S}(\kappa-1)-\mathcal{S}(\kappa-2)$. Therefore, there exists a set $F_{b-1}\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{F_{b-1}}$ is isomorphic to $\mathcal{S}(\kappa-1)-\mathcal{S}(\kappa-2)$ since we have that $\mathcal{C}|_{F_{b-1}}=(\mathcal{C}|_{W_{b}})|_{F_{b-1}}$. Since $b=\kappa-1$, then we have that $\kappa-2=b-1=\min\{s,\kappa-2\}$.

If $b=s<\kappa-1$, then the third case of Theorem 4.1 applied to $\mathcal{S}(\kappa)-\mathcal{S}(s)$ and the corresponding isomorphisms yields that there exists a set $F_{b}$ such that $\mathcal{C}|_{F_{b}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(b)$. Moreover, since $b<\kappa-1$, then $b=\min\{s,\kappa-2\}$.

Let $j\in[\max\{0,s-m+\kappa\},\min\{s,\kappa-1\}-1]$. Notice that this interval might be empty for example if $s=m-1$. If the interval is not empty, let $W_{j}$ the set containing $e$ by the induction hypothesis such that $\mathcal{C}|_{W_{j}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(j)$. Since by definition of the interval, we have that $j<\kappa-1$, we can apply Theorem 4.1 to obtain a set $F_{i}\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{F_{i}}$ is isomorphic to $\mathcal{S}(\kappa-1)-\mathcal{S}(j)$.

Finally, if $\max\{0,s-m+\kappa\}>0$, then let $a=s-m+\kappa$ and $W_{a}$ containing $e$ such that $\mathcal{C}|_{W_{a}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(a)$. Since $a\geq 1$, we can use the third case of Theorem 4.1 applied to $\mathcal{S}(\kappa)-\mathcal{S}(a)$ to obtain a set $F_{a-1}\subseteq[n]$ such that $\mathcal{C}|_{F_{a-1}}$ is isomorphic to $\mathcal{S}(\kappa-1)-\mathcal{S}(a-1)$. Moreover, we have $a-1=\max\{0,s-m+\kappa-1\}$.

Hence, we have constructed a set for $e$ isomorphic to $\mathcal{S}(\kappa-1)-\mathcal{S}(i)$ for all $i$ in the set

[TABLE]

Since $e$ was an arbitrary symbol, this concludes the proof. ∎

As a corollary of Theorem 4.4, we have that $\mathcal{C}$ is an LRC as long as the restriction types have a minimum distance greater than or equal to $2$. We choose to give here the length, dimension and minimum distance of the local codes to avoid confusion on the parameter $r$ and $r_{1}$ in the two definitions of LRCs and H-LRCs.

Corollary 1

Let $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$ with $m\geq 3$ and $0\leq s\leq m-1$. Let $\kappa\in[3,m-1]$ and $i$ be an integer such that $\max\{0,s-m+\kappa\}\leq i\leq\min\{s,\kappa-1\}$. Then $\mathcal{C}$ is an LRC with local code parameters

[TABLE]

Furthermore, for $\kappa=2$, we have the following local parameters:

• •

If $0\leq s\leq m-2$, then $\mathcal{C}$ is an LRC with local parameters $[q+1,2,q]$

• •

If $q>2$ and $1\leq s\leq m-1$ then $\mathcal{C}$ is an LRC with local parameters $[q,2,q-1]$.

Proof

When $\kappa\geq 3$, Theorem 4.4 guaranties that for every code symbol $e\in[n]$, there is a restriction containing $e$ isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(i)$. Therefore $\mathcal{C}$ is an LRC code with the parameters of the local sets given by the parameters of $\mathcal{S}(\kappa)-\mathcal{S}(i)$ with a minimum distance greater or equal than $2$.

When $\kappa=2$, we need to distinguish some cases as the minimum distance might be smaller than $2$. Let $I_{2}=\{i:\max\{0,s-m+2\}\leq i\leq\min\{s,1\}\}$ be the range of the parameter $i$ when $\kappa=2$. If $s=0$, then $I_{2}=\{0\}$ and by Theorem 4.4, there is a restriction containing $e$ isomorphic to $\mathcal{S}(2)$. The parameters of the restriction is then $[q+1,2,q]$ and the minimum distance is thus greater or equal than $2$.

If $1\leq s\leq m-2$, then $s-m+2\leq 0$ so $\max\{0,s-m+2\}=0$ and $I_{2}=\{0,1\}$. By Theorem 4.4, every code symbol is contained in a restriction isomorphic to $\mathcal{S}(2)$ and in another restriction isomorphic to $\mathcal{S}(2)-\mathcal{S}(1)$. Since the parameters of $\mathcal{S}(2)-\mathcal{S}(1)$ are $[q,2,q-1]$, then the minimum distance is greater or equal than $2$ if and only if $q>2$.

Finally, if $s=m-1$, then $s-m+2=1$ and $I_{2}=\{1\}$. Thus, $\mathcal{C}$ is an LRC code with locality parameters $[q,2,q-1]$ if $q>2$. ∎

Notice that when $\kappa=2$, we obtain again the locality proven in silberstein18 . We explain next why the list of localities of Corollary 1 is the complete list of possible localities with closed local sets. In Corollary 1, the list of different localities is established by removing the restrictions leading to codes with minimum distance $1$ from the list of Theorem 4.4. But the list of Theorem 4.4 relies on consecutive iterations of Theorem 4.1, where Proposition 3 can be applied at each iteration guaranteeing the uniqueness of the restriction types. Therefore, Theorem 4.4 contains the complete list of restriction types and Corollary 1 contains the complete list of possible localities with closed local sets.

We will now look at two special cases of Theorem 4.4 and Corollary 1. In the first example, we study the case when $s=0$.

Example 3

Let $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(0)=\mathcal{S}(m)$ with $m\geq 3$. Let $I_{\kappa}=\{i:\max\{0,s-m+\kappa\}\leq i\leq\min\{s,\kappa-1\}\}$ be the range of the parameter $i$ in Theorem 4.4. Since $s=0$, we have that $I_{\kappa}=0$. Then Theorem 4.4 and Corollary 1 imply that $\mathcal{C}$ is an LRC code with local parameters $\left[\frac{q^{\kappa}-1}{q-1},\kappa,q^{\kappa-1}\right]$ for all $\kappa\in[2,m-1]$. This result was already proven in grezet18LRC .

For the second example, we look at the case when $s=m-1$ and $\mathcal{C}$ corresponds to the Reed–Muller code RM$(1,m-1)$.

Example 4

Let $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(m-1)$ with $m\geq 3$ corresponding to the Reed–Muller code RM$(1,m-1)$. Let $I_{\kappa}$ the set $I_{\kappa}=\{i:\max\{0,s-m+\kappa\}\leq i\leq\min\{s,\kappa-1\}\}$. Since $s=m-1$, we have $I_{\kappa}=\{\kappa-1\}$. Hence Theorem 4.4 and Corollary 1 imply that RM$(1,m-1)$ is an LRC with local parameters $[q^{\kappa-1},\kappa,q^{\kappa-1}-q^{\kappa-2}]$ for all $\kappa\in[3,m-1]$ and the local codes are isomorphic to the Reed–Muller code RM$(1,\kappa-1)$. Furthermore, if $q>2$, then RM$(1,m-1)$ is also an LRC with local parameters $[q,2,q-1]$. Moreover, since every locality is obtained by restrictions on the previous local sets, we get that the Reed–Muller codes RM$(1,m-1)$ are H-LRCs with $(m-3)$-level hierarchy over the binary field and with $(m-2)$-level hierarchy over $\mathbb{F}_{q}$ with $q>2$.

We conclude this section by showing the optimality of $\mathcal{S}(m)-\mathcal{S}(s)$ with respect to the bounds (2) and (6) and present a table containing binary codes obtained by Construction 1 and their hierarchical localities.

Theorem 4.5

Let $\mathcal{C}=\mathcal{S}(m)-\mathcal{S}(s)$ with $m\geq 3$ and $0\leq s\leq m-1$. Then $\mathcal{C}$ is an optimal LRC for every locality described in Corollary 1. Moreover, $\mathcal{C}$ is an optimal H-LRC with

[TABLE]

Proof

Since $\mathcal{C}$ already achieves the Griesmer bound on the parameters $[n,k,d]$, it will achieves the bound (2) for $\lambda=0$ and thus be an optimal LRC code for each locality described in Corollary 1.

We exhibit now a particular chain of subsets that yields the hierarchical locality. Vaguely speaking, the chain is obtained by taking the left foremost diagonal restriction types in Figures 1 and 2.

Formally, let $e\in[n]$ be an arbitrary code symbol. By Theorem 4.4, for all $\kappa\in[2,m-1]$, there exists a set $F_{\kappa}\subseteq[n]$ containing $e$ such that $\mathcal{C}|_{F_{\kappa}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(\max\{0,s-m+\kappa\})$. Define $F_{m}=[n]$. Each $F_{\kappa}$ was obtained in the proof of Theorem 4.4 by applying Theorem 4.1 to $\mathcal{C}|_{F_{\kappa+1}}$. Therefore, we have $F_{2}\subseteq F_{3}\subseteq\cdots\subseteq F_{m-1}\subseteq[n]$. Moreover, because $\mathcal{C}|_{F_{\kappa}}$ is isomorphic to $\mathcal{S}(\kappa)-\mathcal{S}(\max\{0,s-m+\kappa\})$, for every $a\in F_{\kappa}$, there exists such a chain $F_{2,a}\subseteq F_{3,a}\subseteq\cdots\subseteq F_{\kappa-1,a}$ with $a\in F_{l,a}$ and $\mathcal{C}|_{F_{l,a}}$ is isomorphic to $\mathcal{S}(l)-\mathcal{S}(\max\{0,s-m+l\})$ for $l\in[2,\kappa-1]$.

Now if $d$ is the minimum distance of $\mathcal{C}$, then the minimum distance of $\mathcal{S}(\kappa)-\mathcal{S}(\max\{0,s-m+\kappa\})$ is

[TABLE]

Notice that $\delta_{\kappa}$ is less than $2$ if and only if $q=2$, $s=m-1$, and $\kappa=2$ by Corollary 1.

Hence, if $q>2$ or $q=2$ and $s<m-1$, then $\mathcal{C}$ is an H-LRC with $(m-2)$-level hierarchical locality having locality parameters

[TABLE]

When $q=2$ and $s=m-1$, $\mathcal{C}$ is an H-LRC with $(m-3)$-level hierarchical locality having locality parameters

[TABLE]

Finally, $\mathcal{C}$ achieves the new alphabet-dependent bound (6) for H-LRC codes when $\lambda=0$ and $k_{\mathrm{opt}}^{q}$ is taken to be the Griesmer bound. ∎

The table in Figure 3 represents the binary linear codes obtained by the construction $\mathcal{S}_{2}(m)-\mathcal{S}_{2}(s)$. The columns are sorted by $s\in[0,4]$ and the rows are sorted by $m\in[2,6]$. Moreover, the lines describes the locality of dimension $m-1$ obtained by Theorem 4.1. Therefore, if $\mathcal{C}$ and $\mathcal{C}^{\prime}$ are two codes in the table such that there exists a path from $\mathcal{C}^{\prime}$ to $\mathcal{C}$, then $\mathcal{C}$ has locality $\mathcal{C}^{\prime}$, i.e., each symbol of $\mathcal{C}$ is contained in a restriction isomorphic to $\mathcal{C}^{\prime}$. Figure 3 gives also the hierarchical locality of a binary code via the paths to smaller codes. Finally, the codes in blue are the binary Reed–Muller codes RM$(1,m-1)$.

5 Conclusion

In this paper, we presented a new alphabet-dependent bound for codes with hierarchical locality. Then, we worked on a class of codes obtained by deleting a Simplex code from another Simplex code of higher dimension. We derived the weight enumerator of these codes and the complete list of possible localities with closed repair sets. Finally, we used this list to show that these codes are optimal LRCs and optimal H-LRCs by the new bound.

Acknowledgements.

This work was supported in part by the Academy of Finland, under grants #276031, #282938, and #303819, and by the Technical University of Munich – Institute for Advanced Study, funded by the German Excellence Initiative and the EU 7th Framework Programme under grant agreement #291763, via a Hans Fischer Fellowship.