Agreement Testing Theorems on Layered Set Systems

Yotam Dikstein, Irit Dinur

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We introduce a framework of layered subsets, and give a sufficient condition for when a set system supports an agreement test. Agreement testing is a certain type of property testing that generalizes PCP tests such as the plane vs. plane test. Previous work has shown that high dimensional expansion is useful for agreement tests. We extend these results to more general families of subsets, beyond simplicial complexes. These include Agreement tests for set systems whose sets are faces of high dimensional expanders. Our new tests apply to all dimensions of complexes both in case of two-sided expansion and in the case of one-sided partite expansion. This improves and extends an earlier work of Dinur and Kaufman (FOCS 2017) and applies to matroids, and potentially many additional complexes. Agreement tests for set systems whose sets are neighborhoods of vertices in a high dimensional expander. This family resembles the expander neighborhood family used in the gap-amplification proof of the PCP theorem. This set system is quite natural yet does not sit in a simplicial complex, and demonstrates some versatility in our proof technique. Agreement tests on families of subspaces (also known as the Grassmann poset). This extends the classical low degree agreement tests beyond the setting of low degree polynomials. Our analysis relies on a new random walk on simplicial complexes which we call the "complement random walk" and which may be of independent interest. This random walk generalizes the non-lazy random walk on a graph to higher dimensions, and has significantly better expansion than previously-studied random walks on simplicial complexes.
Original languageEnglish
Title of host publicationProceedings - 2019 IEEE 60th Annual Symposium on Foundations of Computer Science, FOCS 2019
Number of pages30
ISBN (Electronic)9781728149523
StatePublished - Nov 2019
Event60th IEEE Annual Symposium on Foundations of Computer Science (FOCS) - Baltimore, MD, United States
Duration: 9 Nov 201912 Nov 2019

Publication series

NameAnnual IEEE Symposium on Foundations of Computer Science
ISSN (Print)0272-5428


Conference60th IEEE Annual Symposium on Foundations of Computer Science (FOCS)


Dive into the research topics of 'Agreement Testing Theorems on Layered Set Systems'. Together they form a unique fingerprint.

Cite this