---
title: Local Decodable Information
url: https://www.emergentmind.com/topics/local-decodable-information
type: topic
---

# Local Decodable Information

Searching arXiv for the cited papers and related terminology to ground the article.
Local decodable information is the organization of information so that a demanded symbol, fragment, or global hypothesis can be recovered from a small portion of an encoded object, transmitted codeword, or locally weighted observation rather than by reading the entire representation. In coding theory, the canonical form is the locally decodable code, where each message symbol is recoverable from few codeword symbols; related formulations appear in private information retrieval, index coding, and locally decodable compression. In a distinct but closely related use, “local information” can denote spatially resolved reliability information that changes decoding weights, as in quantum error correction with nonuniform noise [1812.05566][1910.08745][1909.06444][1912.09635].

## 1. Information-theoretic core: locality, rate, and capacity

A locally decodable code (LDC) maps \(K\) independent source symbols \(W_1,\dots,W_K\), each of entropy \(L_w\) bits, to \(M\) coded symbols \(X_1,\dots,X_M\), each of entropy \(L_x\) bits, such that every \(W_k\) is recoverable from some decoding set of exactly \(N\) coded symbols. The locality is \(N\), the symbol rate is \(R_s = L_w/L_x\), and the code rate is \(R_c = (K/M)R_s\) [1812.05566].

Two structural subclasses isolate different notions of uniform usefulness. A perfectly smooth LDC requires that, for each message, every coded symbol appears equally often across its decoding sets. A universal LDC weakens this to the requirement that every coded symbol appear in some decoding set for every message. Perfect smoothness implies universality, but the main capacity and length results already hold at the universal level [1812.05566].

For fixed \(N\) and \(K\), the maximal achievable symbol rate over all code lengths is
\[
C^*(N,K)=N\left(1+\frac{1}{N}+\frac{1}{N^2}+\cdots+\frac{1}{N^{K-1}}\right)^{-1}.
\]
This is the capacity of perfectly smooth LDCs and of universal LDCs. It is an information-theoretic converse that applies to arbitrary, possibly non-linear encoders. The same work shows that capacity is attained only when the code length is at least
\[
M_{\min}(N,K)=N^K,
\]
and gives explicit perfectly smooth constructions with \(M=N^K\), so the exponential length requirement is tight [1812.05566].

The converse is structural as well as numerical. In any capacity-achieving universal LDC, the entropy inequalities along a full \(N\)-ary decoding tree are all tight, which forces non-zero conditional entropy for each coded symbol, identical interference structure inside any decoding set for the non-demanded messages, distinct desired information about the target message, and an information-theoretic independence property across the \(N\) symbols in a decoding set. The construction that meets capacity indexes coded symbols by \(\vec p=(p_1,\dots,p_K)\in[0:N-1]^K\), partitions them into \(N\) groups according to \(\sum_i p_i \bmod N\), and aligns interference so that the desired sub-symbol can be solved from one symbol drawn from each group [1812.05566].

This capacity viewpoint reframes local decodable information as a packing problem: how many message bits can be stored per coded-symbol bit while guaranteeing recovery from only \(N\) coded symbols. The answer is exact, and it shows that high symbol rate, strict locality, and universal participation of all coded symbols force exponential redundancy in \(K\) [1812.05566].

## 2. Retrieval and broadcast formulations

The same locality principle appears in index coding, where each receiver wants one message and holds side information about others. A locally decodable index code allows receiver \(i\) to query only a subset \(R_i\) of the broadcast codeword; its locality is \(r_i=|R_i|/M\), the overall locality is \(r=\max_i r_i\), and the average locality is \(r_{\mathrm{avg}}=\frac1N\sum_i r_i\) [1901.05908].

For single-unicast problems, the minimum possible locality is \(r=1\). At that point, the optimal broadcast rate is exactly the fractional chromatic number of the interference graph:
\[
\beta_G^*(1)=\chi_f(\bar G_u),
\]
where \(\bar G_u\) is the interference graph obtained from the complement of the underlying undirected side-information graph [1910.08745]. This identifies the extreme point at which each receiver reads exactly one codeword symbol per demanded message symbol.

