---
title: Hierarchical Locally Recoverable Codes
url: https://www.emergentmind.com/topics/locally-recoverable-codes-with-hierarchy
type: topic
---

# Hierarchical Locally Recoverable Codes

Locally recoverable codes with hierarchy—hierarchical locally recoverable codes (H-LRCs)—form a broad class of erasure-correcting codes equipped with a multilevel structure of locality. Each code symbol is protected not just by a single small local group, but by a sequence of nested repair groups of increasing size and repair capability. This design enables efficient, progressive local recovery for small numbers of erasures and robust global recovery for larger erasure patterns. The theory underpins modern distributed storage architectures, where multi-tiered repair granularity is critical for reliability, bandwidth minimization, and latency reduction.

## 1. Foundational Definitions: Hierarchical Locality

Consider an \([n,k,d]\) linear code \(\mathcal{C}\) over a finite field \(\mathbb{F}_q\):

- **Single-level locality** \((r,\delta)\): Every symbol \(c_i\) lies in a subset \(S_i\) such that \(\dim(\mathcal{C}|_{S_i})\le r\) and \(\mathcal{C}|_{S_i}\) has minimum distance at least \(\delta\).
- **Two-level hierarchical locality**: For each \(i\), there is a “middle” repair code \(C^{(1)}_i\) of length \(n_1\), dimension \(\le r_1\), minimum distance \(\ge\delta_1\), such that \(C^{(1)}_i\) itself has \((r_2,\delta_2)\)-locality.
- **\(L\)-level hierarchical locality**: Every symbol is protected by a chain of nested repair codes, each with parameters \((r_\ell,\delta_\ell)\), \(\ell=1,\dots,L\), such that each level refines the nesting of the previous.

This structure induces, for each symbol, a chain of increasingly larger recovery sets: the smallest enables correction of few erasures, with higher sets invoked as more erasures occur. Definitions admit both information-symbol-restricted and all-symbol locality variants [1501.06683].

## 2. Minimum Distance Bounds and Recovery Capabilities

The nested locality structure fundamentally impacts the code’s minimum distance. For a code with two-level hierarchical locality \((r_1,\delta_1)\), \((r_2,\delta_2)\):

\[
d \leq n - k + 1
      - \left(\left\lceil\frac{k}{r_2}\right\rceil-1\right) (\delta_2-1)
      - \left(\left\lceil\frac{k}{r_1}\right\rceil-1\right) (\delta_1-\delta_2)
\]
[1501.06683, Theorem 3.1].

In the general \(L\)-level setting:

\[
d \le n-k+1 - \sum_{\ell=1}^{L-1} \left(\left\lceil\frac{k}{r_\ell}\right\rceil-1\right)(\delta_\ell-\delta_{\ell+1}) - \left(\left\lceil\frac{k}{r_L}\right\rceil-1\right)(\delta_L-1)
\]
[1501.06683, Theorem 5.2].

These bounds precisely express the redundancy trade-off induced by introducing multiple locality layers: smaller repair groups enable efficient local recovery but necessarily reduce the minimum distance for a fixed code length and dimension.

## 3. Explicit and Optimal Constructions

Two principal paradigms enable explicit H-LRC constructions:

- **Pyramid code generalizations**: Starting from a systematic \([k+d-1,k,d]\) MDS code, the generator matrix is extended via block splitting to create nested local and mid-level parity structures, achieving codes that saturate the distance bounds under divisibility conditions \(r_2 \mid r_1 \mid k\) [1501.06683].
- **Multilevel evaluation/affine group/coset constructions**: Codes are constructed as evaluations of tailored polynomials over algebraically selected group chains or subspace partitions (e.g., via multiplicative subgroup lattice or nested F-adic expansions) [1501.06683, 2207.10383, 2310.20533]. This approach generalizes to arbitrary levels—each layer of hierarchy is encoded by coset trees and idempotents or by algebraic geometric stratification (Reed–Muller, fiber product, surface codes, etc.).

