5 research outputs found
Strong Parallel Repetition for Unique Games on Small Set Expanders
Strong Parallel Repetition for Unique Games on Small Set Expanders
The strong parallel repetition problem for unique games is to efficiently
reduce the 1-delta vs. 1-C*delta gap problem of Boolean unique games (where C>1
is a sufficiently large constant) to the 1-epsilon vs. epsilon gap problem of
unique games over large alphabet. Due to its importance to the Unique Games
Conjecture, this problem garnered a great deal of interest from the research
community. There are positive results for certain easy unique games (e.g.,
unique games on expanders), and an impossibility result for hard unique games.
In this paper we show how to bypass the impossibility result by enlarging the
alphabet sufficiently before repetition. We consider the case of unique games
on small set expanders for two setups: (i) Strong small set expanders that
yield easy unique games. (ii) Weaker small set expanders underlying possibly
hard unique games as long as the game is mildly fortified. We show how to
fortify unique games in both cases, i.e., how to transform the game so
sufficiently large induced sub-games have bounded value. We then prove strong
parallel repetition for the fortified games. Prior to this work fortification
was known for projection games but seemed hopeless for unique games
Global hypercontractivity and its applications
The hypercontractive inequality on the discrete cube plays a crucial role in
many fundamental results in the Analysis of Boolean functions, such as the KKL
theorem, Friedgut's junta theorem and the invariance principle. In these
results the cube is equipped with the uniform measure, but it is desirable,
particularly for applications to the theory of sharp thresholds, to also obtain
such results for general -biased measures. However, simple examples show
that when , there is no hypercontractive inequality that is strong
enough.
In this paper, we establish an effective hypercontractive inequality for
general that applies to `global functions', i.e. functions that are not
significantly affected by a restriction of a small set of coordinates. This
class of functions appears naturally, e.g. in Bourgain's sharp threshold
theorem, which states that such functions exhibit a sharp threshold. We
demonstrate the power of our tool by strengthening Bourgain's theorem, thereby
making progress on a conjecture of Kahn and Kalai and by establishing a
-biased analog of the invariance principle.
Our results have significant applications in Extremal Combinatorics. Here we
obtain new results on the Tur\'an number of any bounded degree uniform
hypergraph obtained as the expansion of a hypergraph of bounded uniformity.
These are asymptotically sharp over an essentially optimal regime for both the
uniformity and the number of edges and solve a number of open problems in the
area. In particular, we give general conditions under which the crosscut
parameter asymptotically determines the Tur\'an number, answering a question of
Mubayi and Verstra\"ete. We also apply the Junta Method to refine our
asymptotic results and obtain several exact results, including proofs of the
Huang--Loh--Sudakov conjecture on cross matchings and the
F\"uredi--Jiang--Seiver conjecture on path expansions.Comment: Subsumes arXiv:1906.0556