Abstract
We propose a combinatorial hypothesis regarding a subspace vs. subspace agreement test, and prove that if correct it leads to a proof of the 2-to-1 Games Conjecture, albeit with imperfect completeness. This paper presents the second installment in a line of work by various subsets of the authors (with additional contributions by Barak, Kothari, and Steurer (ITCS’19)), which led to a proof of the 2-to-2 Games Conjecture.
| Original language | English |
|---|---|
| Article number | 11 |
| Journal | Theory of Computing |
| Volume | 21 |
| DOIs | |
| State | Published - 2025 |
Bibliographical note
Publisher Copyright:© 2025 Irit Dinur, Subhash Khot, Guy Kindler, Dor Minzer, and Muli Safra.
Keywords
- Grassmann graph
- Unique Games Conjecture
- probabilistically checkable proofs