Matches in SemOpenAlex for { <https://semopenalex.org/work/W3129128072> ?p ?o ?g. }
- W3129128072 abstract "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 in (0,1)$ such that there is an FNP-machine that, for infinitely many $N$, on input $1^N$ outputs $N times N$ matrices with entries in $mathbb{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." @default.
- W3129128072 created "2021-02-15" @default.
- W3129128072 creator A5012510300 @default.
- W3129128072 creator A5019248097 @default.
- W3129128072 creator A5039003212 @default.
- W3129128072 creator A5049425955 @default.
- W3129128072 date "2020-11-01" @default.
- W3129128072 modified "2023-10-03" @default.
- W3129128072 title "Rigid Matrices From Rectangular PCPs or: Hard Claims Have Complex Proofs" @default.
- W3129128072 cites W1502275094 @default.
- W3129128072 cites W1967703498 @default.
- W3129128072 cites W1970278864 @default.
- W3129128072 cites W2004130530 @default.
- W3129128072 cites W2007309095 @default.
- W3129128072 cites W2008671178 @default.
- W3129128072 cites W2019578639 @default.
- W3129128072 cites W2022381972 @default.
- W3129128072 cites W2030202224 @default.
- W3129128072 cites W2038691311 @default.
- W3129128072 cites W2044199052 @default.
- W3129128072 cites W2048910070 @default.
- W3129128072 cites W2053086236 @default.
- W3129128072 cites W2061707159 @default.
- W3129128072 cites W2064269488 @default.
- W3129128072 cites W2083820240 @default.
- W3129128072 cites W2087900794 @default.
- W3129128072 cites W2137442467 @default.
- W3129128072 cites W2140797111 @default.
- W3129128072 cites W2144345645 @default.
- W3129128072 cites W2146261818 @default.
- W3129128072 cites W2148352980 @default.
- W3129128072 cites W2343516500 @default.
- W3129128072 cites W2510425678 @default.
- W3129128072 cites W2553219432 @default.
- W3129128072 cites W2951429494 @default.
- W3129128072 cites W2971503262 @default.
- W3129128072 cites W3004537778 @default.
- W3129128072 cites W3012796491 @default.
- W3129128072 cites W4234012207 @default.
- W3129128072 cites W4242600797 @default.
- W3129128072 cites W4298227433 @default.
- W3129128072 doi "https://doi.org/10.1109/focs46700.2020.00084" @default.
- W3129128072 hasPublicationYear "2020" @default.
- W3129128072 type Work @default.
- W3129128072 sameAs 3129128072 @default.
- W3129128072 citedByCount "8" @default.
- W3129128072 countsByYear W31291280722020 @default.
- W3129128072 countsByYear W31291280722021 @default.
- W3129128072 countsByYear W31291280722022 @default.
- W3129128072 countsByYear W31291280722023 @default.
- W3129128072 crossrefType "proceedings-article" @default.
- W3129128072 hasAuthorship W3129128072A5012510300 @default.
- W3129128072 hasAuthorship W3129128072A5019248097 @default.
- W3129128072 hasAuthorship W3129128072A5039003212 @default.
- W3129128072 hasAuthorship W3129128072A5049425955 @default.
- W3129128072 hasBestOaLocation W31291280722 @default.
- W3129128072 hasConcept C104317684 @default.
- W3129128072 hasConcept C105795698 @default.
- W3129128072 hasConcept C106487976 @default.
- W3129128072 hasConcept C108710211 @default.
- W3129128072 hasConcept C114614502 @default.
- W3129128072 hasConcept C118615104 @default.
- W3129128072 hasConcept C121332964 @default.
- W3129128072 hasConcept C125112378 @default.
- W3129128072 hasConcept C159985019 @default.
- W3129128072 hasConcept C164226766 @default.
- W3129128072 hasConcept C185592680 @default.
- W3129128072 hasConcept C192562407 @default.
- W3129128072 hasConcept C204241405 @default.
- W3129128072 hasConcept C2524010 @default.
- W3129128072 hasConcept C2779557605 @default.
- W3129128072 hasConcept C33923547 @default.
- W3129128072 hasConcept C45340560 @default.
- W3129128072 hasConcept C55493867 @default.
- W3129128072 hasConcept C62520636 @default.
- W3129128072 hasConceptScore W3129128072C104317684 @default.
- W3129128072 hasConceptScore W3129128072C105795698 @default.
- W3129128072 hasConceptScore W3129128072C106487976 @default.
- W3129128072 hasConceptScore W3129128072C108710211 @default.
- W3129128072 hasConceptScore W3129128072C114614502 @default.
- W3129128072 hasConceptScore W3129128072C118615104 @default.
- W3129128072 hasConceptScore W3129128072C121332964 @default.
- W3129128072 hasConceptScore W3129128072C125112378 @default.
- W3129128072 hasConceptScore W3129128072C159985019 @default.
- W3129128072 hasConceptScore W3129128072C164226766 @default.
- W3129128072 hasConceptScore W3129128072C185592680 @default.
- W3129128072 hasConceptScore W3129128072C192562407 @default.
- W3129128072 hasConceptScore W3129128072C204241405 @default.
- W3129128072 hasConceptScore W3129128072C2524010 @default.
- W3129128072 hasConceptScore W3129128072C2779557605 @default.
- W3129128072 hasConceptScore W3129128072C33923547 @default.
- W3129128072 hasConceptScore W3129128072C45340560 @default.
- W3129128072 hasConceptScore W3129128072C55493867 @default.
- W3129128072 hasConceptScore W3129128072C62520636 @default.
- W3129128072 hasFunder F4320320768 @default.
- W3129128072 hasLocation W31291280721 @default.
- W3129128072 hasLocation W31291280722 @default.
- W3129128072 hasOpenAccess W3129128072 @default.
- W3129128072 hasPrimaryLocation W31291280721 @default.
- W3129128072 hasRelatedWork W1969466213 @default.