Beyond that extreme, the rate–locality tradeoff becomes graph-specific. For a directed cycle on \(N\) receivers, the optimal vector linear tradeoff is
\[
\beta_{G,q}^*(r)=\max\left\{N-1,\frac{N(N-1-r)}{N-2}\right\}, \qquad r\ge 1.
\]
Thus the minimum locality at which the optimal rate \(N-1\) is achievable is \(2(N-1)/N\). For scalar linear codes on the broader class with \(\operatorname{minrk}_q(G)=N-1\), if the smallest directed cycle has length \(N_c\ge 3\), then every rate-\(N-1\) scalar linear code must satisfy \(r=2\) and
\[
r_{\mathrm{avg}}=\frac{N+N_c-2}{N},
\]
and both bounds are tight [1901.05908]. For the directed 3-cycle, the optimal tradeoff over all codes, including non-linear codes, is
\[
\beta_G^*(r)=\max\{6-3r,2\}, \qquad r\ge 1
\]
[1910.08745].

Private information retrieval provides a second retrieval-theoretic interpretation. In the \(PIR_{\max}\) model, the user downloads one answer of size \(L_x\) from each of \(N\) replicated databases, and the rate is \(R=L_w/(NL_x)\). The universal-LDC correspondence implies
\[
C_{PIR_{\max}(N,K)}=C_{RIR_{\max}(N,K)}=
\left(1+\frac{1}{N}+\cdots+\frac{1}{N^{K-1}}\right)^{-1},
\]
and any capacity-achieving \(PIR_{\max}\) or \(RIR_{\max}\) scheme must have minimum upload cost \((K-1)\log N\) per database. Relaxing privacy to repudiability does not improve either the capacity or the minimum upload cost under the maximum-download metric [1812.05566].

These broadcast and retrieval formulations make locality a communication-theoretic quantity: it measures how much of the globally encoded information each receiver or querier must actually access.

## 3. Compression and randomized encoding

In source coding, local decodable information is the ability to read or modify a small fragment of compressed data without touching the entire file. For i.i.d. memoryless sources \(X^n\sim p_X\), one universal compression scheme achieves rate \(R\le H(p_X)+\varepsilon\), vanishing block error probability, and average local decoding and update costs that are linear in fragment size. Specifically, for contiguous fragments of length \(s\),
\[
\ravg(s)\le
\begin{cases}
\alpha_1 \frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon}, & s\le \alpha_1'' \frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon},\\[4pt]
\alpha_1' s, & s> \alpha_1'' \frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon},
\end{cases}
\]
and analogously for updates,
\[
\tavg(s)\le
\begin{cases}
\alpha_2 \frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon}, & s\le \alpha_2'' \frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon},\\[4pt]
\alpha_2' s, & s> \alpha_2'' \frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon}.
\end{cases}
\]
In particular,
\[
\ravg(1)=\Theta\!\left(\frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon}\right), \qquad
\tavg(1)=\Theta\!\left(\frac{1}{\varepsilon^2}\log\frac{1}{\varepsilon}\right),
\]
with total encoding and decoding complexity \(O(n\log n)\). A second scheme achieves the same near-entropy rate with worst-case single-symbol locality \(O(\log\log n)\) [1909.06444].

Randomized encoding changes the LDC landscape in a different way. In the shared-randomness model for Hamming errors, there are efficient randomized-encoding LDCs with \(n=O(k)\), constant rate, and query complexity
\[
q=O\!\left(\log\frac{1}{\varepsilon}\right).
\]
For oblivious channels in the Hamming model, the same rate is achievable with
\[
q=O\!\left(\log k \cdot \log\frac{1}{\varepsilon}\right).
\]
For edit errors, both the shared-randomness and oblivious-channel constructions achieve
\[
q=\operatorname{polylog} k \cdot \log\frac{1}{\varepsilon}
\]
at constant rate [2001.03692]. In the flexible-failure formulation, there are also constructions with \(n=O(k\log k)\) and query complexity \(O(\log k\log(1/\varepsilon))\) in the Hamming shared-randomness model, \(O(\log^2 k\log(1/\varepsilon))\) for Hamming oblivious channels, and \(\operatorname{polylog} k\log(1/\varepsilon)\) for edit errors [2001.03692].

