Affiliation:
1. The Hebrew University, Jerusalem, Israel
Abstract
The PCP theorem [Arora and Safra 1998; Arora et. al. 1998] says that every language in NP has a witness format that can be checked probabilistically by reading only a constant number of bits from the proof. The celebrated equivalence of this theorem and inapproximability of certain optimization problems, due to Feige et al. [1996], has placed the PCP theorem at the heart of the area of inapproximability.
In this work, we present a new proof of the PCP theorem that draws on this equivalence. We give a combinatorial proof for the NP-hardness of approximating a certain constraint satisfaction problem, which can then be reinterpreted to yield the PCP theorem.
Our approach is to consider the
unsat value
of a constraint system, which is the smallest fraction of unsatisfied constraints, ranging over all possible assignments for the underlying variables. We describe a new combinatorial amplification transformation that doubles the unsat-value of a constraint-system, with only a linear blowup in the size of the system. The amplification step causes an increase in alphabet-size that is corrected by a (standard) PCP composition step. Iterative application of these two steps yields a proof for the PCP theorem.
The amplification lemma relies on a new notion of “graph powering” that can be applied to systems of binary constraints. This powering amplifies the unsat-value of a constraint system provided that the underlying graph structure is an expander.
We also extend our amplification lemma towards construction of assignment testers (alternatively, PCPs of Proximity) which are slightly stronger objects than PCPs. We then construct PCPs and locally-testable codes whose length is linear up to a
polylog
factor, and whose correctness can be probabilistically verified by making a
constant
number of queries. Namely, we prove
SAT
∈
PCP
1/2,1
[log
2
(
n
⋅poly log
n
),
O
(1)].
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference33 articles.
1. Arora S. 1994. Probabilistic checking of proofs and the hardness of approximation problems. Ph.D. dissertation U.C. Berkeley. (Available via anonymous ftp as Princeton TR94-476.) Arora S. 1994. Probabilistic checking of proofs and the hardness of approximation problems. Ph.D. dissertation U.C. Berkeley. (Available via anonymous ftp as Princeton TR94-476.)
2. Proof verification and the hardness of approximation problems
3. Probabilistic checking of proofs
4. Trading group theory for randomness
5. Non-deterministic exponential time has two-prover interactive protocols
Cited by
236 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Proof of Avoidability of the Quantum First-Order Transition in Transverse Magnetization in Quantum Annealing of Finite-Dimensional Spin Glasses;Journal of Statistical Physics;2024-01-28
2. From Grassmannian to Simplicial High-Dimensional Expanders;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
3. Properly learning decision trees with queries is NP-hard;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
4. IOPs with Inverse Polynomial Soundness Error;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06
5. The Power of Unentangled Quantum Proofs with Non-negative Amplitudes;Proceedings of the 55th Annual ACM Symposium on Theory of Computing;2023-06-02