3.8 Proceedings Paper

Rigid Matrices From Rectangular PCPs or: Hard Claims Have Complex Proofs

Publisher

IEEE
DOI: 10.1109/FOCS46700.2020.00084

Keywords

Matrix Rigidity; PCP

Funding

  1. Department of Atomic Energy, Government of India [12-RD-TFR-5.01-0500]
  2. Swarnajayanti fellowship

Ask authors/readers for more resources

We introduce a variant of PCPs, that we refer to as rectangular PCPs, wherein proofs are thought of as square matrices, and the random coins used by the verifier can be partitioned into two disjoint sets, one determining the row of each query and the other determining the column. We construct PCPs that are efficient, short, smooth and (almost-)rectangular. As a key application, we show that proofs for hard languages in NTIME(2(n)), when viewed as matrices, are rigid infinitely often. This strengthens and simplifies a recent result of Alman and Chen [FOCS, 2019] constructing explicit rigid matrices in FNP. Namely, we prove the following theorem: There is a constant delta is an element of (0, 1) such that there is an FNP-machine that, for infinitely many N, on input 1(N) outputs N x N matrices with entries in F-2 that are delta N-2-far (in Hamming distance) from matrices of rank at most 2(log N/Omega(log log) (N)). Our construction of rectangular PCPs starts with an analysis of how randomness yields queries in the Reed-Muller-based outer PCP of Ben-Sasson, Goldreich, Harsha, Sudan and Vadhan [SICOMP, 2006; CCC, 2005]. We then show how to preserve rectangularity under PCP composition and a smoothness-inducing transformation. This warrants refined and stronger notions of rectangularity, which we prove for the outer PCP and its transforms.

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

3.8
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available