Showing 2025Show all
3 papers · 1 filter
cs.CC2025
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…
cs.CC2025
Eigenvalue Bounds for Symmetric Markov Chains on Multislices With Applications
Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan +1
We consider random walks on ``balanced multislices'' of any ``grid'' that respects the ``symmetries'' of the grid, and show that a broad class of such walks are good spectral expan…
cs.CC2025
A Near-Optimal Polynomial Distance Lemma Over Boolean Slices
Prashanth Amireddy, Amik Raj Behera, Srikanth Srinivasan +1
The celebrated Ore-DeMillo-Lipton-Schwartz-Zippel (ODLSZ) lemma asserts that n-variate non-zero polynomial functions of degree d over a field are non-zero over any "gr…