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

04/23/2018
by   Boaz Barak, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/10/2019

Avoidable paths in graphs

We prove a recent conjecture of Beisegel et al. that for every positive ...
research
03/09/2018

Edge-decomposing graphs into coprime forests

The Barat-Thomassen conjecture, recently proved in [Bensmail et al.: A p...
research
02/25/2021

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

We consider the symmetric binary perceptron model, a simple model of neu...
research
12/04/2020

On the best-choice prophet secretary problem

We study a variant of the secretary problem where candidates come from i...
research
01/03/2022

The Area Method in the Wolfram Language

The area method is a decision procedure for geometry developed by Chou e...
research
11/18/2020

On the directed tile assembly systems at temperature 1

We show here that a model called directed self-assembly at temperature 1...
research
06/07/2023

Hardness of Deceptive Certificate Selection

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

Please sign up or login with your details

Forgot password? Click here to reset