Recent advances employ algebraic geometry (e.g., surface fibrations, fiber products) and combinatorial techniques (e.g., sum-rank codes, integrated interleaving) to achieve optimal H-LRCs over broad parameter regimes and often with minimized field size requirements [2207.10383, 2602.01464, 2310.20533, 2009.12456].

## 4. Availability, Hierarchical Recovery, and Maximal Recoverability

A major refinement is addition of *availability*: for each symbol, multiple disjoint repair sets exist at each tier, enabling high parallelism and multiple local repair options [2107.13487, 2310.20533]. Examples include Cartesian-product evaluation (fibers in distinct coordinate directions) and multidimensional cyclic/affine schemes [2004.06770]. 

Parallel to this, *maximally recoverable codes with hierarchical locality* (MRCs) correct all theoretically correctable erasure patterns under the locality constraints imposed by the hierarchy. These codes achieve tight minimum distance (for two-level, \(d_{\min} = h_1 + h_2 + \delta + 1\)) and are characterized by explicit combinatorial-independence conditions on the underlying parity-check arrays. General constructions leverage layered Vandermonde and Gabidulin blocks, BCH code design for high-wise independence, and flexible partitioning of local and global parities [1901.02867, 2105.03328, 1809.11158].

## 5. Algebraic, Geometric, and Cyclic H-LRCs

### Algebraic-Geometric Methods

Algebraic geometry offers a powerful toolkit for constructing H-LRCs, leveraging covers of curves, fiber product structures, and (more recently) fibrations of algebraic surfaces. Codes arising from rational, elliptic, Kummer, Hermitian, and Artin–Schreier curve towers provide explicit two- and multilevel hierarchy with high rates and optimal locality parameters [1807.05473, 2310.20533, 2602.01464].

### Cyclic and Multidimensional Codes

Cyclic/LRC codes with hierarchical locality exploit the properties of roots in the code's generator polynomials to embed multi-tiered locality. By tailoring the zero set, one engineers nested repair structures efficiently representable in quasicyclic or tail-biting convolutional form, enabling further extensions to integrated interleaving and multidimensional cyclicity with availability [2004.06770, 2009.12456].

## 6. Parameter Trade-offs, Field Size, and Complexity

The principal trade-off in hierarchical locality is between local recovery efficiency (minimizing the number of symbols accessed for typical small erasure events) and global code parameters—dimension, rate, and minimum distance. Adding hierarchy (smaller \(r_L\), more levels) reduces the local repair burden at the expense of overall dimension (rate loss), as precisely captured in the form of the distance bound. Most optimal constructions require field sizes linear or quasi-polynomial in the code length; number-theoretic and combinatorial tools (e.g., Chebotarev density, explicit BCH-independence) are essential in ensuring parameters are attainable without field-size barriers [1501.06683, 2207.10383, 2105.03328].

Complexity of encoding and local repair is typically \(O(nk)\) for evaluation codes and quadratic in group size for small repairs. Hierarchical codes enable lowest-latency repairs for common single-symbol erasures, with escalation to higher tiers only for more severe local failures [2207.10383, 2107.13487].

## 7. Applications and Open Directions

Hierarchical LRCs are foundational in the architecture of geo-distributed storage and multi-tiered cache networks, where distinct failure domains and repair costs motivate variable, nested recovery granularity. Substantial research focuses on expanding the available parameter regimes (via algebraic geometry, sum-rank codes, and F-adic constructions), reducing field sizes, and integrating availability with hierarchical locality. Extension to more than two levels with all parameters unconstrained, explicit small-field constructions, and optimizing bandwidth/latency trade-offs remain active open problems [2207.10383, 2310.20533]. Asymptotically good H-LRC sequences have been constructed from function field towers, showing deep connections between code theory and arithmetic geometry [1807.05473].

---

**Key references**: [1501.06683], [2107.13487], [1901.02867], [2105.03328], [2207.10383], [2004.06770], [2602.01464], [2310.20533], [2009.12456], [1807.05473], [1809.11158].

Source: https://www.emergentmind.com/topics/locally-recoverable-codes-with-hierarchy