Abstract:The Small-Set Expansion Hypothesis (Raghavendra, Steurer, STOC 2010) is a natural hardness assumption concerning the problem of approximating the edge expansion of small sets in graphs. This hardness assumption is closely connected to the Unique Games Conjecture (Khot, STOC 2002). In particular, the Small-Set Expansion Hypothesis implies the Unique Games Conjecture (Raghavendra, Steurer, STOC 2010). Our main result is that the Small-Set Expansion Hypothesis is in fact equivalent to a variant of the Unique Games Conjecture. More precisely, the hypothesis is equivalent to the Unique Games Conjecture restricted to instance with a fairly mild condition on the expansion of small sets. Alongside, we obtain the first strong hardness of approximation results for the Balanced Separator and Minimum Linear Arrangement problems. Before, no such hardness was known for these problems even assuming the Unique Games Conjecture. These results not only establish the Small-Set Expansion Hypothesis as a natural unifying hypothesis that implies the Unique Games Conjecture, all its consequences and, in addition, hardness results for other problems like Balanced Separator and Minimum Linear Arrangement, but our results also show that the Small-Set Expansion Hypothesis problem lies at the combinatorial heart of the Unique Games Conjecture. The key technical ingredient is a new way of exploiting the structure of the Unique Games instances obtained from the Small-Set Expansion Hypothesis via (Raghavendra, Steurer, 2010). This additional structure allows us to modify standard reductions in a way that essentially destroys their local-gadget nature. Using this modification, we can argue about the expansion in the graphs produced by the reduction without relying on expansion properties of the underlying Unique Games instance (which would be impossible for a local-gadget reduction).

Galvin's Conjecture and Weakly Precipitous Ideals

Games with Filters

The Galvin property under the ultrapower axiom

Game-theoretic variants of cardinal invariants

The Galvin-Prikry Theorem in the Weihrauch lattice

Combinatorics of Borel Ideals

Dense ideals

Towards a proof of the 2-to-1 games conjecture?

Echeloned saturation and forcing axioms

Axiom $\mathcal{A}$ and supercompactness

The large cardinal strength of Weak Vopěnka's Principle

Stanley Depth of Weakly 0-Decomposable Ideals

Large cardinals, structural reflection, and the HOD Conjecture

Reductions Between Expansion Problems

Fraïssé's conjecture, partial impredicativity and well-ordering principles, part I

Log-concavity in Combinatorics

Restricted van der Waerden theorem for nilprogressions

Cardinal invariants of a meager ideal

Nimber-Preserving Reduction: Game Secrets and Homomorphic Sprague-Grundy Theorem

Turning Washington's heuristics in favor of Vandiver's conjecture

A New Conjecture and Upper Bound on the Castelnuovo--Mumford Regularity of Binomial Edge Ideals