3 papers
cs.CC2026
A Simple Algebraic Proof of the PCP Theorem
Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan +2
We give the simplest known algebraic proof of the PCP theorem, involving only ingredients like code concatenation, polynomial interpolation, and polynomial multiplication. Specific…
math.AT2026
Obstructions for Associativity in Stable Homotopy Theory
Sophus Valentin Willumsgaard
We give a construction of the obstruction theory for -algebra structures in stable -categories, and give some properties of it. We use this to show that the…
cs.CC2026
Ideals, Macaulay Bases, and PCPs
Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan +2
All known proofs of the PCP theorem rely on multiple "composition" steps, where PCPs over large alphabets are turned into PCPs over much smaller alphabets at a (relatively) small p…