The list-decodable code has been an active topic in theoretical computer science.There are general results about the list-decodability to the Johnson radius and the list-decoding capacity theorem. In this paper we show that rates, list-decodable radius and list sizes are closely related to the classical topic of covering codes. We prove new general simple but strong upper bounds for list-decodable codes in general finite metric spaces based on various covering codes. The general covering code upper bounds can be applied to the case that the volumes of the balls depend on the centers, not only on the radius. Then any good upper bound on the covering radius or the size of covering code imply a good upper bound on the sizes of list-decodable codes. Our results give exponential improvements on the recent generalized Singleton upper bound in STOC 2020 for Hamming metric list-decodable codes, when the code lengths are large. A generalized Singleton upper bound for average-radius list-decodable codes is also given from our general covering code upper bound. Even for the list size $L=1$ case our covering code upper bounds give highly non-trivial upper bounds on the sizes of codes with the given minimum distance. The asymptotic forms of covering code bounds in the Hamming metric setting lead to an asymptotic bound for list-decodable binary codes, which is similar to and weaker than the classical McEliece-Rudemich-Rumsey-Welch bound. We also suggest to study the combinatorial covering list-decodable codes as a natural generalization of combinatorial list-decodable codes. We apply our general covering code upper bounds for list-decodable rank-metric codes, list-decodable subspace codes, list-decodable insertion codes and list-decodable deletion codes. Some new better results about non-list-decodability of rank-metric codes and subspace codes are obtained.
翻译:在理论计算机科学中, 列表标记代码是一个活跃的话题。 包含常规代码上界的常规代码可以适用于球体量取决于中心, 不仅在半径上。 然后在覆盖的半径或列表解码能力标度大小上的任何良好标记都意味着在列表- 降法代码的大小上有一个良好的上界。 我们的结果表明, 在基于各种覆盖代码的普通有限度空间中, 列表标记代码具有新的简单但强的上界。 覆盖普通直径总框框的普通定义可以适用于球体量取决于中心, 不仅在半径上。 在覆盖的半径或列表的大小上界代码上的任何良好标记都意味着在列表- 降法代码的大小上方有一个良好的上界。 当代码长度大时, 我们的通用SITOC 2020 上界标准代码将指数性上界化。 我们的普通直径直线列表的上界代码也具有普通定义。 即便在列表中是 $L=1美元, 我们的列表列表中, 也表示, 隐藏了最远界的代码的直径直立的代码。