Loading jsMath...
Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Revision(s):

Revision #1 to TR24-110 | 8th November 2024 00:47

Time and Space Efficient Deterministic Decoders

RSS-Feed




Revision #1
Authors: Joshua Cook, Dana Moshkovitz
Accepted on: 8th November 2024 00:47
Downloads: 306
Keywords: 


Abstract:

Time efficient decoding algorithms for error correcting codes often require linear space. However, locally decodable codes yield more efficient \emph{randomized} decoders that run in time n^{1+o(1)} and space n^{o(1)}. In this work we focus on \emph{deterministic} decoding.
Gronemeier showed that any \emph{non-adaptive} deterministic decoder for a good code running in time n^{1+\delta} must use space n^{1-\delta}.

In sharp contrast, we show that typical locally correctable codes have (non-uniform) time and space efficient \emph{adaptive deterministic} decoders. For instance, the constant rate, constant relative distance codes with sub-linear query complexity of [KMRS17] have non-uniform deterministic decoders running in time n^{1+o(1)} and space n^{o(1)}.
To obtain the decoders we devise a new time-space efficient derandomization technique that works by iterative correction.

Further, we give a new construction of curve samplers that allow us to \emph{uniformly} decode Reed-Muller codes time and space efficiently. In particular, for any constant \gamma > 0, we give asymptotically good Reed-Muller codes that are decodable in time n^{1 + \gamma} and space n^\gamma by a uniform, deterministic decoder. A related construction allows us to \emph{uniformly} decode asymptotically good codes based on lifted Reed-Solomon codes in time n^{1+o(1)} and space n^{o(1)}.



Changes to previous version:

1. Added uniform, almost linear time, sub-polynomial space deterministic decoders for asymptotically good codes based on lifted Reed-Solomon codes.
2. Various small changes to exposition, preliminaries.


Paper:

TR24-110 | 1st July 2024 04:45

Time and Space Efficient Deterministic Decoders


Abstract:

Time efficient decoding algorithms for error correcting codes often require linear space. However, locally decodable codes yield more efficient randomized decoders that run in time n^{1+o(1)} and space n^{o(1)}. In this work we focus on deterministic decoding.
Gronemeier showed that any non-adaptive deterministic decoder for a good code running in time n^{1+\delta} must use space n^{1-\delta}.

In sharp contrast, we show that typical locally correctable codes have (non-uniform) time and space efficient deterministic decoders. For instance, the constant rate, constant relative distance codes with sub-linear query complexity of have non-uniform deterministic decoders running in time n^{1+o(1)} and space n^{o(1)}. The same is true for Reed-Muller codes and multiplicity codes.
To obtain the decoders we devise a new time-space efficient derandomization technique that works by iterative correction.

Further, we give a new construction of curve samplers that allow us to uniformly decode Reed-Muller codes time and space efficiently. In particular, for any constant \gamma > 0, we give asymptotically good Reed-Muller codes that are decodable in time n^{1 + \gamma} and space n^\gamma by a uniform, deterministic decoder.



ISSN 1433-8092 | Imprint