文章基本信息

标题：Small-Set Expansion in Shortcode Graph and the 2-to-2 Conjecture
本地全文：下载
作者：Boaz Barak ; Pravesh K. Kothari ; David Steurer 等
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：124
页码：1-12
DOI：10.4230/LIPIcs.ITCS.2019.9
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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 soundness of Grassmannian agreement tester follows from a conjecture we call the "Shortcode Expansion Hypothesis" characterizing the non-expanding sets of the degree-two Short code 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 "Shortcode Expansion 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. We believe that the Shortcode graph provides a useful view of both the hypothesis and the reduction, and might be suitable for obtaining new hardness reductions.
关键词：Unique Games Conjecture; Small-Set Expansion; Grassmann Graph; Shortcode