Optimal Rate Code Constructions for Computationally Simple Channels
Optimal Rate Code Constructions for Computationally Simple Channels
复制标题
计算简单信道的最佳速率代码构造
DOI:
10.1145/2936015
复制
发表时间:
2016
影响因子:
2.5
通讯作者:
Smith, Adam
中科院分区:
文献类型:
--
作者:
Guruswami, Venkatesan;Smith, Adam
We consider coding schemes forcomputationally boundedchannels, which can introduce an arbitrary set of errors as long as (a) the fraction of errors is bounded with high probability by a parameterpand (b) the process that adds the errors can be described by a sufficiently “simple” circuit. Codes for such channel models are attractive since, like codes for standard adversarial errors, they can handle channels whose true behavior isunknownorvaryingover time.For two classes of channels, we provide explicit, efficiently encodable/decodable codes of optimal rate where onlyinefficiently decodable codes were previously known. In each case, we provide one encoder/decoder that works foreverychannel in the class. The encoders are randomized, and probabilities are taken over the (local, unknown to the decoder) coins of the encoder and those of the channel.Unique decoding for additive errors:We give the first construction of a polynomial-time encodable/decodable code foradditive(a.k.a.oblivious) channels that achieve the Shannon capacity 1 −H(p). These are channels that add an arbitrary error vectore∈ {0, 1}Nof weight at mostpNto the transmitted word; the vectorecan depend on the code but not on the randomness of the encoder or the particular transmitted word. Such channels capture binary symmetric errors and burst errors as special cases.List decoding for polynomial-time channels:For every constantc> 0, we construct codes with optimal rate (arbitrarily close to 1 −H(p)) that efficiently recover a short list containing the correct message with high probability for channels describable by circuits of size at mostNc. Our construction is not fully explicit but rather Monte Carlo (we give an algorithm that, with high probability, produces an encoder/decoder pair that works for all timeNcchannels). We are not aware of any channel models considered in the information theory literature other than purely adversarial channels, which require more than linear-size circuits to implement. We justify the relaxation to list decoding with an impossibility result showing that, in a large range of parameters (p> 1/4), codes that are uniquely decodable for a modest class of channels (online, memoryless, nonuniform channels) cannot have positive rate.