Abstract:We prove that for every odd $q\geq 3$, any $q$-query binary, possibly non-linear locally decodable code ($q$-LDC) $E:\{\pm1\}^k \rightarrow \{\pm1\}^n$ must satisfy $k \leq \tilde{O}(n^{1-2/q})$. For even $q$, this bound was established in a sequence of prior works. For $q=3$, the above bound was achieved in a recent work of Alrabiah, Guruswami, Kothari and Manohar using an argument that crucially exploits known exponential lower bounds for $2$-LDCs. Their strategy hits an inherent bottleneck for $q \geq 5$. Our key insight is identifying a general sufficient condition on the hypergraph of local decoding sets called $t$-approximate strong regularity. This condition demands that 1) the number of hyperedges containing any given subset of vertices of size $t$ (i.e., its co-degree) be equal to the same but arbitrary value $d_t$ up to a multiplicative constant slack, and 2) all other co-degrees be upper-bounded relative to $d_t$. This condition significantly generalizes related proposals in prior works that demand absolute upper bounds on all co-degrees. We give an argument based on spectral bounds on Kikuchi Matrices that lower bounds the blocklength of any LDC whose local decoding sets satisfy $t$-approximate strong regularity for any $t \leq q$. Crucially, unlike prior works, our argument works despite having no non-trivial absolute upper bound on the co-degrees of any set of vertices. To apply our argument to arbitrary $q$-LDCs, we give a new, greedy, approximate strong regularity decomposition that shows that arbitrary, dense enough hypergraphs can be partitioned (up to a small error) into approximately strongly regular pieces satisfying the required relative bounds on the co-degrees.

On the First Separating Redundancy of Array LDPC Codes

On the number of minimum stopping sets and minimum codewords of array LDPC codes

On the Second Separating Redundancy of LDPC Codes from Finite Planes.

On the Separating Redundancy of the Duals of First-Order Generalized Reed-Muller Codes

On the Minimum Distance of Some Improper Array Codes

A class of QC-LDPC codes with low error floor and linear encoding complexity

Further Results on the Separating Redundancy of Binary Linear Codes.

Structural Analysis Of Nonbinary Cyclic And Quasi-Cyclic Ldpc Codes With Alpha-Multiplied Parity-Check Matrices

New Constructions of <i>q</i>-Ary MDS Array Codes With Multiple Parities and Their Effective Decoding

New Constructions of q-Ary MDS Array Codes With Multiple Parities and Their Effective Decoding

On the Minimum Distance of Full-Length Rs-Ldpc Codes

Explicit Construction of q-ary 2-deletion Correcting Codes with Low Redundancy

Computation and Reformation of the Minimum Distance and Check Array of QC LDPC Codes

New Systematic MDS Array Codes with Two Parities

Integer Ring Sieve for Constructing Compact QC-LDPC Codes with Girths 8, 10, and 12

An Explicit Construction of <tex>$q\text{-ary}$</tex> MDS Array Codes and Their Efficient Decoding

Weight Distributions of Q-Ary Optimal Locally Repairable Codes with Locality 2, Distance 5 and Even Dimension.

Improved Lower Bounds for all Odd-Query Locally Decodable Codes

Parity-Check Matrix Partitioning for Efficient Layered Decoding of QC-LDPC Codes

Quantum LDPC Codes Based on Cocyclic Block Matrices

Weight distribution of some reducible cyclic codes