Abstract
We study the structure of non-expanding sets in the Grassmann graph. We put forth a hypothesis stating that every small set whose expansion is smaller than 1–δ must be correlated with one of a specified list of sets which are isomorphic to smaller Grassmann graphs. We develop a framework of Fourier analysis for analyzing functions over the Grassmann graph, and prove that our hypothesis holds for all sets whose expansion is below 3/4. Our work is motivated by [DKK+18], wherein the authors show that a linearity agreement hypothesis implies an NP-hardness gap of 1/2–ε vs. ε for Unique Games and other inapproximability results. Barak, Kothari and Steurer show that the hypothesis in this work implies the linearity agreement hypothesis [DKK+18]. Following initial publication of this work, our hypothesis was proved in [KMS18].
| Original language | American English |
|---|---|
| Pages (from-to) | 377-420 |
| Number of pages | 44 |
| Journal | Israel Journal of Mathematics |
| Volume | 243 |
| Issue number | 1 |
| DOIs | |
| State | Published - Jun 2021 |
Bibliographical note
Funding Information:Supported by ISF grant no. 1692/13.
Funding Information:
Supported by ISF grant 2013/17, BSF grant 2016414 and Blavatnik fund. Acknowledgements
Funding Information:
Supported by an ISF-UGC grant 1399/14 and BSF grant 2014371.
Funding Information:
Supported by the NSF Award CCF-1422159, the Simons Collaboration on Algorithms and Geometry and the Simons Investigator Award.
Funding Information:
This work was done while the author was a Ph.D. student at the school of Computer Science, Tel Aviv University, and was supported by Clore scholarship.
Publisher Copyright:
© 2021, The Hebrew University of Jerusalem.