Motivated by an application to database linear querying, such as private information-retrieval protocols, we suggest a fundamental property of linear codes -- the generalized covering radius. The generalized covering-radius hierarchy of a linear code characterizes the trade-off between storage amount, latency, and access complexity, in such database systems. Several equivalent definitions are provided, showing this as a combinatorial, geometric, and algebraic notion. We derive bounds on the code parameters in relation with the generalized covering radii, study the effect of simple code operations, and describe a connection with generalized Hamming weights.
We study generalized covering radii, a fundamental property of linear codes that characterizes the trade-off between storage, latency, and access in linear data-query protocols such as PIR. We prove lower and upper bounds on the generalized covering radii of Reed-Muller codes, as well as finding their exact value in certain extreme cases. With the application to linear data-query protocols in mind, we also construct a covering algorithm that gets as input a set of points in space, and find a corresponding set of codewords from the Reed-Muller code that are jointly not farther away from the inp…
On the Generalized Packing and Covering Radii of Codes
Institute of Mathematics and Interdisciplinary Sciences, Xidian University（西安电子科技大学数学与交叉科学研究院）；Department of Electrical and Computer Engineering, McMaster University（麦克马斯特大学电气与计算机工程系）
Let L be a Desarguesian 2-spread in the Grassmann graph $J_q(n,2)$. We prove that the collection of the 4-subspaces, which do not contain subspaces from L is a completely regular code in $J_q(n,4)$. Similarly, we construct a completely regular code in the Johnson graph $J(n,6)$ from the Steiner quadruple system of the extended Hamming code. We obtain several new completely regular codes covering radius 1 in the Grassmann graph $J_2(6,3)$ using binary linear programming.
Subspace coverings and generalized covering radii of generalized Zetterberg codes
Anhui University（安徽大学）；Nanyang Technological University（南洋理工大学）；Nanjing University of Aeronautics and Astronautics（南京航空航天大学）；Hefei University of Technology（合肥工业大学）
Asymptotically Tight Bounds for Generalized Covering Radii of Binary Primitive BCH Codes at All Higher Orders
Technion – Israel Institute of Technology（以色列理工学院）；Tel-Hai University of Kiryat Shmona in the Galilee（加利利基里亚特什莫纳泰尔海大学）；MIGAL – Galilee Research Institute（米加尔-加利利研究所）
Symbol-pair codes were proposed for the application in high density storage systems, where it is not possible to read individual symbols. Yaakobi, Bruck and Siegel proved that the minimum pair-distance of binary linear cyclic codes satisfies $d_2 \geq \lceil 3d_H/2 \rceil$ and introduced $b$-symbol metric codes in 2016. In this paper covering codes in $b$-symbol metrics are considered. Some examples are given to show that the Delsarte bound and the Norse bound for covering codes in the Hamming metric are not true for covering codes in the pair metric. We give the redundancy bound on covering r…
The goal of the classic football-pool problem is to determine how many lottery tickets are to be bought in order to guarantee at least $n-r$ correct guesses out of a sequence of $n$ games played. We study a generalized (second-order) version of this problem, in which any of these $n$ games consists of two sub-games. The second-order version of the football-pool problem is formulated using the notion of generalized-covering radius, recently proposed as a fundamental property of linear codes. We consider an extension of this property to general (not necessarily linear) codes, and provide an asym…
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 …
Grassmannian $\mathcal{G}_q(n,k)$ is the set of all $k$-dimensional subspaces of the vector space $\mathbb{F}_q^n.$ Recently, Etzion and Zhang introduced a new notion called covering Grassmannian code which can be used in network coding solutions for generalized combination networks. An $α$-$(n,k,δ)_q^c$ covering Grassmannian code $\mathcal{C}$ is a subset of $\mathcal{G}_q(n,k)$ such that every set of $α$ codewords of $\mathcal{C}$ spans a subspace of dimension at least $δ+k$ in $\mathbb{F}_q^n.$ In this paper, we derive new upper and lower bounds on the size of covering Grassmannian codes. T…
The Optimal Asymptotic Rate of Generalized Covering Codes
School of Mathematics and Statistics, Xi’an Jiaotong University（西安交通大学数学与统计学院）；Research Center for Mathematics and Interdisciplinary Sciences, Shandong University（山东大学数学交叉科学研究中心）；Frontiers Science Center for Nonlinear Expectations, Ministry of Education（教育部非线性期望前沿科学中心）
We consider a compound testing problem within the Gaussian sequence model in which the null and alternative are specified by a pair of closed, convex cones. Such cone testing problem arise in various applications, including detection of treatment effects, trend detection in econometrics, signal detection in radar processing, and shape-constrained inference in non-parametric statistics. We provide a sharp characterization of the GLRT testing radius up to a universal multiplicative constant in terms of the geometric structure of the underlying convex cones. When applied to concrete examples, thi…
In this paper, we give upper bounds on the sizes of $(d, L)$ list-decodable codes in the Hamming metric space from covering codes with the covering radius smaller than or equal to $d$. When the list size $L$ is $1$, this gives many new Singleton type upper bounds on the sizes of codes with a given minimum Hamming distance. These upper bounds are stronger than the Griesmer bound when the lengths of codes are large. Some upper bounds on the lengths of general small Singleton defect codes or list-decodable codes attaining the generalized Singleton bound are given. As an application of our general…
