English

Explicit construction of RIP matrices is Ramsey-hard

Probability 2018-11-19 v2 Information Theory math.IT Computation

Abstract

Matrices ΦRn×p\Phi\in\R^{n\times p} satisfying the Restricted Isometry Property (RIP) are an important ingredient of the compressive sensing methods. While it is known that random matrices satisfy the RIP with high probability even for n=logO(1)pn=\log^{O(1)}p, the explicit construction of such matrices defied the repeated efforts, and the most known approaches hit the so-called n\sqrt{n} sparsity bottleneck. The notable exception is the work by Bourgain et al \cite{bourgain2011explicit} constructing an n×pn\times p RIP matrix with sparsity s=Θ(n12+ϵ)s=\Theta(n^{{1\over 2}+\epsilon}), but in the regime n=Ω(p1δ)n=\Omega(p^{1-\delta}). In this short note we resolve this open question in a sense by showing that an explicit construction of a matrix satisfying the RIP in the regime n=O(log2p)n=O(\log^2 p) and s=Θ(n12)s=\Theta(n^{1\over 2}) implies an explicit construction of a three-colored Ramsey graph on pp nodes with clique sizes bounded by O(log2p)O(\log^2 p) -- a question in the extremal combinatorics which has been open for decades.

Keywords

Cite

@article{arxiv.1805.11238,
  title  = {Explicit construction of RIP matrices is Ramsey-hard},
  author = {David Gamarnik},
  journal= {arXiv preprint arXiv:1805.11238},
  year   = {2018}
}

Comments

4 pages

R2 v1 2026-06-23T02:11:21.332Z