A converse in the same work shows that randomized encoding does not help against stronger adversaries under a symmetry condition: if a randomized-encoding LDC for Hamming errors exists with message length \(k\), block length \(n\), error tolerance \(\delta\), and \(r\) queries, then there also exists a standard deterministic-encoding LDC with message length \(k/2\), the same \(n\) and \(r\), and decoding success \(1-2\varepsilon\) [2001.03692]. The gain therefore comes from hiding encoder randomness or restricting the channel.

## 4. Insertions, deletions, and hard limits

Insertion and deletion errors destroy coordinate alignment, so local decodability requires a local synchronization mechanism in addition to ordinary error correction. A general compiler transforms any Hamming LDC or LCC into a binary insdel LDC or LCC with only constant-factor loss in rate and error radius and with polylogarithmic blowup in locality. Concretely, if the outer Hamming code has locality \(\ell_{\text{out}}\), then the resulting insdel code has locality
\[
\ell_{\text{out}}\cdot O(\log^4 n')
\]
for LDCs and
\[
\ell_{\text{out}}\cdot O(\log^5 n')
\]
for LCCs, codeword length \(n=Bm\) with \(B=O(B_{\text{in}}\log|\mathcal E|)\), and insdel tolerance \(\Theta(\delta_{\text{out}}\delta_{\text{in}})\) [2010.11989]. The compiler uses block decomposition, buffers, indexed inner codewords, and a noisy binary search that recovers the logical Hamming block corresponding to a queried insdel location.

The existence of such compilers does not imply that constant-query insdel local decoding is possible. In fact, constant-query deletion LDCs do not exist at all. For every \(\varepsilon>0\), every constant \(k\), and every alphabet \(\Sigma\), there is a constant \(C=C(\varepsilon,k,|\Sigma|)\) such that for all message lengths \(n>C\), no \(k\)-query deletion LDC \(C:\Sigma^n\to\Sigma^M\) can tolerate an \(\varepsilon\)-fraction of deletions, for any block length \(M\). By a reduction of Blocki et al., the same impossibility extends to constant-query deletion LCCs [2311.08399]. This sharply separates Hamming locality from deletion locality: constant-query local decodable information exists under substitutions but fails under deletions.

Between these two facts lies a large constructive region. Applying the Hamming-to-InsDel compiler to private-key Hamming LDCs and to resource-bounded Hamming LDCs yields private-key and resource-bounded InsDel LDCs with constant rate, constant error tolerance, and polylogarithmic locality. The compiled one-time private construction has locality
\[
\ell^\sharp=\ell\cdot O(\log^4 n),
\]
constant information rate, constant insdel tolerance \(p^\sharp=\Theta(1)\), and negligible failure; the multi-time private version and the resource-bounded version retain the same qualitative parameters under their respective assumptions [2103.14122].

The resulting picture is asymmetric. General insdel locality admits powerful compilers and high-rate non-classical constructions, but the deletion-only impossibility result rules out constant-query local decoding in the classical worst-case setting.

## 5. Amortization and computational relaxations

Amortization replaces “queries per recovered symbol” by “average queries per recovered symbol over a batch.” An amortized LDC permits decoding a set or interval of message coordinates with total query budget proportional to the batch size. This changes the parameter frontier even in classical examples. For the Hadamard code, if the decoder wants every symbol in a set \(Q\) with \(|Q|\ge K\), it can share one query across all requested coordinates and achieve amortized locality
\[
\alpha=\frac{K+1}{K},
\]
with failure probability at most \((K+1)\delta\). Thus Hadamard achieves amortized locality below \(2\), which is impossible in the non-amortized worst-case model [2502.10538].

In cryptographic settings, amortization enables the “trifecta” of constant rate, constant error tolerance, and constant amortized locality. In the private-key setting, and in the resource-bounded setting, there are amortized LDCs for decoding consecutive intervals \([L,R]\) with \(R-L+1\ge K\) that achieve exactly those three properties [2502.10538]. A subsequent Hamming-to-InsDel compiler for amortized LDCs shows that this phenomenon persists under insertions and deletions, provided the Hamming decoder has a consecutive-interval querying structure. The compiler preserves rate and error tolerance up to constants and preserves amortized locality up to a factor
\[
O\!\left(1+\frac{\tau\log^3 n}{t}\right),
\]
where \(\tau\) is the Hamming block size and \(t\) is the queried interval length. Combined with an ideal Hamming amortized LDC satisfying this query structure, it yields ideal InsDel amortized LDCs in private-key and resource-bounded settings with constant amortized locality, constant rate, and constant error tolerance [2507.03141].

Computational asymmetry also improves non-amortized locality. In the random oracle model, if a channel class admits a \(\delta\)-safe function, then one can bootstrap private LDCs to explicit constant-rate LDCs with locality polylogarithmic in the security parameter. For example, there are binary \((\beta k,k)_2\) coding schemes with constant rate and locality \((\alpha+1)\log^{1+\alpha}\kappa\) or \(O(\log^{2+2\alpha}\kappa)\), depending on the target success parameters, against various resource-constrained channels [1909.11245]. A related relaxed direction gives binary relaxed locally correctable and relaxed locally decodable codes with constant information rate and poly-logarithmic locality in computationally bounded channels, using collision-resistant hash functions and local expander graphs [1803.05652].

Amortization and computational restrictions therefore identify two distinct mechanisms for increasing the amount of information that is locally decodable: one spreads query cost over many recovered symbols, and the other weakens the channel enough that hidden structure can be exploited by the decoder but not by the adversary.

## 6. Quantum local variation and HDX local list decoding

In quantum error correction, “local information” can mean something different: site-specific reliability data rather than small-query access to a codeword. For repetition and surface codes under a phenomenological noise model, the local information is the spatially varying error probability \(p_i\) attached to edges of the space–time lattice. Standard minimum-weight perfect matching uses homogeneous weights proportional to \(-\ell\log p_\mu\), whereas the locally informed decoder uses
\[
w(\gamma)=-\sum_{i\in\gamma}\log p_i.
\]
This lets the decoder distinguish error chains of similar geometric length but different local likelihoods [1912.09635].

The numerical effect is a reduction in logical error rate for fixed code distance, or equivalently a reduction in required distance for a fixed target logical error. For the repetition code, “improvements on the order of 10% are observed for relative widths of order 0.4–0.5,” and for \(\sigma\approx 0.5\) the improvements are of order \(30\)–\(40\%\) for the largest simulated distances. For the surface code at \(p_\mu=0.024\) and \(\sigma=0.5\), the relative improvement grows with \(L\) but is roughly half as large [1912.09635]. Here local decodable information is not stored redundancy but local calibration data that changes the posterior geometry of decoding.

A more abstract extension appears in approximate locally list-decodable codes built from high-dimensional expanders. For every \(N\) and \(\varepsilon\le 1/\log N\), there is a binary approximate LLDC decodable from \(\frac12-\varepsilon\) errors with rate \(\mathrm{poly}(1/\log N,\varepsilon)\), query complexity \(\mathrm{poly}(\log N,1/\varepsilon)\), and polylogarithmic-time local algorithms. There is also a constant-rate version for infinitely many \(N\), with binary rate
\[
R \ge \exp(-O(1/\varepsilon^3))
\]
and query complexity
\[
q \le \log(N)^{\exp(O(1/\varepsilon^3))}.
\]
The same work proves a lower bound
\[
q \ge \Omega\!\left(\frac{\log N}{\varepsilon\log(2/R)}\right)
\]
for any weakly locally computable approximate LLDC of rate \(R\) [2601.22535]. The decoder is a polylogarithmic-round propagation procedure on an HDX, and the central combinatorial innovation is strongly explicit local routing that outputs random paths in polylogarithmic time and sub-logarithmic depth [2601.22535].

Across these regimes, local decodable information has a stable core and a changing implementation. The stable core is restricted access: recovery or inference must proceed from a local view. The changing implementation is whether locality is imposed on codeword queries, broadcast observations, compressed data probes, dynamic updates, routed paths in an HDX, or spatially varying likelihoods in a quantum decoder. The modern literature shows that this locality can be quantified exactly, pushed to capacity in some models, ruled out sharply in others, and rehabilitated by amortization or computational asymmetry when classical worst-case locality fails.

Source: https://www.emergentmind.com/topics/local-decodable-information