Abstract
We initiate the study of the role of erasures in local decoding and use our understanding to prove a separation between erasure-resilient and tolerant property testing. We first investigate local list-decoding in the presence of erasures. We prove an analog of a famous result of Goldreich and Levin on local list-decodability of the Hadamard code. Specifically, we show that the Hadamard code is locally list-decodable in the presence of a constant fraction of erasures, arbitrarily close to 1, with list sizes and query complexity better than in the Goldreich–Levin theorem. We further study approximate locally erasure list-decodable codes and use them to construct a property that is erasure-resiliently testable with query complexity independent of the input length, (Formula presented.), but requires (Formula presented.) queries for tolerant testing. We also investigate the general relationship between local decoding in the presence of errors and in the presence of erasures.
Original language | English |
---|---|
Pages (from-to) | 640-670 |
Number of pages | 31 |
Journal | Random Structures and Algorithms |
Volume | 59 |
Issue number | 4 |
DOIs | |
State | Published - 1 Dec 2021 |
Externally published | Yes |
Keywords
- Goldreich–Levin theorem
- Hadamard code
- erasures versus errors
- local decoding
- property testing
ASJC Scopus subject areas
- Software
- General Mathematics
- Computer Graphics and Computer-Aided Design
- Applied Mathematics