DeepAI AI Chat
Log In Sign Up

Small-Set Expansion in Shortcode Graph and the 2-to-2 Conjecture

by   Boaz Barak, et al.
Princeton University
Boaz Barak
cornell university

Dinur, Khot, Kindler, Minzer and Safra (2016) recently showed that the (imperfect completeness variant of) Khot's 2 to 2 games conjecture follows from a combinatorial hypothesis about the soundness of a certain "Grassmanian agreement tester". In this work, we show that the hypothesis of Dinur et. al. follows from a conjecture we call the "Inverse Shortcode Hypothesis" characterizing the non-expanding sets of the degree-two shortcode graph. We also show the latter conjecture is equivalent to a characterization of the non-expanding sets in the Grassman graph, as hypothesized by a follow-up paper of Dinur et. al. (2017). Following our work, Khot, Minzer and Safra (2018) proved the "Inverse Shortcode Hypothesis". Combining their proof with our result and the reduction of Dinur et. al. (2016), completes the proof of the 2 to 2 conjecture with imperfect completeness. Moreover, we believe that the shortcode graph provides a useful view of both the hypothesis and the reduction, and might be useful in extending it further.


page 1

page 2

page 3

page 4


Avoidable paths in graphs

We prove a recent conjecture of Beisegel et al. that for every positive ...

Edge-decomposing graphs into coprime forests

The Barat-Thomassen conjecture, recently proved in [Bensmail et al.: A p...

Proof of the Contiguity Conjecture and Lognormal Limit for the Symmetric Perceptron

We consider the symmetric binary perceptron model, a simple model of neu...

On the best-choice prophet secretary problem

We study a variant of the secretary problem where candidates come from i...

The Area Method in the Wolfram Language

The area method is a decision procedure for geometry developed by Chou e...

Hardness of Deceptive Certificate Selection

Recent progress towards theoretical interpretability guarantees for AI h...

Solving X^2^3n+2^2n+2^n-1+(X+1)^2^3n+2^2n+2^n-1=b in GF2^4n

This article determines all the solutions in the finite field GF2^4n of ...