Hocheffiziente Alphabet-Soundness-Kompromiss-PCPs

Wir zeigen, dass für alle ε > 0 und hinreichend große Primzahlpotenz q es NP-schwer ist, zwischen einem 2-Prover-1-Round-Projektionsspiel mit Alphabetgröße q zu unterscheiden, dessen Wert mindestens 1 −δ ist, oder dessen Wert höchstens 1/q1−ε ist. Dies etabliert einen nahezu optimalen Alphabet-Soundness-Kompromiss für 2-Query-PCPs mit Alphabetgröße q und hat wichtige Anwendungen.